Zero-Knowledge Application
Zero-knowledge application (zApp) is a decentralized application that makes use of privacy-enhancing technologies, e.g. zero-knowledge proof (ZKP), homomorphic encryption (HE), secure multiparty computation (SMC), but operates correctly despite incomplete information, due to verifiable computation and arguments of knowledge.
Use Cases
- Zero-Knowledge Finance
- Cryptocurrency (crypto) is a tradable digital asset or digital form of money that only relies on cryptography to solve the double spend problem.[1]
- Non-fungible token (NFT) is a unique and non-interchangeable unit or asset possessed digitally.[2]
- Stablecoin (SC) is a digital currency or commodity pegged to a reference value.[3]
- Decentralized autonomous organization (DAO) is an entity that makes decisions secretively and independently.[4]
- Self-sovereign identity (SSI) is a digital identity that gives individuals the absolute control of their digital credentials i.e. without disclosure to authoritative issuers.[5]
- Game, if turn-based, can naturally run on top of consensus. Real-time game can benefit in less straightforward ways, e.g. proof of speedrun[6], proof of hi-score.
- Gamble can ensure fair random[7] and payments.
- Information market[8] is a trustless bazaar of mathematically formalizable secrets.
Specifics
The platform is designed around an idea that computationally heavy applications can use a public distributed ledger. In contrast to prior platforms, which put either concurrency or parallelism at the core, a compromise is made on atomicity to achieve composable and scalable programmability. Applications can be desktop, mobile, web, but not limited to these platforms.
Development
API for development of zApps is ongoing progress. You can join the discussion such as whether a folding-based zero-knowledge proof-carrying data (ZK-PCD) will be the most suitable tool for our goals.
References
- Satoshi Nakamoto, Bitcoin P2P e-cash paper, .
- Dapper Labs, CryptoKitties | Collect and breed digital cats!, .
- Bitfinex_USD, The first dividend paying USD asset, .
- Samer Hassan, Primavera De Filippi, Decentralized Autonomous Organization, .
- Christopher Allen, The Path to Self-Sovereign Identity, .
- pdg744, Re: Run Doom on zkVM, .
- evoorhees, SatoshiDICE.com - Verified rolls, up to 65,000x winning, .
- Tim May, Untraceable Digital Cash, Information Markets, and BlackNet, .