Ziren Verifier Now Live In-Browser

Share on

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.

Why does this matter?

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:

  • Cross-platform: a single Rust codebase supports verification across platforms, compiled to WASM for browsers and to native binaries for any environment Rust supports.
  • Multi-proof capability: STARK, Groth16, and Plonk supported in one SDK.
  • Transparency: users and developers can directly confirm proof validity.

Moving towards open verification

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

More articles
你好世界-五月时事通讯
我们很高兴地宣布,在 Proygon Ventures、Crypto.com、Amber Group、Leland Ventures、Waterdrip Capital、DFG、jSquare、捐赠资本和梅蒂斯基金会 🔥 的支持下,于 2023 年 11 月成功完成了 500 万美元的 Pre-A 轮融资
Offline memory checking in zkVM
Memory checking in a zkVM is used to allow a prover to demonstrate to a verifier that read/write memory operations are performed correctly. In such a memory system, a value v can be written to an address a, and later retrieved from address a by the program. This technique enables the verifier to efficiently confirm that the prover has followed memory access rules—specifically, that any read returns the latest value written to that memory address.
Ziren Verifier Now Live In-Browser

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.

Why does this matter?

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:

  • Cross-platform: a single Rust codebase supports verification across platforms, compiled to WASM for browsers and to native binaries for any environment Rust supports.
  • Multi-proof capability: STARK, Groth16, and Plonk supported in one SDK.
  • Transparency: users and developers can directly confirm proof validity.

Moving towards open verification

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