Founded in 2018, Ligero builds tools to simplify zero-knowledge proof development, deployment and scaling without compromising security or compliance. Its core product, Ligetron, is a zero-knowledge virtual machine (zkVM) designed for high-speed performance across both browsers and advanced hardware.

Citrea is a Bitcoin’s ZK rollup and an execution layer that settles on Bitcoin. Every transaction occurring on Citrea is fully secured by zero-knowledge proofs and verified by Bitcoin through BitVM.

Fermah is the universal proof generation layer. It functions as a marketplace, where the supply side comprises GPUs and FPGAs. On the demand side, Fermah can generate proofs for any instance in which ZK is used.

Succinct is building a decentralized prover network so that anyone can build blockchain applications and infrastructure secured by cryptographic truth, not trust. Succinct unifies the proof supply chain, providing highly available proof generation infrastructure with best-in-class pricing, for rollups, coprocessors and other applications using zero-knowledge proofs.

Clique is building identity oracles that connect web2 user behavior data with web3 applications. It leverages advanced cryptographic tech like ZKP, TEE, and MPC to develop modular solutions with customizable privacy assumptions. Its main products are designed to help protocols, creators, and brands identify high-value users/fans, perform Sybil-resistant checks and distribute incentives accordingly.

Ingonyama is a next-generation semiconductor company, designing accelerators for advanced cryptography. The technology stack accompanying the Ingonyama accelerators will enable programmers to build applications of increasing complexity, taking advantage of the privacy and scalability provided by Zero-Knowledge Proofs.

Espresso is a global confirmation layer that provides L2 chains with fast, reliable transaction confirmations backed by BFT consensus. Espresso's confirmation layer can prevent sequencer equivocation, protect against reorgs, and reduce finality risk for solvers in intent-based systems. Its versatility means chains can also use it as a decentralized sequencer and low-cost data availability layer.

Aztec Network is the first private ZK-rollup on Ethereum, enabling decentralized applications to access privacy and scale. Its industry-standard PLONK proving mechanism is used by the leading zero-knowledge scaling projects, ensuring the security of its rollup.

Axelar is a decentralized cross-chain communication network, aiming to level-up interoperability in Web3 by connecting heterogeneous blockchains and enabling asset mobility and program composability in an optimized way for both builders and end-users. The two layers of Axelar are the network and the API above it. At the core of Axelar is a permissionless overlay network that provides Turing-complete cross-chain communication through proof-of-stake and permissionless protocols. On top of the network are APIs and protocols, an application-development layer that developers use to compose across any number of chains. Once integrated, all new interconnected blockchains become interoperable with the application, resulting in limitless network effects.

Penumbra is a secure, cross-chain network that enables anyone to securely transact, stake, swap, or market-make without revealing their personal information to the world. Penumbra is designed to act as a secure zone for the entire Cosmos ecosystem, allowing for the recording of any type of asset in a single shielded pool. Cross-chain IBC transfers shield value when it moves into the chain and unshields it as it moves out to other transparent chains.

Aurora is an EVM built on the NEAR Protocol, providing a solution for developers to run their apps on an Ethereum-compatible, high-throughput, scalable, and future-proof platform, with low transaction costs for their users.

Aleo is a developer platform for building fully private, scalable, and cost-effective applications. It uses zero-knowledge cryptography to move smart contract execution off-chain, enabling a diverse range of decentralized applications that are both entirely private and can scale up to thousands of transactions per second.