binius_
core
0.1.0
Module tensor_
pcs
Module Items
Structs
Enums
Functions
Type Aliases
In binius_
core::
poly_
commit
binius_core
::
poly_commit
Module
tensor_pcs
Copy item path
source
Structs
§
Proof
Evaluation proof data for the
TensorPCS
polynomial commitment scheme.
TensorPCS
The multilinear polynomial commitment scheme specified in
DP23
.
Enums
§
Error
Verification
Error
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
§
Basic
TensorPCS
The basic multilinear polynomial commitment scheme from
DP23
.
Block
TensorPCS
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.