Module binius_core::poly_commit::tensor_pcs

Structs

• Proof
  Evaluation proof data for the TensorPCS polynomial commitment scheme.
• TensorPCS
  The multilinear polynomial commitment scheme specified in DP23.

Enums

• Error
• VerificationError

Functions

• calculate_n_test_queries
• calculate_n_test_queries_reed_solomon
• find_proof_size_optimal_pcs
  Find the TensorPCS parameterization that optimizes proof size.

Type Aliases

• BasicTensorPCS
  The basic multilinear polynomial commitment scheme from DP23.
• BlockTensorPCS
  The multilinear polynomial commitment scheme from DP23 with block-level encoding.
• VCSProofs
  Type alias for a collection of VCS proofs for a batch of polynomials.