Alternatives
Products that do what ZK Visualizer – I built this while learning zero-knowledge proofs does
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…
- 1IB
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
- 2
- 3IM
This is a little toy project of mine that lets you simulate digital logic graphs. It was inspired by Minecraft's Redstone and the Piet esolang. It's got some serious drawbacks-- you write circuits as PNGs and simulate them with a Python interface. It's slow to run and slow to experiment with. And it is certainly difficult to use for people with any kind of color blindness. But despite that, I hope this can still be a fun toy!
2022 · github.com
- 4
- 5
- 6
- 7PC
2017 · proofcompanion.com
- 8HA
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
- 9ZK
2019 · zkwasm.kobi.one
- 10ZU
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!
2024 · zkpaper.com
- 11VR
Sometimes I want to make sure I read every comment in a Thread. Also comments that come in later. For example, when I posted my laptop comparison map I got a ton of great feedback: https://news.ycombinator.com/item?id=8405065 and I wanted to make sure I don't miss any of these. For this purpose, I made this visual representation: http://social.gnod.com/hn:8405065 I think you can grok what it shows. It simply templates all comments in a recursive way. Read items turn blue. You can mark interesting items and they turn green. I find it interesting to look at…
2014
- 12ID
2014 · rxmarbles.com
- 13TP
I have had a few conversations in the past year with non-technical folks (traditional finance types, consultants) who asked for a simple explainer on how GPTs work. These people generally have the horsepower to grasp new concepts quickly but don't necessarily have the math background to dig in super deeply and want a stronger framework than "they predict words". I had generally been pointing them to Karpathy, Illustrated Transformer, and other youtube content but I figured something more hands on without the math requirement might be better at explaining questions like "why matrix…
Jun 2026 · understandgpt.xyz
- 14SA
Hi everyone, I’m a student with a strong interest in computer science and complexity theory. Recently, I worked on a manuscript attempting to prove that P ≠ NP. I know how this sounds — it’s one of the hardest and most debated problems in CS, and many have tried and failed. I don’t claim to have the final answer, but I believe the approach I used might at least offer some fresh perspective or provoke useful critique. The idea involves geometric separation between deterministic and nondeterministic computation, using high-dimensional lattice constructions and some physics-inspired intuition.…
2025 · zenodo.org
- 15LI
https://github.com/lpviz/lpviz Visualize linear programming solvers - Simplex, Interior Point, PDHG, and Central Path - in the browser. Drag the objective/vertices/constraints around and watch the solver trajectory respond in real time. Enter 3D mode to view solver metadata (like centrality for IPM or KKT residual for PDHG) on the z-axis. Always happy to get feedback and feature requests, one thing that is coming soon is support for importing problems from e.g. JuMP or cvxpy.
Jun 2026 · lpviz.net
- 16CV
I worked as a software engineer at Amazon, SAP, and on open source. In all 3 places I have struggled with the friction of understanding codebases before I can make a contribution. I think this brain-fatiguing process can be improved. I am trying to solve it with a tool I built over the last 4 years called CodeCanvas: https://docs.code-canvas.com CodeCanvas visualizes codebases through interactive diagrams linked directly to source code. Users can record 'simulations' to demonstrate data flow and business logic. I’ve also recently added an LLM chat where it takes only the relevant…
2025 · pie-crepe-38f.notion.site
- 17AS
Hi HN, I built ast-visualizer.com because I wanted a way to visualize the architecture/structure of a Python repo before dived into the code. Most tools tell you what the code does; I wanted to see how it's built. The Problem: Onboarding onto a large codebase is a nightmare. LLMs help with single functions, but they struggle to show you the "God Objects," circular dependencies, or high-complexity hotspots across 50+ files. What it does: Dependency Graph: Visualizes imports and file complexity to find architectural bottlenecks. Radial AST Heatmaps: Maps individual files and color-codes…
Feb 2026 · ast-visualizer.com
- 18LA
Hey HN! We built *lapisla*, a theorem proving platform designed to make formal proofs more open and collaborative. We developed a kernel, editor, proof registry, and platform ── all accessible directly in the browser. Why we built this: Existing theorem provers are powerful, but they often feel isolated and difficult to extend. Unlike modern programming languages, which thrive on package managers and shared libraries, theorem proving tools lack a seamless way to integrate others' work. lapisla aims to bridge this gap by: * Offering a verified public proof registry for sharing and discovering…
2025 · github.com
- 19WC
Hi all, I'm Ivan, and together with Alex, we're building a diagram visualization tool for codebases. Alex and I are devs, and we've noticed that recently we've been super productive at writing code (prompting :D). But when it comes to understanding big systems, prompting doesn't work that well — for that, diagrams are best imo. Most tools out there don't scale to big projects (e.g. PyTorch), so we're building CodeBoarding — a recursive visualizer for codebases. It starts from the highest level of abstractions and lets you dive deeper. We use static analysis and LLM agents. The control-flow…
2025 · github.com
- 20PR
Hey HN, I built a PDF reader that can generate interactive visualizations right inside the document. The goal is to reduce the “intuition gap” when reading dense papers: select a concept, click Visualize, and it tries to produce a solid visual interactive app where you can rotate/zoom/step through (not just a text explanation). Upload any PDF, select text, click Visualize. Demo (no signup): https://zerodistract.com/try/pdf/67cdee74-810b-4f1b-af7d-010... Product link: https://zerodistract.com I’d love feedback, especially on what feels useful vs.…
Feb 2026 · zerodistract.com
- 21DC
Hi there! I'm building Diagrammatic, a simple and free online tool with the ambition to become a community for diagrams-as-code enthusiasts. Currently, it supports Mermaid, PlantUML, Dot (Graphviz), Vega-Lite, and Typogram, but I'm looking to add more languages. Please let me know if there's a particular one you use. I'd appreciate any kind of constructive feedback as well. Thanks in advance!
2024 · diagrammatic.com
- 22MG
Hello everybody, I built Memory Graph to help students (and myself) build a correct mental model of Python references, mutability, and copying, and to make debugging data structures less “print-driven”. It’s inspired by Python Tutor, but focuses on clearer graphs and on running locally in many different environments and debuggers. The Memory Graph Web Debugger quickly turns your web browser into a Python debugger where the whole program state is visualized in each step, clearly showing aliasing and the structure of the data, giving insight that is hard to get with just printing. Some…
Jan 2026 · memory-graph.com
- 23SA
Hello! I am working on SlamDunk, a lightweight and easy-to-use visualization library built with C++. I started the project out of a personal need - I am in the process of learning about SLAM (simultaneous localization and mapping) and found the lack of visualization tools very limiting. This is why I'm making this tool - it aims to allow the user to make powerful live visualizations without a lot of boilerplate and fiddling with rendering loops and computer graphics. SlamDunk is built with OpenGL and ImGui, so it is very lightweight. Please let me know what you think!
2025 · github.com
- 24AI
My focus has been shifting towards the ML alignment space recently, and in particular the ability to translate large transformer models into human understandable circuits and algorithms. This problem potentially isn't solvable, but it is one that some groups have had success with after large amounts of effort. In attempting to address this issue, I've been developing Transpector. A tool scaling up and reducing the barrier to entry of techniques that these teams have been showing success with. Techniques aiming to understand the internal mechanics of the model. Currently this tool is focused…
2023 · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →