Proof Crater

What it does

Proof Crater is the first "Commitment Layer" that makes high-stakes data verifiable without surveillance. Unlike typical mixers or rollups, we focus on independent truth. Features: Browser-Side SNARKs: Proofs are built locally. We never see your secrets; the chain never sees your identity. Snapshot Registry: Verify the exact state of a chain from years ago for audits or governance, no re-indexing required. Non-Custodial Payouts: Scale private distributions like payroll without a middleman.

• 
  StealthDrop – Anonymous crypto airdrops using zero-knowledge proofs2022 · github.com · ▲105

  Hi HN, We (myself, Adhyyan1252 and yush_g) are undergrad students that hacked out this side project last month during Hack Lodge[1] (the ideas and many of the underlying circuits for which came from the 0xPARC community[2])! We’re extremely excited to share this new primitive. Besides the technical challenges building this project that folks here would find interesting (fixing the ZK proof compiler, modifying nodeJS V8 params etc.), we think this is a very novel use case for ZK tech, and ECDSA inside ZK-SNARKs is a starting point that unlocks many other ideas! :D A summarized version of our…

• 
  I implemented gmaxwell's "solvency proof scheme"2014 · github.com · ▲29

  Proof of Solvency (PoS) is a scheme designed to let users verify the solvency of online websites which accept Bitcoin (or other similar currency) deposits (e.g. exchange websites, online wallets, gambling websites, etc.) in a way that doesn't compromise the privacy of users. - olalonde/proof-of-solv

• 
  ZkPaper – Untraceable Document Editor with Proof of Authorship2024 · zkpaper.com · ▲6

  Hi! I made this as a hackathon project, the result is really cool and works very well. All you need to do is connect with your Metamask wallet and start creating documents. It also has proof of autorship, so we know if you wrote the document, or you just copy/pasted from chatgpt. This could be useful for schools or something. Let me know what you think. Thanks!

• 
  I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust2024 · github.com · ▲6

  I've always been fascinated by cryptographic principles, so I decided to dive deep into zero-knowledge proofs and implement a Groth16 proof verifier entirely in Rust. This project validates cryptographic proofs and demonstrates how succinct, verifiable computations can be achieved. Using Rust's powerful libraries like arkworks, I implemented pairing checks, public input commitments, and proof validation logic while ensuring the code remains modular and efficient. I handled the complexities of affine group operations, scalar multiplications, and optimized public input verification to make…

• 
  IncipiteAug 2026 · incipite.com · ▲2

  Proof that holds up without asking anyone to trust you.

• 
  SealZeroJan 2026 · sealzero.dev · ▲6

  Zero-knowledge proofs for authentic, privacy-safe images

• 
  /dev/null▲486

  a social network for devs

  Dev tools · 3d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 28d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 26d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 23d ago · openbot.run

• 
  Talanoa▲346

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 21d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 28d ago · corespeed.io

• IN
  isometric.nyc – giant isometric pixel art map of NYC▲1,325

  Hey HN! I wanted to share something I built over the last few weeks: isometric.nyc is a massive isometric pixel art map of NYC, built with nano banana and coding agents. I didn't write a single line of code. Of course no-code doesn't mean no-engineering. This project took a lot more manual labor than I'd hoped! I wrote a deep dive on the workflow and some thoughts about the future of AI coding and creativity: http://cannoneyed.com/projects/isometric-nyc

  AI · Jan 2026 · cannoneyed.com

• 
  Cowork▲1,088

  Turn Claude into your digital coworker

  AI · Jan 2026 · claude.com

• 
  DataFast▲867

  Revenue-first analytics

  Growth · Jan 2026 · datafa.st

• 
  OpenClaw▲836

  The AI that actually does things

  AI · Jan 2026 · openclaw.ai

• 
  Kilo Code Reviewer▲799

  Automatic AI-powered code reviews the moment you open a PR

  Dev tools · Jan 2026 · kilo.ai

• 
  PostSyncer▲793

  AI Content Maker, for Social Media Publishing

  AI · Jan 2026 · postsyncer.com