Smart Contracts - Quex - scaling smart contracts by verifiable computing