Popular repositories Loading

1. publications publications Public

   Zellic's audits, publications, and reports

   147 17

2. Masamune Masamune Public

   A smart contract security search utility

   JavaScript 67 13

3. weth weth Public

   Formal verification of WETH9.sol with Z3

   Python 55 4

4. solidity-parser solidity-parser Public

   Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.

   Python 53 2

5. move-prover-examples move-prover-examples Public

   A gentle, example-based guide to getting started with the Move prover.

   Move 39 6

6. poc-hacks poc-hacks Public

   Solidity 39 4