trailofbits / circomspect
A static analyzer and linter for the Circom zero-knowledge DSL
☆229Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for circomspect
- Automated verification of uniqueness property for ZKP circuits☆70Updated 7 months ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆107Updated 2 years ago
- Collection of security reviews of ZK Protocols☆219Updated last week
- A curated list of awesome security resources for ZK.☆64Updated 2 weeks ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆215Updated last year
- symbolic EVM evaluator☆235Updated this week
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated 8 months ago
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆612Updated 7 months ago
- zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!☆92Updated 5 months ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆117Updated last year
- Using mutations to improve specs and test suites☆165Updated 2 months ago
- An online playground for zero knowledge circuits☆143Updated 4 months ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆273Updated last week
- Middleware to compile Circom circuits to Nova prover☆234Updated 8 months ago
- Playing with zero-knowledge proof languages☆104Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆122Updated 4 months ago
- A curated list of repos related to Circom☆94Updated last year
- A curated list of zero-knowledge folding schemes☆280Updated 3 months ago
- SMT 2023 Submission; license pending☆52Updated last month
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆64Updated last year
- Static Analyzer for Starknet smart contracts☆135Updated 9 months ago
- ☆192Updated 11 months ago
- Introduction to Zero Knowledge Proof☆238Updated 2 years ago
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆204Updated last month
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆125Updated last year
- Noname: a programming language to write zkapps☆189Updated this week
- Symbolic stack CFG generator for EVM☆179Updated 5 months ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆310Updated last year
- Public infra related to hosting Paradigm CTF☆103Updated 7 months ago
- A repo for our research papers☆205Updated 3 weeks ago