Pico Wasm Stark Verifier

WebAssembly bindings for the Pico STARK verifier.

Overview

This module compiles the verify function from pico-vm's CombineProver to WebAssembly, allowing STARK proof verification in web browsers and Node.js environments.

For the Pico STARK verifier to work, the env variable VK_VERIFICATION needs be set to false, but this is challenging when compiling to WASM. Therefore, as a temporary solution, this pkg uses a fork of Pico which bypasses a vk_verification_enabled check in the verify function and assumes it is disabled.

Usage

Installation

npm install @ethproofs/pico-wasm-stark-verifier

React Integration

import init, { main, verify_stark } from '@ethproofs/pico-wasm-stark-verifier';

await init(); // Initialize WASM (if needed)
main(); // Initialize panic hook

// Verify a Pico proof (single GPU)
const isValid = verify_stark('Pico', proofBytes, vkBytes);

// Verify a Pico Prism proof (multi GPUs)
const isValid = verify_stark('PicoPrism', proofBytes, vkBytes);

For complete React integration examples, see REACT_INTEGRATION.md.

Node.js Usage

const { main, verify_stark } = require('@ethproofs/pico-wasm-stark-verifier');

// The Node.js version initializes automatically

main(); // Initialize panic hook
const result = verify_stark('PicoPrism', proofBytes, vkBytes);

Testing

Installation

npm install

Prerequisites

• Rust (Nightly)
• wasm-pack

Building

# Build for all targets
npm run build:all

Node.js Example

npm run test:node

This runs the Node.js example that loads proof and verification key files from the filesystem and verifies them using the KoalaBear field configuration.

Browser Example

npm run test

This starts a local HTTP server at http://localhost:8080 with a browser example that demonstrates:

• Loading the WASM module in a browser environment
• File upload interface for proof and verification key files
• Interactive STARK proof verification
• Performance metrics and detailed logging
• Error handling and user feedback

The browser example provides a complete UI for testing the WASM verifier with drag-and-drop file selection and real-time verification results.

Note: The browser example requires files to be served over HTTP due to WASM CORS restrictions. The included server script handles this automatically.