CryptographyAdvanced

ZK-STARK

A zero-knowledge form of a scalable, transparent argument of knowledge, typically using hash-based techniques.

PLAIN-ENGLISH DEFINITION

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.

IN THE WILD

How you might use it

The batch's execution is proved with a transparent setup, without a secret trusted-setup ceremony.

WORD NOTES
Written out
Zero-Knowledge Scalable Transparent Argument of Knowledge
Was this clear?

Got a way to make ZK-STARK click?

Add your take

By Crypto Dictionary · Published · Updated

Go to the source

Use the original reference to explore the details behind this entry.

Read the reference

An original explanation with a reference to follow. Protocol details and community usage can evolve. Sources & standards

PASS IT TO THE GROUP CHAT

Share a definition