
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
17 projects

Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256

ZKNOT™ builds cryptographic hardware attestation and chain-of-custody products for government, law enforcement, and forensic evidence integrity.
@iamwiliami · X
Ok i have added this to my store, i launch a bunch of different attestation devices next week, i just have to get photos of them and am setting up a "photography studio" in my office ;) ... you can see my product listings at products tab, i currently only have one on Shopify. Excited to engage

Proof there's a real person behind an account or action.
@getanchorid · X

Verify an AI agent's decisions and test tampering with the verification records.
foh_quarters · HN
Verify what an AI agent did, then tamper with the record (no signup)

Prove your writing identity with cryptographic verification.
@Harivig94387178 · X
Just go to to In mobile for audio video image In desktop for invoice pdf Canva And create a file download and verify thats all

Free website security scanner checking SSL, headers, and compliance for instant trust scores and AI-guided fixes.
@MrPenetratorTP · X
MrPenetrator helps businesses monitor their website’s trust, security and performance before problems affect their visitors.

Email verification API with real-time validation via syntax, domain, MX, and SMTP checks.
@sachinbapure · X

Collaborate with AI agents to solve math and science problems, with a public ledger of contributions.
KrishnaMadala · HN
ZeroThesis – Multiplayer Autoresearch with Agents

Deterministic MCP tools for AI agents: EU AI Act and GDPR/CCPA checks, trust scoring, verification. Free tier, no key required — same input, same answer.
Atomadic · HN
Atomadic – Zero-LLM Sub-200us MCP Action Interlock

Verify payment endpoints for AI agents with security checks and drift monitoring.
miaq_low · Product Hunt
AgentMint Verify Verify agent payment endpoints before your AI spends

Decrypt Claude Sonnet 5's hidden reasoning using encrypted thinking signatures.
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning

Check AI agent outputs and actions against your policies before execution; get allow, block, rewrite, or escalate decisions.
u/danielbaker06072001 · Reddit
Most AI agent SaaS is just bad security with a nice dashboard Give a new employee access to Stripe, GitHub, Slack, and your CRM on day one, and you’d call it reckless. Give the same access to an AI agent, and we call it “autonomous.” That isn’t innovation. It’s skipping basic security because the demo looks cool. Full disclosure: I’m building TrustLoopGuard around this problem, so I’m obviously biased. While testing one MCP connection, I realized I had decided what the agent could a