Search results

MbkBnkBmnProver / MbkNbkBmnProver panic for batch size 1 (log_b == 0)

Status: Open.

#243 In ICME-Lab/jolt-atlas;

· junbeomlee opened on May 16, 2026

Soundness bug of Input evaluation

soundness

Status: Open.

#230 In ICME-Lab/jolt-atlas;

· AntoineF4C5 opened on Apr 28, 2026

unify scale field in tracer operators

Status: Open.

Task

#219 In ICME-Lab/jolt-atlas;

· Forpee opened on Apr 9, 2026

restructure softmax prover to avoid sending aux vectors

Status: Open.

Task

#218 In ICME-Lab/jolt-atlas;

· Forpee opened on Apr 8, 2026

Optimize Div range-checks

optimization

Status: Open.

#217 In ICME-Lab/jolt-atlas;

· AntoineF4C5 opened on Apr 8, 2026

Prover infrastructure is rigidly coupled to a fixed single scale

Status: Open.

Task

#216 In ICME-Lab/jolt-atlas;

· Forpee opened on Apr 7, 2026

Adapt Raf-check Identity Polynomial to match i32

soundness

Status: Open.

#208 In ICME-Lab/jolt-atlas;

· AntoineF4C5 opened on Mar 27, 2026

Div breaks fixed-point semantics

Status: Open.

Bug

#204 In ICME-Lab/jolt-atlas;

· ClankPan opened on Mar 23, 2026

ScalarConstDiv remainder is committed but never range-checked

Status: Open.

Bug

#203 In ICME-Lab/jolt-atlas;

· ClankPan opened on Mar 23, 2026

Commit to model inputs rather than provide them to the Verifier

Status: Open.

Feature

#201 In ICME-Lab/jolt-atlas;

· AntoineF4C5 opened on Mar 17, 2026

Soundness: teleport range checks do not bind tau-derived bounds to the verifier

soundness

Status: Open.

#195 In ICME-Lab/jolt-atlas;

· ClankPan opened on Mar 9, 2026

implement prover logic for monolithic MeanOfSquares op

Status: Open.

Feature

#194 In ICME-Lab/jolt-atlas;

· Forpee opened on Mar 9, 2026

·  

Reduce quantization err