Metastate has ceased its activities on the 31st of January 2021. The team members have joined a new company and working on a new project. This website is maintained for archival purposes, but will not be updated.
Realizing
Decentralized
Protocols.
Research & Development Areas
Core Engineering
Blockchains do not scale to a global user-base of seven billion people.
Leveraging the latest research in consensus, scalability, interoperability, and crypto-economics to build, extend and maintain decentralized, permissionless and censorship-resistant networks.
Programming Languages
Smart contracts are not secure enough for finance, law, or systems engineering.
Research in programming language theory, including dependent types, usage quantisation, whole-program optimisation, interaction nets, and resource verification, in order to enable developers to write efficient smart contracts that are correct by construction.
Cryptography
Blockchains are not private enough for safe use by citizens, corporations, or dissidents.
Digital signature schemes, verifiable delay functions, and zero-knowledge proof constructions in order to bring features such as secure randomness, signature aggregation, computational compression, and computational privacy to distributed ledgers.
Our work
Tezos Core R&D
Tezos protocol research and development of upgrades for the Tezos state machine.
Improvements in network shell configurability, reliability, and performance.
Juvix
Juvix synthesizes a high-level frontend syntax, dependently-typed core language, usage quantisation system, and bespoke execution model into a single unified stack for writing formally verifiable, efficiently executable smart contracts which can be deployed to a variety of distributed ledgers.
Multi-Asset Shielded Pool
Instantiating a zero-knowledge circuit that will allow multiple asset denominations on a multi-asset ledger to share the same anonymity set.