Exploring Lurk: a New Language for Recursive zk-SNARKs
Zero Knowledge
00:00
Lyric: A Data Language for Formatting Data
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
Transcript
Play full episode
