Skip to content

feat: add WASM support for browser-based proof generation #246

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
Bisht13 wants to merge 49 commits into
base: main
Choose a base branch
from
Open

feat: add WASM support for browser-based proof generation #246

Bisht13 wants to merge 49 commits into from

Conversation

@Bisht13
Copy link
Collaborator

@Bisht13 Bisht13 commented Dec 19, 2025

Summary

  • Add wasm32 architecture support to Skyscraper field arithmetic
  • Add WASM bindings for Prover and Verifier (provekit-wasm)
  • Add Node.js and browser demo with noir_js integration

Changes

  • skyscraper: wasm32 block multiplier, fp-rounding stubs, SIMD codegen
  • provekit-wasm: Prover and Verifier classes with proveBytes() API
  • playground/wasm-node-demo: Setup scripts, browser UI, Node.js CLI demo

Usage

cd playground/wasm-node-demo
pnpm install
pnpm run setup -- path/to/noir-circuit
pnpm run demo # Node.js
pnpm run demo:web # Browser (localhost:8080)

Blocked on #198

@Bisht13 Bisht13 force-pushed the px/wasm branch 2 times, most recently from f2837b7 to 7a6d54e Compare December 19, 2025 19:20
@xrvdg xrvdg mentioned this pull request Dec 25, 2025
Merged
xrvdg added 27 commits January 23, 2026 12:38
@xrvdg
block-multiplier: bench WASI compatible.
41d177a
@xrvdg
divan: codspeed only on CI, use regular to build with WASI
4be79b3
@xrvdg
block-multiplier: widening mul optimised for WASM
11b0366
@xrvdg
wasi runners: enable relaxed simd
be45a09
@xrvdg
wasm: bench portable_simd on wasm
2d42c76
@xrvdg
wasm: Add simd flags
813b592
@xrvdg
wasm: Add test to portable_simd
1a94a3e
@xrvdg
wasm: add portable_simd_wasm
0143939
@xrvdg
wasm: optimising 52 bit - not final
ceee4a2
@xrvdg
wasm: optimised 52/51-bit integer-to-float conversion
493367c
@xrvdg
b51: add constants
74cc61c
@xrvdg
Montgomery table: use correct prime and add 51bit
9500a7b
@xrvdg
start 51 bit conversion
f309c49
@xrvdg
kani: check conversion with kani
3e82bff
@xrvdg
b51: generate RHO values
55f0268
@xrvdg
b51: reducer from i64 -> u64
1f09045
@xrvdg
b51 checkpoint: conversion from b52 to b51 (NON WORKING)
419c8e2
@xrvdg
i2f: safe conversion
6f11480 
Removes use of unsafe transmute
@xrvdg
b51 checkpoint: working b51 multipliers
68d6487
@xrvdg
b51: working montgomery multiplier
df3ad67 
Lacks optimisations for anchors and carries
@xrvdg
b51: optimise carry handling
c0fdd6a
@xrvdg
b51: further optimise redundant carry
805894c 
mp variable
@xrvdg
b51: optimise redundant carry for s
d45f87e
@xrvdg
b51: optimise carry for addi
55829ba
@xrvdg
b51: optimises carries on t and r
0fb170a
@xrvdg
b51: aggregrate anchor subtractions
08a055b
@xrvdg
b51: sqr reduce number of multiplications
d97fe87
xrvdg and others added 18 commits January 23, 2026 12:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@Bisht13 @xrvdg @ocdbytes