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.
☆235Updated 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)☆280Updated 2 years ago
- ☆130Updated 2 weeks ago
- Collection of security reviews of ZK Protocols☆232Updated 8 months ago
- evm inception: the evm inside the evm via yul and solidity☆230Updated 2 years ago
- 10 More EVM Puzzles☆170Updated last year
- Run arbitrary code on the EVM☆264Updated last year
- Website for the Underhanded Solidity Contest☆170Updated 9 months ago
- Practical tutorials of Certora Prover☆239Updated last year
- Replay and track historical state☆207Updated 6 months ago
- Pre-built security properties for commonly forked DeFi protocols☆196Updated last year
- ☆230Updated 2 years ago
- Symbolic stack CFG generator for EVM☆187Updated 6 months ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆209Updated last year
- Collection of public security reviews☆205Updated last week
- Hacks/Vulns/Audits Compilation☆163Updated 11 months ago
- Diff EVM-compatible chains in a friendly format☆288Updated 6 months ago
- A simple template to perform whitehacks safely☆178Updated 2 years ago
- ☆76Updated last week
- Using mutations to improve specs and test suites☆192Updated 3 months ago
- Hunt for common bad practices in Solidity smart contracts !☆122Updated 2 years ago
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆90Updated 3 months ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆316Updated 4 months ago
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- A DSL for generating optimal EVM bytecode☆188Updated 9 months ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated 6 months ago
- A set of exercises to practice Yul☆94Updated 6 months ago
- A forkable template repo for easily writing and testing toy contracts☆151Updated last year
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆128Updated 11 months ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆105Updated 2 years ago
- ☆215Updated 11 months ago