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.

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

add VRF keyhashes to genesis delegation mapping #1501

Merged
merged 1 commit into from
May 29, 2020

Conversation

JaredCorduan
Copy link
Contributor

The PR updates the formal spec with the changes made in #1495 .

Previously, genesis key delegation certificates only registered the delegate cold key. Now the Genesis delegation certificates also register a VRF key, and the resulting genesis delegation map maps genesis keyhashes to pairs of cold keyhashes and vrf keyhashes.

Moreover, we now check 1) that the VRF key in the block header is the registered one, 2) the two VRF values (nonce and leader) validate against the VRF certificate in the block header.

@JaredCorduan JaredCorduan requested review from uroboros and nc6 May 29, 2020 01:05
Copy link
Contributor

@uroboros uroboros left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

shelley/chain-and-ledger/formal-spec/chain.tex Outdated Show resolved Hide resolved
shelley/chain-and-ledger/formal-spec/chain.tex Outdated Show resolved Hide resolved
shelley/chain-and-ledger/formal-spec/chain.tex Outdated Show resolved Hide resolved
shelley/chain-and-ledger/formal-spec/chain.tex Outdated Show resolved Hide resolved
and check the VRF values for overlay slots
@JaredCorduan JaredCorduan merged commit e963157 into master May 29, 2020
@iohk-bors iohk-bors bot deleted the jc/spec/pbft-vrf-checks branch May 29, 2020 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants