ul.breadcrumb { background-color: transparent; } #body-wrapper ul.breadcrumb li a { color: #666; }

Home
Knowledgebase
StarkWare - Scalability Engine
What are ZK-STARKs?

What are ZK-STARKs?

.text-content h1 { font-size: 160%; background-color: transparent; }

ZK-STARKs (or STARKs, for short) are a state-of-the-art trustless ZKP that is also post-quantum secure. Transparent (the T in STARK) means it requires no trusted setup (unlike other proof systems). Scalable (the S in STARK) 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 the prover and verifiers in terms of computational load - a trait that makes STARKs a natural candidate for scaling blockchains.

In full, ‘ZK-STARKs’ stands for Zero-Knowledge - Scalable Transparent ARguments of Knowledge. For further exploration, head here.

*

Written By:

Dan Yanev

Last Edited:

2020-06-012020-06-01

Tagged:

STARKsProofsZero KnowledgeScalingStarkware

Did this solve your problem?

Yes No
Was this article helpful?
Cancel
Thank you!