rkm0959 / PresentationsLinks
Presentations by rkm0959
☆27Updated last year
Alternatives and similar repositories for Presentations
Users that are interested in Presentations are comparing it to the libraries listed below
Sorting:
- Framework for Solana CTF challenges☆75Updated last month
- Some of Our Audit Reports, Presentations, etc☆13Updated last year
- 🧩 Collection of CTF challenges written by me☆19Updated 9 months ago
- Collection of Web3 Audits and Publications by ChainLight of Theori☆14Updated 2 years ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆70Updated 2 years ago
- ☆34Updated last month
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆90Updated 2 months ago
- ☆38Updated last year
- A Rust macro for quickly unwrapping a refutable pattern.☆12Updated 2 years ago
- ☆25Updated last year
- Public infra related to hosting Paradigm CTF☆114Updated last year
- Automated verification of uniqueness property for ZKP circuits☆45Updated last year
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated 2 years ago
- Numen Cyber Smart Contract CTF☆47Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆92Updated last year
- Novel and informative web3 security talks☆20Updated 3 years ago
- A curated list of awesome security resources for ZK.☆117Updated 2 months ago
- ☆87Updated 2 years ago
- ethpwn - the Swiss Army Knife for Smart Contract Hacking☆56Updated last month
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆57Updated 6 months ago
- ☆17Updated last year
- SMT 2023 Submission; license pending☆57Updated last year
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆38Updated 10 months ago
- ☆48Updated 2 years ago
- Solidity ANTLR4 grammar Python parser☆13Updated 10 months ago
- ☆88Updated 4 months ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆113Updated 3 years ago
- My swiss army knife for reversing EVM bytecodes (super experimental)☆127Updated last month
- A Symbolic Execution Tool for Cairo☆52Updated 3 years ago
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago