Best Verifiable Computing Companies

Microsoft focuses on software, hardware, and services. The company offers products in business productivity software, cloud computing services, personal computing devices, and gaming consoles. Microsoft serves sectors such as business, education, healthcare, and gaming. It was founded in 1975 and is based in Redmond, Washington.

Zama operates as an open-source cryptography company that specializes in fully homomorphic encryption (FHE) solutions for the blockchain and AI sectors. The company offers products that enable computation on encrypted data, allowing for privacy-preserving machine learning and confidential smart contracts. Zama's solutions cater to industries that require data privacy and security, such as finance, healthcare, and identity verification. It was founded in 2019 and is based in Paris, France.

Nexus Laboratories specializes in large-scale verifiable computing and is part of the cryptography and computer science sectors. The company offers a general-purpose system known as the Nexus zkVM, which utilizes zero-knowledge proofs to ensure computation verifiability without revealing underlying data. Nexus Laboratories primarily serves sectors that require enhanced data security and verifiability, such as the blockchain and financial technology industries. It was founded in 2022 and is based in Oakland, California.

Duality Technologies focuses on secure data collaboration in the technology domain. The company offers a platform that enables organizations to collaborate and analyze data securely without ever decrypting it. It includes services such as privacy-protected artificial intelligence development and encrypted queries on secured datasets. Primarily, it sells to the financial services industry, healthcare industry, government industry, and marketing industry. The company was founded in 2016 and is based in Hoboken, New Jersey.

Fabric Cryptography focuses on hardware-accelerated cryptography and the development of cryptographic systems. The company offers products including the verifiable processing unit (VPU), which accelerates cryptographic operations with a custom instruction set and a multi-core RISC-V processor. Fabric Cryptography serves sectors that require cryptographic solutions, such as blockchain technology and secure data processing. Fabric Cryptography was formerly known as Fabric Systems. It was founded in 2022 and is based in Santa Clara, California.

HyperPV provides electronic design automation tools for the semiconductor industry, focusing on GPU-powered physical verification frameworks. The company has a suite of tools for the design and verification processes of integrated circuits, with solutions for the semiconductor industry. HyperPV was formerly known as Amsimcel. It was founded in 2017 and is based in Suceava, Romania.

Ingonyama is a semiconductor company focusing on hardware acceleration for zero knowledge proof cryptography. The company offers a suite of tools including an open-source library for graphics processing unit (GPU) acceleration, a rust library for field programmable gate arrays (FPGA) integration, and a platform for deploying and scaling zero-knowledge (ZK) infrastructure. Ingonyama primarily serves the cryptography and data security sectors with its advanced computational solutions. It was founded in 2021 and is based in Petach Tikva, Israel.

Optalysys focuses on advancing data privacy and processing through fully homomorphic encryption (FHE) within the cloud computing industry. The company offers hardware accelerator platforms that enable secure, private, and trustless computing, allowing data to remain encrypted even while being processed. Optalysys's technology is designed for high-intensity FHE workloads and supports integration with all major FHE libraries and schemes. It was founded in 2013 and is based in Leeds, United Kingdom.

RISC Zero specializes in zero-knowledge technology and operates within the blockchain and cryptography sectors. The company offers a zero-knowledge virtual machine (zkVM) that supports the development of applications using the Rust programming language. RISC Zero's solutions focus on proof generation and verification across multiple blockchain platforms. It was founded in 2021 and is based in Seattle, Washington.