游戏娱乐1 month ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
17 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
在这个基于浏览器的游戏中，调整 neural network weights 以适配数据曲线。
Gooblebrai
查看生产Agent追踪记录，识别并修复重复故障。
@guru3s · X
IMF team for when your AI agent ( Ethan Hunt ) is about to fail v0 at
