JP Morgan Quorum 的伊斯坦布尔共识机制使用什么合约？答案

【问题标题】：What contract is used in Istanbul consensus mechanism in JP Morgan Quorum?JP Morgan Quorum 的伊斯坦布尔共识机制使用什么合约？
【发布时间】：2018-02-14 22:39:45
【问题描述】：

在来自 JPMorgan Quorum github 的“7nodes”安装example 中使用了这样的创世文件（“istanbul-genesus.json”）：

{
"alloc": {
  "0x0000000000000000000000000000000000000020": {
    "code": "0x606060405236156100c45760e060020a60003504631290948581146100c9578063284d163c146100f957806342169e4814610130578063488099a6146101395780634fe437d514610154578063559c390c1461015d57806368bb8bb61461025d57806372a571fc146102c857806386c1ff681461036957806398ba676d146103a0578063a7771ee31461040b578063adfaa72e14610433578063cf5289851461044e578063de8fa43114610457578063e814d1c71461046d578063f4ab9adf14610494575b610002565b610548600435600160a060020a03331660009081526003602052604090205460ff16156100c45760018190555b50565b610548600435600160a060020a03331660009081526005602052604090205460ff16156100c4576004546001141561055e57610002565b61045b60025481565b61054a60043560056020526000908152604090205460ff1681565b61045b60015481565b61045b60043560006000600060006000600050600186038154811015610002579080526002027f290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e5630192505b60018301548110156105d75760018301805484916000918490811015610002576000918252602080832090910154835282810193909352604091820181205485825292869052205410801561023257506001805490840180548591600091859081101561000257906000526020600020900160005054815260208101919091526040016000205410155b156102555760018301805482908110156100025760009182526020909120015491505b6001016101a8565b610548600435602435600160a060020a03331660009081526003602052604081205460ff16156100c4578054839010156105e45780548084038101808355908290829080158290116105df576002028160020283600052602060002091820191016105df919061066b565b610548600435600160a060020a03331660009081526005602052604090205460ff16156100c457600160a060020a0381166000908152604090205460ff1615156100f65760406000819020805460ff191660019081179091556004805490910190558051600160a060020a038316815290517f1a4ce6942f7aa91856332e618fc90159f13a340611a308f5d7327ba0707e56859181900360200190a16100f6565b610548600435600160a060020a03331660009081526003602052604090205460ff16156100c4576002546001141561071457610002565b61045b600435602435600060006000600050600185038154811015610002579080526002027f290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e5630181509050806001016000508381548110156100025750825250602090200154919050565b61054a600435600160a060020a03811660009081526003602052604090205460ff165b919050565b61054a60043560036020526000908152604090205460ff1681565b61045b60045481565b6000545b60408051918252519081900360200190f35b61054a600435600160a060020a03811660009081526005602052604090205460ff1661042e565b610548600435600160a060020a03331660009081526003602052604090205460ff16156100c457600160a060020a03811660009081526003602052604090205460ff1615156100f65760406000818120600160a060020a0384169182905260036020908152815460ff1916600190811790925560028054909201909155825191825291517f0ad2eca75347acd5160276fe4b5dad46987e4ff4af9e574195e3e9bc15d7e0ff929181900390910190a16100f6565b005b604080519115158252519081900360200190f35b600160a060020a03811660009081526005602052604090205460ff16156100f65760406000819020805460ff19169055600480546000190190558051600160a060020a038316815290517f8cee3054364d6799f1c8962580ad61273d9d38ca1ff26516bd1ad23c099a60229181900360200190a16100f6565b509392505050565b505050505b60008054600019850190811015610002578382526002027f290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563016020819052604082205490925014156106b8578060010160005080548060010182818154818355818115116106a5578183600052602060002091820191016106a5919061068d565b50506002015b808211156106a157600181018054600080835591825260208220610665918101905b808211156106a1576000815560010161068d565b5090565b5050506000928352506020909120018290555b600082815260208281526040918290208054600101905581514381529081018490528151600160a060020a033316927f3d03ba7f4b5227cdb385f2610906e5bcee147171603ec40005b30915ad20e258928290030190a2505050565b600160a060020a03811660009081526003602052604090205460ff16156100f65760406000819020805460ff19169055600280546000190190558051600160a060020a038316815290517f183393fc5cffbfc7d03d623966b85f76b9430f42d3aada2ac3f3deabc78899e89181900360200190a16100f656",
    "storage": {
      "0x0000000000000000000000000000000000000000000000000000000000000001": "0x02",

      "0x0000000000000000000000000000000000000000000000000000000000000002": "0x03",
      "0x29ecdbdf95c7f6ceec92d6150c697aa14abeb0f8595dd58d808842ea237d8494": "0x01",
      "0x6aa118c6537572d8b515a9f9154be55a3377a8de7991cd23bf6e5ceb368688e3": "0x01",
      "0x50793743212c6f01d326957d7069005b912f8215f10c7536be6b10782c6c44cd": "0x01",

      "0x0000000000000000000000000000000000000000000000000000000000000004": "0x02",
      "0xaca3b76ed4968740c3180dd7fa37f4aa229a2c758a848f53920e9ccb4c4bb74e": "0x01",
      "0xd188ba2dc293670542c1befaf7678b0859e5354a0727d1188b2afb6f47fe24d1": "0x01"
    },
    "balance": "1000000000000000000000000000"
  },

  "0xed9d02e382b34818e88b88a309c7fe71e65f419d": {
    "balance": "1000000000000000000000000000"
  },
  "0xca843569e3427144cead5e4d5999a3d0ccf92b8e": {
    "balance": "1000000000000000000000000000"
  },
  "0x0fbdc686b912d7722dc86510934589e0aaf3b55a": {
    "balance": "1000000000000000000000000000"
  },
  "0x9186eb3d20cbd1f5f992a950d808c4495153abd5": {
    "balance": "1000000000000000000000000000"
  },
  "0x0638e1574728b6d862dd5d3a3e0942c3be47d996": {
    "balance": "1000000000000000000000000000"
  }
},
"coinbase": "0x0000000000000000000000000000000000000000",
"config": {
  "homesteadBlock": 1,
    "eip150Block": 2,
    "eip150Hash": "0x0000000000000000000000000000000000000000000000000000000000000000",
    "eip155Block": 3,
    "eip158Block": 3,
  "istanbul": {
    "epoch": 30000,
    "policy": 0
  },
  "isQuorum": true
},
"extraData": "0x0000000000000000000000000000000000000000000000000000000000000000f897f893946571d97f340c8495b661a823f2c2145ca47d63c2948157d4437104e3b8df4451a85f7b2438ef6699ff94b131288f355bc27090e542ae0be213c20350b76794b912de287f9b047b4228436e94b5b78e3ee1617194d8dba507e85f116b1f7e231ca8525fc9008a696694e36cbeb565b061217930767886474e3cde903ac594f512a992f3fb749857d758ffda1330e590fa915e80c0",
"gasLimit": "0x47b760",
"difficulty": "0x1",
"mixHash": "0x63746963616c2062797a616e74696e65206661756c7420746f6c6572616e6365",
"nonce": "0x0",
"parentHash": "0x0000000000000000000000000000000000000000000000000000000000000000",
"timestamp": "0x00"

}

所以，这个创世文件显然包含地址 0x00...0020 的合约二进制代码。

但是这个合约的源代码是什么？

我读过，在旧版本的 Quorum 中，这个合约是 QuorumChain 共识算法的投票合约。在最新版本中，他们删除了 QuorumChain 并添加了伊斯坦布尔 BFT 共识。所以是新合同。

而且您无法在 Quorum 源代码中找到它的源代码。来源中没有与此类似的合同（即使按规模）。

我在 EVM 助记符中反编译了这个合约，但原始来源会更有帮助。

附言

我向 Quorum 团队提出了这个问题（通过他们的联系电子邮件） - 他们没有回复。

【问题讨论】：

标签： blockchain ethereum istanbul solidity quorum

【解决方案1】：

可能是block_voting.sol。我有 90% 的把握。

另外，我 90% 确定它是垃圾。伊斯坦布尔共识不使用此合约。

一些证据（使用radare2）：

从“istanbul-genesus.json”中剪切“code:”内容，并粘贴到文本文件“istanbul-cintract.hex”。去掉“0x”前缀：“606060405236156100c45760e060020a6...

通过“rax2”工具将其转换为二进制：

$ rax2 -s < ./istanbul-cintract.hex > ./istanbul-cintract.bin

用“radare2”反汇编（如果没有安装“evm”架构包，$ r2pm install evm）。有用的链接是Debugging EVM 和Reversing EVM。

$ r2 -A -a evm ./istanbul-cintract.bin
  Cannot set bits 64 to 'evm'
  Cannot set bits 64 to 'evm'
  -- some kind of jokes form radare2 here... dont panic
  [0x00000000]> pdf > ./istanbul-cintract.asm

现在你得到了“istanbul-cintract.asm”。对其进行一些分析：

0x00000014 6312909485 push4 0x12909485 ; it is "SELECTOR" of public function
                                  ; S:[0x12909485, FUNC_SELECTOR]  //FUNC_SELECTOR - first 4 byte of transaction data
0x00000019 81         dup2        ; S:[FUNC_SELECTOR, 0x12909485, FUNC_SELECTOR]
0x0000001a 14         eq          ; S:[(FUNC_SELECTOR == 0x12909485), FUNC_SELECTOR]
0x0000001b 6100c9     push2 0xc9  ; S:[0xc9, (FUNC_SELECTOR == 0x12909485), FUNC_SELECTOR]
0x0000001e 57         jumpi       ; if (FUNC_SELECTOR == 0x12909485) goto 0xc9 address of bytecode

这是一个公共接口函数调用。如果函数选择器（交易数据的前 4 个字节）为0x12909485，则跳转到函数体。在下文中我们可以找到公共函数的剩余选择器：

0x00000014 6312909485  push4 0x12909485 
... etc, only selector push commands...
0x00000020 63284d163c  push4 0x284d163c
0x0000002b 6342169e48  push4 0x42169e48
0x00000036 63488099a6  push4 0x488099a6
0x00000041 634fe437d5  push4 0x4fe437d5
0x0000004c 63559c390c  push4 0x559c390c
0x00000057 6368bb8bb6  push4 0x68bb8bb6
0x00000062 6372a571fc  push4 0x72a571fc
0x0000006d 6386c1ff68  push4 0x86c1ff68
0x00000078 6398ba676d  push4 0x98ba676d
0x00000083 63a7771ee3  push4 0xa7771ee3
0x0000008e 63adfaa72e  push4 0xadfaa72e
0x00000099 63cf528985  push4 0xcf528985
0x000000a4 63de8fa431  push4 0xde8fa431
0x000000af 63e814d1c7  push4 0xe814d1c7
0x000000ba 63f4ab9adf  push4 0xf4ab9adf

作为此字节码与block_voting.sol 具有相同接口的最终证明，让我们通过“block_voting.sol”中的签名重新计算选择器，并与字节码中找到的选择器进行比较：

0x12909485 == web3.sha3("setVoteThreshold(uint256)").substr(0,10)
0x284d163c == web3.sha3("removeBlockMaker(address)").substr(0,10);
0x42169e48 == web3.sha3("voterCount()").substr(0,10);
0x488099a6 == web3.sha3("canCreateBlocks(address)").substr(0,10);
0x4fe437d5 == web3.sha3("voteThreshold()").substr(0,10);
0x559c390c == web3.sha3("getCanonHash(uint256)").substr(0,10);
0x68bb8bb6 == web3.sha3("vote(uint256,bytes32)").substr(0,10);
0x72a571fc == ??? not found...
0x86c1ff68 == web3.sha3("removeVoter(address)").substr(0,10);
0x98ba676d == web3.sha3("getEntry(uint256,uint256)").substr(0,10);
0xa7771ee3 == web3.sha3("isVoter(address)").substr(0,10);
0xadfaa72e == web3.sha3("canVote(address)").substr(0,10);
0xcf528985 == web3.sha3("blockMakerCount()").substr(0,10);
0xde8fa431 == web3.sha3("getSize()").substr(0,10);
0xe814d1c7 == web3.sha3("isBlockMaker(address)").substr(0,10);
0xf4ab9adf == web3.sha3("addVoter(address)").substr(0,10);

这是什么，由你决定……

【讨论】：