The name of your hypercert

permissionlessness that can tend towards decentralization. The big thing to test here is how proposers and provers interact with each other and with the protocol, driven only by protocol economic incentives.