What I Touched This Week 2020-02-02
Zero-knowledge Proof The Incredible Machine - QEDIT - Medium 1998 - Jean-Jacques, Louis - How to Explain Zero-Knowledge Protocols to Your Children.pdf Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineering “Thus if the amount of information I can extract is identical in the ‘real experiment’ and the ’time machine experiment’, yet the amount of information Google puts into the ’time machine’ experiment is exactly zero — then this implies that even in the real world the protocol must not leak any useful information.” Zero Knowledge Proofs: An illustrated primer, Part 2 – A Few Thoughts on Cryptographic Engineering “We’re asking that a protocol be both sound — meaning that a bogus Prover can’t trick some Verifier into accepting a statement unless it has special knowledge allowing it to prove the statement — but we’re also asking for the existence of an algorithm (the simulator) that can literally cheat. Clearly both properties can’t hold at the same time. The solution to this problem is that both properties don’t hold at the same time. " “A knowledge extractor (or just ‘Extractor’ for short) is a special type of Verifier that interacts with a Prover, and — if the Prover succeeds in completing the proof — the Extractor should be able to extract the Prover’s original secret.” “The Extractor is not required to exist during a normal run of the protocol.” 初识「零知识」与「证明」 - SECBIT Blog “零知识证明是打通链上数据与链下计算的关键技术，也是实现链上数据隐私保护的重要途径” “证明不仅仅是一个严格推理，而且凝结了似乎很难机械化的创造性思维。证明中蕴含了大量的「知识」，每一次的突破，都将我们的认知提升到一个新的高度。” 从「模拟」理解零知识证明：平行宇宙与时光倒流 - SECBIT Blog 读心术：从零知识证明中提取「知识」 - SECBIT Blog 亚瑟王的「随机」挑战：从交互到非交互式零知识证明 - SECBIT Blog…