trailofbits / circomspectLinks
A static analyzer and linter for the Circom zero-knowledge DSL
☆260Updated last year
Alternatives and similar repositories for circomspect
Users that are interested in circomspect are comparing it to the libraries listed below
Sorting:
- Automated verification of uniqueness property for ZKP circuits☆93Updated last year
- A curated list of awesome security resources for ZK.☆118Updated 3 months ago
- Interactive documentation on zero-knowledge proof systems and related primitives.☆172Updated 5 months ago
- ZK proofs for responsible vulnerability disclosure on EVM.☆237Updated this week
- zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!☆207Updated last year
- Collection of security reviews of ZK Protocols☆239Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆114Updated 3 years ago
- Playing with zero-knowledge proof languages☆107Updated 3 years ago
- Introduction to Zero Knowledge Proof☆246Updated last year
- Symbolic and concrete EVM execution engine☆327Updated this week
- ☆89Updated this week
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆70Updated 2 years ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Updated 2 years ago
- My work for Rareskills ZK Book.☆75Updated 2 years ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆147Updated 11 months ago
- A curated list of repos related to Circom☆104Updated 3 years ago
- ☆204Updated 2 years ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆219Updated 2 years ago
- Using mutations to improve specs and test suites☆203Updated 8 months ago
- A curated list of zkVM, zero-knowledge virtual machine☆300Updated 4 months ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆131Updated 3 years ago
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆92Updated 2 months ago
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 7 months ago
- ☆120Updated 9 months ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 6 months ago
- Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group☆134Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆141Updated 4 months ago
- Tools for Yul.☆138Updated 2 years ago
- SMT 2023 Submission; license pending☆57Updated last week
- ☆136Updated 5 months ago