
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
60 projects

竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256

通过一行代码在网站上收集和嵌入客户推荐。
@aimicrotool · X
Just launched ProofResult 🚀 Collect testimonials from your customers and embed them on your site with a single <script> tag. No login required for them, no iframe. Free while I gather feedback from early users. #buildinpublic #indiehackers

通过AI评估验证知识并获得Academission认证。
@syprayt · X
We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:

Online photo and video proofing made simple. Export from Lightroom Classic, share galleries with clients, collect star ratings, color labels, and selections — then sync feedback ba
@ThomasHabr · X
My vibe-coded startup is being released now 🎉 The journey begins.

验证AI代理的支付端点,具备分层安全检查和漂移监控。
miaq_low · Product Hunt
AgentMint Verify Verify agent payment endpoints before your AI spends

从PDF删除个人信息,完全本地处理,支持OCR和智能验证。
u/AmazingFinger · Reddit
VeriRedact - Offline PDF redactor because I didn't trust any tool with my tax returns Apartment hunting meant sending my SSN, tax returns, and bank statements to strangers, often all in one PDF. Redacting them myself with a black box or highlighter tool felt scary. Cloud tools wanted me to upload my tax return to fix that. However, I didn't trust them, and the one that look trustworthy would charge a lot of money. So I built VeriRedact. Load it, optionally download the local A

使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong

Aurora - 本地AI代理验证系统,提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents

VeroLente AI用AI技术即时验证新闻、视频、图像和声明,获取真实度分数。
@Banshee_1212 · X
building a deepfake detection platform,

用白标小组件收集并展示客户推荐,支持多个导入源。
@builderwl · X
hey guys I built it

上传肽类COA验证真实性并识别伪造标记。
@DanielGPT2022 · X
I made an app for peptides users, that will hopefully adress their trust issues:

上传凭证验证,由Hedera区块链保护,按次付费。
@iizhem · X
👏 Shipping before vacation is elite. Good luck with your entry! Claude makes vibe coding way too fun. I joined the same bounty too and turned a simple credential checking idea into a full pay-per-use flow