ergo-nipopow: validate proof structure and extension-root binding - #917

Open

a-shannon wants to merge 11 commits into

ergoplatform:v0.30.0from

a-shannon:fix/nipopow-interlink-canonicality

Commits on Aug 4, 2026

fix: reject non-canonical NiPoPoW interlinks
a-shannon
committed
9d2ead2
test(nipopow): strengthen interlink guard coverage
a-shannon
committed
ae6a797
test(nipopow): pin release overflow rejection
a-shannon
committed
359f46f

Commits on Aug 6, 2026

fix(nipopow): bind interlink proofs to extension root
a-shannon
committed
cbc97bc
test(nipopow): add cross-runtime full-root fixture
a-shannon
committed
ce03f61
test(nipopow): bind boundary fixtures to extension root
a-shannon
committed
fbb3a80
fix(nipopow): reject invalid proof parameters
a-shannon
committed
789662d
test(nipopow): add complete JVM proof fixture
a-shannon
committed
5916005
fix(nipopow): bound parsing and merkle validation
a-shannon
committed
bb24b1c

Commits on Aug 8, 2026

fix(nipopow): preserve public error compatibility
a-shannon
committed
ed9dfb2
fix(nipopow): report verifier parameter mismatch
a-shannon
committed
1b14570