2 ms·
Lurk – A Turing-complete programming language for ZK-SNARKs
- noman-land 1y agoCurious if there'a any demo apps that are actually deployed that were built with Lurk. It would be nice to see a whole end to end app working, not just example Lurk code.
- vincent-manis 1y ago“Lurk's distinguishing feature relative to most programming languages is that the correct execution of Lurk programs can be directly proved using SNARKs.” Do these proofs involve boojums?