-
Notifications
You must be signed in to change notification settings - Fork 52
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* Add tendermint v0.34 * Differentiate hashing between tm >=v0.34 and before * Clean go.sum * Use tm33 as default, and convert types only when needed * Add some comments * Supress namespace conflict error. Starting with v1.26.0 of the google.golang.org/protobuf module, a hard error will be reported when a Go program starts up that has multiple conflicting protobuf names linked into it. This reverts the issue to a warning until the problem is resolved by Zilliqa. See: https://developers.google.com/protocol-buffers/docs/reference/go/faq#namespace-conflict * Add tm34 proofs and header sign bytes * Remove unneccesary replace directive * Revert "Remove unneccesary replace directive" This reverts commit af5c7fd. * Remove logs * Add license
- Loading branch information
Showing
10 changed files
with
821 additions
and
83 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
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,139 @@ | ||
| /* | ||
| * Copyright (C) 2021 The poly network Authors | ||
| * This file is part of The poly network library. | ||
| * | ||
| * The poly network is free software: you can redistribute it and/or modify | ||
| * it under the terms of the GNU Lesser General Public License as published by | ||
| * the Free Software Foundation, either version 3 of the License, or | ||
| * (at your option) any later version. | ||
| * | ||
| * The poly network is distributed in the hope that it will be useful, | ||
| * but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
| * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | ||
| * GNU Lesser General Public License for more details. | ||
| * You should have received a copy of the GNU Lesser General Public License | ||
| * along with The poly network . If not, see <http://www.gnu.org/licenses/>. | ||
| */ | ||
| package cosmos | ||
|
|
||
| import ( | ||
| "fmt" | ||
|
|
||
| ics23 "github.com/confio/ics23/go" | ||
| "github.com/cosmos/cosmos-sdk/store/rootmulti" | ||
| "github.com/tendermint/tendermint/crypto/merkle" | ||
| ) | ||
|
|
||
| // See: https://pkg.go.dev/github.com/cosmos/[email protected]/store/types | ||
|
|
||
| const ( | ||
| ProofOpIAVLCommitment = "ics23:iavl" | ||
| ProofOpSimpleMerkleCommitment = "ics23:simple" | ||
| ) | ||
|
|
||
| func ProofRuntime() *merkle.ProofRuntime { | ||
| prt := rootmulti.DefaultProofRuntime() | ||
| prt.RegisterOpDecoder(ProofOpIAVLCommitment, CommitmentOpDecoder) | ||
| prt.RegisterOpDecoder(ProofOpSimpleMerkleCommitment, CommitmentOpDecoder) | ||
|
|
||
| return prt | ||
| } | ||
|
|
||
| // 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 | ||
| Spec *ics23.ProofSpec | ||
| Key []byte | ||
| Proof *ics23.CommitmentProof | ||
| } | ||
|
|
||
| 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 return 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, fmt.Errorf("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, fmt.Errorf("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, fmt.Errorf("proof did not verify existence of key %s with given value %x", op.Key, args[0]) | ||
| } | ||
| default: | ||
| return nil, fmt.Errorf("args must be length 0 or 1, got: %d", len(args)) | ||
| } | ||
|
|
||
| return [][]byte{root}, nil | ||
| } | ||
|
|
||
| // ProofOp implements ProofOperator interface and converts a CommitmentOp | ||
| // into a merkle.ProofOp format that can later be decoded by CommitmentOpDecoder | ||
| // back into a CommitmentOp for proof verification | ||
| func (op CommitmentOp) ProofOp() merkle.ProofOp { | ||
| bz, err := op.Proof.Marshal() | ||
| if err != nil { | ||
| panic(err.Error()) | ||
| } | ||
| return merkle.ProofOp{ | ||
| Type: op.Type, | ||
| Key: op.Key, | ||
| Data: bz, | ||
| } | ||
| } | ||
|
|
||
| // See: https://pkg.go.dev/github.com/cosmos/[email protected]/store/rootmulti | ||
|
|
||
| // CommitmentOpDecoder takes a merkle.ProofOp and attempts to decode it into a CommitmentOp ProofOperator | ||
| // The proofOp.Data is just a marshalled CommitmentProof. The Key of the CommitmentOp is extracted | ||
| // from the unmarshalled proof. | ||
| func CommitmentOpDecoder(pop merkle.ProofOp) (merkle.ProofOperator, error) { | ||
| var spec *ics23.ProofSpec | ||
| switch pop.Type { | ||
| case ProofOpIAVLCommitment: | ||
| spec = ics23.IavlSpec | ||
| case ProofOpSimpleMerkleCommitment: | ||
| spec = ics23.TendermintSpec | ||
| default: | ||
| return nil, fmt.Errorf("unexpected ProofOp.Type; got %s, want supported ics23 subtypes 'ProofOpIAVLCommitment' or 'ProofOpSimpleMerkleCommitment'", pop.Type) | ||
| } | ||
|
|
||
| proof := &ics23.CommitmentProof{} | ||
| err := proof.Unmarshal(pop.Data) | ||
| if err != nil { | ||
| return nil, err | ||
| } | ||
|
|
||
| op := CommitmentOp{ | ||
| Type: pop.Type, | ||
| Key: pop.Key, | ||
| Spec: spec, | ||
| Proof: proof, | ||
| } | ||
| return op, nil | ||
| } |
Oops, something went wrong.