Skip to main content

Is the Overhead Different for ZK-SNARKs versus ZK-STARKs?

Yes, the overhead differs. ZK-SNARKs have a high one-time setup cost (the trusted setup), but the proof generation time is typically faster, and the on-chain verification is very fast due to the succinct proof size.

ZK-STARKs have no setup cost (they are transparent), but the proof generation is generally slower, and the on-chain verification is more computationally expensive due to the larger proof size.

How Does Transparency in zk-STARKs Benefit Decentralized Governance?
How Does the Overhead of Proof Generation Impact Transaction Fees?
What Is the Typical Theta Value for a Long-Dated Option versus a Short-Dated Option?
How Would the Adoption of a Different Hash Algorithm like SHA-3 Have Impacted the Development of ASIC Miners and the Mining Industry?