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

get_header_at does not constrain the returned header #7888

Closed
nventuro opened this issue Aug 9, 2024 · 1 comment
Closed

get_header_at does not constrain the returned header #7888

nventuro opened this issue Aug 9, 2024 · 1 comment
Assignees
@sklppy88
Labels
T-bug Type: Bug. Something is broken.

Comments

@nventuro
Copy link
Contributor

nventuro commented Aug 9, 2024

oracle::header::get_header_at returns a Header object at some block number, but it does not constrain that the returned header is the requested one, only that it is valid. The block_number parameter is only used as an argument to the get_header_at_internal function, which acts as an unconstrained oracle wrapper.
@nventuro nventuro added the T-bug Type: Bug. Something is broken. label Aug 9, 2024
@github-project-automation github-project-automation bot moved this to Todo in A3 Aug 9, 2024
@sklppy88 sklppy88 self-assigned this Aug 9, 2024
@nventuro
Copy link
Contributor Author

Closed via #7893

@github-project-automation github-project-automation bot moved this from Todo to Done in A3 Sep 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sklppy88 sklppy88

Labels
T-bug Type: Bug. Something is broken.
Projects
A3
Archived in project
Milestone
No milestone
Development

No branches or pull requests
2 participants
@nventuro @sklppy88