search

0xPolygonZero / zk_evm

Apache License 2.0
80 stars 35 forks source link

Constrain `block_timestamp` to be ever increasing #634

Closed Nashtare closed 4 days ago

Nashtare commented 1 week ago

We check consistency of timestamps within a given block, and soon they'll be also used as part of the blockhash computation, but we'd need to also enforce that we do not go in the past, i.e. that $blockTimestamp{N+1} > blockTimestamp{N}$.

Thanks @krlosMata for pointing this out.

Nashtare commented 4 days ago

Addressed in #638