trailofbits / circomspect
A static analyzer and linter for the Circom zero-knowledge DSL
☆245Updated 9 months ago
Alternatives and similar repositories for circomspect:
Users that are interested in circomspect are comparing it to the libraries listed below
- A curated list of awesome security resources for ZK.☆78Updated 3 weeks ago
- Collection of security reviews of ZK Protocols☆225Updated 4 months ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆227Updated 2 years ago
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆654Updated 3 months ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆66Updated 2 years ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆149Updated last month
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- Cairo/Starknet smart contract fuzzer☆123Updated last month
- ☆195Updated last year
- Middleware to compile Circom circuits to Nova prover☆237Updated last year
- A curated list of zero-knowledge folding schemes☆298Updated 7 months ago
- zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!☆144Updated 9 months ago
- symbolic EVM evaluator☆270Updated last week
- Noname: a programming language to write zkapps☆211Updated last month
- Static Analyzer for Starknet smart contracts☆142Updated last year
- Introduction to Zero Knowledge Proof☆243Updated 4 months ago
- A curated list of repos related to Circom☆97Updated 2 years ago
- Interactive documentation on zero-knowledge proof systems and related primitives.☆153Updated last month
- SMT 2023 Submission; license pending☆53Updated 4 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆77Updated last year
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆287Updated 3 months ago
- Using mutations to improve specs and test suites☆183Updated 6 months ago
- A testing & development environment for Circom.☆107Updated last month
- Public infra related to hosting Paradigm CTF☆111Updated last year
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆121Updated 2 years ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆255Updated last month
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 2 years ago
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆231Updated 2 months ago