What are ZK-STARKs?

ZK-STARKs (or STARKs, for short) are a state-of-the-art, trustless zero-knowledge proofing (ZKP) mechanism that is also post-quantum secure.

The name stands for Zero-Knowledge - Scalable Transparent Arguments of Knowledge.

The 'Transparent' part of the name means it requires no trusted setup (unlike other proof systems), while 'Scalable' means that compared to the native computation, the prover’s computational work scales quasi-linearly, while the verifier’s computational work scales logarithmically. This creates a significant asymmetry between provers and verifiers in terms of computational load - a trait that makes STARKs a natural candidate for scaling blockchains.

For further exploration, head here.
Was this article helpful?
Cancel
Thank you!