Skip to content
@Zellic

Zellic

Security reviews and research that keep winners winning. We apply unmatched hacking talent to secure critical software for the most innovative teams.

Popular repositories

  1. publications publications Public

    Zellic's audits, publications, and reports

    125 15

  2. weth weth Public

    Formal verification of WETH9.sol with Z3

    Python 52 3

  3. Masamune Masamune Public

    A smart contract security search utility

    Python 51 12

  4. poc-hacks poc-hacks Public

    Solidity 38 4

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

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

    Move 35 4

  6. example-ctf-challenge example-ctf-challenge Public

    A self-contained example Ethereum challenge using Paradigm's CTF framework

    Python 20 5

Repositories

Showing 10 of 11 repositories

Top languages

Loading…

Most used topics

Loading…