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 KZG commitment consistency check #6044

Closed
wants to merge 2 commits into from

Conversation

jimmygchen
Copy link
Member

Issue Addressed

Check data column commitments against block commitments when adding to DataAvailabilityChecker and constructing an RpcBlock.

@jimmygchen jimmygchen added das Data Availability Sampling ready-for-review The code is ready for review labels Jul 4, 2024
jimmygchen added a commit that referenced this pull request Jul 12, 2024
Squashed commit of the following:

commit 4859e84
Author: Jimmy Chen <jchen.tc@gmail.com>
Date:   Thu Jul 4 10:38:46 2024 +1000

    Check for kzg commitments consistency when adding gossip data columns to `DataAvailabilityChecker`.

commit 44ba3c4
Author: Jimmy Chen <jchen.tc@gmail.com>
Date:   Thu Jul 4 10:06:13 2024 +1000

    Check for kzg commitments consistency with block for `RpcBlock`.
for (&column_commitment, &block_commitment) in
column_commitments.iter().zip(block_commitments.iter())
{
if column_commitment != block_commitment {
Copy link
Collaborator

Choose a reason for hiding this comment

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

I actually want to remove this check for blob sidecars since the inclusion proof should ensure that this never happens. Have you observed this inconsistency issue on devnets?

Copy link
Member Author

Choose a reason for hiding this comment

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

Yeah I actually ran into a few KZG errors during sync.

I think you raised a good point and this PR shouldn't be required. The proper fix is to ensure that we verify the inclusion proof - I think we're missing this in sampling and by range rpc. I'll raise an issue.

Copy link
Member Author

Choose a reason for hiding this comment

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

Raised issue #6111. Closing this one

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
das Data Availability Sampling ready-for-review The code is ready for review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants