2016-04-14 16:18:24 +00:00
|
|
|
// Copyright 2015 The go-ethereum Authors
|
|
|
|
// This file is part of the go-ethereum library.
|
|
|
|
//
|
|
|
|
// The go-ethereum library 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 go-ethereum library 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 go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
2015-09-09 01:35:41 +00:00
|
|
|
package trie
|
|
|
|
|
|
|
|
import (
|
|
|
|
"bytes"
|
|
|
|
"fmt"
|
|
|
|
|
|
|
|
"github.com/ethereum/go-ethereum/common"
|
2018-02-05 16:40:32 +00:00
|
|
|
"github.com/ethereum/go-ethereum/ethdb"
|
2017-02-22 12:10:07 +00:00
|
|
|
"github.com/ethereum/go-ethereum/log"
|
2015-09-09 01:35:41 +00:00
|
|
|
"github.com/ethereum/go-ethereum/rlp"
|
|
|
|
)
|
|
|
|
|
2018-02-05 16:40:32 +00:00
|
|
|
// Prove constructs a merkle proof for key. The result contains all encoded nodes
|
|
|
|
// on the path to the value at key. The value itself is also included in the last
|
|
|
|
// node and can be retrieved by verifying the proof.
|
2015-09-09 01:35:41 +00:00
|
|
|
//
|
2018-02-05 16:40:32 +00:00
|
|
|
// If the trie does not contain a value for key, the returned proof contains all
|
|
|
|
// nodes of the longest existing prefix of the key (at least the root node), ending
|
|
|
|
// with the node that proves the absence of the key.
|
all: integrate the freezer with fast sync
* all: freezer style syncing
core, eth, les, light: clean up freezer relative APIs
core, eth, les, trie, ethdb, light: clean a bit
core, eth, les, light: add unit tests
core, light: rewrite setHead function
core, eth: fix downloader unit tests
core: add receipt chain insertion test
core: use constant instead of hardcoding table name
core: fix rollback
core: fix setHead
core/rawdb: remove canonical block first and then iterate side chain
core/rawdb, ethdb: add hasAncient interface
eth/downloader: calculate ancient limit via cht first
core, eth, ethdb: lots of fixes
* eth/downloader: print ancient disable log only for fast sync
2019-04-25 14:59:48 +00:00
|
|
|
func (t *Trie) Prove(key []byte, fromLevel uint, proofDb ethdb.KeyValueWriter) error {
|
2015-09-09 01:35:41 +00:00
|
|
|
// Collect all nodes on the path to key.
|
2017-04-18 11:25:07 +00:00
|
|
|
key = keybytesToHex(key)
|
2019-02-19 13:50:11 +00:00
|
|
|
var nodes []node
|
2015-09-09 01:35:41 +00:00
|
|
|
tn := t.root
|
2015-11-30 12:34:19 +00:00
|
|
|
for len(key) > 0 && tn != nil {
|
2015-09-09 01:35:41 +00:00
|
|
|
switch n := tn.(type) {
|
2016-10-14 16:04:33 +00:00
|
|
|
case *shortNode:
|
2015-09-09 01:35:41 +00:00
|
|
|
if len(key) < len(n.Key) || !bytes.Equal(n.Key, key[:len(n.Key)]) {
|
|
|
|
// The trie doesn't contain the key.
|
2015-11-30 12:34:19 +00:00
|
|
|
tn = nil
|
|
|
|
} else {
|
|
|
|
tn = n.Val
|
|
|
|
key = key[len(n.Key):]
|
2015-09-09 01:35:41 +00:00
|
|
|
}
|
|
|
|
nodes = append(nodes, n)
|
2016-10-14 16:04:33 +00:00
|
|
|
case *fullNode:
|
2016-05-19 10:24:14 +00:00
|
|
|
tn = n.Children[key[0]]
|
2015-09-09 01:35:41 +00:00
|
|
|
key = key[1:]
|
|
|
|
nodes = append(nodes, n)
|
|
|
|
case hashNode:
|
2015-11-25 17:28:21 +00:00
|
|
|
var err error
|
2017-06-20 16:26:09 +00:00
|
|
|
tn, err = t.resolveHash(n, nil)
|
2015-11-25 17:28:21 +00:00
|
|
|
if err != nil {
|
2017-02-22 12:10:07 +00:00
|
|
|
log.Error(fmt.Sprintf("Unhandled trie error: %v", err))
|
2017-10-24 13:19:09 +00:00
|
|
|
return err
|
2015-11-25 17:28:21 +00:00
|
|
|
}
|
2015-09-09 01:35:41 +00:00
|
|
|
default:
|
|
|
|
panic(fmt.Sprintf("%T: invalid node: %v", tn, tn))
|
|
|
|
}
|
|
|
|
}
|
2020-02-04 12:02:38 +00:00
|
|
|
hasher := newHasher(false)
|
2018-11-16 09:50:48 +00:00
|
|
|
defer returnHasherToPool(hasher)
|
2018-11-16 14:35:39 +00:00
|
|
|
|
2015-09-09 01:35:41 +00:00
|
|
|
for i, n := range nodes {
|
2020-02-03 15:28:30 +00:00
|
|
|
if fromLevel > 0 {
|
|
|
|
fromLevel--
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
var hn node
|
|
|
|
n, hn = hasher.proofHash(n)
|
2017-10-24 13:19:09 +00:00
|
|
|
if hash, ok := hn.(hashNode); ok || i == 0 {
|
2015-09-09 01:35:41 +00:00
|
|
|
// If the node's database encoding is a hash (or is the
|
|
|
|
// root node), it becomes a proof element.
|
2020-02-03 15:28:30 +00:00
|
|
|
enc, _ := rlp.EncodeToBytes(n)
|
|
|
|
if !ok {
|
|
|
|
hash = hasher.hashData(enc)
|
2017-10-24 13:19:09 +00:00
|
|
|
}
|
2020-02-03 15:28:30 +00:00
|
|
|
proofDb.Put(hash, enc)
|
2015-09-09 01:35:41 +00:00
|
|
|
}
|
|
|
|
}
|
2017-10-24 13:19:09 +00:00
|
|
|
return nil
|
2015-09-09 01:35:41 +00:00
|
|
|
}
|
|
|
|
|
2018-02-05 16:40:32 +00:00
|
|
|
// Prove constructs a merkle proof for key. The result contains all encoded nodes
|
|
|
|
// on the path to the value at key. The value itself is also included in the last
|
|
|
|
// node and can be retrieved by verifying the proof.
|
|
|
|
//
|
|
|
|
// If the trie does not contain a value for key, the returned proof contains all
|
|
|
|
// nodes of the longest existing prefix of the key (at least the root node), ending
|
|
|
|
// with the node that proves the absence of the key.
|
all: integrate the freezer with fast sync
* all: freezer style syncing
core, eth, les, light: clean up freezer relative APIs
core, eth, les, trie, ethdb, light: clean a bit
core, eth, les, light: add unit tests
core, light: rewrite setHead function
core, eth: fix downloader unit tests
core: add receipt chain insertion test
core: use constant instead of hardcoding table name
core: fix rollback
core: fix setHead
core/rawdb: remove canonical block first and then iterate side chain
core/rawdb, ethdb: add hasAncient interface
eth/downloader: calculate ancient limit via cht first
core, eth, ethdb: lots of fixes
* eth/downloader: print ancient disable log only for fast sync
2019-04-25 14:59:48 +00:00
|
|
|
func (t *SecureTrie) Prove(key []byte, fromLevel uint, proofDb ethdb.KeyValueWriter) error {
|
2018-02-05 16:40:32 +00:00
|
|
|
return t.trie.Prove(key, fromLevel, proofDb)
|
|
|
|
}
|
|
|
|
|
|
|
|
// VerifyProof checks merkle proofs. The given proof must contain the value for
|
|
|
|
// key in a trie with the given root hash. VerifyProof returns an error if the
|
|
|
|
// proof contains invalid trie nodes or the wrong value.
|
all: integrate the freezer with fast sync
* all: freezer style syncing
core, eth, les, light: clean up freezer relative APIs
core, eth, les, trie, ethdb, light: clean a bit
core, eth, les, light: add unit tests
core, light: rewrite setHead function
core, eth: fix downloader unit tests
core: add receipt chain insertion test
core: use constant instead of hardcoding table name
core: fix rollback
core: fix setHead
core/rawdb: remove canonical block first and then iterate side chain
core/rawdb, ethdb: add hasAncient interface
eth/downloader: calculate ancient limit via cht first
core, eth, ethdb: lots of fixes
* eth/downloader: print ancient disable log only for fast sync
2019-04-25 14:59:48 +00:00
|
|
|
func VerifyProof(rootHash common.Hash, key []byte, proofDb ethdb.KeyValueReader) (value []byte, nodes int, err error) {
|
2017-04-18 11:25:07 +00:00
|
|
|
key = keybytesToHex(key)
|
2018-02-05 16:40:32 +00:00
|
|
|
wantHash := rootHash
|
2017-10-24 13:19:09 +00:00
|
|
|
for i := 0; ; i++ {
|
2018-02-05 16:40:32 +00:00
|
|
|
buf, _ := proofDb.Get(wantHash[:])
|
2017-10-24 13:19:09 +00:00
|
|
|
if buf == nil {
|
2018-05-21 20:41:31 +00:00
|
|
|
return nil, i, fmt.Errorf("proof node %d (hash %064x) missing", i, wantHash)
|
2015-09-09 01:35:41 +00:00
|
|
|
}
|
2019-03-14 13:25:12 +00:00
|
|
|
n, err := decodeNode(wantHash[:], buf)
|
2015-09-09 01:35:41 +00:00
|
|
|
if err != nil {
|
2018-05-21 20:41:31 +00:00
|
|
|
return nil, i, fmt.Errorf("bad proof node %d: %v", i, err)
|
2015-09-09 01:35:41 +00:00
|
|
|
}
|
|
|
|
keyrest, cld := get(n, key)
|
|
|
|
switch cld := cld.(type) {
|
|
|
|
case nil:
|
2017-10-24 13:19:09 +00:00
|
|
|
// The trie doesn't contain the key.
|
2018-05-21 20:41:31 +00:00
|
|
|
return nil, i, nil
|
2015-09-09 01:35:41 +00:00
|
|
|
case hashNode:
|
|
|
|
key = keyrest
|
2018-02-05 16:40:32 +00:00
|
|
|
copy(wantHash[:], cld)
|
2015-09-09 01:35:41 +00:00
|
|
|
case valueNode:
|
2018-05-21 20:41:31 +00:00
|
|
|
return cld, i + 1, nil
|
2015-09-09 01:35:41 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func get(tn node, key []byte) ([]byte, node) {
|
2017-06-27 13:57:06 +00:00
|
|
|
for {
|
2015-09-09 01:35:41 +00:00
|
|
|
switch n := tn.(type) {
|
2016-10-14 16:04:33 +00:00
|
|
|
case *shortNode:
|
2015-09-09 01:35:41 +00:00
|
|
|
if len(key) < len(n.Key) || !bytes.Equal(n.Key, key[:len(n.Key)]) {
|
|
|
|
return nil, nil
|
|
|
|
}
|
|
|
|
tn = n.Val
|
|
|
|
key = key[len(n.Key):]
|
2016-10-14 16:04:33 +00:00
|
|
|
case *fullNode:
|
2016-05-19 10:24:14 +00:00
|
|
|
tn = n.Children[key[0]]
|
2015-09-09 01:35:41 +00:00
|
|
|
key = key[1:]
|
|
|
|
case hashNode:
|
|
|
|
return key, n
|
|
|
|
case nil:
|
|
|
|
return key, nil
|
2017-06-27 13:57:06 +00:00
|
|
|
case valueNode:
|
|
|
|
return nil, n
|
2015-09-09 01:35:41 +00:00
|
|
|
default:
|
|
|
|
panic(fmt.Sprintf("%T: invalid node: %v", tn, tn))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|