matrix

Documentation

Index

• Variables
• func Challenge(data io.Reader, commitments []common.Hash) (types.Challenge, error)
• type StateMatrix
  • func NewStateMatrix() *StateMatrix
  • func (d *StateMatrix) AbsorbUpTo(in io.Reader, maxLen int) (types.InputData, error)
  • func (d *StateMatrix) Hash() (h common.Hash)
  • func (d *StateMatrix) PackState() []byte
  • func (d *StateMatrix) PoststateWithProof() (types.Leaf, merkle.Proof)
  • func (d *StateMatrix) PrestateWithProof() (types.Leaf, merkle.Proof)
  • func (d *StateMatrix) StateCommitment() common.Hash

Variables

var (
	ErrInvalidMaxLen            = errors.New("invalid max length to absorb")
	ErrIncorrectCommitmentCount = errors.New("incorrect number of commitments for input length")
	ErrValid                    = errors.New("state commitments are valid")
)

Functions

func Challenge

func Challenge(data io.Reader, commitments []common.Hash) (types.Challenge, error)

Challenge creates a types.Challenge to invalidate the provided preimage data if possible. ErrValid is returned if the provided inputs are valid and no challenge can be created.

Types

type StateMatrix

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

StateMatrix implements a stateful keccak sponge with the ability to create state commitments after each permutation

func NewStateMatrix

func NewStateMatrix() *StateMatrix

NewStateMatrix creates a new state matrix initialized with the initial, zero keccak block.

func (*StateMatrix) AbsorbUpTo

func (d *StateMatrix) AbsorbUpTo(in io.Reader, maxLen int) (types.InputData, error)

func (*StateMatrix) Hash

func (d *StateMatrix) Hash() (h common.Hash)

Hash finalizes the keccak permutation and returns the final hash. No further leaves can be absorbed after this is called

func (*StateMatrix) PackState

func (d *StateMatrix) PackState() []byte

PackState packs the state in to the solidity ABI encoding required for the state matrix

func (*StateMatrix) PoststateWithProof

func (d *StateMatrix) PoststateWithProof() (types.Leaf, merkle.Proof)

PoststateWithProof returns the poststate leaf with its merkle proof.

func (*StateMatrix) PrestateWithProof

func (d *StateMatrix) PrestateWithProof() (types.Leaf, merkle.Proof)

PrestateWithProof returns the prestate leaf with its merkle proof.

func (*StateMatrix) StateCommitment

func (d *StateMatrix) StateCommitment() common.Hash

StateCommitment returns the state commitment for the current state matrix. Additional data may be absorbed after calling this method.