Metastate - Blockchain Protocol Research & Development

Company Overview

Metastate is a blockchain research and engineering organization dedicated to bringing novel research from computer science, PLT, and cryptography to bear on hard technical problems of scalability, verifiability, and privacy.

Core Expertise

Research

• Programming language theory
• Dependent types and formal verification
• Zero-knowledge proof constructions
• Digital signature schemes
• Verifiable delay functions

Development

• Blockchain protocol development
• Smart contract development
• High-assurance contract development

Notable Contributions

• Second Tezos core development team (2019-2021)
• Developed Babylon and Carthage protocol upgrades
• Contributed to Delphi and Edo upgrades
• Juvix programming language development
• MASP (Multi-Asset Shielded Pool)

Technologies

Tezos, Michelson, OCaml, Zero-knowledge proofs, Formal verification