Picus
by Veridise
Automated verification of uniqueness property for ZKP circuits
AI summary
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
- stars
- 70
- forks
- 5
- watching
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Zero knowledge verification
A system to verify neural networks in zero-knowledge proofs using cryptographic techniques
Verifier generator
Generates optimized smart contract code for verifying proofs in blockchain applications
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
ML component library
Provides pre-built, modular, and reusable components for machine learning and cryptographic computations
Circuit compiler
A compiler for a specific circuit language used in zkSNARKs proofs
Compiler
Compiles high-level programming languages into input for provable computations protocols.
Zero-knowledge proof primer
A concise introduction to Zero-Knowledge Proofs basics
a16z/zkdocs309
Info verification platform
A platform that enables secure and private verification of information through cryptographic commitments and zero-knowledge proofs
iden3/circom1.4K
Circuit compiler
A compiler for defining arithmetic circuits used in zero-knowledge proofs
Privacy layer
A protocol for anonymous interactions, enabling private group membership and message sending across blockchains without revealing identity.
Verification tools
Tools for enhanced verification of digital circuits
Query Verifier
An engine for proving the correctness of SQL queries without trusting the data source
ZKP DSL
A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance.
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
