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.
☆236Updated 6 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☆285Updated this week
- ☆135Updated 4 months ago
- Collection of security reviews of ZK Protocols☆237Updated last year
- ☆80Updated 2 months ago
- ☆227Updated 2 years ago
- Website for the Underhanded Solidity Contest☆169Updated last year
- Amarna is a static-analyzer and linter for the Cairo programming language.☆147Updated 10 months ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆212Updated 2 years ago
- Replay and track historical state☆219Updated 11 months ago
- Diff EVM-compatible chains in a friendly format☆291Updated 10 months ago
- A DSL for generating optimal EVM bytecode☆191Updated last year
- Run arbitrary code on the EVM☆266Updated last year
- evm inception: the evm inside the evm via yul and solidity☆227Updated 2 years ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆332Updated 8 months ago
- Hacks/Vulns/Audits Compilation☆162Updated last year
- A simple template to perform whitehacks safely☆181Updated 2 years ago
- A forkable template repo for easily writing and testing toy contracts☆152Updated last year
- Practical tutorials of Certora Prover☆241Updated 2 years ago
- Foundry Repository Template that supports writing contracts in Huff using the foundry-huff library.☆210Updated last year
- 10 More EVM Puzzles☆170Updated 2 years ago
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆91Updated 7 months ago
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆177Updated 2 years ago
- My work for Rareskills ZK Book.☆72Updated last year
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- Solidity compiler tooling by @NomicFoundation☆275Updated last week
- Public reports of audits performed by Nethermind Security☆57Updated 3 weeks ago
- Collection of public security reviews☆218Updated last week
- ☆193Updated 2 years ago
- Pre-built security properties for commonly forked DeFi protocols☆196Updated 2 years ago
- Symbolic stack CFG generator for EVM☆189Updated 10 months ago