trailofbits / circomspect
A static analyzer and linter for the Circom zero-knowledge DSL
☆234Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for circomspect
- Automated verification of uniqueness property for ZKP circuits☆70Updated 8 months ago
- Collection of security reviews of ZK Protocols☆221Updated last week
- Ecne: An engine for verifying the soundness of R1CS constraints☆108Updated 2 years ago
- A curated list of awesome security resources for ZK.☆72Updated last week
- symbolic EVM evaluator☆238Updated 2 weeks ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆216Updated last year
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆64Updated last year
- ☆192Updated 11 months ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated 9 months ago
- A curated list of repos related to Circom☆94Updated last year
- Middleware to compile Circom circuits to Nova prover☆235Updated 8 months ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆203Updated 11 months ago
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆616Updated last week
- Playing with zero-knowledge proof languages☆104Updated last year
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆117Updated last year
- Using mutations to improve specs and test suites☆167Updated 2 months ago
- SMT 2023 Submission; license pending☆52Updated this week
- Introduction to Zero Knowledge Proof☆238Updated 2 years ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆275Updated 3 weeks ago
- zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!☆98Updated 5 months ago
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆205Updated 2 months ago
- Cairo/Starknet smart contract fuzzer☆118Updated 8 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆126Updated last year
- A curated list of zero-knowledge folding schemes☆281Updated 3 months ago
- Public infra related to hosting Paradigm CTF☆103Updated 7 months ago
- Interactive documentation on zero-knowledge proof systems and related primitives.☆146Updated this week
- Noname: a programming language to write zkapps☆194Updated last week
- List of halo2-related resources☆188Updated 9 months ago
- ☆117Updated 2 months ago
- A Cairo VM prover implemented using Winterfell☆156Updated 2 years ago