Picus
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
Automated verification of uniqueness property for ZKP circuits
70 stars
2 watching
5 forks
Language: Circom
last commit: 9 months ago blockchaincircomcircomlibsecurityverificationzero-knowledge
Related projects:
| Repository | Description | Stars |
|---|---|---|
 worldcoin/proto-neural-zkp | A system to verify neural networks in zero-knowledge proofs using cryptographic techniques | 169 |
 whitenois3/huff-snark-verifier | Generates optimized smart contract code for verifying proofs in blockchain applications | 126 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 158 |
 bedrocksystems/brick | Formalization of C++ logic for verifying concurrent programming | 69 |
 socathie/circomlib-ml | Provides pre-built, modular, and reusable components for machine learning and cryptographic computations | 166 |
 iden3/circom_old | A compiler for a specific circuit language used in zkSNARKs proofs | 473 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 295 |
 baro77/zkbasicscs | A concise introduction to Zero-Knowledge Proofs basics | 119 |
 a16z/zkdocs | A platform that enables secure and private verification of information through cryptographic commitments and zero-knowledge proofs | 309 |
| iden3/circom | A compiler for defining arithmetic circuits used in zero-knowledge proofs | 1,339 |
 semaphore-protocol/semaphore | Enables anonymous interactions by providing a way to prove membership in groups and send messages without revealing personal identity. | 916 |
 mciepluc/cocotb-coverage | Tools for enhanced verification of digital circuits | 104 |
 nulltea/zk-sql | An engine for proving the correctness of SQL queries without trusting the data source | 84 |
 privacy-scaling-explorations/chiquito | A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance. | 188 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |