Building a Zero-Knowledge Bridge: Privacy-Preserving Interoperability on Cardano

At Eryx, we believe privacy should be native to interoperability. As the Cardano ecosystem grows, so does the need to exchange assets and information across chains — but without sacrificing user confidentiality. That’s where Zero-Knowledge (ZK) bridges come in.

Why a ZK Bridge?

Cross-chain bridges are usually a weak point in blockchain security, as they’re prone to exploits and rely on trusted third parties. Our vision is to develop a ZK-powered bridge that can be used to transfer funds and computation between different chains without revealing unnecessary information — and that integrates smoothly with Cardano’s architecture.

We aim to build the foundation for a zero-knowledge (ZK) bridge that will allow Cardano to connect with other blockchains in a secure and trustless way.

This is crucial both to bring more liquidity to the ecosystem and to accelerate the expansion of zero-knowledge capabilities on Cardano.

Our approach focuses on composability and transparency. The architecture is modular, which allows it to integrate with other ZK-enabled systems and be reused for multiple cross-chain scenarios Verifiers will be implemented natively on Cardano using Aiken.

How it works

Our ZK bridge design replaces trusted intermediaries with zero-knowledge proofs, enabling cross-chain interactions based on verifiable claims. Here’s a simplified flow of an interaction between two chains (A and B):

A user locks tokens or initiates an action on Chain A.

A ZK proof of said action’s occurrence in chain A is issued off-chain.

This proof is submitted to Chain B, where it’s verified on-chain using a native verifier written in Aiken.

Upon successful verification, Chain B takes a corresponding action (e.g., minting wrapped tokens).

The key here is that no sensitive user data or transaction details are exposed in the process — only the existence of the action in chain A is proven.

What’s Next

We are currently in the early research and feasibility stage of the project. Our focus is on understanding the boundaries of what’s possible within Cardano’s extended UTxO model and its evolving smart contract capabilities. This includes identifying the cryptographic guarantees required for cross-chain claims, mapping out potential use cases, and exploring how to implement fast verifiers within Aiken and Plutus V3. Throughout this process, we aim to stay grounded in Cardano’s principles — developing in the open, sharing what we learn, and collaborating with other ecosystem teams.