游戏娱乐2 weeks ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
60 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
检测API中转站输出是否与官方100%一致
@nodeloc_cc · X
🌈 7月，你好，MODELOC上线算力池。 MODELOC自上线以来，已检测2000余次，覆盖600+中转站，为众多AI用户提供的使用参考。 MODELOC近期进行了改版，上线了算力池及市场。 加入算力池 查看帖子： 用 MODELOC 便宜地调各家大模型：一次讲清它的价格体系
向AirKaren描述你的航班问题，它会帮你索赔。
benln · Product Hunt
AirKaren AI that fights customer service for you
分析任何网站URL，获得可信度和安全性报告。
@Mahmoud525258 · X
Check out what I just built with Lovable! Safety is an AI-powered website analysis platform designed to help people make smarter and safer decisions before visiting or trusting any website.
Elon Musk Predictions Tracker：追踪马斯克的184个承诺。
@HowardYHuang · X
与校园学生进行问卷调查，通过回答赚取积分。
@g8zxtrp9p6 · X
🚀 Just launched CampusVerify No more begging for survey responses. Reach real verified students on campus, get genuine answers fast, and earn credits by participating. Sign up & get free credits → @Lovable @supabase #Lovable #StudentsMatter
使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
对你的网络应用和 API 运行真实漏洞测试，用完整证明展示每个安全发现。
@yedil_bek · X
Building RedRun - security testing that proves what it finds. Runs the real exploit + hands you the exact request/response: SQLi, IDOR, SSRF, XSS, JWT + AI prompt-injection. Zero false positives. Free scan → Active engine invite-only - DM for access code
RequestHarbor 安全客户门户，用于共享文件、答案和批准，实时可见状态。
@danielkleach · X
is a branded client portal for files, answers, sign-offs, and signatures. No more scattered email threads, docs in Google Drive, or confusion about who is waiting for whom. Business and client both see what is done and what is in progress on both sides, in
批量检查多达 1,000 个 URL 的 HTTP status codes，获得实时结果和 CSV 导出。
@bulkhttpstatus · X
