Optimized Cross-Chain Transactions With Aggregated Zero-Knowledge Proofs: Enhancing Efficiency and Security

With the rapid development of the blockchain industry and the widespread adoption of IoT devices, which are often deployed on different blockchains, the need for cross-chain value and data exchange has become increasingly important. However, existing cross-chain transactions face challenges, such as low efficiency, high costs, and insufficient security. To address these issues, this article proposes a cross-chain transaction scheme based on aggregated zero-knowledge proofs (ZKPs). This scheme optimizes the allocation of computing resources in a distributed environment and employs a multibranch balanced Merkle tree to construct aggregated ZKPs, significantly reducing the verification costs for batch cross-chain transactions. To further enhance data privacy and integrity, this article introduces the secure aggregated block verification (SABV) algorithm and improves the system consistency and reliability through the local Merkle tree rebalance (LMTR) algorithm. In addition, this article analyses the basic security of the proposed scheme when implemented in adversarial environments and provides countermeasures for common threats in distributed systems. Finally, simulations and actual deployment on the Ethereum test network were conducted. The results indicate that our method reduces CPU usage, memory consumption, and time expenditure by 50.10%, 99.03%, and 99.47%, respectively, during the generation of ZKPs for batch cross-chain transactions. At the same time, building upon the performance improvements of the existing ZKPs, our approach also demonstrates significant enhancements in contract deployment and cross-chain transaction efficiency.