Search results

Track M31 collision probability for fused-constraint spread table LogUp

Status: Open.

#286 In worldfnd/provekit;

· rose2221 opened on Feb 12, 2026

Unsound Carry Range Check in Spread-Based u32 Addition for M31

Status: Open.

#285 In worldfnd/provekit;

· rose2221 opened on Feb 12, 2026

Ci for fragmented passport circuits

Status: Open.

#280 In worldfnd/provekit;

· ashpect opened on Feb 9, 2026

Track M31 collision probability for fused-constraint range check tables

Status: Open.

#275 In worldfnd/provekit;

· rose2221 opened on Feb 6, 2026

Track M31 collision probability for combined AND/XOR lookup table optimization

Status: Open.

#272 In worldfnd/provekit;

· rose2221 opened on Feb 5, 2026

[M-4] Verifier panics and becomes unusable after call

Status: Open.

#268 In worldfnd/provekit;

· this-vishalsingh opened on Jan 29, 2026

[M-3] Panic on mismatched deferred evaluations length

Status: Open.

#267 In worldfnd/provekit;

· this-vishalsingh opened on Jan 29, 2026

[M-2] Unchecked try_into unwrap may panic

Status: Open.

#266 In worldfnd/provekit;

· this-vishalsingh opened on Jan 29, 2026

[M-1] Use of assert! on proof data can panic

Status: Open.

#265 In worldfnd/provekit;

· this-vishalsingh opened on Jan 29, 2026

[L-2] Sumcheck blinding padding uses unchecked shift

Status: Open.

#264 In worldfnd/provekit;

· this-vishalsingh opened on Jan 29, 2026

[L-1] Config-derived shift can underflow and panic

Status: Open.

#263 In worldfnd/provekit;

· this-vishalsingh opened on Jan 29, 2026

update verifier server to reflect all recent changes

Status: Open.

#260 In worldfnd/provekit;

· ashpect opened on Jan 23, 2026