4 ms·
I recently published a fairly detailed blog post about how to formulate expressive provable programs in Lurk (https://github.com/lurk-lang/lurk-rs https://githu
by porcuquine 4y ago
I recently published a fairly detailed blog post about how to formulate expressive provable programs in Lurk (https://github.com/lurk-lang/lurk-rs https://github.com/lurk-lang/lurk-rs). Although this post goes into no details about the underlying proving mechanism, it does build to some pretty powerful ideas. If you haven't thought about the implications of being able to prove correctness of a computation without revealing some or all details of what the computation actually was, you might enjoy it. https://blog.lurk-lang.org/posts/prog-intro/ https://blog.lurk-lang.org/posts/prog-intro/
- dmichulke 4y agoAs a functional programmer it's easy for me to understand the code, so I actually made it until the end where a neat example is given. In general though I think the example problem might be worth mentioning in the beginning: "by the end of this article you will understand how to ..."
- porcuquine 4y agoThanks, that's a good point — and I had originally intended exactly that. Any suggestion for how the … should be completed?