Repository navigation

feat(onchain): proptest fuzz suite for amount math (#230) - #358

Merged

kilodesodiq-arch merged 3 commits into

ChainForgee:mainfrom

samsolo247:feat/fuzz-amount-math-proptest-230

Jul 19, 2026

Merged

feat(onchain): proptest fuzz suite for amount math (#230)#358
kilodesodiq-arch merged 3 commits into
ChainForgee:mainfrom
samsolo247:feat/fuzz-amount-math-proptest-230

Commits on Jul 16, 2026
- feat(#270): require N consecutive successes in HALF_OPEN before closing circuit
  samsolo247
  committed
  18795ba
- feat(onchain): add proptest fuzz suite for amount math (#230)
  samsolo247
  committed
  534f2da
Commits on Jul 17, 2026
- style(onchain): apply rustfmt to property_amounts.rs
  samsolo247
  committed
  7d51dc0