Work · alternatives · 2026
24 alternatives to 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…
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1
Zero-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…
Jul 2026 · zk.golf · its alternatives →
- 2
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…
2024 · github.com · its alternatives →
- 3
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…
2022 · github.com · its alternatives →
- 4
I went down the rabbit hole on a side project and ended up building this: Strange Attractors(https://blog.shashanktomar.com/posts/strange-attractors). It’s built with three.js. Working on it reminded me of the little "maths for fun" exercises I used to do while learning programming in early days. Just trying things out, getting fascinated and geeky, and being surprised by the results. I spent way too much time on this, but it was extreme fun. My favorite part: someone pointed me to the Simone Attractor on Threads. It is a 2D attractor and I asked GPT to extrapolate it to…
Oct 2025 · blog.shashanktomar.com · its alternatives →
- 5
ADS-B visualizer▲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…
2024 · adsb.exposed · its alternatives →
- 6VG
2020 · treksit.netlify.app · its alternatives →
- 7GC
Achieved a new world record in verifying the Goldbach Conjecture using grid computing, by extending the verification up to 4 quadrillion (4×10¹⁸) + 70 trillion (7×10¹³). My grid computing system - Gridbach is a cloud-based distributed computing system accessible from any PC or smartphone. It requires no login or app installation. The high-performance WASM (WebAssembly) binary code is downloaded as browser content, enabling computation on the user’s browser. [Website] https://gridbach.com/ [Medium]…
2025 · medium.com · its alternatives →
- 8
Creating 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…
2024 · github.com · its alternatives →
- 9
I'm enthralled with using pen plotters to make generative art. Last August at SIGGRAPH, I built an interactive experience for others to see how code can be used to make visual art. The linked blog post is my trials and tribulations of linking a MIDI controller to one of these algorithms and sending its output to a plotter, so that people may witness the end-to-end experience.
2024 · lostpixels.io · its alternatives →
- 10
Hi HN! I've found this visualization tool immensely helpful over the years for getting an intuition for how an LLM "sees" some piece of text, and with a bit of elbow grease decided to move all compute to client side so I could make it publicly available. I've found it particularly useful for - Understanding exactly how repetition and patterns affect a small LM's ability to predict correctly - Understanding different tokenization patterns and how it affects model output - Getting a general sense of how "hard" different prediction tasks are for GPT-style models Known problems (that I probably…
2023 · perplexity.vercel.app · its alternatives →
- 11
ManimVTK▲82Scientific visualization meets mathematical animation
Dec 2025 · manimvtk.mathify.dev · its alternatives →
- 12
I built Staying – a tool that instantly turns your code into interactive animations with no setup required. Just write or paste your code and hit "Visualize". No installs, no accounts, no configuration. *Supports*: Python, JavaScript & experimental C++
2025 · staying.fun · its alternatives →
- 13
Hey everyone, I've made this website that I hope can help some people. The original inspiration comes from being tired of having a specific site (and finding it!!) that serves my needs for a single purpose. Straight forward tools, no fuss. The objective is to be fully in-browser, no login and if possible without contacting a remote server. PGP Key Analyser - Analyze PGP keys directly in your browser - finally I can see the infos without having to download the key on my device Proton Date - Check ProtonMail account creation dates - pretty niche I admit Favicon Hash - Generate website favicon…
2025 · kriztalz.sh · its alternatives →
- 14
- 15ZK
2019 · zkwasm.kobi.one · its alternatives →
- 16IP
Interactive toy for visualizing relationship between polynomial roots and coefficients
2017 · duetosymmetry.com · its alternatives →
- 17
Wordle, but with ZK proofs! Contribute to nalinbhardwaj/zordle development by creating an account on GitHub.
2022 · github.com · its alternatives →
- 18AL
2013 · brycec.github.com · its alternatives →
- 19
Prove that you said things before anyone else
Jun 2026 · yousaidthat.org · its alternatives →
- 20HA
Most ZK proving systems are optimized for server-grade hardware with massive RAM. When scaling to industrial-sized traces (2^20+ rows), they often hit a "Memory Wall" where allocation and data movement become a larger bottleneck than the actual computation. I have been developing Hekate, a ZK engine written in Rust that utilizes a Zero-Copy streaming model and a hybrid tiled evaluator. To test its limits, I ran a head-to-head benchmark against Binius64 on an Apple M3 Max laptop using Keccak-256. The results highlight a significant architectural divergence: At 2^15 rows: Binius64 is faster…
Jan 2026 · its alternatives →
- 21
I made this convolution solver and visualizer tool to help get the parameters right when doing Conv2D / Conv2DTranspose. It also allows you to visualize the convolution interactively. Open Source code on GitHub.
2024 · convolution-solver.ybouane.com · its alternatives →
- 22
I saw a tweet that tinygrad is so good that you could make a graphics library that wraps tg. So I’ve been hacking on a gtinygrad, and honestly it convinced me it could be used for legit research. The JIT + tensor model ends up being a really nice way to express light transport all in simple python, so I reimplemented some new research papers from SIGGRAPH like REstir PG and SZ and it just works. instead of complicated cpp its just a 200 LOC of python.
Jan 2026 · github.com · its alternatives →
- 23
Interactive visualisations help explain Depth First Search and Breadth First Search as well as algorithms based upon each approach. A very useful resource for learning by seeing.
2016 · workshape.github.io · its alternatives →
- 24
ZK-powered vault for anonymous payouts and state snapshots.
Jan 2026 · its alternatives →
Also compare
- zkGolf – Competitive optimization of formally verified circuits alternatives
- I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust alternatives
- StealthDrop – Anonymous crypto airdrops using zero-knowledge proofs alternatives
- Strange Attractors alternatives
- ADS-B visualizer alternatives
- Visualize Graph Theory alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →