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.
- Zero-knowledge finance (ZeFi) is a form of decentralized finance that does not reveal sensitive financial information such as identifiers, quantities, or rates to offer traditional financial instruments.
- Cryptocurrency (crypto) is a tradable digital asset or digital form of money that only relies on cryptography to solve the double spend problem.
- Non-fungible token (NFT) is a unique and non-interchangeable unit or asset possessed digitally.
- Stablecoin (SC) is a digital currency or commodity pegged to a reference value.
- Decentralized autonomous organization (DAO) is an entity that makes decisions secretively and independently.
- 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.
- 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, proof of hi-score.
- Gamble can ensure fair random and payments.
- Information market is a trustless bazaar of mathematically formalizable secrets.
Blacknet 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, Blacknet compromises on atomicity to achieve composable and scalable programmability. Applications can be desktop, mobile, web, but not limited to these platforms.
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.