ZKM
@ProjectZKM

Ziren: Universal Proving Toolstack

 ZK
zkm.io
Joined June 2023
922 Photos and videos
Article

Hash-based is not the same as post-quantum

"STARKs use hashes, so they are post-quantum". The sentence is true of a commitment scheme and false of a proof system. Here is the difference, using our own zkVM as the example. Ziren is a FRI-based

17
17
39
117,865
Article

Why Ethereum Walked Away from Poseidon

Nearly every major zkVM and zkEVM in production today - including Ziren - runs on Poseidon2. So this decision reaches far beyond Ethereum L1, and it did not come out of nowhere: the pivot has been

48
73
98
8,126
Article

Inside Ziren's security collaboration with Consensys Diligence

Seven months of responsible disclosure, an upstream LLVM fix, an agent-driven mining sweep, and two hardened releases - a record of what security work looks like when it happens in the open. In

86
81
99
30,003
Article

Alignment Is a Training Problem. Deployment Is a Verification Problem.

The AI safety conversation has a center of gravity, and it sits inside the training run. Alignment, in the dominant framing, is something you do to a model: shape its objectives, tune its refusals,

73
65
76
2,846
Article

Proof of Inference

The trust stack for machine cognition In Verifiable Reflexivity we argued that every catastrophic failure in crypto has been the same failure - a system making claims about itself that nobody verified

73
56
73
6,051
Article

Verifiable Reflexivity

I. What is all of this for? Seventeen years into this experiment, it is worth asking the question: what is crypto actually for? Not the usual answers given at conferences. Not "faster payments" -

68
50
68
257,656
Article

Ziren v1.2.5: Toward Real-Time Proving for Geth

Ziren v1.2.5 is now live. This release is centered on strengthening Ziren’s path toward proving larger Geth- and keeper-oriented workloads. Ziren already patches the Go runtime’s GC and scheduler, and

38
34
64
12,532
Article

Beyond Benchmarks: The Right Way to Evaluate zkVMs

The zkVM market is often discussed as if it were based on a simple scoreboard: proving time, proof size, verifier cost, and maybe recursion performance. Two zkVMs can produce similar headline numbers

26
24
42
1,041
Article

ZKM at Devconnect, Argentina

Across @EFDevcon week in Buenos Aires, the ZKM team participated in a series of events focused on the growing intersection between ZK, AI, Bitcoin scaling, and real-world engineering. From panels and

1
3
21
129,643
Article

The ZKM October Update

This month we shipped Ziren v1.2.0 (interop + DX), open-sourced GPU prover binaries for reproducible acceleration, verified determinism in Ziren’s arithmetic core with Veridise, and outlined an x402
3
40
137,158
Article

Verifying x402: A Complete Infrastructure for the Internet's Trustless Value Layer

x402 has recently become one of the most discussed ideas in crypto. It revives the long-dormant HTTP “402 Payment Required” status code, enabling micropayments to occur directly within web requests.
7
39
343,267
Article

Verifying Determinism in Ziren’s Arithmetic Core

Ziren targets a deterministic execution model: identical inputs must yield identical outputs across all circuit paths. Determinism at the chip level (e.g. ALU primitives) is a prerequisite for
2
22
162,150
Load more