Ethereum CLL Contract Simulator

Description

Simulator of the Ethereum C-Like Language Contracts. The intention of this simulator is to help contract coders develop and test their work using test driven best practises and in full isolation, without the need to connect to the Ethereum Test Net.

Contracts from the whitepaper are slightly modified to make them Python syntax compatible and contained within a Contract class. Automated testing scenarios are also written in a Simulator DSL (similar to unit tests) which can run, inspect and verify the outcome of contract runs.

Working Examples

Name	Original file	Simulation
SubCurrency	subcurrency.cll	subcurrency.py
Namecoin	namecoin.cll	namecoin.py
Datafeed	datafeed.cll	datafeed.py
Hedging	hedging.cll	hedging.py
Fountain	fountain.cll	fountain.py
Egalitarian DAO	egalitarian-dao.cll

Usage

./run.py examples/subcurrency.py

This will execute several simulation scenarios on the Sub-Currency example from the Ethereum whitepaper.

Output

sim          INFO    RUN test_insufficient_fee: <tx sender=alice value=10 fee=0 data=[] datan=0>
sim          WARNING Stopped: Insufficient fee
sim          INFO    --------------------
sim          INFO    RUN test_creation: <tx sender=alice value=100 fee=0 data=[] datan=0>
sim          DEBUG   Accessing storage 1000
subcurrency  INFO    Initializing storage for creator alice
sim          DEBUG   Setting storage alice to 1000000000000000000
sim          DEBUG   Setting storage 1000 to 1
sim          INFO    --------------------
sim          INFO    RUN test_alice_to_bob: <tx sender=alice value=100 fee=0 data=['bob', 1000] datan=2>
sim          DEBUG   Accessing storage 1000
sim          DEBUG   Accessing storage alice
subcurrency  INFO    Transfering 1000 from alice to bob
sim          DEBUG   Accessing storage alice
sim          DEBUG   Setting storage alice to 999999999999999000
sim          DEBUG   Accessing storage bob
sim          DEBUG   Setting storage bob to 1000
sim          INFO    --------------------
sim          INFO    RUN test_bob_to_charlie_invalid: <tx sender=bob value=100 fee=0 data=['charlie', 1001] datan=2>
sim          DEBUG   Accessing storage 1000
sim          DEBUG   Accessing storage bob
sim          DEBUG   Accessing storage bob
sim          WARNING Stopped: Insufficient funds, bob has 1000 needs 1001
sim          INFO    --------------------
sim          INFO    RUN test_bob_to_charlie_valid: <tx sender=bob value=100 fee=0 data=['charlie', 1000] datan=2>
sim          DEBUG   Accessing storage 1000
sim          DEBUG   Accessing storage bob
subcurrency  INFO    Transfering 1000 from bob to charlie
sim          DEBUG   Accessing storage bob
sim          DEBUG   Setting storage bob to 0
sim          DEBUG   Accessing storage charlie
sim          DEBUG   Setting storage charlie to 1000
sim          INFO    --------------------
subcurrency  INFO    <storage defaultdict(<type 'int'>, {1000: 1, 'charlie': 1000, 'bob': 0, 'alice': 999999999999999000})>

License

Released under the MIT License.