SNARKs and snarkya

SNARKs are a powerful cryptographic tool that enable applications that give users unprecedented levels of oversight and privacy. They are also a key-ingredient in building scalable decentralized systems like Coda.

For a high-level overview, check out this blogpost.

snarky is a domain specific language for using SNARKs. This section is intended to be a guide on how to get started using SNARKs in your programs with snarky.