ZK-STARK
A zero-knowledge form of a scalable, transparent argument of knowledge, typically using hash-based techniques.
In more detail
Transparent means the setup does not depend on keeping a secret value from a trusted ceremony. STARK systems still need correctly specified computations and sound implementations. Their proof sizes and proving or verification costs differ from many SNARK designs, which matters when deciding where the proof will be checked.
How you might use it
The batch's execution is proved with a transparent setup, without a secret trusted-setup ceremony.
- Written out
- Zero-Knowledge Scalable Transparent Argument of Knowledge
Listen uses a browser-generated voice. Accents and pronunciation can vary.
Got a way to make ZK-STARK click?
Add your takeBy Crypto Dictionary · Published · Updated
Go to the source
Use the original reference to explore the details behind this entry.
Read the referenceAn original explanation with a reference to follow. Protocol details and community usage can evolve. Sources & standards