“Yatima: A programming language for the decentralized web”

barlog のブックマーク 2021/06/08 11:20

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4703751785598916226/comment/barlog" data-user-id="barlog" data-entry-url="https://b.hatena.ne.jp/entry/s/github.com/lurk-lab/yatima" data-original-href="https://github.com/lurk-lab/yatima" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fgithub.com%2Flurk-lab%2Fyatima" data-user-icon="/users/barlog/profile.png">GitHub - lurk-lab/yatima: A zero-knowledge Lean4 compiler and kernel</a><br><p style="clear: left">“Yatima: A programming language for the decentralized web”</p><a class="datetime" href="https://b.hatena.ne.jp/barlog/20210608#bookmark-4703751785598916226"><span class="datetime-body">2021/06/08 11:20</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

GitHub - lurk-lab/yatima: A zero-knowledge Lean4 compiler and kernel

github.com/lurk-lab2021/06/08

Yatima is a Lean 4 compiler backend targeting the the Lurk language for recursive zkSNARKs, enabling zero-knowledge proofs of Lean 4 execution. Additionally, Yatima has its own Lean 4 implementatio...

13 人がブックマーク・3 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

GitHub - lurk-lab/yatima: A zero-knowledge Lean4 compiler and kernel

はてなブックマーク

公式Twitter

はてなのサービス