All issues

Search results

Split Suffix Table optimisation

Status: Open.

#58 In worldfnd/BitZ;

· xrvdg opened on Sep 14, 2026

Replace the reference inner-product sumcheck reduction

Status: Open.

#54 In worldfnd/BitZ;

· zkfriendly opened on Sep 11, 2026

GKR performance: tracking issue

Status: Open.

#52 In worldfnd/BitZ;

· xrvdg opened on Sep 9, 2026

Size the rayon pool to the performance cores

Status: Open.

#48 In worldfnd/BitZ;

· shreyas-londhe opened on Sep 7, 2026

Defer Barrett reduction in the Spartan sumcheck round bodies

Status: Open.

#47 In worldfnd/BitZ;

· shreyas-londhe opened on Sep 7, 2026

Read the assignment as packed bits instead of a dense field MLE

Status: Open.

#46 In worldfnd/BitZ;

· shreyas-londhe opened on Sep 5, 2026

Replace the BTreeMap and BTreeSet accumulators in LinearCombination

Status: Open.

#44 In worldfnd/BitZ;

· shreyas-londhe opened on Sep 4, 2026

Avoid materialising the global R1CS matrix when the relation is one local circuit repeated over instances

Status: Open.

#42 In worldfnd/BitZ;

· shreyas-londhe opened on Sep 4, 2026

Prover and verifier optimisation: tracking issue

Status: Open.

#41 In worldfnd/BitZ;

· shreyas-londhe opened on Sep 4, 2026

Sparse matrix core: reusable matrix operations for PIOP (Spartan)

Status: Open.

#20 In worldfnd/BitZ;

· wu-s-john opened on Aug 20, 2026

Spartan PIOP: R1CS reduction and Eq-shaped F2Z handoff

Status: Open.

#19 In worldfnd/BitZ;

· wu-s-john opened on Aug 20, 2026

SHA-256 relation: witness synthesis and sparse M/A construction

Status: Open.

#17 In worldfnd/BitZ;

· wu-s-john opened on Aug 14, 2026