Skip to main content
Module phase_2
binius_
prover
0.1.0
Module phase_2
Module Items
Structs
Functions
In binius_
prover::
protocols::
shift
binius_prover
::
protocols
::
shift
Module
phase_2
Copy item path
Source
Structs
§
Shift
Output
What the shift reduction leaves for its caller.
Functions
§
prove_
phase_
2
Proves the second phase of the shift protocol reduction.
run_
sumcheck
Executes the phase-2 sumcheck over the witness, with a sparse first round.