In the past decade, blockchains have seen various financial and technological innovations,
with cryptocurrencies reaching a market cap of over 1 trillion dollars. However, scalability is …

With a zero-knowledge proof (ZKP), a party can prove that a statement is true without
revealing any information except for whether it is indeed true or not. The obvious benefit is …

A zero-knowledge (ZK) proof guarantees that the result of a computation is correct while
keeping part of the computation details private. Some ZK proofs are tiny and can be verified …

Abstract The application of Zero-Knowledge (ZK) proofs is rapidly growing in the industry
and has become a key element to enable privacy and enhance scalability in public …

A zero-knowledge (ZK) proof guarantees that the result of a computation is correct while
keeping part of the computation details private. Some ZK proofs are tiny and can be verified …

With the recent emergence of efficient zero-knowledge (ZK) proofs for general circuits, while
efficient zero-knowledge proofs of algebraic statements have existed for decades, a natural …

Blockchain, which is usually regarded as a public, decentralized and distributed ledger, has
attracted significant attention recently. In the environment of blockchain, all historical …

Recently there has been much academic and industrial interest in practical implementations
of zero knowledge proofs. These techniques allow a party to prove to another party that a …

Efficient zero-knowledge (ZK) proofs for arbitrary boolean or arithmetic circuits have recently
attracted much attention. Existing solutions suffer from either significant prover overhead (ie …

Zero-Knowledge (ZK) proofs were introduced in the seminal work of Goldwasser, Micali, and
Rackoff (STOC 1985) and remain one of the cornerstones of modern cryptography. With the …