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.