SecurityTools.md

Awesome tools

Solidity Compiler Selector

• solc-select: A script to quickly switch between Solidity compiler versions

Upgradability tools

• Zeppelin-OS

EVM Dissassembler

• crytic/ethersplay: EVM dissassembler

Static Analysis

• Echidna: Ethereum fuzz testing framework

Reporting tools

• ConsenSys/Surya: A Solidity Inspector

Security analysis tools

• ConsenSys/mythril-classic
• eth-sri/Securify: smart contract security scanner
• smartdec/smartcheck: static analysis
• slither a solidity static analysis framework

Blog posts

• TrailOfBits: Use our suite of Ethereum security tools
• TrailOfBits: How to prepare for a security review
• Publications from Trail of Bits
• Introducing Sonic: A Practical zk-SNARK with a Nearly Trustless Setup

Vulnerability Lists

• trailofbits/wiki/Detectors-Documentation

Programming Languages that Compile zk-SNARK Circuits and Proofs

• ZoKrates: A toolbox for zkSNARKs on Ethereum
• Snarky: OCaml front-end for writing R1CS SNARKs
• Jsnark: A Java front-end for writing R1CS SNARKs
• scipr-lab/libsnark: C++ library for zkSNARKs
• scipr-lab/dizk: Java library for distributed zero knowledge proof systems

Homomorphic Encryption

• Homomorphic Encryption tool - SEAL, Microsoft

Verifiable Delay Functions (VDFs)

• Verifiable Delay Functions - Dan Boneh
• VDFs and Filecoin - Jeromy Johnson
• Low Latency Modular Multiplication - Erdinc Ozturk
• A Hybrid VDF Prover - Benjamin Wesolowski

<<Back