zkdocs
by a16z
AI summary
Info verification platform
A platform that enables secure and private verification of information through cryptographic commitments and zero-knowledge proofs
- stars
- 309
- forks
- 30
- watching
- 14
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
Collection manager
A web-based data management platform for biological collections, offering collaboration, cloud computing, and single sign-on features.
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
Data exchange platform
Enables secure data exchange between blockchain and applications through standardized protocol.
Asset verification platform
An open-source platform for creating and verifying digital environmental assets using a customizable workflow engine and blockchain technology.
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.
Zero-knowledge proof system
A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic.
Contract verification tool
Formal specification and verification of a specific smart contract function.
ZKP repository
An online knowledge base for Zero-Knowledge Proof (ZKP) technologies and applications
Info platform
An online platform providing digital information and resources on various topics including pramuka, nationalism, and general skills
Protocol implementation
Exploring the development of a cryptographic protocol from scratch to production-ready implementation
Cryptographic protocol framework
A system for specifying and executing cryptographic operations and electronic cash protocols in a high-level language
Investment verifier
Verifies the legality of investment platforms using data from OJK Invest API
Zero-Knowledge Proof System
A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support
ZKP DSL
A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance.
