游戏娱乐1 month ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
24 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
Fifty live positions. Bid, take a seat, and put your name in front of the world — no accounts, no waiting, no review. The board updates the moment you settle.
@alitherichguy · X
end of all .lols
使用五个独立数值引擎通过REST API和MCP可靠地验证数学表达式
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
@suni_code https://t.co/OajI3lOKKW - Traffic Orchestration Platform
@KsaAZaks · X
- Traffic Orchestration Platform
Proof there's a real person behind an account or action.
@getanchorid · X
See how software companies actually support their customers through verified public response times, answers, and resolutions.
@TCVarbanov · X
Building ReplyGauge 👇 Making customer support quality public and measurable for software products.
Search verified residential and commercial property listings from WhatsApp broker networks. Real listings, real brokers, real freshness.
@vishalojha_me · X
Mine isn't a cool startup. It's kinda boring that saves realtors hours of manual work by converting unstructured data to opportunities.
VerusCite verifies citations in academic PDFs with AI extraction and database cross-checks. Flag hallucinations and metadata mismatches before you submit.
u/andy_p_w · Reddit
VerusCite — Verify Academic Citations Tool to evaluate whether citations in academic papers can be verified, have minor errors, or are likely AI generated hallucinations. submitted by /u/andy_p_w to r/SideProject [link] [comments]
与认证创作者合作制作用户生成内容，衡量营销投资回报率。
@dileepdhakal · X
Sign PDF Cloud - 在线PDF签署工具和文档自动化平台。
@qayyumabro · X
创建并下载专业PDF发票，包含您的Logo和自动税务计算。
@jcolementor · X
Fast free invoice generator for small businesses
Upload a creator brand deal and get a Clarity Score in 60 seconds. Black X flags pay, usage rights, scope, and contract risks before you sign.
@techwitbrianx · X
Black X. The Stripe of creator deals. $250B creator economy. Zero standards. I built the rails: 60-second contract scoring, AI negotiation, verified for brands, Rate Card and more...