九头蛇（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}]