Zellic
Security reviews and research that keep winners winning. We apply unmatched hacking talent to secure critical software for the most innovative teams.
United States of America
Pinned Repositories
DonkeySwap
Intentionally vulnerable Coin swap protocol. DO NOT USE. FOR LEARNING PURPOSES ONLY.
EVM-trackooor
A modular tool to track anything on the EVM chain, including real-time tracking and alerts.
example-ctf-challenge
A self-contained example Ethereum challenge using Paradigm's CTF framework
Masamune
A smart contract security search utility
move-prover-examples
A gentle, example-based guide to getting started with the Move prover.
movetool
poc-hacks
publications
Zellic's audits, publications, and reports
solidity-parser
Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.
weth
Formal verification of WETH9.sol with Z3
Zellic's Repositories
Zellic/publications
Zellic's audits, publications, and reports
Zellic/EVM-trackooor
A modular tool to track anything on the EVM chain, including real-time tracking and alerts.
Zellic/Masamune
A smart contract security search utility
Zellic/solidity-parser
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/weth
Formal verification of WETH9.sol with Z3
Zellic/move-prover-examples
A gentle, example-based guide to getting started with the Move prover.
Zellic/poc-hacks
Zellic/example-ctf-challenge
A self-contained example Ethereum challenge using Paradigm's CTF framework
Zellic/DonkeySwap
Intentionally vulnerable Coin swap protocol. DO NOT USE. FOR LEARNING PURPOSES ONLY.
Zellic/movetool
Zellic/BokkyPooBahsDateTimeLibrary
Formal verification of the popular BokkyPooBah's DateTimeLibrary
Zellic/TON-study
Zellic/fhe_attacks
attack implementation against FHE
Zellic/nextjs-template
Typescript, Zod REST APIs, Zod forms, various utilities and boilerplate, EveryLayout based SCSS
Zellic/telescope
Telegram enterprise account sovereignty
Zellic/zkerc20
Private ERC-20 wrapping and bridging (NOT AUDITED)
Zellic/.github
Zellic/solc-typed-ast
A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.
Zellic/telescope-webui
Zellic/BitVM
A Trust-minimized Bitcoin Bridge
Zellic/confirmation
Use this repository to confirm our payment details
Zellic/lz-onesig-merkleproof-generator
Zellic/public-addresses