status-im
/
eth2.0-specs
mirror of https://github.com/status-im/eth2.0-specs.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity
Ethereum 2.0 Specifications
25 Commits 50 Branches 0 Tags 30 MiB
Python 98%
Makefile 2%
Go to file
Alex Beregszaszi 62e3281411
Lock in Solidity 0.6.8 on CircleCI (#27) 
* Fix Makefile on macOS
* Lock circleci to solc:0.6.8-alpine
* Lock version to 0.6.8
 		2020-05-15 11:48:00 +01:00
lib Add unit test and fuzzing against Vyper (#20) 2020-05-14 20:58:48 +01:00
tests Add unit test and fuzzing against Vyper (#20) 2020-05-14 20:58:48 +01:00
.gitattributes Add .gitattributes with Solidity 2020-04-15 14:37:41 +01:00
.gitmodules Add unit test and fuzzing against Vyper (#20) 2020-05-14 20:58:48 +01:00
LICENSE Genesis 2020-04-15 00:32:40 +01:00
Makefile Lock in Solidity 0.6.8 on CircleCI (#27) 2020-05-15 11:48:00 +01:00
README.md Add unit test and fuzzing against Vyper (#20) 2020-05-14 20:58:48 +01:00
circle.yml Lock in Solidity 0.6.8 on CircleCI (#27) 2020-05-15 11:48:00 +01:00
deposit_contract.sol Lock in Solidity 0.6.8 on CircleCI (#27) 2020-05-15 11:48:00 +01:00
shell.nix Add unit test and fuzzing against Vyper (#20) 2020-05-14 20:58:48 +01:00

README.md

eth2-deposit-contract

This is a just for fun port of the Vyper Eth 2.0 deposit contract to Solidity.

The motivation is to run the SMTChecker and the new Yul IR generator option (--ir) in the compiler.

THIS IS NOT THE OFFICIAL DEPOSIT CONTRACT. NOT SUITABLE FOR ANY USE

Using this with the tests

  1. Create the deposit_contract.json with running make (this requires solc to be in the path)
  2. Download eth2.0-specs
  3. Replace eth2.0-specs/deposit_contract/contracts/validator_registration.json with deposit_contract.json
  4. In the eth2.0-specs directory run make install_deposit_contract_tester to install the tools needed (make sure to have Python 3.7 and pip installed)
  5. Finally in the eth2.0-specs directory run make test_deposit_contract to execute the tests

The Makefile currently compiles the code without optimisations. To enable optimisations add --optimize to the solc line.

Running randomized dapp tests:

Install the latest version of dapp by following the instructions at dapp.tools. Then run

make test