WHIR 🌪️

This library was developed using the arkworks ecosystem to accompany WHIR 🌪️. By Gal Arnon Alessandro Chiesa, Giacomo Fenzi, and Eylon Yogev.

WARNING: This is an academic prototype and has not received careful code review. This implementation is NOT ready for production use.

Usage

cargo run --release -- --help

Usage: main [OPTIONS]

Options:
  -t, --type <PROTOCOL_TYPE>             [default: PCS]
  -l, --security-level <SECURITY_LEVEL>  [default: 100]
  -p, --pow-bits <POW_BITS>
  -d, --num-variables <NUM_VARIABLES>    [default: 20]
  -e, --evaluations <NUM_EVALUATIONS>    [default: 1]
  -r, --rate <RATE>                      [default: 1]
      --reps <VERIFIER_REPETITIONS>      [default: 1000]
  -k, --fold <FOLDING_FACTOR>            [default: 4]
      --sec <SOUNDNESS_TYPE>             [default: ConjectureList]
      --fold_type <FOLD_OPTIMISATION>    [default: ProverHelps]
  -f, --field <FIELD>                    [default: Goldilocks2]
      --hash <MERKLE_TREE>               [default: Blake3]
  -h, --help                             Print help
  -V, --version                          Print version

Options:

• -t can be either PCS or LDT to run as a (multilinear) PCS or a LDT
• -l sets the (overall) security level of the scheme
• -p sets the number of PoW bits (used for the query-phase). PoW bits for proximity gaps are set automatically.
• -d sets the number of variables of the scheme.
• -e sets the number of evaluations to prove. Only meaningful in PCS mode.
• -r sets the log_inv of the rate
• -k sets the number of variables to fold at each iteration.
• --sec sets the settings used to compute security. Available UniqueDecoding, ProvableList, ConjectureList
• --fold_type sets the settings used to compute folds. Available Naive, ProverHelps
• -f sets the field used, available are Goldilocks2, Goldilocks3, Field192, Field256.
• --hash sets the hash used for the Merkle tree, available are SHA3 and Blake3