九头蛇（Hydra）：加密经济合同安全框架，分散式安全悬赏。 以太坊生活-源码

[{"title":"（ 81 个子文件 115KB ） 九头蛇（Hydra）：加密经济合同安全框架，分散式安全悬赏。 以太坊生活-源码","children":[{"title":"Hydra-master","children":[{"title":".travis.yml <span style='color:#111;'> 273B </span>","children":null,"spread":false},{"title":"submarine_sends","children":[{"title":"to_contract","children":[{"title":"add_initcode.py <span style='color:#111;'> 226B </span>","children":null,"spread":false},{"title":"forwarder.easm <span style='color:#111;'> 938B </span>","children":null,"spread":false},{"title":"receiver.sol <span style='color:#111;'> 3.16KB </span>","children":null,"spread":false},{"title":"gascosts.md <span style='color:#111;'> 513B </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 508B </span>","children":null,"spread":false},{"title":"clone_withdraw.easm <span style='color:#111;'> 1.53KB </span>","children":null,"spread":false},{"title":"genesis-myrtle.json <span style='color:#111;'> 384B </span>","children":null,"spread":false},{"title":"initcode_header.easm <span style='color:#111;'> 685B </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":"run_all_tests.py <span style='color:#111;'> 3.31KB </span>","children":null,"spread":false},{"title":"docker","children":[{"title":"Dockerfile <span style='color:#111;'> 537B </span>","children":null,"spread":false}],"spread":true},{"title":"requirements.txt <span style='color:#111;'> 512B </span>","children":null,"spread":false},{"title":"examples","children":[{"title":"SimpleERC20","children":[{"title":"Spec.sol <span style='color:#111;'> 637B </span>","children":null,"spread":false},{"title":"heads","children":[{"title":"ERC20_vyper.vy <span style='color:#111;'> 5.72KB </span>","children":null,"spread":false},{"title":"ERC20_solidity_1.sol <span style='color:#111;'> 4.54KB </span>","children":null,"spread":false},{"title":"ERC20_serpent.se <span style='color:#111;'> 4.03KB </span>","children":null,"spread":false},{"title":"ERC20_solidity_2.sol <span style='color:#111;'> 5.37KB </span>","children":null,"spread":false}],"spread":true},{"title":"test","children":[{"title":"erc20_hydra_test.py <span style='color:#111;'> 3.36KB </span>","children":null,"spread":false},{"title":"__init__.py <span style='color:#111;'> 134B </span>","children":null,"spread":false}],"spread":true},{"title":"__init__.py <span style='color:#111;'> 0B </span>","children":null,"spread":false},{"title":"Hydra.sol <span style='color:#111;'> 9.54KB </span>","children":null,"spread":false}],"spread":true},{"title":"ERC20","children":[{"title":"ERC20.v.py <span style='color:#111;'> 2.95KB </span>","children":null,"spread":false},{"title":"test","children":[{"title":"erc20_hydra_test.py <span style='color:#111;'> 3.63KB </span>","children":null,"spread":false},{"title":"erc20_test_gas_costs.py <span style='color:#111;'> 3.02KB </span>","children":null,"spread":false},{"title":"test_config.py <span style='color:#111;'> 85B </span>","children":null,"spread":false},{"title":"__init__.py <span style='color:#111;'> 0B </span>","children":null,"spread":false},{"title":"erc20_tests_1.py <span style='color:#111;'> 23.95KB </span>","children":null,"spread":false},{"title":"erc20_tests_2.py <span style='color:#111;'> 6.55KB </span>","children":null,"spread":false},{"title":"utils <span style='color:#111;'> 15B </span>","children":null,"spread":false}],"spread":true},{"title":"__init__.py <span style='color:#111;'> 0B </span>","children":null,"spread":false},{"title":"nonvyper","children":[{"title":"ERC20_solidity_1.sol <span style='color:#111;'> 3.39KB </span>","children":null,"spread":false},{"title":"ERC20_serpent.se <span style='color:#111;'> 2.69KB </span>","children":null,"spread":false},{"title":"ERC20_solidity_2.sol <span style='color:#111;'> 3.71KB </span>","children":null,"spread":false}],"spread":true},{"title":"README.md <span style='color:#111;'> 2.65KB </span>","children":null,"spread":false},{"title":"ABI <span style='color:#111;'> 2.76KB </span>","children":null,"spread":false},{"title":"utils <span style='color:#111;'> 12B </span>","children":null,"spread":false}],"spread":true},{"title":"__init__.py <span style='color:#111;'> 0B </span>","children":null,"spread":false},{"title":"SimpleMontyHall","children":[{"title":"Spec.sol <span style='color:#111;'> 796B </span>","children":null,"spread":false},{"title":"heads","children":[{"title":"MontyHall_florian.sol <span style='color:#111;'> 11.22KB </span>","children":null,"spread":false},{"title":"MontyHall_florian.se <span style='color:#111;'> 12.61KB </span>","children":null,"spread":false}],"spread":true},{"title":"test","children":[{"title":"mh_hydra_test.py <span style='color:#111;'> 2.05KB </span>","children":null,"spread":false},{"title":"__init__.py <span style='color:#111;'> 146B </span>","children":null,"spread":false}],"spread":true},{"title":"__init__.py <span style='color:#111;'> 0B </span>","children":null,"spread":false},{"title":"Hydra.sol <span style='color:#111;'> 8.71KB </span>","children":null,"spread":false}],"spread":true},{"title":"MontyHall","children":[{"title":"spec.rst <span style='color:#111;'> 13.96KB </span>","children":null,"spread":false},{"title":"heads","children":[{"title":"MontyHall_florian.sol <span style='color:#111;'> 9.96KB </span>","children":null,"spread":false},{"title":"MontyHall_lorenz.sol <span style='color:#111;'> 10.90KB </span>","children":null,"spread":false},{"title":"MontyHall_florian.se <span style='color:#111;'> 11.05KB </span>","children":null,"spread":false}],"spread":true},{"title":"test","children":[{"title":"test_utils.py <span style='color:#111;'> 4.81KB </span>","children":null,"spread":false},{"title":"mh_hydra_test.py <span style='color:#111;'> 2.04KB </span>","children":null,"spread":false},{"title":"differential_test.py <span style='color:#111;'> 7.92KB </span>","children":null,"spread":false},{"title":"__init__.py <span style='color:#111;'> 91B </span>","children":null,"spread":false},{"title":"mh_head_test.py <span style='color:#111;'> 42.26KB </span>","children":null,"spread":false}],"spread":false},{"title":"__init__.py <span style='color:#111;'> 0B </span>","children":null,"spread":false}],"spread":true}],"spread":true},{"title":".gitignore <span style='color:#111;'> 55B </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 4.04KB </span>","children":null,"spread":false},{"title":"utils","children":[{"title":"deployment.py <span style='color:#111;'> 12.35KB </span>","children":null,"spread":false},{"title":"rpc_deployment.py <span style='color:#111;'> 5.25KB </span>","children":null,"spread":false},{"title":"__init__.py <span style='color:#111;'> 0B </span>","children":null,"spread":false},{"title":"pyethereum_test_utils.py <span style='color:#111;'> 5.37KB </span>","children":null,"spread":false}],"spread":true},{"title":"hydra","children":[{"title":"test","children":[{"title":"utils.py <span style='color:#111;'> 78B </span>","children":null,"spread":false},{"title":"test_hydra.py <span style='color:#111;'> 18.08KB </span>","children":null,"spread":false},{"title":"assets","children":[{"title":"Head1.sol <span style='color:#111;'> 11.39KB </span>","children":null,"spread":false},{"title":"External.sol <span style='color:#111;'> 1.48KB </span>","children":null,"spread":false},{"title":"EquivalenceHead1.sol <span style='color:#111;'> 1.60KB </span>","children":null,"spread":false},{"title":"ExternalDistort.sol <span style='color:#111;'> 472B </span>","children":null,"spread":false},{"title":"Head2.sol <span style='color:#111;'> 10.87KB </span>","children":null,"spread":false}],"spread":false},{"title":"__init__.py <span style='color:#111;'> 0B </span>","children":null,"spread":false}],"spread":true},{"title":"instrumenter","children":[{"title":"test","children":[{"title":"Spec.hs <span style='color:#111;'> 3.04KB </span>","children":null,"spread":false}],"spread":true},{"title":"stack.yaml <span style='color:#111;'> 2.12KB </span>","children":null,"spread":false},{"title":"app","children":[{"title":"Main.hs <span style='color:#111;'> 7.42KB </span>","children":null,"spread":false}],"spread":false},{"title":"src","children":[{"title":"EVM","children":[{"title":"Bytecode.hs <span style='color:#111;'> 9.21KB </span>","children":null,"spread":false},{"title":"Instrumentation.hs <span style='color:#111;'> 105.51KB </span>","children":null,"spread":false}],"spread":false}],"spread":false},{"title":"Setup.hs <span style='color:#111;'> 46B </span>","children":null,"spread":false},{"title":"README.md <span style='color:#111;'> 12B </span>","children":null,"spread":false},{"title":"instrumenter.cabal <span style='color:#111;'> 1.58KB </span>","children":null,"spread":false}],"spread":true},{"title":"__init__.py <span style='color:#111;'> 0B </span>","children":null,"spread":false},{"title":"metacontract","children":[{"title":"jump_template.txt <span style='color:#111;'> 369B </span>","children":null,"spread":false},{"title":"Hydra.sol <span style='color:#111;'> 23.00KB </span>","children":null,"spread":false}],"spread":false},{"title":"README.md <span style='color:#111;'> 2.10KB </span>","children":null,"spread":false}],"spread":true},{"title":"LICENSE.txt <span style='color:#111;'> 1.06KB </span>","children":null,"spread":false}],"spread":false}],"spread":true}]