Veridise / Picus
Automated verification of uniqueness property for ZKP circuits
☆70Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for Picus
- A Symbolic Execution Tool for Cairo☆49Updated 2 years ago
- SMT 2023 Submission; license pending☆52Updated this week
- Ecne: An engine for verifying the soundness of R1CS constraints☆108Updated 2 years ago
- Reproduce ZKP vulnerabilities☆43Updated last month
- ☆46Updated last year
- A curated list of awesome security resources for ZK.☆72Updated last week
- Automated verification of uniqueness property for ZKP circuits☆41Updated 5 months ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆64Updated last year
- Playing with zero-knowledge proof languages☆104Updated last year
- A curated list of repos related to Circom☆94Updated last year
- A FRI verifier circuit for the Halo2 proof system☆73Updated last year
- Write-ups submitted by CTF participants☆35Updated last year
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆69Updated 10 months ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆234Updated 5 months ago
- Zero-Knowledge University☆31Updated 3 months ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆34Updated last year
- MoonMath Manual notes, exercise solution and extra comments.☆25Updated 4 months ago
- Circuits library for matrix operations in circom☆32Updated 5 months ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆79Updated last year
- ☆55Updated this week
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Reef: A zkSNARK system for proving that a committed document matches a regex☆63Updated 5 months ago
- Benchmarks of popular zkVMs including Jolt☆57Updated 7 months ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated 9 months ago
- StarkNet smart contract fuzzer☆77Updated 2 years ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated last year
- PoC of Revm execution in SGX☆81Updated last year