The Ziren verifier is now live on Ethproofs - making proof verification accessible directly in the browser, without requiring dedicated infrastructure.
The launch is enabled by ZKM’s new WASM SDK. The SDK supports STARK, Groth16, and Plonk proof systems, and allows a full L1 Ethereum block proof to be verified in milliseconds in a standard web environment.
The verifier’s Rust code is reused across targets; we compile to WASM for browsers and to native artifacts for non-browser environments.
Zero-knowledge proofs only deliver trust when they can be independently verified. Until now, this has typically required custom binaries, node infrastructure, or reliance on third-party services. Moving verification into the browser reduces these requirements.
Key properties:
This step advances a model where verification of computation is lightweight, reproducible, and not dependent on intermediaries. It lowers the barrier for integration and provides a foundation for wider adoption of proof-based systems.
With in-browser verification now available, Ziren proofs can be checked quickly and independently in a way that is both practical and transparent. This is one more step toward open, standardized, and universally accessible proof verification.
Start building with Ziren today: github.com/projectzkm/ziren
Ziren STARK verifier NPM package: npmjs.com/package/@ethproofs/ziren-wasm-stark-verifier
The Ziren verifier is now live on Ethproofs - making proof verification accessible directly in the browser, without requiring dedicated infrastructure.
The launch is enabled by ZKM’s new WASM SDK. The SDK supports STARK, Groth16, and Plonk proof systems, and allows a full L1 Ethereum block proof to be verified in milliseconds in a standard web environment.
The verifier’s Rust code is reused across targets; we compile to WASM for browsers and to native artifacts for non-browser environments.
Zero-knowledge proofs only deliver trust when they can be independently verified. Until now, this has typically required custom binaries, node infrastructure, or reliance on third-party services. Moving verification into the browser reduces these requirements.
Key properties:
This step advances a model where verification of computation is lightweight, reproducible, and not dependent on intermediaries. It lowers the barrier for integration and provides a foundation for wider adoption of proof-based systems.
With in-browser verification now available, Ziren proofs can be checked quickly and independently in a way that is both practical and transparent. This is one more step toward open, standardized, and universally accessible proof verification.
Start building with Ziren today: github.com/projectzkm/ziren
Ziren STARK verifier NPM package: npmjs.com/package/@ethproofs/ziren-wasm-stark-verifier