Replace guessed+hashed constants with gate-constructed constants#415

Open

alon-f wants to merge 22 commits intomainfrom

constants-infra-redesign

Commits on Mar 26, 2026

Reserve u in Context::default and add finalize_constants skeleton

alon-f
and
claude
committed
Replace guessed+hashed constants with gate-constructed constants

alon-f
and
claude
committed
Remove power-of-2 constraint on decomposition base

alon-f
and
claude
committed
Ensure minimum chain length of 16 for constant decomposition

alon-f
and
claude
committed
Use sort-based find_max_consecutive instead of HashMap lookups

alon-f
and
claude
committed
Use binary search in find_max_consecutive

alon-f
and
claude
committed
Handle broadcast constants (x,x,x,x) as x * (1,1,1,1)

alon-f
and
claude
committed
Remove unnecessary dedup in find_max_consecutive

alon-f
and
claude
committed
Update privacy constant hashes and fix clippy

alon-f
and
claude
committed
Clean up finalize_constants: fix stale comments, imports, dedup

alon-f
and
claude
committed
Cache M31 decomposition results separately from the +1 chain

alon-f
and
claude
committed
Insert u via public logup sum by making it an output

alon-f
and
claude
committed
Restore hardcoded FIBONACCI_CIRCUIT_PREPROCESSED_ROOT

alon-f
and
claude
committed
Fix double-yield when decomposition intermediate shadows a constant

alon-f
and
claude
committed
Remove dead base > 1 check

alon-f
and
claude
committed
Use new_var instead of guess for constants

alon-f
and
claude
committed
Use eval! macro and ops functions instead of manual gate construction

alon-f
and
claude
committed
Remove unnecessary unwrap_or on chain.keys().max()

alon-f
and
claude
committed
Use ops::output instead of direct Output gate push

alon-f
and
claude
committed
Dynamic limb decomposition with MIN_BASE=256

alon-f
and
claude
committed
Revert unnecessary indexmap std feature addition

alon-f
and
claude
committed
Replace hand-rolled binary search with position(), restore indexmap std

alon-f
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Replace guessed+hashed constants with gate-constructed constants#415

Replace guessed+hashed constants with gate-constructed constants#415
alon-f wants to merge 22 commits intomainfrom
constants-infra-redesign

Commits on Mar 26, 2026

Reserve u in Context::default and add finalize_constants skeleton

Replace guessed+hashed constants with gate-constructed constants

Remove power-of-2 constraint on decomposition base

Ensure minimum chain length of 16 for constant decomposition

Use sort-based find_max_consecutive instead of HashMap lookups

Use binary search in find_max_consecutive

Handle broadcast constants (x,x,x,x) as x * (1,1,1,1)

Remove unnecessary dedup in find_max_consecutive

Update privacy constant hashes and fix clippy

Clean up finalize_constants: fix stale comments, imports, dedup

Cache M31 decomposition results separately from the +1 chain

Insert u via public logup sum by making it an output

Restore hardcoded FIBONACCI_CIRCUIT_PREPROCESSED_ROOT

Fix double-yield when decomposition intermediate shadows a constant

Remove dead base > 1 check

Use new_var instead of guess for constants

Use eval! macro and ops functions instead of manual gate construction

Remove unnecessary unwrap_or on chain.keys().max()

Use ops::output instead of direct Output gate push

Dynamic limb decomposition with MIN_BASE=256

Revert unnecessary indexmap std feature addition

Replace hand-rolled binary search with position(), restore indexmap std