游戏娱乐1 week ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
18 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
全天候 AI 客服和销售线索捕获，支持网站、Shopify 和 WhatsApp。
@hisachinj · X
ToolsLoop：自由职业者免费工具套件，包括发票、增值税、报价、费用追踪和商名生成。
@tools_loop · X
用AI自动整理YouTube视频到播放列表的Chrome扩展。
@almalimir · X
– a @YouTube extension for organizing videos
使用 AI 创建和自定义交互式 widgets，并将其嵌入任何网站。
@fugteapp · X
which empowers nontechnical users to be able to customize code generated by AI or developer, and be able to share and embed it to the website they are already using
Voidocs 为初创团队创建专业文档，无需代码配置。
@hannah24_app · X