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

    168 19

  2. EVM-trackooor EVM-trackooor Public

    A modular tool to track anything on the EVM chain, including real-time tracking and alerts.

    Go 140 19

  3. Masamune Masamune Public

    A smart contract security search utility

    JavaScript 74 12

  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 60 4

  5. weth weth Public

    Formal verification of WETH9.sol with Z3

    Python 57 4

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

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

    Move 48 9

Repositories

Showing 10 of 21 repositories
  • TON-study Public
    Zellic/TON-study’s past year of commit activity
    TypeScript 3 MIT 0 0 0 Updated Apr 15, 2025
  • movetool Public
    Zellic/movetool’s past year of commit activity
    Rust 9 AGPL-3.0 1 0 0 Updated Apr 14, 2025
  • publications Public

    Zellic's audits, publications, and reports

    Zellic/publications’s past year of commit activity
    168 19 0 1 Updated Apr 10, 2025
  • BitVM Public Forked from BitVM/BitVM

    A Trust-minimized Bitcoin Bridge

    Zellic/BitVM’s past year of commit activity
    Rust 0 MIT 146 0 0 Updated Feb 26, 2025
  • zkerc20 Public

    Private ERC-20 wrapping and bridging

    Zellic/zkerc20’s past year of commit activity
    JavaScript 0 GPL-3.0 1 6 (3 issues need help) 1 Updated Feb 19, 2025
  • EVM-trackooor Public

    A modular tool to track anything on the EVM chain, including real-time tracking and alerts.

    Zellic/EVM-trackooor’s past year of commit activity
    Go 140 GPL-3.0 19 0 0 Updated Jan 11, 2025
  • telescope Public

    Telegram enterprise account sovereignty

    Zellic/telescope’s past year of commit activity
    Python 2 0 0 0 Updated Jan 8, 2025
  • Zellic/telescope-webui’s past year of commit activity
    TypeScript 0 0 0 0 Updated Jan 8, 2025
  • 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 60 AGPL-3.0 4 3 0 Updated Jan 5, 2025
  • Masamune Public

    A smart contract security search utility

    Zellic/Masamune’s past year of commit activity
    JavaScript 74 GPL-3.0 12 2 0 Updated Dec 26, 2024