Crate prover

Crate prover 

Source
Expand description

Prover WASM Module

This module provides browser-compatible ZK proof generation using Groth16. It handles:

  • Input preparation (cryptographic operations, merkle trees)
  • Proof generation from witness data

§Architecture

This module receives witness data (Uint8Array) from the witness module via pure data exchange

Modules§

crypto
Cryptographic utilities for input preparation
encryption
Cryptographic key derivation and note encryption.
merkle
Merkle tree utilities for proof generation
prover
Groth16 proof generation
r1cs
R1CS Parser for Circom binary format
serialization
Serialization utilities for witness and proof data
sparse_merkle
Sparse Merkle Tree utilities for WASM (no_std compatible)
types
Common types used across the prover module

Functions§

init
Initialize the WASM module Sets up panic hook for better error messages in browser console
version
Get the module version