Scholarlink

Smart contracts typically store crucial application state data. Methods like SPV proofs are commonly used to verify the authenticity of cross-chain transactions. However, the heterogeneity between blockchains makes common cross-chain data validation methods impractical for smart contract state data. To address this challenge, this paper proposes MSCV to achieve cross-chain verification of smart contract state data. MSCV utilizes MTC to provide a universal verification method for state data and preserves the chronological order of state data. Furthermore, MSCV introduces zero-knowledge proof technology to reduce the additional verification overhead of MTC. Finally, this paper implements smart contracts containing MTC and a batch verification zero-knowledge proof circuit and evaluates their performance and effectiveness.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

MSCV: A Cross-Chain Smart Contract State Data Verification Model Based on MTC

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Zhihao Hou,
  • Ruilin Lai,
  • Yale He,
  • Chengchuang Lin,
  • Gansen Zhao,
  • Jinji Yang

摘要

Smart contracts typically store crucial application state data. Methods like SPV proofs are commonly used to verify the authenticity of cross-chain transactions. However, the heterogeneity between blockchains makes common cross-chain data validation methods impractical for smart contract state data. To address this challenge, this paper proposes MSCV to achieve cross-chain verification of smart contract state data. MSCV utilizes MTC to provide a universal verification method for state data and preserves the chronological order of state data. Furthermore, MSCV introduces zero-knowledge proof technology to reduce the additional verification overhead of MTC. Finally, this paper implements smart contracts containing MTC and a batch verification zero-knowledge proof circuit and evaluates their performance and effectiveness.