halo2-prover Web environment to prove halo2 circuits using WASM. test yarn dev build yarn build:svg yarn build:wasm