Curious 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.
“Lurk's distinguishing feature relative to most programming languages is that the correct execution of Lurk programs can be directly proved using SNARKs.”
2 comments
[ 3.0 ms ] story [ 21.8 ms ] threadDo these proofs involve boojums?