Zero Dao

ZkCloud is a universal proving layer for ZK, an on-demand proving network aggregating proof demand that enables new applications utilizing provable compute to become economically viable by decreasing costs to a fraction of what’s available through standard proof outsourcing like AWS and GCP. It also ensures prover nodes can achieve the highest possible resource efficiency by aggregating workloads from across the industry for both scaling and privacy use cases, and many more to come.

Octra is an FHE blockchain network with support for isolated execution environments. The majority of the codebase is developed in languages such as OCaml, AST, ReasonML (the language for smart contracts and applications for interacting with the Octra blockchain network), and C++.

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.

Holonym is a privacy-preserving passport for Web3. It enables users to perform anonymous "KYC" and prevent Sybil attacks. It is also constructing the necessary infrastructure for decentralized wallet recovery.

Inference Labs specializes in developing infrastructure and products for AI on web3, and focuses on AI inference interoperating on the blockchain. The zero-knowledge proofs ensure privacy and security without compromising on speed or efficiency. User can verify the correctness of off-chain AI outputs without having to calculate them yourself.

RISC Zero is building a next-generation, scalable blockchain using zero-knowledge proof technology and RISC-V zkVM. Developers familiar with programming in Rust, Go, C++, and other standard programming languages can write on-chain decentralized applications.