cashlib
by brownie
ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).
AI summary
Cryptographic protocol framework
A system for specifying and executing cryptographic operations and electronic cash protocols in a high-level language
- stars
- 54
- forks
- 13
- watching
- 4
Similar projects
Found by comparing what the projects do, not just their names.
Zero-knowledge proof library
A cryptographic project providing a protocol for short, non-interactive zero-knowledge proofs of knowledge about committed values.
Zero-knowledge proof system
A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic.
Zero knowledge verification
A system to verify neural networks in zero-knowledge proofs using cryptographic techniques
ZKP DSL
A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance.
Zero-knowledge proof primer
A concise introduction to Zero-Knowledge Proofs basics
Cryptographic library
A Rust implementation of a cryptographic system and extensions.
ddkang/zkml349
Proof generator
A framework for constructing proofs of ML model execution in ZK-SNARKs
ZK SDK
A toolkit for building and executing zero-knowledge transactions in web applications.
Zero-Knowledge Proof System
A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support
Compiler
Compiles high-level programming languages into input for provable computations protocols.
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
iden3/snarkjs1.8K
Zero-knowledge computation library
A JavaScript and WebAssembly implementation of a zero-knowledge proof protocol for secure multi-party computations
a16z/zkdrops756
Token claim protocol
A system allowing users to claim tokens after providing a commitment over a public channel and later proving membership in a Merkle tree using a zero-knowledge proof.
Info verification platform
A platform that enables secure and private verification of information through cryptographic commitments and zero-knowledge proofs
ZKP repository
An online knowledge base for Zero-Knowledge Proof (ZKP) technologies and applications
