Documentation ¶
Index ¶
Constants ¶
View Source
const (
TypeMerkle string = "merkle"
)
string representation of the commitment types
Variables ¶
This section is empty.
Functions ¶
This section is empty.
Types ¶
type Path ¶
Path implements spec:CommitmentPath. A path is the additional information provided to the verification function.
type Prefix ¶
Prefix implements spec:CommitmentPrefix. Prefix represents the common "prefix" that a set of keys shares.
type Proof ¶
type Proof interface { GetCommitmentType() Type VerifyMembership([]*ics23.ProofSpec, Root, Path, []byte) error VerifyNonMembership([]*ics23.ProofSpec, Root, Path) error Empty() bool ValidateBasic() error }
Proof implements spec:CommitmentProof. Proof can prove whether the key-value pair is a part of the Root or not. Each proof has designated key-value pair it is able to prove. Proofs includes key but value is provided dynamically at the verification time.
Click to show internal directories.
Click to hide internal directories.