package common

Get desktop application:
View/edit binary Protocol Buffers messages

BlobCommitment represents commitment of a specific blob, containing its KZG commitment, degree proof, the actual degree, and data length in number of symbols (field elements). It deserializes into https://github.com/Layr-Labs/eigenda/blob/ce89dab18d2f8f55004002e17dd3a18529277845/encoding/data.go#L27 See https://github.com/Layr-Labs/eigenda/blob/e86fb8515eb606d0eebb92097dc60d7238363e77/docs/spec/src/protocol/architecture/encoding.md#validation-via-kzg to understand how this commitment is used to validate the blob.

Used in: v2.BlobHeader, disperser.v2.BlobCommitmentReply

• bytes commitment = 1

  Concatenation of the x and y coordinates of `common.G1Commitment`.

• bytes length_commitment = 2

  A commitment to the blob data with G2 SRS, used to work with length_proof such that the claimed length below is verifiable.

• bytes length_proof = 3

  A proof that the degree of the polynomial used to generate the blob commitment is valid. It consists of the KZG commitment of x^(SRSOrder-n) * P(x), where P(x) is polynomial of degree n representing the blob.

• uint32 length = 4

  The length of the blob in symbols (field elements), which must be a power of 2. This also specifies the degree of the polynomial used to generate the blob commitment, since length = degree + 1.

G1Commitment represents the serialized coordinates of a G1 KZG commitment. We use gnark-crypto so adopt its serialization, which is big-endian. See: https://github.com/Consensys/gnark-crypto/blob/779e884dabb38b92e677f4891286637a3d2e5734/ecc/bn254/fp/element.go#L862

Used in: disperser.BlobHeader, node.BlobHeader

• bytes x = 1

  The X coordinate of the KZG commitment. This is the raw byte representation of the field element. x should contain 32 bytes.

• bytes y = 2

  The Y coordinate of the KZG commitment. This is the raw byte representation of the field element. y should contain 32 bytes.