Work · alternatives · 2026
24 alternatives to Zero-Knowledge Proofs in WebAssembly
Zero-Knowledge Proofs in WebAssembly is a tool that enables developers to create and verify zero-knowledge proofs using WebAssembly technology. It allows computations to be proven without revealing underlying data… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Zero-Knowledge Proofs in WebAssembly launched in 2019; newer entries below may have overtaken it.
- 1IW
Hey HN! I've been working on a book about WebAssembly over the last few months, and it's finally available at http://levelupwasm.com! Why a book on WebAssembly you ask? Well... WebAssembly is awesome (obviously ) but it's certainly not the easiest thing to learn. So I wrote this book as a practical intro to using WebAssembly in your web apps. I would appreciate any feedback!
2019 · its alternatives →
- 2
WebAssembly▲86New binary format for compiling applications for the web
2015 · github.com · its alternatives →
- 3AW
2017 · funkykarts.rocks · its alternatives →
- 4
This is the entire Firefox browser rendering to a element. Gecko, all UI components, and the Spidermonkey JS engine are all compiled and running in WebAssembly. Here are a few things you might find interesting: - This is fully end to end encrypted! We use the WISP protocol for TCP-over-websockets. - There is a novel WASM->JS JIT for experimental site speedup - This port cost over 25k in opus/fable tokens for debugging and JIT research This was just a fun experiment to push the boundaries of WebAssembly. For a more usable "browser in browser" experience, we also built…
Jul 2026 · developer.puter.com · its alternatives →
- 5
Web49: WebAssembly Interpeter. Contribute to FastVM/Web49 development by creating an account on GitHub.
2023 · github.com · its alternatives →
- 6
We’ve reached a major milestone in making any software run with WebAssembly. Thanks to the newest release of Wasmer (4.4) and the Wasmer JS SDK (0.8.0) ...
2024 · wasmer.io · its alternatives →
- 7
A (WIP) WebAssembly System Interface implementation for Deno - caspervonb/deno-wasi
2020 · github.com · its alternatives →
- 8
An R7RS Scheme implemented in WebAssembly . Contribute to PollRobots/scheme development by creating an account on GitHub.
2022 · github.com · its alternatives →
- 9
Show HN: TinyWasm - A tiny WebAssembly Runtime written in Rust Hi HN! I'm excited to share TinyWasm (https://github.com/explodingcamera/tinywasm), a WebAssembly Interpreter I developed for my final university project. The main goal of this project was to deepen my understanding of WebAssembly and interpreter design. TinyWasm successfully passes all the official WebAssembly 1.0 tests and also includes features from future proposals such as like bulk memory operations. Initially more of a research project, TinyWasm focuses on simplicity and portability. It has minimal…
2024 · github.com · its alternatives →
- 10
- 11AE
easyprog.online ist Ihre erste und beste Informationsquelle über easyprog. Hier finden Sie auch weitere interessante Links. Wir hoffen, dass Sie bei Ihrer Suche erfolgreich sind!
2019 · easyprog.online · its alternatives →
- 12
ZeroDB▲119An open-source, end-to-end encrypted database protocol
2015 · zerodb.io · its alternatives →
- 13
Does your browser support WebAssembly? Check WebAssembly support and features like SIMD, threads and more.
2020 · wasm.joway.io · its alternatives →
- 14
As a personal project I wrote a really tiny Wat 2 Wasm compiler in Go. Mainly for demonstrative and educational purposes. It was tough: I didn't know anything about WebAssembly internals and I'm a newbie with Go... so I tried to document it as much as I could for anyone that would like to approach the quest in the future! It misses a lot of features (that will be gradually implemented). Any feedback is welcomed!! Demo: https://luna-demo.vercel.app
2022 · github.com · its alternatives →
- 15
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 →
- 16
- 17
- 18
Compile WebAssembly to JVM and other WASM tools. Contribute to cretz/asmble development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 19
A totally proof-of-concept FoundationDB based network block device backend - dividuum/fdb-nbd
2018 · github.com · its alternatives →
- 20
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 →
- 21SZ
2022 · zk-treasure-hunt.glitch.me · its alternatives →
- 22
Proofly ▲129Private AI proofreading that runs 100% on your device
Dec 2025 · chromewebstore.google.com · its alternatives →
- 23
At Cajal (YC W26) we’re excited to share Talos (https://github.com/cajal-technologies/talos), an open source framework for formal verification of WebAssembly modules in Lean. AI is now writing tons of the code that gets pushed to production. As code generation gets cheaper, verification becomes the bottleneck. We believe in a future where every piece of software comes with a mathematical proof that it does what its author intended - in doing so, eliminating many classes of exploits. Talos is part of the foundation for that. Talos provides a Wasm interpreter optimized for…
Jun 2026 · github.com · its alternatives →
- 24NB
2018 · novoselrok.github.io · its alternatives →
Also compare
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 →