Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

zair setup

Generate proving and verifying parameters.

zair setup sapling

Generates Sapling Groth16 proving and verifying keys for the claim circuit.

zair setup sapling --scheme native

This outputs setup-sapling-pk.params and setup-sapling-vk.params.

Note

The circuit scheme must match config scheme used by config build --scheme-sapling xxx). Mismatched schemes will cause proof verification to fail.

zair setup orchard

Generates Orchard Halo2 parameters for proving and verification.

zair setup orchard --scheme native

This outputs setup-orchard-params.bin, as above, circuit scheme must match config.

Note

Orchard parameters can also be generated automatically during proving when --orchard-params-mode auto is set (default). Pre-generating can be useful for sharing or save computation.