nowfound

Dev tools · April 5, 2026

Dense-zkVM

Hyper-mobile SDK for social apps using zero knowledge proofs

What it does

DenseZK is a mobile-first privacy engine delivering sub-second zero-knowledge proofs by replacing bulky general math with a "graph-native" architecture. It achieves a 17x performance boost and a tiny 500MB RAM footprint via a "split-witness" system: your phone keeps data private while a remote server handles heavy lifting blindly. This allows you to instantly prove identity or reputation, like 1,000 followers at a global scale without draining your battery or overheating your device.

Does the same job

all alternatives →
  • AA
  • SA
    StealthDrop – Anonymous crypto airdrops using zero-knowledge proofs2022 · github.com · ▲105

    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…

  • DA
  • Density Platform2015 · ▲338

    Count people anonymously and integrate the data anywhere

  • IM
    I made a privacy-first minimalist Backblaze2022 · blobbackup.com · ▲236

    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]…

  • ZC
    zkGolf – Competitive optimization of formally verified circuitsJul 2026 · zk.golf · ▲69

    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…

More dev tools this month

the category →
  • Dograh592

    The open source VAPI alternative

    Dev tools · 25d ago · dograh.com

  • Meridian530

    Don't let your work go unnoticed. Get promoted!

    Dev tools · 20d ago · meridiona.com

  • x1516

    Lovable for iPhone apps go from idea to App Store

    Dev tools · 11d ago · x1.new

  • The first open-source price index for GPU compute

    Dev tools · 10d ago · getcomputable.com

  • OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.

    Dev tools · 2d ago · opentrailpaper.com

  • Open-source GTM skills for technical founders

    Dev tools · 29d ago · gtmcofounder.com

Launched alongside, April 2026

the whole month →
  • Brila1,367

    One-page websites from real Google Maps reviews

    AI · Apr 2026 · brila.ai

  • AG

    Thought the resources for GPU arch were lacking, so here we are

    Life & fun · Apr 2026 · jaso1024.com

  • IB

    Built a ~9M param LLM from scratch to understand how they actually work. Vanilla transformer, 60K synthetic conversations, ~130 lines of PyTorch. Trains in 5 min on a free Colab T4. The fish thinks the meaning of life is food. Fork it and swap the personality for your own character.

    AI · Apr 2026 · github.com

  • AI meeting notes: now bot-free, in ChatGPT & Claude + more

    AI · Apr 2026 · fathom.ai

  • BC

    Life & fun · Apr 2026 · sam-burns.com

  • IB

    With social media and now AI, its important to keep the indie web alive. There are many people who write frequently. Blogosphere tries to highlight them by fetching the recent posts from personal blogs across many categories. There are two versions: Minimal (HN-inspired, fast, static): https://text.blogosphere.app/ Non-minimal: https://blogosphere.app/ If you don't find your blog (or your favorite ones), please add them. I will review and approve it.

    AI · Apr 2026 · text.blogosphere.app