rkm0959 / Presentations
Presentations by rkm0959
☆26Updated last year
Alternatives and similar repositories for Presentations:
Users that are interested in Presentations are comparing it to the libraries listed below
- 🧩 Collection of CTF challenges written by me☆19Updated 2 weeks ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆66Updated 2 years ago
- ☆22Updated 8 months ago
- Some of Our Audit Reports, Presentations, etc☆12Updated last year
- Zero Knowledge based Ethereum Virtual Machine in Circom language☆17Updated 4 years ago
- Framework for Solana CTF challenges☆61Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 10 months ago
- ☆23Updated last month
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆36Updated last month
- Collection of Web3 Audits and Publications by ChainLight of Theori☆13Updated last year
- SMT 2023 Submission; license pending☆53Updated 4 months ago
- Write-ups submitted by CTF participants☆35Updated last year
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated 2 years ago
- ☆11Updated last year
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- ☆47Updated last year
- Public infra related to hosting Paradigm CTF☆111Updated last year
- ☆12Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- A Rust macro for quickly unwrapping a refutable pattern.☆11Updated last year
- ☆86Updated last month
- rkm0959 implements stuff☆43Updated 2 years ago
- ☆30Updated 2 years ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆78Updated last year
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆71Updated 6 months ago
- A curated list of awesome security resources for ZK.☆79Updated last month
- For practice to using halo2☆22Updated last year
- Formal verification of WETH9.sol with Z3☆57Updated 2 years ago
- ☆11Updated last year
- ☆16Updated 6 months ago