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

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

上传 CAS PDF 获取 AI 驱动的基金组合分析和配置洞见。
@iASHeeesh · X

手动支出追踪器,完全隐私保护,无数据共享。
@codewzubair · X
ExpenseSumo is for anyone tired of budgeting apps that demand bank access. Manual entry, fully private, just a clear view of where your money goes:

即刻将 HTML、Markdown、notebooks 或 PDF 转换为私密、可共享的网站。
@thryvate · X
My AI built something cool, let’s share it with some friends.

上传加密文件,获得自销毁链接分享,无需登录。
@cortexdrop · X
CortexDrop- first consumer file sharing built on IPFS. Drop a file, get a private link.

在本地录制和编辑屏幕视频,无云存储和上传。
@MarkZofMarkZ · X
Screen Recorder that doesn't share your recordings to the cloud:

扫描购物小票发现省钱机会,如价格差异和折扣。
@Qintarisapp · X

生成并比较7个AI模型的优惠、邮件和广告文案。
@MarkZofMarkZ · X
Let's connect! Profit Router 📈

@heisoreo @X 正在构建 Invoiced 🚀 一个为自由职业者和小企业打造的 AI 驱动发票平台。目前专注于发票、分析、认证和 AI 工作流的开发。正在构建 i
@Wesleycolesdev · X
Building Invoiced 🚀 An AI-powered invoicing platform for freelancers and small businesses. Currently working on invoices, analytics, auth, and AI workflows. Building in public. Feedback welcome! 🙌 🔗

上传餐厅收据照片,AI扫描后与朋友按项目分摊费用。
u/getawaykid · Reddit
I got tired of doing receipt math at restaurants, so I built a free bill splitter with optional AI scanning TL;DR: Receipt Split splits restaurant bills by item. Free for manual entry + real-time sharing. AI photo scanning is optional and costs money to run, so I only charge for that part. I built Receipt Split after one too many dinners where someone said “let’s just split it evenly” while my friend was sitting there with a salad and everyone else had entrees + drinks. It’s a web app —

为海外美国公民提供的免费税务合规指南和自评工具
@_RanjanSoni · X
Intake form for tax consultants and cross border CPAs

使用一个 API 访问和切换多个 LLM 提供商,同时优化推理成本。
justin2025 · Product Hunt
Auriko Trading desk for LLM calls