项目详情 · 游戏娱乐
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
往期编辑之选
每次提交都像是对自己电路挥出一杆:减少分配与约束,把成绩打到标准杆以下。Lean 会核查每一处削减是否仍然满足规范,让精简既聪明又靠谱。
zk.golf
试用演示 在线检查通过1 week ago
上手第一步: 编写 zero-knowledge circuits 竞争最低成本。
CryptoPuzzleDeveloper ToolEducationFormal VerificationGame“zero-knowledge circuits”“verify correctness in Lean”“cheapest zero-knowledge circuits”
技术画像
站点健康
🛠 有 1 条站点健康建议在等作者——认领本项目(X 登录)即可查看。
来源
Show HN
致作者:挂上铭牌,认领项目
这个项目还没有作者认领——登录后把铭牌挂到你的站点上,即可完成认领。
致作者:挂上铭牌,认领项目
这个项目还没有作者认领——登录后把铭牌挂到你的站点上,即可完成认领。
继续探索
相似项目
登录 后可举报该项目的问题。
评论
Sign in to comment.