九头蛇（Hydra）：加密经济合同安全框架，分散式安全悬赏。 以太坊生活
需积分: 13 88 浏览量
2021-02-05
08:26:51
上传
评论
收藏 115KB ZIP 举报
Hydra-master.zip （81个子文件） 
Hydra-master 
.travis.yml 273B submarine_sends to_contract add_initcode.py 226B forwarder.easm 938B receiver.sol 3KB gascosts.md 513B README.md 508B clone_withdraw.easm 2KB genesis-myrtle.json 384B initcode_header.easm 685B run_all_tests.py 3KB docker Dockerfile 537B
requirements.txt 512B examples SimpleERC20 Spec.sol 637B heads ERC20_vyper.vy 6KB ERC20_solidity_1.sol 5KB ERC20_serpent.se 4KB ERC20_solidity_2.sol 5KB test erc20_hydra_test.py 3KB __init__.py 134B __init__.py 0B Hydra.sol 10KB ERC20 ERC20.v.py 3KB test erc20_hydra_test.py 4KB erc20_test_gas_costs.py 3KB test_config.py 85B __init__.py 0B erc20_tests_1.py 24KB erc20_tests_2.py 7KB utils 15B __init__.py 0B nonvyper ERC20_solidity_1.sol 3KB ERC20_serpent.se 3KB ERC20_solidity_2.sol 4KB README.md 3KB ABI 3KB utils 12B __init__.py 0B SimpleMontyHall Spec.sol 796B heads MontyHall_florian.sol 11KB MontyHall_florian.se 13KB test mh_hydra_test.py 2KB __init__.py 146B __init__.py 0B Hydra.sol 9KB MontyHall spec.rst 14KB heads MontyHall_florian.sol 10KB MontyHall_lorenz.sol 11KB MontyHall_florian.se 11KB test test_utils.py 5KB mh_hydra_test.py 2KB differential_test.py 8KB __init__.py 91B mh_head_test.py 42KB __init__.py 0B .gitignore 55B README.md 4KB utils deployment.py 12KB rpc_deployment.py 5KB __init__.py 0B pyethereum_test_utils.py 5KB hydra test utils.py 78B test_hydra.py 18KB assets Head1.sol 11KB External.sol 1KB EquivalenceHead1.sol 2KB ExternalDistort.sol 472B Head2.sol 11KB __init__.py 0B instrumenter test Spec.hs 3KB stack.yaml 2KB app Main.hs 7KB src EVM Bytecode.hs 9KB Instrumentation.hs 106KB Setup.hs 46B README.md 12B instrumenter.cabal 2KB __init__.py 0B metacontract jump_template.txt 369B Hydra.sol 23KB README.md 2KB LICENSE.txt 1KB资源评论
