Search results

avoid caching 1st round evaluations in sumcheck prover

Status: Open.

#1274 In scroll-tech/ceno;

· kunxian-xia opened on Mar 24, 2026

pad trace matrices to same height in the main sumcheck phase

Status: Open.

#1273 In scroll-tech/ceno;

· kunxian-xia opened on Mar 24, 2026

reduce proof size by using stacked PCS and jagged PCS

Status: Open.

#1272 In scroll-tech/ceno;

· kunxian-xia opened on Mar 21, 2026

sumcheck evaluation point set

Status: Open.

#1270 In scroll-tech/ceno;

· kunxian-xia opened on Mar 17, 2026

batch all chips' main sumcheck together

Status: Open.

#1269 In scroll-tech/ceno;

· kunxian-xia opened on Mar 16, 2026

recursion v2 framework setup

Status: Open.

#1267 In scroll-tech/ceno;

· hero78119 opened on Mar 9, 2026

[Super issue] upgrade to recursion v2

Status: Open.

#1266 In scroll-tech/ceno;

· hero78119 opened on Mar 9, 2026

GPU Witness Generation

Status: Open.

#1265 In scroll-tech/ceno;

· Velaciela opened on Mar 9, 2026

[recursion] multi-observe support read from hints

Status: Open.

#1258 In scroll-tech/ceno;

· hero78119 opened on Feb 27, 2026

apply sumcheck_layer_eval to compute initial sum in tower verifier

Status: Open.

#1244 In scroll-tech/ceno;

· kunxian-xia opened on Jan 27, 2026

check maximal num_instance not exceed prime field order in recursion

Status: Open.

#1240 In scroll-tech/ceno;

· hero78119 opened on Jan 22, 2026

[precompile] resolve round_constant in keccak precompile to fixed commitment

Status: Open.

#1239 In scroll-tech/ceno;

· hero78119 opened on Jan 22, 2026