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 5 months ago
Alternatives and similar repositories for zkPoEX
Users that are interested in zkPoEX are comparing it to the libraries listed below
Sorting:
- ☆135Updated 3 months ago
- ☆78Updated 2 months ago
- Website for the Underhanded Solidity Contest☆168Updated last year
- ☆226Updated 2 years ago
- A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)☆284Updated 2 years ago
- Collection of security reviews of ZK Protocols☆235Updated last year
- Run arbitrary code on the EVM☆263Updated last year
- Diff EVM-compatible chains in a friendly format☆290Updated 9 months ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆212Updated last year
- Replay and track historical state☆218Updated 10 months ago
- 10 More EVM Puzzles☆170Updated last year
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆329Updated 8 months ago
- Collection of public security reviews☆213Updated last week
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆89Updated 6 months ago
- Hacks/Vulns/Audits Compilation☆162Updated last year
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- A forkable template repo for easily writing and testing toy contracts☆150Updated last year
- Pre-built security properties for commonly forked DeFi protocols☆196Updated 2 years ago
- Practical tutorials of Certora Prover☆241Updated 2 years ago
- A DSL for generating optimal EVM bytecode☆191Updated last year
- evm inception: the evm inside the evm via yul and solidity☆228Updated 2 years ago
- A set of exercises to practice Yul☆122Updated 3 months ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated 9 months ago
- ☆164Updated 3 years ago
- ☆213Updated last year
- Symbolic stack CFG generator for EVM☆188Updated 10 months ago
- A simple template to perform whitehacks safely☆181Updated 2 years ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆107Updated 2 years ago
- ☆193Updated 2 years ago
- template for efficient paradigm ctf testing & scripts☆155Updated 2 years ago