zkoranges / zkPoEXLinks
zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, facilitating efficient communication and collaboration between hackers and project owners for a more secure DeFi ecosystem.
☆234Updated 2 months ago
Alternatives and similar repositories for zkPoEX
Users that are interested in zkPoEX are comparing it to the libraries listed below
Sorting:
- A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)☆283Updated 2 years ago
- Collection of security reviews of ZK Protocols☆233Updated 9 months ago
- ☆131Updated 3 weeks ago
- Website for the Underhanded Solidity Contest☆170Updated 9 months ago
- ☆77Updated this week
- ☆228Updated 2 years ago
- Diff EVM-compatible chains in a friendly format☆289Updated 7 months ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆210Updated last year
- Run arbitrary code on the EVM☆265Updated last year
- Practical tutorials of Certora Prover☆238Updated last year
- Hacks/Vulns/Audits Compilation☆162Updated last year
- A DSL for generating optimal EVM bytecode☆189Updated 10 months ago
- A simple template to perform whitehacks safely☆178Updated 2 years ago
- 10 More EVM Puzzles☆170Updated last year
- A forkable template repo for easily writing and testing toy contracts☆151Updated last year
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated 7 months ago
- Pre-built security properties for commonly forked DeFi protocols☆196Updated last year
- Using mutations to improve specs and test suites☆193Updated 4 months ago
- evm inception: the evm inside the evm via yul and solidity☆228Updated 2 years ago
- Replay and track historical state☆205Updated 7 months ago
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆90Updated 4 months ago
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- Symbolic stack CFG generator for EVM☆187Updated 7 months ago
- ☆213Updated 11 months ago
- ☆194Updated 2 years ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆316Updated 5 months ago
- Development framework for Foundry projects☆290Updated 4 months ago
- Collection of public security reviews☆205Updated last week
- Hunt for common bad practices in Solidity smart contracts !☆122Updated 2 years ago
- A smart contract security search utility☆73Updated 8 months ago