Snarky: A high-level language for verifiable computation
5 years ago
[{"url":"https://i.ytimg.com/vi/gYn6mTwJriw/hq720.jpg?sqp=-oaymwEcCOgCEMoBSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLC_BWFu1aC6ZYKtJG-PIHD9emyAIg","width":360,"height":202},{"url":"https://i.ytimg.com/vi/gYn6mTwJriw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLA-E-Gqm2FpOc8AYE0M_b2tvo2iOw","width":720,"height":404}]
[{"text":"While zk-SNARKs represent one of the most powerful ways to deploy verifiable computations, programming directly with SNARKs\u00a0..."}]
{"name":"Mina Protocol","id":"UCWzKMFfIlMzHUXKSnYot5HA","thumbnails":[{"url":"https://yt3.ggpht.com/ytc/APkrFKbcm1Ej47sQXFOTrU91pO1AdSVS3QCxjuUunRsvxA=s68-c-k-c0x00ffffff-no-rj","width":68,"height":68}],"link":"https://www.youtube.com/channel/UCWzKMFfIlMzHUXKSnYot5HA"}
{"title":"Snarky: A high-level language for verifiable computation by Mina Protocol 3,698 views 5 years ago 17 minutes","duration":"17 minutes, 6 seconds"}