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

Check signature contents with researchers #530

Closed
JaredCorduan opened this issue May 31, 2019 · 0 comments
Closed

Check signature contents with researchers #530

JaredCorduan opened this issue May 31, 2019 · 0 comments
Labels
📜 formal-spec

Comments

@JaredCorduan
Copy link
Contributor

Check with the cryptographers that the two header related signatures in Praos are signing the correct data. Currently we have:

ocert
nc6 pushed a commit that referenced this issue May 19, 2020
@intricate
[#530] Add validateBlockProofs function
e6b4030
nc6 pushed a commit that referenced this issue May 19, 2020
@intricate
[#530] Add and utilize ProofValidationError data type
12b1fe8
nc6 pushed a commit that referenced this issue May 19, 2020
@intricate
[#530] Add and utilize validateHeaderMatchesBody function
7762025
nc6 pushed a commit that referenced this issue May 19, 2020
@iohk-bors @intricate
Merge #549
1859f0f 
549: [#530] Introduce function to verify whether a header matches a block body r=intricate a=intricate

Closes #530.

Co-authored-by: Luke Nadur <19835357+intricate@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
📜 formal-spec
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@JaredCorduan