Lean 4で正しさが証明されたゼロ知識回路の大会です。挑戦…
このサイトの記事を見る
zkGolf: golf zero-knowledge circuits, verified in Lean
未分類
未分類
未分類
未分類
未分類タイトルとURLをコピーしました
未分類Lean 4で正しさが証明されたゼロ知識回路の大会です。挑戦…
このサイトの記事を見る