Separating Merkle Computing from Blockchain Computational Courts
media.consensys.net