Introducing Quex: permissionless layer scaling smart contracts by verifiable computing