game

type DiskBackedMerkleTreeStorage interface {
	KVMerkleTreeStorage
	Commit()
	Close()
	GetDegree() int
	StoreDegree(d int)
}

type GetMountainRange struct{}

type Hash [32]byte

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

type KVMerkleTree struct {
	KVMerkleTreeStorage
	// contains filtered or unexported fields
}

type KVMerkleTreeStorage interface {
	// contains filtered or unexported methods
}

type MerkleHasher interface {
	HashData(data []byte) Hash
	ComputeParent(children []Hash) Hash
	CheckProof(leafData []byte, proof []Hash, roots ...Hash) bool
}

type MerkleTree interface {
	GetSubtreeSize(node Hash) int
	GetRoots() []Hash
	GetChildren(node Hash) []Hash
	GetProof(node Hash) []Hash
	IsLeaf(node Hash) bool
	GetData(node Hash) []byte
	GetPrevSibling(node Hash) Hash // returns 0 if nonexistent
}

type MerkleTreeDataGenerator func(int) []byte

type Message interface{}

type MountainRange struct {
	Roots []Hash
	Sizes []int
}

type NestedLedger struct{}

type NextChildren struct {
	Hashes []Hash
}

type OpenNext struct {
	Index int
}

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

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

type Session struct {
	Tree MerkleTree
	I    <-chan Message
	O    chan<- Message
	// contains filtered or unexported fields
}

type StartRoot struct {
	Index int
}

type StateTransition struct {
	From      []byte // from contains the prev state
	FromProof []Hash
	To        []byte // to contains the current state, and the tx that causes the transition
}

type Terminate struct{}

type Verifier struct {
	To   []chan<- Message
	From []<-chan Message

	Dim int
	MerkleHasher
}