PLONK Benchmarks II — ~5x faster than Groth16 on Pedersen Hashes
Following our first benchmarks on the MiMC hash at the end of December, we’re excited to present benchmarks on Pedersen hashes, whose security properties are less controversial than MiMC because they rest on assumptions no stronger than discrete log.
To refresh your memory about why hash benchmarks are so important, read our primer.
PLONK is a new type of ZK-SNARK — a highly efficient Universal SNARK, created in a collaboration between Zac Williamson and Ariel Gabizon. ‘Universal’ of course means that all circuits (read: private transactions / smart contracts) can be validated with just one trusted setup. Before this, we require a new setup for every new circuit (read: every edit to a private smart contract).
Sonic, PLONK and Marlin are a new circuit description which consists of gates, of two kinds: multiplications (×) and additions (+).
So — the results.
Proving Times in Pictures
Quick Glance in the Rear-View Mirror
This is another exciting milestone for universal SNARKs.
That there is now a secure hash over which a universal SNARK can not just match but outpace the seminal single-circuit Groth16 by 5x on prover speed — this is extraordinary.
We must remember that Sonic, that historic first breakthrough in universal SNARKs from Maller, Bowe, Kohlweiss and Meiklejohn, was published only a year ago.
Aztec and other teams will keep working to push the boundaries of mathematics and smart contract engineering to eliminate the trade-offs between public blockchains and private networks.