Regenerate scripts
Signed-off-by: Sasha Bogicevic <[email protected]>
Signed-off-by: Sasha Bogicevic <[email protected]>
getAccumulatorCommitment was ignoring the Count field in the accumulator map. on-chain pairing check uses the actual duplicate scalars. Fix by expanding each (hash, count) entry into `count` copies before building the polynomial. Also fix requiredCRSPointCount and accumulatorSize to use total element count (sum of counts) rather than unique key count, so CRS sizing and the maxAccumulatorSize guard stay consistent. Signed-off-by: Sasha Bogicevic <[email protected]>
Add healthyPartialFanoutTxWithDuplicates — a partial fanout tx where two distinct TxIns carry identical TxOut content. The off-chain accumulator silently deduplicates them to one element while on-chain scalar computation does not, causing a pairing check mismatch. The added property currently fails, proving the bug exists. Signed-off-by: Sasha Bogicevic <[email protected]>
Signed-off-by: Sasha Bogicevic <[email protected]>
Signed-off-by: Sasha Bogicevic <[email protected]>
- Different layout - Tabs - Colours - Summary information of events - Detail of events
Closed ──PartialFanout──────────► FanoutProgress
FanoutProgress ──PartialFanout──► FanoutProgress (repeat)
FanoutProgress ──FinalPartialFanout──────────────► Final (burns tokens)
Closed ──Fanout──────────────────────────────────► Final (≤ threshold, unchanged)
Off-chain, HeadLogic.emitNextFanoutStep now distinguishes FreshFanout from
FanoutInProgress to select the correct tx builder at each step.