verify

Documentation

Index

• Variables
• func HashBatchHashedMetadata(batchHeaderHash [32]byte, signatoryRecordHash [32]byte, blockNumber uint32) (geth_common.Hash, error)
• func HashBatchMetadata(bh *binding.IEigenDAServiceManagerBatchHeader, sigHash [32]byte, ...) (geth_common.Hash, error)
• func HashBlobHeader(blobHeader BlobHeader) (geth_common.Hash, error)
• func HashEncodeBlobHeader(header BlobHeader) (geth_common.Hash, error)
• func ProcessInclusionProof(proof []byte, leaf common.Hash, index uint64) (common.Hash, error)
• type BlobHeader
• type CertVerifier
  • func NewCertVerifier(cfg *Config, l log.Logger) (*CertVerifier, error)
  • func (cv *CertVerifier) VerifyBatch(header *binding.IEigenDAServiceManagerBatchHeader, id uint32, ...) error
  • func (cv *CertVerifier) VerifyMerkleProof(inclusionProof []byte, root []byte, blobIndex uint32, blobHeader BlobHeader) error
• type Certificate
  • func (c *Certificate) BatchHeaderRoot() []byte
  • func (c *Certificate) BlobIndex() uint32
  • func (c *Certificate) Proof() *disperser.BlobVerificationProof
  • func (c *Certificate) ReadBlobHeader() BlobHeader
• type Config
• type G1Point
• type QuorumBlobParam
• type Verifier
  • func NewVerifier(cfg *Config, l log.Logger) (*Verifier, error)
  • func (v *Verifier) Commit(blob []byte) (*bn254.G1Affine, error)
  • func (v *Verifier) VerifyCert(cert *Certificate) error
  • func (v *Verifier) VerifyCommitment(expectedCommit *common.G1Commitment, blob []byte) error
  • func (v *Verifier) VerifySecurityParams(blobHeader BlobHeader, batchHeader binding.IEigenDAServiceManagerBatchHeader) error

Variables

var ErrBatchMetadataHashNotFound = errors.New("BatchMetadataHash not found for BatchId")

var (
	ErrInvalidDomainType = fmt.Errorf("invalid domain type")
)

Functions

func HashBatchHashedMetadata

func HashBatchHashedMetadata(batchHeaderHash [32]byte, signatoryRecordHash [32]byte, blockNumber uint32) (geth_common.Hash, error)

HashBatchHashedMetadata hashes the given metadata into the commitment that will be stored in the contract replicates: https://github.com/Layr-Labs/eigenda-utils/blob/c4cbc9ec078aeca3e4a04bd278e2fb136bf3e6de/src/libraries/EigenDAHasher.sol#L19-L25

func HashBatchMetadata

func HashBatchMetadata(bh *binding.IEigenDAServiceManagerBatchHeader, sigHash [32]byte, blockNum uint32) (geth_common.Hash, error)

HashBatchMetadata regenerates a batch data hash replicates: https://github.com/Layr-Labs/eigenda-utils/blob/c4cbc9ec078aeca3e4a04bd278e2fb136bf3e6de/src/libraries/EigenDAHasher.sol#L46-L54

func HashBlobHeader

func HashBlobHeader(blobHeader BlobHeader) (geth_common.Hash, error)

HashBlobHeader function to hash BlobHeader

func HashEncodeBlobHeader

func HashEncodeBlobHeader(header BlobHeader) (geth_common.Hash, error)

Function to hash and encode header

func ProcessInclusionProof

func ProcessInclusionProof(proof []byte, leaf common.Hash, index uint64) (common.Hash, error)

ProcessInclusionProof processes the Merkle proof

Types

type BlobHeader

type BlobHeader struct {
	Commitment       G1Point
	DataLength       uint32
	QuorumBlobParams []QuorumBlobParam
}

BlobHeader struct to represent BlobHeader in Solidity

type CertVerifier

type CertVerifier struct {
	// contains filtered or unexported fields
}

CertVerifier verifies the DA certificate against on-chain EigenDA contracts to ensure disperser returned fields haven't been tampered with

func NewCertVerifier

func NewCertVerifier(cfg *Config, l log.Logger) (*CertVerifier, error)

func (*CertVerifier) VerifyBatch

func (cv *CertVerifier) VerifyBatch(header *binding.IEigenDAServiceManagerBatchHeader,
	id uint32, recordHash [32]byte, confirmationNumber uint32) error

func (*CertVerifier) VerifyMerkleProof

func (cv *CertVerifier) VerifyMerkleProof(inclusionProof []byte, root []byte, blobIndex uint32, blobHeader BlobHeader) error

VerifyMerkleProof ... Verifies the blob batch inclusion proof against the blob root hash

type Certificate

type Certificate disperser.BlobInfo

func (*Certificate) BatchHeaderRoot

func (c *Certificate) BatchHeaderRoot() []byte

func (*Certificate) BlobIndex

func (c *Certificate) BlobIndex() uint32

func (*Certificate) Proof

func (c *Certificate) Proof() *disperser.BlobVerificationProof

func (*Certificate) ReadBlobHeader

func (c *Certificate) ReadBlobHeader() BlobHeader

type Config

type Config struct {
	Verify               bool
	RPCURL               string
	SvcManagerAddr       string
	KzgConfig            *kzg.KzgConfig
	EthConfirmationDepth uint64
}

type G1Point

type G1Point struct {
	X *big.Int
	Y *big.Int
}

G1Point struct to represent G1Point in Solidity

type QuorumBlobParam

type QuorumBlobParam struct {
	QuorumNumber                    uint8
	AdversaryThresholdPercentage    uint8
	ConfirmationThresholdPercentage uint8
	ChunkLength                     uint32
}

QuorumBlobParam struct to represent QuorumBlobParam in Solidity

type Verifier

type Verifier struct {
	// contains filtered or unexported fields
}

func NewVerifier

func NewVerifier(cfg *Config, l log.Logger) (*Verifier, error)

func (*Verifier) Commit

func (v *Verifier) Commit(blob []byte) (*bn254.G1Affine, error)

func (*Verifier) VerifyCert

func (v *Verifier) VerifyCert(cert *Certificate) error

func (*Verifier) VerifyCommitment

func (v *Verifier) VerifyCommitment(expectedCommit *common.G1Commitment, blob []byte) error

Verify regenerates a commitment from the blob and asserts equivalence to the commitment in the certificate TODO: Optimize implementation by opening a point on the commitment instead

func (*Verifier) VerifySecurityParams

func (v *Verifier) VerifySecurityParams(blobHeader BlobHeader, batchHeader binding.IEigenDAServiceManagerBatchHeader) error

VerifySecurityParams ensures that returned security parameters are valid