3 Projects Bringing Zero-Knowledge Proofs to the Real World

Zero-knowledge proofs (ZKPs) are to crypto what TCP/IP is to the internet: integral and yet a complete mystery to ordinary users. If you’ve been in crypto for a while, you probably know the basics, such as that ZKPs have the ability to verify information without revealing the underlying data. But beyond that, once we start getting into SNARKs, STARKs, FHE, and other abbreviations, it all become pretty complex pretty quick.

—

Well you can relax, cos we’re not here to talk zero-knowledge theory: we’re here to talk practice by examining three blockchain projects that are leveraging ZK proofs to solve real-world problems. No cryptography degree is required to comprehend what they’re cooking up and why it’s such a game-changer for onchain data. Just a little curiosity and a basic knowledge of blockchain will suffice. If you have those attributes, let’s proceed.

Space and Time

For those situations where your ZK proofs just can’t wait another nanosecond to compute, Space and Time is who you call. Just as we refer to zero-knowledge proofs as ZKPs for practical reasons, Space and Time are SxT. And when it comes to delivering verifiable data at lightning speed, SxT are the ZKP pros you turn to. Built on a hybrid transactional/analytical processing (HTAP) framework, SxT’s tech allows complex queries to be executed and verified across both on- and off-chain data sources.

Their use cases are as diverse as they are compelling. Within DeFi, Space and Time enables verifiable data feeds, ensuring that pricing and other financial metrics are accurate and tamper-proof. For AI, their proofs provide trustless inputs, allowing AI models to operate on verified datasets without compromising privacy. Backed by integrations with heavyweights like Chainlink and Microsoft Azure, Space and Time is making ZKPs a practical tool for data-driven industries.
At present, SxT is heavily into ZK coprocessors, which as co-founder Scott Dykstra explains, are “a new class of blockchain infra that allows smart contract devs to statelessly prove off-chain computations over existing onchain data.”
This leaves it to SxT to serve as the first trustless database for ZK coprocessors on EVM, a task it’s taken to with aplomb.

Succinct Labs

Succinct Labs, another US-based innovator like SxT, is tackling the challenge of secure, private communication across blockchain networks. Their focus is on ZK messaging and interoperability, leveraging a novel framework called zkWASM to enable efficient proof generation for WebAssembly programs. This allows Succinct Labs to create lightweight, portable ZK proofs that can be verified across multiple chains.

The hook of zkWASM lies in its ability to abstract complex computations into a universal format, making it easier to deploy ZKPs. Succinct Labs’ multi-chain messaging protocol enables blockchains to share data and execute transactions privately and verifiably. Through prioritizing interoperability, Succinct is effectively laying the groundwork for a highly connected and privacy-preserving blockchain landscape, with applications ranging from decentralized exchanges to cross-chain governance.

Zama

Not content with mastering one cryptographic discipline, Zama’s elected to ace two by combining ZKPs with fully homomorphic encryption (FHE), which allows computations on encrypted data without decryption. This fusion enables advanced private compute solutions, particularly for financial use cases where data confidentiality is paramount. Zama’s technology allows institutions to process sensitive financial data such as credit scores or risk models without disclosing it to third parties.

While FHE has historically been too slow for practical use, Zama’s approach focuses on optimized use cases, especially within finance. From confidential smart contracts to encrypted order books, the aim is to build systems where neither the input, output, nor processing logic need to be exposed.

Zama’s hook is its ability to deliver privacy-preserving computation at scale, addressing the stringent requirements of financial regulators and enterprises. For example, their systems can prove compliance with anti-money laundering regulations or verify the integrity of financial models without exposing proprietary algorithms.

The Proof Is Out There

What these three projects illustrate is the growing maturity of ZK technology. From data verification and cross-chain security to encrypted compute, zero-knowledge proofs are no longer confined to L2 rollups or protocol-level designs. They’re rapidly expanding into new verticals and being used by enterprises to solve real-world problems.

Perhaps most importantly, ZK proofs are shedding their reputation as a purely academic pursuit. With sub-second proof generation, cross-chain composability, and enterprise-ready compute, these technologies are finally stepping into production environments. The zero-knowledge race is no longer about who can build the most elegant proof system: it’s about who can deliver practical implementations of the technology at scale, in the wild. And that race is very much on.