ZK Visualizer – I built this while learning zero-knowledge proofs
I was learning ZK proofs and found that visualizing things really helped me understand them. Noticed there aren't many interactive visualizations out there, so I built one. Here's the first version: zkvisualizer.com It walks through the full pipeline step by step (Problem → Circuit → R1CS → Polynomials → Witness → Proof → Verification) with real Groth16 proofs generated in your browser using snarkjs. You can toggle between what the prover knows vs what the verifier sees, and there's a tamper detection demo where you can watch verification fail. This is still very early on, but I would be…
ZK Visualizer – I built this while learning zero-knowledge proofs launched on January 29, 2026 with 5 votes, #3,400 of 14,585 launches that month and more than 75% of that year's launches.
What it does
Interactive visualization of zero-knowledge proofs. Watch real Groth16 proofs get generated step-by-step in your browser. From circuit to constraints to polynomials to verification.
In the maker’s words, at launch
I was learning ZK proofs and found that visualizing things really helped me understand them. Noticed there aren't many interactive visualizations out there, so I built one. Here's the first version: zkvisualizer.com It walks through the full pipeline step by step (Problem → Circuit → R1CS → Polynomials → Witness →…
Does a similar job
all alternatives →
zkGolf – Competitive optimization of formally verified circuitsJul 2026 · zk.golf · ▲69Zero-Knowledge Proofs (ZKPs) let an untrusted proved show that computation was executed correctly without revealing the inputs to the verifier. However to prove anything, the computation first has to be expressed as a circuit: a system of polynomial equations (constraints) over a finite field. Circuits are the assembly language of zk and every constraint costs prover (and sometimes verifier) time, so production circuits are aggressively hand-optimized. Over the last months, we have been experimenting with writing formal specifications instead and letting LLMs produce the circuits: as long as…
I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust2024 · github.com · ▲6I'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…
StealthDrop – Anonymous crypto airdrops using zero-knowledge proofs2022 · github.com · ▲105Hi 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…
ADS-B visualizer2024 · adsb.exposed · ▲339I've created a web app for querying and visualization of ADS-B datasets: https://adsb.exposed/ Source code: https://github.com/ClickHouse/adsb.exposed/ The results significantly exceeded my expectations because the pictures are insanely beautiful, and the data is a treasure trove. It proves many statements that were not certain: - it is feasible to generate tiles by aggregation on a pixel level (instead of hexagons or rectangular grid); - it does not require JPG/PNG tiles - we can transfer raw bitmap data with zstd compression; - it is possible to…
- VGVisualize Graph Theory2020 · treksit.netlify.app · ▲147
Synthesize TikZ Graphics Programs for Scientific Figures and Sketches2024 · github.com · ▲132Creating high-quality scientific figures can be time-consuming and challenging, even though sketching ideas on paper is relatively easy. Furthermore, recreating existing figures that are not stored in formats preserving semantic information is equally complex. To tackle this problem, we introduce DeTikZify, a novel multimodal language model that automatically synthesizes scientific figures as semantics-preserving TikZ graphics programs based on sketches and existing figures. We also introduce a Monte Carlo Tree Search-based inference algorithm that enables DeTikZify to iteratively refine its…
More work this month
the category →
Endless lofi beats composed live in your browser, over pixel-art nights in Paris, Tokyo, New York, Hong Kong, Sydney, San Francisco and more. Free, no sign-up.
Work · 24d ago · loficities.com
Smooth Recorder▲257Mac screen recordings that look edited when you hit stop
Work · 18d ago · smoothrecorder.com
Work · 12d ago · readrare.com
Source: Show HN post ↗ · launch text quoted in part
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
