AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Episode 281: Exploring Lurk: a New Language for Recursive zk-SNARKs
Zero Knowledge
Lyric: A Data Language for Formatting Data
3min Snip
00:00
Summary
Transcript
Episode notes
Lyric as a language, as a lisp, it's essentially a language for formatting data. It defines some semantics and an evaluation model that lets you take some content addressable data,. And evaluate it and then give you a result. So this is where we say you can plug in a back end. We have Groth 16 and Snarkpack back end to say, if you want to use a BLS 12381 to encode your data or the properties of Groth 16 plus Snarkpack. If you like the pasta curves and you like the properties that ANOVA proof will give you, you can use that. What we're talking about is back ends that are able to do
Get the Snipd
podcast app
Unlock the knowledge in podcasts with the podcast player of the future.
AI-powered
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode
Save any
moment
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Share
& Export
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode