Smart Contracts in Ethereum

Potential supervisors: 
Research groups/keywords: 


Pax is a civic network and peer to peer legal system powered by Ethereum,

The aim of this thesis is to farther develop the theory behind smart contracts and implement them using the Ethereum legal scripting language Codex (developed by Pax -  

The following is a description of Codex (taken from

Pax is using Ethereum to build a peer to peer legal system. The best way to explain Ethereum is by contrasting it with Bitcoin. What Bitcoin is to money, Ethereum is (potentially) to law. Bitcoin’s value comes from the fact that every transaction that happens is added to the record and can’t be changed. Each full node on the network holds a complete copy of the transaction history, which eliminates any possibility of double-spending. It turns out that this approach can also be used to create binding self-enforcing legal contracts between people, which can have use cases as wide ranging as employment, rent, deeds, property transfer, restitution, incorporation, subscriptions, billing, voting and dividend systems. Where there are disputes, a blockchain can hold an objective record of events making dispute resolution relatively trivial compared to traditional legal systems, both on the back-end (legislation) and the front-end (arbitration).

Codex is a legal scripting DSL (domain specific language) geared towards creating executable contracts via the Pax directory and API. Codex is a flexible and powerful way for clients to interact with Ethereum, and is underwritten by Solidity (one of Ethereum's most popular high-level programming languages) and the Web3.js, which is a Javascript library which allows front-facing apps to connect to the Ethereum network.”


 * Java Script 

 Reading & resources: 

 * BlockChain

 * Ethereum

 * Smart Contracts

 * Codex

Contact: Gerardo Schneider (