zkGolf – Competitive optimization of formally verified circuits
Zk
，零知识证明电路设计竞赛，使用 Lean 4 验证正确性。
关注
添加评论
点赞
收藏
点踩
分享
查看原文
评论
?
参与讨论
点赞
收藏
点踩
分享