rkm0959 / Presentations
Presentations by rkm0959
☆25Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for Presentations
- Some of Our Audit Reports, Presentations, etc☆11Updated 7 months ago
- 🧩 Collection of CTF challenges written by me☆18Updated last year
- Automated verification of uniqueness property for ZKP circuits☆41Updated 5 months ago
- Reproduce ZKP vulnerabilities☆43Updated 3 weeks ago
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆34Updated last year
- ☆19Updated 2 months ago
- ☆46Updated last year
- A Rust macro for quickly unwrapping a refutable pattern.☆11Updated last year
- Zero Knowledge based Ethereum Virtual Machine in Circom language☆17Updated 3 years ago
- SMT 2023 Submission; license pending☆52Updated last month
- Collection of Web3 Audits and Publications by ChainLight of Theori☆13Updated last year
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆64Updated last year
- Write-ups submitted by CTF participants☆35Updated last year
- Framework for Solana CTF challenges☆55Updated 2 years ago
- An automated fuzz harness generator for Go projects☆14Updated last month
- Automated verification of uniqueness property for ZKP circuits☆70Updated 7 months ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated last year
- ☆19Updated 2 weeks ago
- ☆12Updated last year
- For practice to using halo2☆23Updated last year
- A Symbolic Execution Tool for Cairo☆49Updated 2 years ago
- Formal verification of WETH9.sol with Z3☆55Updated last year
- ☆29Updated last year
- ☆11Updated last month
- rkm0959 implements stuff☆43Updated 2 years ago
- Solves systems of polynomial equations.☆29Updated last year
- ☆28Updated last year
- ☆46Updated 8 months ago
- Validation code for the EOF specification☆43Updated last week
- A collection of comparison-benchmarks for Nova & related Proving systems☆42Updated last year