作为较量，Aergo Lua VM在trie中利用key存储变量状态信息：hash（bytes（“ __ sv __” + variable_name + [“-”，var_index]，'utf-8'）），个中var_u index是可选的，用于映射的键或数组的索引。
from web3._utils.proof import verify_eth_getProof, storage_position
greeting = 'Hello';
shared_nibbles = nibble + dec[0][1:].hex()
@param proof_index keeps track of the index while stepping through
这是一个很好的图表，表明白patricia树中差异范例的节点：
证明验证码
# leaf or extension node
验证“ greeting”和“ my_map”的存储证明：
合约变量如何存储在Patricia trie中？
return _verify(new_expected_root, key, proof, key_index + 1, proof_index + 1,
if shared_nibbles == key[key_index:key_index + extension_length]:
# This should not be reached if the proof has the correct format
if new_expected_root != b'':
@param expected_value is the key's value expected to be stored in
w3 = Web3(IPCProvider(...))
from web3 import Web3, IPCProvider
new_expected_root = dec[1]
以太坊区块链利用修改后的Merkle Patricia树举办状态认证。这使区块链节点在每个区块的整个区块链状态上告竣共鸣，并使轻客户端可觉得任何状态信息建设Merkle证明。
the key nibbles.
return True
elif prefix == '3':
greeting = "0x0"
constructor() public {
dec = rlp.decode(node)
return True
这是一个关于如何利用包括/解除证明（inclusion/exclusion）来查询Solidity合约变量的快速概述。 eth_getStorageAt和eth_getProof实际上消除了在合约代码中界说getter的需要，因为getProof API直接查询了trie状态数据库（获取另一个合约变量的合约仍然需要getter）。在今后的文章中，我们将先容如何将这些状态证明与侧链的链上状态验证一起用于区块链间通信。
elif prefix == '1':
if key_end == key[key_index:] and expected_value == dec[1]:
存储Merkle证明仅对特定的trie root（即特定状态）有效。因此用户或轻客户端应用措施应该通过运行轻客户端或信任由多个证明方举办多重签名的状态根来信任该状态根：更安详。
# if rlp < 32 bytes, then it is not hashed
elif prefix == '0':
简朴的Solidity合约，，我们要在个中证明映射键的代价：
'''
web3.py分叉提供了利便的storage_position（），它返回所请求的映射密钥的Patricia树存储密钥。
key_index + extension_length, proof_index + 1,
contract Proof {
from web3.middleware import geth_poa_middleware
# get prefix and optional nibble from the first byte
@param key_index keeps track of the index while stepping through
key_end = nibble + dec[0][1:].hex()
@param proof is the proof the key nibbles as path.
if key_index >= len(key):
if key_end == key[key_index:] and expected_value == dec[1]:
return True if expected_value == b'' else False
block = w3.eth.getBlock('latest')
node = proof[proof_index]
else:
# even extension node
结论
else:
w3.middleware_stack.inject(geth_poa_middleware, layer=0)
可是自以太坊初期以来就可以举办状态Merkle证明验证，但直到最近才将其添加到JSON RPC API中，因此很兴奋看到更多应用措施操作此成果。
shared_nibbles = dec[0][1:].hex()
合约状态变量查询
key_index + extension_length, proof_index + 1,
elif len(node) < 32:
the last node (leaf node) of the proof.
the proof nodes.
if key_index == 0:
assert dec == expected_root
extension_length = len(shared_nibbles)
expected_value)
Return True if the value at the leaf is equal to the expected value.
w3.eth.defaultAccount = Web3.toChecksumAddress('0x...')
new_expected_root = dec[1]
string public greeting;
# even leaf node
key_end = dec[0][1:].hex()
assert keccak(node) == expected_root
Web3.py尚不支持eth_getProof，因为在撰写本文时并未归并PR。因此可以改用web3.py的这个fork：https://github.com/paouvrard/web3.py/tree/EIP-1186...
来历：https://ethereum.stackexchange.com/questions/6415/...
}
}
为了存储变量，EVM按照合约中界说变量的位置利用key：keccack（LeftPad32（key，0），LeftPad32（map position，0））。 此处有更多具体信息：https://github.com/ethereum/wiki/wiki/JSON-RPC#eth_getstorageat。
# value stored in the branch
new_expected_root = dec[nibble_to_number[key[key_index]]]
return _verify(new_expected_root, key, proof,
mapping (address => uint) public my_map;
def _verify(expected_root, key, proof, key_index, proof_index, expected_value):
my_map[msg.sender] = 33333;
if dec[-1] == expected_value:
Solidity：TODO
extension_length = len(shared_nibbles)
Web3.py毗连到以太坊节点，并通过JSON RPC或IPC API eth_getProof举办状态查询并提供证明。
expected_value)
if shared_nibbles == key[key_index:key_index + extension_length]:
# trie root is always a hash
if len(dec) == 17:
下面的代码通过迭代验证节点（上图中的extension、branch、leaf…）来验证key值和expected_value。 假如Expected_value便是证明中包括的值，则返回true。
# odd extension node
''' Iterate the proof following the key.
assert False
# branch node
@param key is the key for which we are proving the value.
账户和合约变量查询
assert keccak(node) == expected_root
if prefix == '2':
proof = w3.eth.getProof(contract_addr, [greeting, my_map_sender], block.number)
my_map_sender = storage_position(w3.eth.defaultAccount, "0x1")
return True
is_valid_proof = verify_eth_getProof(proof, block.stateRoot)
通过上面的剧本，我们此刻可以构建和验证帐户和合约变量的状态Merkle证明。 请留意，verify_eth_getProof（…）仅验证包括证明，而且假如包括解除证明，则将返回False。 可以通过eth.getProof（...）返回的“proof”工具来验证解除环境。
编辑（2019年10月）：eth_getProof此刻在web3.py和web3.js中可用，但在Metamask提供措施中不行用。
(prefix, nibble) = dec[0][:1].hex()
python
# odd leaf node
@param expected_root is the expected root of the current proof node.
在本例中，我们将利用web3.py构建一个merkle证明，证明指定的状态根中包括键的某些值。
else:
return _verify(new_expected_root, key, proof,
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
