PROVEN FOR ALL

Downloadable software; recorded software; downloadable computer programs; recorded computer programs; downloadable computer software development tools; recorded software development tools

Software development services; development and provision of open-source software; software development and provision of software related to building zero-knowledge proof infrastructure to improve the safety and scalability of verifiable computation; development of domain-specific languages, compiler tooling, proving system backends and other related technologies; development and provision of blockchain related technologies; non-downloadable software