zk-SNARK

SNARKs are short for succinct non-interactive arguments of knowledge. In this general setting of so-called interactive protocols, there is a prover and a verifier and the prover wants to convince the verifier about a statement (e.g. that f(x) = y) by exchanging messages. The generally desired properties are that no prover can convince the verifier about a wrong statement (soundness) and there is a certain strategy for the prover to convince the verifier about any true statement (completeness).

blog.ethereum.org

Unlock Alpha

Signup for free and stay ahead of the market with key insights, data, and institutional-grade research from top crypto analysts.

Related research

Other Crypto Projects

Aave

Aave is a money market protocol that facilitates over-collateralized borrowing and lending of crypto...

THORChain

THORChain is a one-of-a-kind cross-chain DEX that offers native cross-chain swaps...

X2Y2

X2Y2 is an NFT marketplace originally forked from LooksRare that rewards traders and collectors for ...

dYdX

dYdX is an on-chain derivatives exchange built on crypto rails...

Frax Finance

Frax Finance is a DeFi protocol boasting a stablecoin, liquid staking, and various other financial p...

LooksRare

LooksRare is an NFT marketplace that rewards traders and collectors for using its platform...

Concepts

Institutional-Grade Crypto Research & Analysis

Top-tier firms & investors turn to Delphi Digital for unparalleled analysis of the digital asset market.