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

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

拖放文件来生成密码学证明它们未被改动——完全在浏览器中验证
@WiseEstSystems · X

验证AI代理的决策,然后尝试篡改验证记录。
foh_quarters · HN
Verify what an AI agent did, then tamper with the record (no signup)

AppTruth AI — 通过AI验证应用,快速发现隐藏漏洞。
@uriel_bitton · X
As you add more features to your vibe coded app, you increase the chances for bad behaviour. The worst part is you dont know they exist Every beta user i've had try out the app told me they found a few issues they had no idea existed Find yours using

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

输入公司网址分析 WHOIS、SSL 等信号来生成信任评分。
@CoderJiii · X
🚀 Just launched Veris — a platform that helps verify company legitimacy using WHOIS, SSL, website, contact, social, and legal checks to generate a Trust Score & Risk Level. 🌐 #BuildInPublic #OpenSource #FullStack #React #NodeJS

在链上资本配置网络中赚取Zaps、构建zScore声誉并竞争排行榜。
@Hik453 · X
chain reputation Enjoy to clan

Secret Sanitizer 在本地屏蔽机密和 API 密钥,防止发送给 AI 工具时泄露。
@souvik_ghosh975 · X
A small Chrome extension with one job: stop accidental secret leaks into AI chats. That's Secret Sanitizer 🥷.

免费的网站安全扫描器,检查 SSL、headers 和合规性,提供即时的信任分数和 AI 指导的修复。
@MrPenetratorTP · X
MrPenetrator helps businesses monitor their website’s trust, security and performance before problems affect their visitors.

在区块链上记录真实成就,通过AI和同行评审验证。
Proof of Awesome — AI 辅助的学术同行评审的共识机制,将你的真实成就永久记录在区块链上,用有意义的人类成就取代传统挖矿 - [更多介绍](https://proof-of-awesome.app/call-for-achievement)

MailValid 邮箱验证 API,支持实时检查和多层验证,100 次免费。
@sachinbapure · X

用端到端加密存储和同步文件,对服务器完全隐藏。
@vaultdesk · X