Proof Crater
ZK-powered vault for anonymous payouts and state snapshots.
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.
Does a similar job
all alternatives →- SAStealthDrop – 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…
- ZUZkPaper – 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!
- IBI 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…
More dev tools this month
the category →
OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.
Dev tools · 2d ago · opentrailpaper.com
Open-source GTM skills for technical founders
Dev tools · 30d ago · gtmcofounder.com
Launched alongside, January 2026
the whole month →- IN
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
Automatic AI-powered code reviews the moment you open a PR
Dev tools · Jan 2026 · kilo.ai
