Metastate brings novel research from consensus, PLT / type theory, ZKP cryptography to production by building & extending decentralized, censorship-resistant blockchains.