send less data #3.1 => we send (degree + 1) - 1 evaluations and verifier derived last $$eval_1 := claim - eval_0$$
#3.2 modified protocol -> split eq into special form, thus further - 1 degree

Layer	Before (s)	degree−1 (s)	degree−2 (s)	Improve (Before→degree−1)	Improve (Before→degree−2)
emulator	10.100	9.990	9.960	1.09%	1.38%
app_prove	87.000	82.800	79.500	4.83%	8.62%
recursion	0.000	0.000	0.000	—	—
TOTAL	97.100	92.790	89.460	4.45%	7.87%

Operation	Before (s)	degree−1 (s)	degree−2 (s)	Improve (Before→degree−1)	Improve (Before→degree−2)
commit_traces	7.923	7.939	7.926	-0.20%	-0.04%
prove_ec_sum_quark	0.450	0.499	0.379	-10.89%	15.78%
extract_witness_mles	5.076	5.017	5.072	1.16%	0.08%
transport_structural_witness	0.709	0.650	0.546	8.32%	23.00%
build_tower_witness_gpu	1.101	1.099	1.097	0.18%	0.36%
prove_tower_relation_gpu	32.689	26.681	24.444	18.39%	25.21%
prove_main_constraints	9.932	10.221	8.770	-2.91%	11.69%
pcs_opening	19.081	19.681	19.660	-3.14%	-3.04%
TOTAL	76.962	71.788	67.894	6.73%	11.77%

raw data:

sumcheck prover optimization #1233

Description