Function binius_core::poly_commit::tensor_pcs::find_proof_size_optimal_pcs

source ·

pub fn find_proof_size_optimal_pcs<U, F, FA, FI, FE>(
    security_bits: usize,
    n_vars: usize,
    n_polys: usize,
    log_inv_rate: usize,
    conservative_testing: bool
) -> Option<TensorPCS<U, F, FA, FI, FE, ReedSolomonCode<PackedType<U, FA>>, HasherDigest<PackedType<U, FI>, GroestlHasher<PackedType<U, FI>>>, MerkleTreeVCS<GroestlDigest<BinaryField8b>, GroestlDigest<BinaryField8b>, GroestlHasher<GroestlDigest<BinaryField8b>>, GroestlDigestCompression<BinaryField8b>>>>where
    U: PackScalar<F> + PackScalar<FA, Packed: PackedFieldIndexable> + PackScalar<FI, Packed: PackedFieldIndexable> + PackScalar<FE, Packed: PackedFieldIndexable> + PackScalar<BinaryField8b> + Divisible<u8>,
    F: Field,
    FA: BinaryField,
    FI: ExtensionField<F> + ExtensionField<FA> + ExtensionField<BinaryField8b>,
    FE: BinaryField + ExtensionField<F> + ExtensionField<FA> + ExtensionField<FI>,

Expand description

Find the TensorPCS parameterization that optimizes proof size.

This constructs a TensorPCS using a Reed-Solomon code and a Merkle tree using Groestl.