Alternatives
Products that do what Dense-zkVM does
Hyper-mobile SDK for social apps using zero knowledge proofs
- 1AA
2013 · nightweb.net
- 2SA
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
- 3DA
2015 · density.io
- 4
- 5IM
Creator here. I was looking for something as simple as Backblaze Personal [1] but privacy focused and open source. This is my attempt to build that. Uses PyQt6 [2] for the GUI and Pyinstaller [3] for creating the platform specific binaries. The backup engine under the hood is Restic [4]. The server code is written in Laravel [5]. All the code is on GitHub [6]. I actually really like Backblaze (even use B2 for this offering behind the scenes) so this isn't meant to throw shade their way. Just wanted a private open source alternative. Something like Bitwarden but for backups. [1]…
2022 · blobbackup.com
- 6
- 7
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
- 8GC
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
- 9
- 101O
2020 · simon-frey.com
- 11MA
2017 · loup-vaillant.fr
- 12CA
2021 · about.cryptotask.org
- 13
- 14
- 15
- 16SA
2020 · slyde.network
- 17RB
2018 · github.com
- 18
- 19IB
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
- 20CP
2018 · cryptoproof.org
- 21IS
Everything that would be here is in the README. I hope this gets big, it has tons of potential.
2013 · github.com
- 22
- 23HA
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
- 24NA
2021 · notesnook.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →