search

essential-contributions / essential-node

Derive current head from essential builder and sync state between nodes
Apache License 2.0
2 stars 1 forks source link

Check block number is increasing by one #153

Open freesig opened 3 weeks ago

freesig commented 3 weeks ago

Constraint

let number = storage::number; // block state storage
constraint number' == number + 1;

Checking

This can be checked using rust code for now. Must happen once per block.