eth2.0-specs/deposit_contract
protolambda 675d404c38
Package eth2spec for tooling and experimentation
See tests/core/pyspec/README.md for usage description.

This commit:
- refactors config loading to be part of the pyspec package
- updates requirements and main files to use new config loading
- cleans up the build script
- converts the build script to a distutil command
- runs pyspec build as part of build package command
- provides pyspecdev command to get editable spec python files
2020-01-25 01:57:11 +01:00
..
compiler separate deposit contract compiler and tester, pin compiler to python 3.7. Upgrade others to 3.8 2020-01-22 19:41:19 +01:00
contracts separate deposit contract compiler and tester, pin compiler to python 3.7. Upgrade others to 3.8 2020-01-22 19:41:19 +01:00
tester Package eth2spec for tooling and experimentation 2020-01-25 01:57:11 +01:00
README.md separate deposit contract compiler and tester, pin compiler to python 3.7. Upgrade others to 3.8 2020-01-22 19:41:19 +01:00

README.md

Deposit contract

How to set up the testing environment?

Under the eth2.0-specs directory, execute:

make install_deposit_contract_tester

How to compile the contract?

make compile_deposit_contract

The compiler dependencies can be installed with:

make install_deposit_contract_compiler

Note that this requires python 3.7 to be installed. The pinned vyper version will not work on 3.8.

The ABI and bytecode will be updated at contracts/validator_registration.json.

How to run tests?

For running the contract tests:

make test_deposit_contract

For testing the compiler output against the expected formally-verified bytecode:

make test_compile_deposit_contract