Verified· 2 sources

Metastate AG

Summary

About the company

Metastate AG was a multi‑network research and engineering organisation applying research from computer science, programming language theory and cryptography to scalability, verifiability and privacy challenges in blockchain networks. The organisation's website is maintained for archival purposes and is no longer updated.

AI-generated

Offering

Products & services

Industry:Software Development

✓ Offered6

Research and Development for Decentralised Protocols

Research and development on consensus, scalability, interoperability and cryptography for decentralised, permissionless and censorship-resistant networks.

Tezos Core R&D

Tezos protocol research and development of upgrades for the Tezos state machine, including improvements to network configuration, reliability and performance.

Development of Formally Verifiable Smart-Contract Languages

Research on programming languages, a dependently typed core language, usage quantisation and execution models for efficiently executable, correctly constructed smart contracts.

Zero-Knowledge and Privacy Cryptography

Digital signature schemes, verifiable delay functions and Zero-Knowledge proof constructions for secure randomness sources, signature aggregation, compression and confidentiality.

Multi-Asset Shielded Pool

Zero-knowledge circuit for multi-asset ledgers, so that multiple asset denominations can share the same anonymity set.

Outbound Leads by COHAGA

Looking for direct email addresses and phone numbers?

Leadhub delivers verified contact details and decision-makers from over 750,000 Swiss companies — management, procurement, marketing, HR.

Discover Leadhub

Metastate AG

About the company

Products & services

Looking for direct email addresses and phone numbers?

Metastate AG

About the company

Products & services

Looking for direct email addresses and phone numbers?

No knowledge articles yet

Metastate AG in comparison

Industry comparisons are coming soon

Similar companies