Skip to content
Gallery
Readings
Book Readings
Writings
个人成长
Tech Learning
Web3 Industry Report
Startup Ideas
Useful Link Cache
More
Share
Explore
Web3 Stack

ZKP Workshop

⁠
Loading…
⁠
⁠
Yupeng Zhang (Texas A&M University) presented a
tutorial on recent development of ZKP systems
⁠
, an exceptional overview of different approaches to building zk proof systems, mapping them across 4 axes: poof succinctness, prover and verifier efficiency, and transparent vs. trusted setup.
⁠
image.png
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
circuit is universal
Scheme that works for any circuit

SNARK
Did not understand the math behind it
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠


ZK Whiteboard Session


What is SNARK?

SNARK - a succinct proof that a certain statement is true (short in size & fast to verify)
ZK SNARK - SNARK & Zero-knowledge
Simulator has more power than prover because it can pick Sp
⁠
image.png
⁠
image.png
⁠
⁠
⁠
image.png
⁠
image.png
⁠
⁠
image.png
⁠
image.png
⁠
⁠
⁠
image.png
⁠
image.png
⁠
⁠
⁠
image.png
⁠
image.png
⁠
⁠
⁠
image.png
⁠
image.png
⁠
⁠
image.png
⁠
image.png
⁠
⁠


Building a SNARK

⁠
image.png
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
⁠
image.png
⁠
⁠
image.png
⁠
⁠


Want to print your doc?
This is not the way.
Try clicking the ⋯ next to your doc name or using a keyboard shortcut (
CtrlP
) instead.