A next-generation secure smart contract language for Ethereum.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
bin
logo
modules
scripts
vyper
.gitattributes
.gitmodules
LICENSE
Makefile
README.md
Sherrloc
examples
install.sh
requirements-dev.txt
requirements-docs.txt
setup.cfg
setup.py

README.md

VyperFlow


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

VyperFlow extends Vyper with support for information flow.

For IC3 Bootcamp 18.

VyperFlow is Awesome!

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

Getting Started

Prerequisites

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

For Mac OS Users

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.

Installing VyperFlow

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!

Compiling a contract

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