zerosync_header_chain_verifier v0.2.2

Header Chain Verifier

This applies the Sandstorm verifier to the header chain proof and compiles it to WebAssembly.

Setup

# Copy compiled program over from prover/build
# You have to source your cairo_venv before that
cd ..; make prover/build/increment_batch_compiled.json; cd verifier ; \
cp ../prover/build/increment_batch_compiled.json .

npm install
cargo install wasm-pack

Build

npm run build

Run Development Server

cd build
python3 -m http.server