Nockchain is a radical attempt to resolve the tension between functionality and scalability by treating execution and verification as separate concerns. When miners create zero-knowledge proofs, this useful work powers a planetary computing network that that does not require L2 rollups to scale. This is why we sometimes call Nockchain a global supercomputer backed by useful energy.