Skip to content

fix(proof): correct atomic-unit thresholds + mirror SetUint64 to prover#15

Merged
8lecramm merged 2 commits into
DEROFDN:community-devfrom
DHEBP:fix/proof-arithmetic-hardening
Jun 7, 2026
Merged

fix(proof): correct atomic-unit thresholds + mirror SetUint64 to prover#15
8lecramm merged 2 commits into
DEROFDN:community-devfrom
DHEBP:fix/proof-arithmetic-hardening

Commits

Commits on May 31, 2026