github.com/ConsenSys/Quorum@v20.10.0+incompatible/trie/proof.go (about)

     1  // Copyright 2015 The go-ethereum Authors
     2  // This file is part of the go-ethereum library.
     3  //
     4  // The go-ethereum library is free software: you can redistribute it and/or modify
     5  // it under the terms of the GNU Lesser General Public License as published by
     6  // the Free Software Foundation, either version 3 of the License, or
     7  // (at your option) any later version.
     8  //
     9  // The go-ethereum library is distributed in the hope that it will be useful,
    10  // but WITHOUT ANY WARRANTY; without even the implied warranty of
    11  // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
    12  // GNU Lesser General Public License for more details.
    13  //
    14  // You should have received a copy of the GNU Lesser General Public License
    15  // along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
    16  
    17  package trie
    18  
    19  import (
    20  	"bytes"
    21  	"fmt"
    22  
    23  	"github.com/ethereum/go-ethereum/common"
    24  	"github.com/ethereum/go-ethereum/ethdb"
    25  	"github.com/ethereum/go-ethereum/log"
    26  	"github.com/ethereum/go-ethereum/rlp"
    27  )
    28  
    29  // Prove constructs a merkle proof for key. The result contains all encoded nodes
    30  // on the path to the value at key. The value itself is also included in the last
    31  // node and can be retrieved by verifying the proof.
    32  //
    33  // If the trie does not contain a value for key, the returned proof contains all
    34  // nodes of the longest existing prefix of the key (at least the root node), ending
    35  // with the node that proves the absence of the key.
    36  func (t *Trie) Prove(key []byte, fromLevel uint, proofDb ethdb.KeyValueWriter) error {
    37  	// Collect all nodes on the path to key.
    38  	key = keybytesToHex(key)
    39  	var nodes []node
    40  	tn := t.root
    41  	for len(key) > 0 && tn != nil {
    42  		switch n := tn.(type) {
    43  		case *shortNode:
    44  			if len(key) < len(n.Key) || !bytes.Equal(n.Key, key[:len(n.Key)]) {
    45  				// The trie doesn't contain the key.
    46  				tn = nil
    47  			} else {
    48  				tn = n.Val
    49  				key = key[len(n.Key):]
    50  			}
    51  			nodes = append(nodes, n)
    52  		case *fullNode:
    53  			tn = n.Children[key[0]]
    54  			key = key[1:]
    55  			nodes = append(nodes, n)
    56  		case hashNode:
    57  			var err error
    58  			tn, err = t.resolveHash(n, nil)
    59  			if err != nil {
    60  				log.Error(fmt.Sprintf("Unhandled trie error: %v", err))
    61  				return err
    62  			}
    63  		default:
    64  			panic(fmt.Sprintf("%T: invalid node: %v", tn, tn))
    65  		}
    66  	}
    67  	hasher := newHasher(nil)
    68  	defer returnHasherToPool(hasher)
    69  
    70  	for i, n := range nodes {
    71  		// Don't bother checking for errors here since hasher panics
    72  		// if encoding doesn't work and we're not writing to any database.
    73  		n, _, _ = hasher.hashChildren(n, nil)
    74  		hn, _ := hasher.store(n, nil, false)
    75  		if hash, ok := hn.(hashNode); ok || i == 0 {
    76  			// If the node's database encoding is a hash (or is the
    77  			// root node), it becomes a proof element.
    78  			if fromLevel > 0 {
    79  				fromLevel--
    80  			} else {
    81  				enc, _ := rlp.EncodeToBytes(n)
    82  				if !ok {
    83  					hash = hasher.makeHashNode(enc)
    84  				}
    85  				proofDb.Put(hash, enc)
    86  			}
    87  		}
    88  	}
    89  	return nil
    90  }
    91  
    92  // Prove constructs a merkle proof for key. The result contains all encoded nodes
    93  // on the path to the value at key. The value itself is also included in the last
    94  // node and can be retrieved by verifying the proof.
    95  //
    96  // If the trie does not contain a value for key, the returned proof contains all
    97  // nodes of the longest existing prefix of the key (at least the root node), ending
    98  // with the node that proves the absence of the key.
    99  func (t *SecureTrie) Prove(key []byte, fromLevel uint, proofDb ethdb.KeyValueWriter) error {
   100  	return t.trie.Prove(key, fromLevel, proofDb)
   101  }
   102  
   103  // VerifyProof checks merkle proofs. The given proof must contain the value for
   104  // key in a trie with the given root hash. VerifyProof returns an error if the
   105  // proof contains invalid trie nodes or the wrong value.
   106  func VerifyProof(rootHash common.Hash, key []byte, proofDb ethdb.KeyValueReader) (value []byte, nodes int, err error) {
   107  	key = keybytesToHex(key)
   108  	wantHash := rootHash
   109  	for i := 0; ; i++ {
   110  		buf, _ := proofDb.Get(wantHash[:])
   111  		if buf == nil {
   112  			return nil, i, fmt.Errorf("proof node %d (hash %064x) missing", i, wantHash)
   113  		}
   114  		n, err := decodeNode(wantHash[:], buf)
   115  		if err != nil {
   116  			return nil, i, fmt.Errorf("bad proof node %d: %v", i, err)
   117  		}
   118  		keyrest, cld := get(n, key)
   119  		switch cld := cld.(type) {
   120  		case nil:
   121  			// The trie doesn't contain the key.
   122  			return nil, i, nil
   123  		case hashNode:
   124  			key = keyrest
   125  			copy(wantHash[:], cld)
   126  		case valueNode:
   127  			return cld, i + 1, nil
   128  		}
   129  	}
   130  }
   131  
   132  func get(tn node, key []byte) ([]byte, node) {
   133  	for {
   134  		switch n := tn.(type) {
   135  		case *shortNode:
   136  			if len(key) < len(n.Key) || !bytes.Equal(n.Key, key[:len(n.Key)]) {
   137  				return nil, nil
   138  			}
   139  			tn = n.Val
   140  			key = key[len(n.Key):]
   141  		case *fullNode:
   142  			tn = n.Children[key[0]]
   143  			key = key[1:]
   144  		case hashNode:
   145  			return key, n
   146  		case nil:
   147  			return key, nil
   148  		case valueNode:
   149  			return nil, n
   150  		default:
   151  			panic(fmt.Sprintf("%T: invalid node: %v", tn, tn))
   152  		}
   153  	}
   154  }