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: 11 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 | 172 |
 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 | 159 |
 socathie/circomlib-ml | Provides pre-built, modular, and reusable components for machine learning and cryptographic computations | 169 |
 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. | 304 |
 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,366 |
 semaphore-protocol/semaphore | A protocol for anonymous interactions, enabling private group membership and message sending across blockchains without revealing identity. | 938 |
 mciepluc/cocotb-coverage | Tools for enhanced verification of digital circuits | 106 |
 nulltea/zk-sql | An engine for proving the correctness of SQL queries without trusting the data source | 88 |
 privacy-scaling-explorations/chiquito | A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance. | 189 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |