Trustless Cross-chain Bridges Made Practical
The first trustless, efficient, and secure cross-chain interoperability protocol with zero-knowledge proofs
zkBridge uses zkSNARKs to enable a prover to efficiently convince the receiver chain that a certain state transition happened on the sender chain. zkBridge consists of a block header relay network and an updater contract.
The block header relay network retrieves the block headers from the sender chain, generates proofs of the validity of the block headers, and sends the headers along with the proofs to the updater contract (set up on the receiver chain).
The updater contract maintains a light-client state. It automatically adds block headers of the sender chain once the associated proofs are verified, and updates the current main chain of the sender chain.
zkLightClient is fully integrated with LayerZero's messaging protocol. Application developers can easily build cross-chain applications on top of LayerZero through its extensive developer tooling and community support.
zklightClient uses zkSNARKs to convince the receiver chain that a certain state transition happened on the sender chain. In conjunction with LayerZero’s libraries, zkLightClient add layer of security on top of the LayerZero messaging protocol.
zkLightClient, build on LayerZero, reduces the on-chain verification with lower latency through efficient ZKP protocols. In addition, multiple transaction verifications can be batched into a single zero-knowledge proof.
Trustless and Secure
zkSNARKs proof the correctness of state transitions on remote blockchains, eliminating external trust assumptions. We build together with LayerZero for the ultimate security solution for interoperability.
Efficient
We design and implement deVirgo proof system to significantly accelerate the proof generation. The cross-chain messages can be quickly finalized once the proof is verified, supporting fast processing of remote blockchain information.
Cost Reduction
Harnesses the compression of zero-knowledge proofs, the on-chain verification can be reduced tremendously. In addition, multiple transaction verifications can be batched into a single zero-knowledge proof.
Developer-friendly
Fully integrated with LayerZero, developers can use zero-knowledge proof technology without barriers. They can easily build cross-chain applications on LayerZero through its extensive developer tooling and community support.
Trustless and Secure
zkSNARKs proof the correctness of state transitions on remote blockchains, eliminating external trust assumptions. We build together with LayerZero for the ultimate security solution for interoperability.
Efficient
We design and implement deVirgo proof system to significantly accelerate the proof generation. The cross-chain messages can be quickly finalized once the proof is verified, supporting fast processing of remote blockchain information.
Cost Reduction
Harnesses the compression of zero-knowledge proofs, the on-chain verification can be reduced tremendously. In addition, multiple transaction verifications can be batched into a single zero-knowledge proof.
Developer-friendly
Fully integrated with LayerZero, developers can use zero-knowledge proof technology without barriers. They can easily build cross-chain applications on LayerZero through its extensive developer tooling and community support.
Current Supported Networks
Ecosystem
View More
Proving Ethereum PoS full consensus is essential for building zkBridge and any interoperability protocols on Ethereum. Sync committee is insufficient because the crypto-economic security (~only $32 million USD ETH staked currently) of the sync committee is far from ideal.
We have designed and implemented the zkBridge system to prove Ethereum full consensus (~$40 billion USD total ETH staked currently). All our ZK Clients on LayerZero for Ethereum and its rollups (e.g., Arbitrum, Linea, Optimism, zkSync, Mantle) will be equipped with this technology. Using our efficient proof system, deVirgo, the prover time is less than 8 seconds, which is enough to catch up with Ethereum block time (12 seconds).
We use a 2-layer recursive proof system to achieve fast proof generation and low on-chain proof verification cost to support cross-chain applications.
In the first layer, we present deVirgo, a distributed version of the Virgo proof system. deVirgo combines distributed sumcheck and distributed polynomial commitment to achieve optimal parallelism, and is able to accelerate the proof generation by orders of magnitude when running on distributed machines.
In the second layer, we use Groth16 to prove that the previously generated proof by deVirgo proves the corresponding block headers, which significantly reduces on-chain verification gas cost to about 220K.
Application Use Cases
Cross-chain data availability
Allow multiple blockchain networks to access, share, and verify data in a secure and efficient manner. This interoperability enhances the overall functionality and efficiency of the blockchain ecosystem with seamless communication, data transfers, and collaboration among the systems.
Cross-chain Defi protocols
Enable seamless multi-chain interoperability to increase liquidity, attract users, and improve collaborations between various blockchain ecosystems. Examples of cross-chain DeFi protocols include multi-chain decentralized exchanges, cross-chain lending platforms, and multi-chain asset management tools.
Cross-chain NFT and GameFi
Empower creators, developers, and gamers to interact with diverse blockchain networks, unleashing unparalleled opportunities for virtual asset creation, ownership, and in-game economies, fostering a thriving and interoperable digital landscape.
