Monitor the state of the research field for compelling new theoretical advances.

design, evaluate, and implement zero-knowledge proof constructions

We're a software development company and leader in verifiable computation. Contributor to Mina Protocol.

Topos is the first zkEcosystem, deploy execution layers and dApps with native interoperability and cryptographic security