Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Constrain block_timestamp to be ever increasing #634

Closed
Nashtare opened this issue Sep 18, 2024 · 1 comment
Closed

Constrain block_timestamp to be ever increasing #634

Nashtare opened this issue Sep 18, 2024 · 1 comment
Assignees
@LindaGuiga
Labels
crate: evm_arithmetization Anything related to the evm_arithmetization crate.
Milestone
Testing and Valid...

Comments

@Nashtare
Copy link
Collaborator

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.
@github-project-automation github-project-automation bot moved this to Backlog in Zero EVM Sep 18, 2024
@Nashtare Nashtare added this to the Testing and Validation milestone Sep 18, 2024
@Nashtare Nashtare added the crate: evm_arithmetization Anything related to the evm_arithmetization crate. label Sep 18, 2024
@Nashtare Nashtare moved this from Backlog to Todo in Zero EVM Sep 18, 2024
@LindaGuiga LindaGuiga self-assigned this Sep 18, 2024
@Nashtare Nashtare moved this from Todo to In Progress in Zero EVM Sep 18, 2024
@LindaGuiga LindaGuiga mentioned this issue Sep 18, 2024
Merged
@Nashtare
Copy link
Collaborator Author

Addressed in #638

@github-project-automation github-project-automation bot moved this from In Progress to Done in Zero EVM Sep 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@LindaGuiga LindaGuiga

Labels
crate: evm_arithmetization Anything related to the evm_arithmetization crate.
Projects
Zero EVM
Status: Done
Milestone
Testing and Validation
Development

No branches or pull requests
2 participants
@Nashtare @LindaGuiga