binius_core::piop

Function make_commit_params_with_optimal_arity

Source 
pub fn make_commit_params_with_optimal_arity<F, FEncode, MTScheme>(
    commit_meta: &CommitMeta,
    _merkle_scheme: &MTScheme,
    security_bits: usize,
    log_inv_rate: usize,
) -> Result<FRIParams<F, FEncode>, Error>
where
    F: BinaryField + ExtensionField<FEncode>,
    FEncode: BinaryField,
    MTScheme: MerkleTreeScheme<F>,
Expand description

Choose commit parameters based on protocol parameters.

§Arguments

  • commit_meta - the metadata about the committed batch of multilinears.
  • merkle_scheme - the Merkle tree commitment scheme used in FRI.
  • security_bits - the target security level in bits.
  • log_inv_rate - the binary logarithm of the inverse Reed–Solomon code rate.