Curious what Snarky is?

O(1) Labs has developed Snarky, a high-level DSL that enables complex applications to be written concisely and correctly. Check out an explanation of the programming model and go over examples of the developer experience of programming in Snarky:

https://codaprotocol.com/blog/snarky-a-high-level-language-for-verifiable-computation

Video: https://youtu.be/gYn6mTwJriw

Website: https://codaprotocol.com
Terms and Conditions: https://codaprotocol.com/tcgenesis
Telegram group: https://t.me/codaprotocol
Technical Community: https://discord.com/invite/Vexf4ED