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 Loading

  1. publications publications Public

    Zellic's audits, publications, and reports

    131 15

  2. weth weth Public

    Formal verification of WETH9.sol with Z3

    Python 55 4

  3. Masamune Masamune Public

    A smart contract security search utility

    Python 53 12

  4. poc-hacks poc-hacks Public

    Solidity 38 4

  5. 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 36 1

  6. move-prover-examples move-prover-examples Public

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

    Move 35 5

Repositories

Showing 10 of 14 repositories
  • publications Public

    Zellic's audits, publications, and reports

    Zellic/publications’s past year of commit activity
    131 15 0 0 Updated Jun 27, 2024
  • 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.

    Zellic/solidity-parser’s past year of commit activity
    Python 36 AGPL-3.0 1 1 0 Updated Jun 13, 2024
  • public-addresses Public
    Zellic/public-addresses’s past year of commit activity
    0 0 0 0 Updated May 29, 2024
  • Masamune Public

    A smart contract security search utility

    Zellic/Masamune’s past year of commit activity
    Python 53 GPL-3.0 12 2 3 Updated May 28, 2024
  • fhe_attacks Public

    attack implementation against FHE

    Zellic/fhe_attacks’s past year of commit activity
    Sage 0 GPL-3.0 0 0 0 Updated May 17, 2024
  • .github Public
    Zellic/.github’s past year of commit activity
    0 0 0 0 Updated Oct 20, 2023
  • DonkeySwap Public

    Intentionally vulnerable Coin swap protocol. DO NOT USE. FOR LEARNING PURPOSES ONLY.

    Zellic/DonkeySwap’s past year of commit activity
    Move 4 0 0 0 Updated May 2, 2023
  • poc-hacks Public
    Zellic/poc-hacks’s past year of commit activity
    Solidity 38 4 0 0 Updated Mar 29, 2023
  • nextjs-template Public

    Typescript, Zod REST APIs, Zod forms, various utilities and boilerplate, EveryLayout based SCSS

    Zellic/nextjs-template’s past year of commit activity
    TypeScript 2 2 0 0 Updated Jan 2, 2023
  • BokkyPooBahsDateTimeLibrary Public

    Formal verification of the popular BokkyPooBah's DateTimeLibrary

    Zellic/BokkyPooBahsDateTimeLibrary’s past year of commit activity
    SMT 4 2 0 0 Updated Nov 25, 2022
View all repositories

Most used topics

Loading…