Activity
Remove debug blocks:
Remove debug blocks:
Remove DensePolynomial
Remove DensePolynomial
Ensure BaseField vectors
Ensure BaseField vectors
Correct DensePolynomial in Spartan sumcheck
Correct DensePolynomial in Spartan sumcheck
Remove dense polynomial on sparse mat polynomial
Remove dense polynomial on sparse mat polynomial
Adjust verify result handling
Adjust verify result handling
Add commitments to witness section info
Add commitments to witness section info
Remove debug message
Remove debug message
Resolve underflow bugs
Resolve underflow bugs
Progress on WHIR integration
Progress on WHIR integration
Update prover witness sec
Update prover witness sec
Conversion to ceno ExtensionField and Transcript
Conversion to ceno ExtensionField and Transcript
Resolve merge with main
Resolve merge with main
Fix setup.sh
Fix
setup.sh