byzantine

Documentation

Index

• Constants
• func CreateBadEncodingProof(hash []byte, height uint64, errByzantine *ErrByzantine) fraud.Proof[*header.ExtendedHeader]
• func ProtoToProof(protoProof *nmt_pb.Proof) nmt.Proof
• func ProtoToShare(protoShares []*pb.Share, axisType rsmt2d.Axis) []*share.ShareWithProof
• func ShareWithProofToProto(s *share.ShareWithProof) *pb.Share
• type BadEncodingProof
  • func (p *BadEncodingProof) HeaderHash() []byte
  • func (p *BadEncodingProof) Height() uint64
  • func (p *BadEncodingProof) MarshalBinary() ([]byte, error)
  • func (p *BadEncodingProof) Type() fraud.ProofType
  • func (p *BadEncodingProof) UnmarshalBinary(data []byte) error
  • func (p *BadEncodingProof) Validate(hdr *header.ExtendedHeader) error
• type ErrByzantine
  • func NewErrByzantine(ctx context.Context, bGetter blockservice.BlockGetter, ...) *ErrByzantine
  • func (e *ErrByzantine) Error() string

Constants

const (
	BadEncoding fraud.ProofType = "badencoding" + version
)

Functions

func CreateBadEncodingProof

func CreateBadEncodingProof(
	hash []byte,
	height uint64,
	errByzantine *ErrByzantine,
) fraud.Proof[*header.ExtendedHeader]

CreateBadEncodingProof creates a new Bad Encoding Fraud Proof that should be propagated through network. The fraud proof will contain shares that did not pass verification and their relevant Merkle proofs.

func ProtoToProof

func ProtoToProof(protoProof *nmt_pb.Proof) nmt.Proof

func ProtoToShare

func ProtoToShare(protoShares []*pb.Share, axisType rsmt2d.Axis) []*share.ShareWithProof

func ShareWithProofToProto

func ShareWithProofToProto(s *share.ShareWithProof) *pb.Share

Types

type BadEncodingProof

type BadEncodingProof struct {
	BlockHeight uint64
	// ShareWithProof contains all shares from row or col.
	// Shares that did not pass verification in rsmt2d will be nil.
	// For non-nil shares MerkleProofs are computed.
	Shares []*share.ShareWithProof
	// Index represents the row/col index where ErrByzantineRow/ErrByzantineColl occurred.
	Index uint32
	// Axis represents the axis that verification failed on.
	Axis rsmt2d.Axis
	// contains filtered or unexported fields
}

func (*BadEncodingProof) HeaderHash

func (p *BadEncodingProof) HeaderHash() []byte

HeaderHash returns block hash.

func (*BadEncodingProof) Height

func (p *BadEncodingProof) Height() uint64

Height returns block height.

func (*BadEncodingProof) MarshalBinary

func (p *BadEncodingProof) MarshalBinary() ([]byte, error)

MarshalBinary converts BadEncodingProof to binary.

func (*BadEncodingProof) Type

func (p *BadEncodingProof) Type() fraud.ProofType

Type returns type of fraud proof.

func (*BadEncodingProof) UnmarshalBinary

func (p *BadEncodingProof) UnmarshalBinary(data []byte) error

UnmarshalBinary converts binary to BadEncodingProof.

func (*BadEncodingProof) Validate

func (p *BadEncodingProof) Validate(hdr *header.ExtendedHeader) error

Validate ensures that fraud proof is correct. Validate checks that provided Merkle Proofs correspond to the shares, rebuilds bad row or col from received shares, computes Merkle Root and compares it with block's Merkle Root.

type ErrByzantine

type ErrByzantine struct {
	Index  uint32
	Shares []*share.ShareWithProof
	Axis   rsmt2d.Axis
}

ErrByzantine is a thrown when recovered data square is not correct (merkle proofs do not match parity erasure-coding data).

It is converted from rsmt2d.ByzantineRow/Col + Merkle Proof for each share.

func NewErrByzantine

func NewErrByzantine(
	ctx context.Context,
	bGetter blockservice.BlockGetter,
	dah *da.DataAvailabilityHeader,
	errByz *rsmt2d.ErrByzantineData,
) *ErrByzantine

NewErrByzantine creates new ErrByzantine from rsmt2d error. If error happens during proof collection, it terminates the process with os.Exit(1).

func (*ErrByzantine) Error

func (e *ErrByzantine) Error() string