Cross-chain asset transfer from zk rollups without additional security assumptions
Share on

ZKM has released a new research paper by Senior Cryptographer, Jeroen van de Graaf, in collaboration with the ZKM research team, further elaborating on the concepts introduced earlier this year in ZKM's Entangled Rollup litepaper.

The paper, titled 'Cross-chain asset transfer from zk rollups without additional security assumptions', details advanced mechanism designs for addressing the challenges involved in enabling trustless blockchain connectivity: https://whitepaper.zkm.io/entangled_rollup_(wp).pdf…

Blockchain ecosystems operate in isolation, with each chain maintaining an independent ledger that lacks built-in interoperability. To facilitate asset transfers across blockchains, third-party solutions known as bridges are commonly deployed, introducing additional trust assumptions that make them vulnerable to exploits and presenting a potential single point of failure. Despite numerous attempts to secure bridges, their susceptibility to attacks remains a significant limitation to achieving secure blockchain interoperability.

This new paper explores a novel approach to cross-chain asset transfers between blockchains equipped with zkRollups, utilizing the cryptographic guarantees provided by zkVMs like ZKM's zkMIPS. By applying zkRollup mechanics, we demonstrate that interoperability between chains can be achieved without the need for external trusted intermediaries. Instead, the security of the cross-chain transaction is ensured by the same cryptographic properties underpinning the zkRollup, thus preserving the security guarantees of the participating blockchains without introducing additional trust assumptions.

The paper also presents a secondary model, termed parallel rollups, which provides enhanced interoperability and addresses liquidity fragmentation by integrating multiple blockchains under a unified rollup architecture. This work contributes to ZKM's broader goal of reducing the associated complexities and insecurities of cross-chain interactions, providing mechanistic insight into future expansion of the @GOATRollup Network.

More articles
Getting to Know zkMIPS Proving Architecture
TL;DR: zkMIPS proves the correct execution of a MIPS program in five steps: it (1) divides the program in segments, (2) divides the instructions of each segment in four module tables, (3) proves instructions from each module table independently, (4) proves instructions from each segment is contained in one of its tables, and (5) recursively proves that the sequence of segment match the program execution. Step 3 is written as a STARK, step 4 is a logUp proof written as a STARK, and step 5 as a PLONK proof. All proof steps are implemented with the Plonky2 library. Optionally, one can generate a final Groth16 proof to verify the program execution on-chain.
ZK Day at SBC '24
Coming off the back of our hugely successful Brussels event during EthCC, House of ZK held ‘ZK Day’ during the Science of Blockchain Conference in New York City. Co-hosted by ZKM and Aleo, and co-organized by IC3, Stanford CBR, and Berkeley RDI, the event proved to be a remarkable convergence of researchers and industry leaders communally deliberating over the most recent advancements in ZK tech.
Cross-chain asset transfer from zk rollups without additional security assumptions

ZKM has released a new research paper by Senior Cryptographer, Jeroen van de Graaf, in collaboration with the ZKM research team, further elaborating on the concepts introduced earlier this year in ZKM's Entangled Rollup litepaper.

The paper, titled 'Cross-chain asset transfer from zk rollups without additional security assumptions', details advanced mechanism designs for addressing the challenges involved in enabling trustless blockchain connectivity: https://whitepaper.zkm.io/entangled_rollup_(wp).pdf…

Blockchain ecosystems operate in isolation, with each chain maintaining an independent ledger that lacks built-in interoperability. To facilitate asset transfers across blockchains, third-party solutions known as bridges are commonly deployed, introducing additional trust assumptions that make them vulnerable to exploits and presenting a potential single point of failure. Despite numerous attempts to secure bridges, their susceptibility to attacks remains a significant limitation to achieving secure blockchain interoperability.

This new paper explores a novel approach to cross-chain asset transfers between blockchains equipped with zkRollups, utilizing the cryptographic guarantees provided by zkVMs like ZKM's zkMIPS. By applying zkRollup mechanics, we demonstrate that interoperability between chains can be achieved without the need for external trusted intermediaries. Instead, the security of the cross-chain transaction is ensured by the same cryptographic properties underpinning the zkRollup, thus preserving the security guarantees of the participating blockchains without introducing additional trust assumptions.

The paper also presents a secondary model, termed parallel rollups, which provides enhanced interoperability and addresses liquidity fragmentation by integrating multiple blockchains under a unified rollup architecture. This work contributes to ZKM's broader goal of reducing the associated complexities and insecurities of cross-chain interactions, providing mechanistic insight into future expansion of the @GOATRollup Network.