VyperFlow is a next-generation secure smart contract language for Ethereum.

VyperFlow extends Vyper with support for information flow.

For IC3 Bootcamp 18.

Please checkout awesome-vyperflow for motivating VyperFlow examples written by our working group members at IC3 Bootcamp!

Python 3.6-dev

Caution: Dev version is required to install Vyper

Caution: The current version of Vyper is not compatible with Python3.7 see this issue

virtualenv

Apache ant

Ensure the following libraries are installed using brew.

brew install gmp leveldb

For fatal error: openssl/aes.h: No such file or directory, please reference this.

Get the latest version of VyperFlow by cloning this repository, and run the installation script.

git clone https://github.com/Neroysq/VyperFlow
cd vyperflow
./install.sh

It will build VyperFlow in a virtual Python environment.

If the build succeeds, you should be ready to go!

Remember to enter the virtual environment to use VyperFlow. You can do this by entering:

. vif-venv/bin/activate

You can compile an example contract by running:

vif examples/wallet.vif

If everything works correctly, you should see the compiled bytecode as output.

Siqiu Yao, Haobin Ni, Cornell University, 2018