Burrow, the permissionable smart contract machine