游戏娱乐1 month ago
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
60 projects
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
用零知识加密发送自毁笔记和文件,支持截图保护。
minpym · HN
Flashpaper – Self-destructing secret sharing with no database
用端到端加密存储和同步文件，对服务器完全隐藏。
@vaultdesk · X
Prevent context loss and AI agent amnesia. StateSync provides real-time state persistence and agent handoffs over MCP.
@StateSync_ · X
Zero-setup JSON database for AI-generated app frontends with encrypted persistence.
@dhairyadarji786 · X
Tired of database setup for simple AI/Cursor prototypes?I built CloudState: a zero-config cloud database for vibe-coding. ⚡Get a secure JSON endpoint in 10s 🤖 Custom prompts for Cursor/Bolt/v0 to sync state via fetch Check it out:
Lyfos 是一个零知识家庭账户和密码保险库，仅可由你信任的人访问。
@LyfosVault · X
is an open source & zero-knowledge vault for the accounts, policies, and passwords your family would need if you weren't there to explain them. Encrypted on your device, opened by 3 of 5 people you trust, never by us.
使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
SecureEnv - 零知识加密的团队密钥存储和共享工具
@kkworld · X
Introducing SecureEnv. A secure, developer-first platform for managing environment variables and secrets. Simple. Secure. Built for developers. 🌐 #SecureEnv #BuildInPublic #Programming
AI接口的动画思考球组件，具有六种状态和自动主题。
@MengTo · X
These will instantly make your vibe-coded projects look less generic. Free, open-source libraries from the same creator: • • •
为企业员工提供智慧孪生AI助手，保存机构知识和判断力。
@romanbodnarchuk · X
Check out what I just built with Lovable!
按下 Nothing Button，看看会发生什么。
@saralsachan · X
Waste you time on weird websites
Mount what your model was never trained on. Unmount it when you're done. Sealed, signed, measured knowledge packs for local models.
@developerpranab · X
YantrikDB: mountable knowledge for local models. A 4B scores 7/53 on the MCP spec published this week; 42/53 with the pack mounted. No retraining.