-
Notifications
You must be signed in to change notification settings - Fork 3.8k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
refactor(store/v2): updates from integration (#18633)
- Loading branch information
1 parent
52bbf81
commit 4b98d48
Showing
9 changed files
with
205 additions
and
66 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,98 @@ | ||
| package store | ||
|
|
||
| import ( | ||
| ics23 "github.com/cosmos/ics23/go" | ||
|
|
||
| errorsmod "cosmossdk.io/errors" | ||
| ) | ||
|
|
||
| // Proof operation types | ||
| const ( | ||
| ProofOpIAVLCommitment = "ics23:iavl" | ||
| ProofOpSimpleMerkleCommitment = "ics23:simple" | ||
| ProofOpSMTCommitment = "ics23:smt" | ||
| ) | ||
|
|
||
| // CommitmentOp implements merkle.ProofOperator by wrapping an ics23 CommitmentProof. | ||
| // It also contains a Key field to determine which key the proof is proving. | ||
| // NOTE: CommitmentProof currently can either be ExistenceProof or NonexistenceProof | ||
| // | ||
| // Type and Spec are classified by the kind of merkle proof it represents allowing | ||
| // the code to be reused by more types. Spec is never on the wire, but mapped | ||
| // from type in the code. | ||
| type CommitmentOp struct { | ||
| Type string | ||
| Key []byte | ||
| Spec *ics23.ProofSpec | ||
| Proof *ics23.CommitmentProof | ||
| } | ||
|
|
||
| func NewIAVLCommitmentOp(key []byte, proof *ics23.CommitmentProof) CommitmentOp { | ||
| return CommitmentOp{ | ||
| Type: ProofOpIAVLCommitment, | ||
| Spec: ics23.IavlSpec, | ||
| Key: key, | ||
| Proof: proof, | ||
| } | ||
| } | ||
|
|
||
| func NewSimpleMerkleCommitmentOp(key []byte, proof *ics23.CommitmentProof) CommitmentOp { | ||
| return CommitmentOp{ | ||
| Type: ProofOpSimpleMerkleCommitment, | ||
| Spec: ics23.TendermintSpec, | ||
| Key: key, | ||
| Proof: proof, | ||
| } | ||
| } | ||
|
|
||
| func NewSMTCommitmentOp(key []byte, proof *ics23.CommitmentProof) CommitmentOp { | ||
| return CommitmentOp{ | ||
| Type: ProofOpSMTCommitment, | ||
| Spec: ics23.SmtSpec, | ||
| Key: key, | ||
| Proof: proof, | ||
| } | ||
| } | ||
|
|
||
| func (op CommitmentOp) GetKey() []byte { | ||
| return op.Key | ||
| } | ||
|
|
||
| // Run takes in a list of arguments and attempts to run the proof op against these | ||
| // arguments. Returns the root wrapped in [][]byte if the proof op succeeds with | ||
| // given args. If not, it will return an error. | ||
| // | ||
| // CommitmentOp will accept args of length 1 or length 0. If length 1 args is | ||
| // passed in, then CommitmentOp will attempt to prove the existence of the key | ||
| // with the value provided by args[0] using the embedded CommitmentProof and returns | ||
| // the CommitmentRoot of the proof. If length 0 args is passed in, then CommitmentOp | ||
| // will attempt to prove the absence of the key in the CommitmentOp and return the | ||
| // CommitmentRoot of the proof. | ||
| func (op CommitmentOp) Run(args [][]byte) ([][]byte, error) { | ||
| // calculate root from proof | ||
| root, err := op.Proof.Calculate() | ||
| if err != nil { | ||
| return nil, errorsmod.Wrapf(ErrInvalidProof, "could not calculate root for proof: %v", err) | ||
| } | ||
|
|
||
| // Only support an existence proof or nonexistence proof (batch proofs currently unsupported) | ||
| switch len(args) { | ||
| case 0: | ||
| // Args are nil, so we verify the absence of the key. | ||
| absent := ics23.VerifyNonMembership(op.Spec, root, op.Proof, op.Key) | ||
| if !absent { | ||
| return nil, errorsmod.Wrapf(ErrInvalidProof, "proof did not verify absence of key: %s", string(op.Key)) | ||
| } | ||
|
|
||
| case 1: | ||
| // Args is length 1, verify existence of key with value args[0] | ||
| if !ics23.VerifyMembership(op.Spec, root, op.Proof, op.Key, args[0]) { | ||
| return nil, errorsmod.Wrapf(ErrInvalidProof, "proof did not verify existence of key %s with given value %x", op.Key, args[0]) | ||
| } | ||
|
|
||
| default: | ||
| return nil, errorsmod.Wrapf(ErrInvalidProof, "args must be length 0 or 1, got: %d", len(args)) | ||
| } | ||
|
|
||
| return [][]byte{root}, nil | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.