Zero-knowledge virtual machine
A sub-1MB zkVM that runs entirely on your phone. No server. No trusted party. No data ever leaves the device — only the proof does.
Social networks extract identity. DenseZK flips the model — users prove facts about themselves without exposing the underlying data. The proof is the credential. The device is the vault.
The entire ZK proof is generated on your device. No round-trip to a proving server. No latency penalty. No third party that can be compromised or subpoenaed.
Your identity credentials live in the secure enclave. DenseZK reads them, proves a statement, and discards the rest. The secret never touches the wire.
Built on STARKs — the proof system that requires no ceremony, no powers of tau, no risk from a compromised setup. Transparent and verifiable from day one.
Prove membership, reputation, and consent without revealing who you are or who you know.
DenseZK runs a minimal virtual machine on-device, records every step of execution as a cryptographic trace, then proves the trace is valid — without revealing the inputs.
Identity logic — written in a 6-opcode ISA — runs inside DenseZK. Registers, memory, and program counter update at each step.
Every step is written to an execution trace — a table of machine state at each instruction. This trace is the cryptographic witness to your computation.
Winterfell proves the trace satisfies all transition constraints. The proof is compact, post-quantum secure, and carries no information about private inputs.
Any social primitive that currently requires trusting a server can be replaced by a ZK proof from a phone.
Prove you have a high trust score without revealing your account. Reputation without identity exposure.
Two users mutually prove interest before any profile is revealed. Matching without surveillance.
Prove you belong to a group without revealing which member you are.
Prove you are over 18 or hold a credential without submitting a document to any server.
Communities enforce rules cryptographically — no central moderator seeing your content.
Prove graph relationships — mutual friends, degrees of separation — without exposing the graph.
ADD, SUB, LOAD, STORE, JMP, HALT. Every constraint is auditable. No hidden complexity, no attack surface from opcodes you don't use.
No trusted setup. No elliptic curve assumptions. Post-quantum resistant. Same inputs always produce the same proof.
Fits in a React Native module. Runs without a JIT. Works on a 3-year-old mid-range Android phone.
The witness — your secret — is consumed locally and discarded. Only the proof and public outputs are transmitted.
DenseZK is open source and in active development. The first public release ships with full docs, circuit examples, and a React Native SDK.