Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
158 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
45 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Cross-Blockchain Communication Using Oracles With an Off-Chain Aggregation Mechanism Based on zk-SNARKs (2405.08395v1)

Published 14 May 2024 in cs.CR and cs.DC

Abstract: The closed architecture of prevailing blockchain systems renders the usage of this technology mostly infeasible for a wide range of real-world problems. Most blockchains trap users and applications in their isolated space without the possibility of cooperating or switching to other blockchains. Therefore, blockchains need additional mechanisms for seamless communication and arbitrary data exchange between each other and external systems. Unfortunately, current approaches for cross-blockchain communication are resource-intensive or require additional blockchains or tailored solutions depending on the applied consensus mechanisms of the connected blockchains. Therefore, we propose an oracle with an off-chain aggregation mechanism based on ZeroKnowledge Succinct Non-interactive Arguments of Knowledge (zk-SNARKs) to facilitate cross-blockchain communication. The oracle queries data from another blockchain and applies a rollup-like mechanism to move state and computation off-chain. The zkOracle contract only expects the transferred data, an updated state root, and proof of the correct execution of the aggregation mechanism. The proposed solution only requires constant 378 kgas to submit data on the Ethereum blockchain and is primarily independent of the underlying technology of the queried blockchains.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (72)
  1. Chain-Net: An Internet-inspired Framework for Interoperable Blockchains. Distributed Ledger Technologies: Research and Practice 1, 2 (2022), 1–20.
  2. Blockchain technology in healthcare: a systematic review. In Healthcare, Vol. 7. 56.
  3. Fraud proofs: Maximising light client security and scaling blockchains with dishonest majorities. arXiv preprint arXiv:1809.09044 (2018).
  4. Trustworthy blockchain oracles: review, comparison, and open research challenges. IEEE Access 8 (2020), 85675–85685.
  5. MiMC: Efficient encryption and cryptographic hashing with minimal multiplicative complexity. In International Conference on the Theory and Application of Cryptology and Information Security. Springer, 191–219.
  6. Ghada Almashaqbeh and Ravital Solomon. 2022. SoK: privacy-preserving computing in the blockchain era. In 2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P). IEEE, 124–139.
  7. Do you need a distributed ledger technology interoperability solution? Distributed Ledger Technologies: Research and Practice 2, 1 (2023), 1–37.
  8. A survey on blockchain interoperability: Past, present, and future trends. Comput. Surveys 54, 8 (2021), 1–41.
  9. Mihir Bellare and Phillip Rogaway. 1993. Random oracles are practical: A paradigm for designing efficient protocols. In Proceedings of the 1st ACM Conference on Computer and Communications Security. 62–73.
  10. Twisted Edwards elliptic curves for zero-knowledge circuits. Mathematics 9, 23 (2021).
  11. Scalable zero knowledge with no trusted setup. In 39th Annual International Cryptology Conference. Springer, 701–732.
  12. Zerocash: Decentralized Anonymous Payments from Bitcoin. In 2014 IEEE Symposium on Security and Privacy. 459–474.
  13. Succinct {{\{{Non-Interactive}}\}} zero knowledge for a von neumann architecture. In 23rd USENIX Security Symposium. USENIX Association, 781–796.
  14. Daniel J Bernstein. 2006. Curve25519: new Diffie-Hellman speed records. In 9th International Conference on Theory and Practice in Public-Key Cryptography. Springer, 207–228.
  15. Non-interactive zero-knowledge and its applications. In Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, Oded Goldreich (Ed.). 329–349.
  16. ConsenSys/gnark: v0.8.0. https://doi.org/10.5281/zenodo.5819104
  17. Scalable multi-party computation for zk-SNARK parameters in the random beacon model. Cryptology ePrint Archive (2017).
  18. Chainlink 2.0: Next steps in the evolution of decentralized oracle networks. Retrieved 2023-03-16 from https://naorib.ir/white-paper/chinlink-whitepaper.pdf
  19. Chainlink off-chain reporting protocol. Retrieved 2024-03-07 from https://research.chain.link/ocr.pdf
  20. Bulletproofs: Short proofs for confidential transactions and more. In 2018 IEEE Symposium on Security and Privacy. IEEE, 315–334.
  21. Vitalik Buterin. 2016. Chain interoperability. R3 Research Paper 9 (2016).
  22. Vitalik Buterin. 2021. An Incomplete Guide to Rollups. Retrieved 2023-03-09 from https://vitalik.ca/general/2021/01/05/rollup.html
  23. Decentralized applications: The blockchain-empowered software system. IEEE access 6 (2018), 53019–53033.
  24. Marlin: Preprocessing zkSNARKs with universal and updatable SRS. In 39th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Springer, 738–768.
  25. Geppetto: Versatile verifiable computation. In 2015 IEEE Symposium on Security and Privacy. IEEE, 253–270.
  26. Blockchain for Internet of Things: A survey. IEEE Internet of Things Journal 6, 5 (2019), 8076–8094.
  27. Blockchain in agriculture traceability systems: A review. Applied Sciences 10, 12 (2020), 4113.
  28. John R Douceur. 2002. The sybil attack. In International Workshop on Peer-to-Peer Systems. Springer, 251–260.
  29. Joshua Ellul and Gordon J Pace. 2022. Verifiable External Blockchain Calls: Towards Removing Oracle Input Intermediaries. In International Workshop on Data Privacy Management. Springer, 317–324.
  30. Hyperledger Foundation. 2022. Introducing Hyperledger Cacti, a Multi-Faceted Pluggable Interoperability Framework. Retrieved 2024-03-07 from https://www.hyperledger.org/blog/2022/11/07/introducing-hyperledger-cacti-a-multi-faceted-pluggable-interoperability-framework
  31. ETH relay: A cost-efficient relay for ethereum-based blockchains. In 2020 IEEE International Conference on Blockchain. IEEE, 204–213.
  32. Plonk: Permutations over lagrange-bases for oecumenical noninteractive arguments of knowledge. Cryptology ePrint Archive (2019).
  33. Zendoo: A zk-SNARK verifiable cross-chain transfer protocol enabling decoupled and decentralized sidechains. In 2020 IEEE 40th International Conference on Distributed Computing Systems (ICDCS). IEEE, 1257–1262.
  34. Non-interactive verifiable computing: Outsourcing computation to untrusted workers. In 30th Annual Cryptology Conference. Springer, 465–482.
  35. Christopher Goes. 2020. The Interblockchain Communication Protocol: An Overview. arXiv preprint arXiv:2006.15918 (2020).
  36. Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems. J. ACM 38, 3 (1991), 690–728.
  37. The knowledge complexity of interactive proof-systems. In Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali, Oded Goldreich (Ed.). 203–225.
  38. A digital signature scheme secure against adaptive chosen-message attacks. SIAM Journal on computing 17, 2 (1988), 281–308.
  39. Jens Groth. 2016. On the size of pairing-based non-interactive arguments. In Annual International Conference on the Theory and Applications of Cryptographic Techniques. Springer, 305–326.
  40. Scaling blockchains: A comprehensive survey. IEEE Access 8 (2020), 125244–125262.
  41. From oracles to trustworthy data on-chaining systems. In 2019 IEEE International Conference on Blockchain (Blockchain). IEEE, 496–503.
  42. Maurice Herlihy. 2018. Atomic cross-chain swaps. In 2018 ACM Symposium on Principles of Distributed Computing. ACM, 245–254.
  43. Zcash Protocol Specication. Retrieved 2022-06-24 from https://raw.githubusercontent.com/zcash/zips/master/protocol/protocol.pdf
  44. Arbitrum: Scalable, private smart contracts. In 27th USENIX Security Symposium. USENIX Association, 1353–1370.
  45. Jae Kwon and Ethan Buchman. 2020. Cosmos Whitepaper: A Network of Distributed Ledgers. Retrieved 2023-03-16 from https://wikibitimg.fx994.com/attach/2020/12/16623142020/WBE16623142020_55300.pdf
  46. Pascal Lafourcade and Marius Lombard-Platet. 2020. About blockchain interoperability. Inform. Process. Lett. 161 (2020), 105976.
  47. Hyperservice: Interoperability and programmability across heterogeneous blockchains. In 2019 ACM SIGSAC Conference on Computer and Communications Security. ACM, 549–566.
  48. appxchain: Application-level interoperability for blockchain networks. IEEE Access 9 (2021), 87777–87791.
  49. Sonic: Zero-knowledge SNARKs from linear-size universal and updatable structured reference strings. In 2019 ACM SIGSAC Conference on Computer and Communications Security. ACM, 2111–2128.
  50. Satoshi Nakamoto. 2008. Bitcoin: A peer-to-peer electronic cash system. Retrieved 2022-07-02 from http://www.bitcoin.org/bitcoin.pdf
  51. Towards Cross-Blockchain Smart Contracts. In 2021 IEEE International Conference on Decentralized Applications and Infrastructures. IEEE, 85–94.
  52. Pinocchio: Nearly practical verifiable computation. Commun. ACM 59, 2 (2016), 103–112.
  53. How to delegate and verify in public: Verifiable computation from attribute-based encryption. In 9th Theory of Cryptography Conference. Springer, 422–439.
  54. Peter Robinson and Raghavendra Ramesh. 2021. General Purpose Atomic Crosschain Transactions. In 2021 3rd Conference on Blockchain Research Applications for Innovative Networks and Services. IEEE, 61–68.
  55. Blockchain technology and its relationships to sustainable supply chain management. International Journal of Production Research 57, 7 (2019), 2117–2135.
  56. Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFi. In 32nd USENIX Security Symposium (USENIX Security 23). USENIX Association.
  57. Alba: The Dawn of Scalable Bridges for Blockchains. Cryptology ePrint Archive, Paper 2024/197. https://eprint.iacr.org/2024/197
  58. Towards blockchain interoperability. In Business Process Management: Blockchain and Central and Eastern Europe Forum: BPM 2019 Blockchain and CEE Forum. Springer, 3–10.
  59. Distributed Key Generation with Smart Contracts using zk-SNARKs. In 38th ACM/SIGAPP Symposium on Applied Computing (SAC ’23). ACM. In Press.
  60. A voting-based blockchain interoperability oracle. In 2021 IEEE International Conference on Blockchain. IEEE, 160–169.
  61. Blockchain Scaling Using Rollups: A Comprehensive Survey. IEEE Access 10 (2022), 93039–93054.
  62. Exploring Blockchains Interoperability: A Systematic Survey. ACM Comput. Surv. (2023).
  63. Martin Westerkamp and Maximilian Diez. 2022. Verilay: A verifiable proof of stake chain relay. In 2022 IEEE International Conference on Blockchain and Cryptocurrency. IEEE, 1–9.
  64. Martin Westerkamp and Jacob Eberhardt. 2020. zkrelay: Facilitating sidechains using zksnark-based chain-relays. In 2020 IEEE European Symposium on Security and Privacy Workshops. IEEE, 378–386.
  65. Gavin Wood. 2016. Polkadot: Vision for a heterogeneous multi-chain framework. Retrieved 2023-03-16 from https://www.win.tue.nl/~mholende/seminar/references/ethereum_polkadot.pdf
  66. Gavin Wood et al. 2014. Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper 151, 2014 (2014), 1–32.
  67. A survey of blockchain technology applied to smart cities: Research issues and challenges. IEEE Communications Surveys & Tutorials 21, 3 (2019), 2794–2830.
  68. zkbridge: Trustless cross-chain bridges made practical. arXiv preprint arXiv:2210.00264 (2022).
  69. A Secure Interoperability Management Scheme for Cross-Blockchain Transactions. Symmetry 14, 12 (2022), 2473.
  70. SoK: Communication across distributed ledgers. In 25th International Conference on Financial Cryptography and Data Security, Revised Selected Papers, Part II. Springer, 3–36.
  71. Heuristic-based address clustering in bitcoin. IEEE Access 8 (2020), 210582–210591.
  72. Solutions to scalability of blockchain: A survey. Ieee Access 8 (2020), 16440–16455.
Citations (1)
View on Semantic Scholar

Summary

  • The paper introduces a novel mechanism using oracles and zk-SNARK-based off-chain aggregation to facilitate reliable cross-blockchain data exchange.
  • It quantifies performance with a constant gas cost of approximately 378 kgas and a manageable proof generation time of about 35.4 seconds for a 256-node committee.
  • The approach reduces on-chain computational load and offers scalable, economically viable interoperability for diverse blockchain applications.

Cross-Blockchain Communication with zk-SNARKs

Introduction to Cross-Blockchain Communication

One of the persistent challenges in the blockchain space is enabling different blockchains to communicate with each other. Most blockchains operate in isolated environments, making seamless data exchange and interaction difficult. However, this kind of interoperability is crucial for leveraging the full potential of blockchain technology in diverse applications. The paper by Michael Sober, Giulia Scaffino, and Stefan Schulte tackles this issue by proposing an innovative solution that uses oracles and zk-SNARKs for efficient cross-blockchain communication.

How the Proposed Solution Works

The Role of Oracles

An oracle is a bridge that connects blockchains to external data sources. In this case, the oracle doesn't just retrieve data from another blockchain but ensures the integrity and correctness of this data before submitting it to the target blockchain. This mechanism enables a "target" blockchain to access data from a "source" blockchain in a secure and decentralized manner.

Off-Chain Aggregation with zk-SNARKs

The key innovation lies in the use of zk-SNARKs (Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge) to perform off-chain aggregation. Here's how it unfolds:

  1. Client Request: A user requests data from a source blockchain via the oracle's smart contract on the target blockchain.
  2. Validator Nodes: The oracle consists of multiple validator nodes that independently query the source blockchain for the requested data.
  3. Aggregation: One node (the aggregator) collects the responses from the validators and generates a zk-SNARK proof that attests to the correctness of the collected data.
  4. Submission to Smart Contract: The aggregator submits the proof along with the data to the smart contract, which then verifies the proof and stores the data.

This approach ensures that on-chain verification remains efficient while moving the heavy computational work off-chain.

Key Metrics and Results

The implementation and evaluation of this mechanism yielded some important metrics:

  • Gas Efficiency: The cost of submitting data with the proposed oracle solution is constant at around 378 kgas on Ethereum-based blockchains, making it cost-effective compared to some other approaches.
  • Proof Generation: The time to generate proofs increases linearly with the committee size, but even for a committee size of 256, the proof generation time is manageable at about 35.4 seconds.
  • Memory Usage: Memory consumption during proof generation also scales linearly with the committee size, reaching up to 8.5 GB for larger committees.

Implications and Future Directions

Practical Implications

The proposed method significantly lowers the entry barrier for cross-blockchain communication by using zk-SNARKs to ensure the correctness of data off-chain, thereby reducing on-chain computational loads and costs. This makes the solution not only scalable but also economically viable, especially for projects that require frequent and complex data exchanges between blockchains.

Theoretical Implications

From a theoretical standpoint, this paper showcases how cryptographic primitives like zk-SNARKs can be effectively utilized to enhance blockchain interoperability. The application of zero-knowledge proofs in a decentralized oracle setup is a notable advancement, demonstrating secure and efficient cross-blockchain communication.

Future Prospects

There are several interesting avenues for future research and development:

  • Optimizations: Exploring batch submissions could further reduce costs and improve efficiency.
  • Broader Compatibility: Adapting the solution to work seamlessly with a wider variety of blockchain protocols can make it more universally applicable.
  • Enhanced Security Measures: Additional security layers and mechanisms to further ensure the integrity of the data and the oracle nodes could make the system even more robust.

Conclusion

The paper offers a promising solution for cross-blockchain communication using oracles with zk-SNARK-based off-chain aggregation. The proposed approach stands out due to its balance of efficiency, security, and cost-effectiveness, making it a valuable contribution to the ongoing efforts to achieve blockchain interoperability. As the blockchain ecosystem grows and diversifies, such solutions will become increasingly pivotal in enabling seamless and reliable cross-chain interactions.

File Document Download Save Streamline Icon: https://streamlinehq.com PDF File Document Download Save Streamline Icon: https://streamlinehq.com Markdown
Reddit Logo Streamline Icon: https://streamlinehq.com

Reddit

  1. Cross-Blockchain Communication Using Oracles With an Off-Chain Aggregation Mechanism Based on zk-SNARKs (22 points, 1 comment)