ZKP Intro

20 年的研究了...

你真的不在乎?

• Privacy
• NDA 序列, 只需 10,000 台幣

Title Text

• Private Computation

Private Computaion

• Zero Knowledge Proofs
• Secure Multiparties Computation

門羅幣, Monero

Zcash

corda

what is a Proof?

(in a Proof System)

+ "interactive"

+probabilistic

Completeness

完整性

soundness

健全

effiency

效率

It should be

• Non-interactive
• Bullet Two
• Bullet Three

What are Zero Knowledge Proofs ?

The concept of zero-knowledge proofs was first conceived in 1989 by Shafi Goldwasser, Silvio Micali and Charles Rackoff in their paper "The Knowledge Complexity of Interactive Proof-Systems".

Non-interactive zero-knowledge proof

NIZK