Issues · QED-it/ragu · GitHub

Labels Milestones New issue

Redundant constructors for `CircuitIndex`

crate:ragu_circuits

#70

· ConstanceBeguier opened

on Apr 21, 2026

Internal circuits can be registered multiple times

#69

· ConstanceBeguier opened

on Apr 21, 2026

Verifier challenges may be zero, leading to partial constraint checks

#68

· ConstanceBeguier opened

on Apr 21, 2026

Follow same pattern for Header's internal suffixes as for Internal Steps

#67

· AntoineRondelet opened

on Apr 12, 2026

Consider wrapping `Transcript::new` in a Ragu-specific constructor

#66

· AntoineRondelet opened

on Apr 12, 2026

Ordering invariant between `compute_native_f` and `poly_queries` is enforced only by comment

#65

· AntoineRondelet opened

on Apr 12, 2026

Proof format mismatch between book and code

#64

· AntoineRondelet opened

on Apr 12, 2026

Challenge naming for better readability of `Application::verify`

#63

· AntoineRondelet opened

on Apr 5, 2026

Confusing terminology / comments, and code inconsistencies for the circuits registration ordering

#62

· AntoineRondelet opened

on Apr 5, 2026

`for_header` returns Result but cannot fail

#61

· ConstanceBeguier opened

on Mar 30, 2026

Mismatch between `circuit_index` documentation and implementation (internal masks not accounted for)

#60

· ConstanceBeguier opened

on Mar 30, 2026

Small recommendations for the book

#59

· AntoineRondelet opened

on Mar 22, 2026