Coda + Dekrypt: The SNARK Challenge
A global competition to speed up the SNARK prover
$105,000 in prizes
May 20
-
Jul 29
Submissions have now closed
Submissions have now closed
Online
The SNARK Challenge is a global competition to dramatically speed up the SNARK prover. Participants will have the opportunity to contribute both through optimized implementations which can take advantage of the parallelism of GPUs, and by making improvements to the underlying cryptographic primitives.
SNARKs are one of the most promising solutions to bring scalability and privacy to blockchains, yet we are only scratching the surface of what’s possible. Join us to make SNARKs faster and realize their potential impact.
Over the past several years, zero-knowledge proof systems have been developing at a breakneck pace, both in terms of research and large-scale deployments. However, current implementations are far from optimal in terms of performance. zk-SNARKs are a form of zero-knowledge proofs which can prove possession of certain information without either revealing the underlying information or any interaction between the prover and verifier. In the context of cryptocurrency, this technology can help solve two of the industry’s largest and most pressing challenges: scaling blockchains and realizing privacy for on-chain transactions.
Phase 1: May 20th - June 3rd
» Implement big integer arithmetic on GPU
» Implement elliptic curve operations on GPU
» Improve the speed of elliptic curve operations on CPU
Phase 2: June 3rd - July 29th
» Write an optimized SNARK verifier for the browser
» Speed up the Groth16 prover using CPU and GPU
» Optimize the underlying cryptography by finding better elliptic curves
Coda SNARKs Documentation »
o1 Labs Github »
Coda Discord »
Hundreds of developers joined together to work on dozens of projects, building applications and tools for unconditional privacy. Now the votes are in!