Mukan Erkin Törük
6852832fe8
Some checks failed
CodeQL / Analyze (push) Waiting to run
Docker Build & Push Simapp (main) / docker-build (push) Waiting to run
golangci-lint / lint (push) Waiting to run
Tests / Code Coverage / build (amd64) (push) Waiting to run
Tests / Code Coverage / build (arm64) (push) Waiting to run
Tests / Code Coverage / unit-tests (map[additional-args:-tags="test_e2e" name:e2e path:./e2e]) (push) Waiting to run
Tests / Code Coverage / unit-tests (map[name:08-wasm path:./modules/light-clients/08-wasm]) (push) Waiting to run
Tests / Code Coverage / unit-tests (map[name:ibc-go path:.]) (push) Waiting to run
Deploy to GitHub Pages / Deploy to GitHub Pages (push) Has been cancelled
Buf-Push / push (push) Has been cancelled
30 lines
814 B
Go
30 lines
814 B
Go
package exported
|
|
|
|
// ICS 023 Types Implementation
|
|
//
|
|
// This file includes types defined under
|
|
// https://github.com/cosmos/ibc/tree/master/spec/core/ics-023-vector-commitments
|
|
|
|
// spec:Path and spec:Value are defined as bytestring
|
|
|
|
// Root implements spec:CommitmentRoot.
|
|
// A root is constructed from a set of key-value pairs,
|
|
// and the inclusion or non-inclusion of an arbitrary key-value pair
|
|
// can be proven with the proof.
|
|
type Root interface {
|
|
GetHash() []byte
|
|
Empty() bool
|
|
}
|
|
|
|
// Prefix implements spec:CommitmentPrefix.
|
|
// Prefix represents the common "prefix" that a set of keys shares.
|
|
type Prefix interface {
|
|
Bytes() []byte
|
|
Empty() bool
|
|
}
|
|
|
|
// Path implements spec:CommitmentPath.
|
|
// A path is the additional information provided to the verification function.
|
|
type Path interface {
|
|
Empty() bool
|
|
}
|