论文记录-Libra: An Efficient Mechanism for Merging Cross-chain Transactions Verification