Shumo Chu

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.

Pi Squared uses zero-knowledge proof (ZK) technology to verify the correct execution of any program without relying on a specific programming language (PL) or virtual machine (VM). It is based on the K framework and matching logic to provide a universal and efficient verification method. Designed to enable seamless interoperability of blockchains, languages and applications.

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.

Veridise is a blockchain security company that provides audits and software analysis tools for all layers of the blockchain ecosystem, including smart contracts, web3 applications, zero-knowledge circuits, and blockchain implementations. Co-founded by a team of formal verification and software security researchers, Veridise offers state-of-the-art tooling for hardening blockchain security. It also provides a comprehensive and user-friendly toolchain for automatically auditing smart contract security and correctness.