zkdocs
Info verification platform
A platform that enables secure and private verification of information through cryptographic commitments and zero-knowledge proofs
309 stars
14 watching
30 forks
Language: TypeScript
last commit: over 2 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 worldcoin/proto-neural-zkp | A system to verify neural networks in zero-knowledge proofs using cryptographic techniques | 172 |
 specify/specify7 | A web-based data management platform for biological collections, offering collaboration, cloud computing, and single sign-on features. | 67 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
 scryinfo/dp | Enables secure data exchange between blockchain and applications through standardized protocol. | 80 |
 hashgraph/guardian | An open-source platform for creating and verifying digital environmental assets using a customizable workflow engine and blockchain technology. | 106 |
| a16z/zkdrops | 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. | 756 |
 scipr-lab/dizk | A Java library enabling verifiable computations in distributed systems using zero-knowledge proofs and scalable arithmetic. | 237 |
 dapphub/k-dss | Formal specification and verification of a specific smart contract function. | 45 |
 delendum-xyz/zk-knowledge | An online knowledge base for Zero-Knowledge Proof (ZKP) technologies and applications | 117 |
 mazipan/pramuka-id | An online platform providing digital information and resources on various topics including pramuka, nationalism, and general skills | 98 |
 adamisz/from0k2bp | Exploring the development of a cryptographic protocol from scratch to production-ready implementation | 156 |
 brownie/cashlib | A system for specifying and executing cryptographic operations and electronic cash protocols in a high-level language | 54 |
 namchee/piramida | Verifies the legality of investment platforms using data from OJK Invest API | 4 |
 microsoft/spartan | A high-speed zero-knowledge proof system with transparent setup and arbitrary NP statement support | 707 |
 privacy-scaling-explorations/chiquito | A high-level DSL for implementing zero-knowledge proof applications with structured abstractions and a focus on performance. | 189 |