以太坊eth2 deposit merkle tree
Posted mutourend
tags:
篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了以太坊eth2 deposit merkle tree相关的知识，希望对你有一定的参考价值。
1. 引言
相关代码有：
- https://github.com/celo-org/optics-monorepo/blob/main/solidity/optics-core/libs/Merkle.sol（Solidity）
- https://github.com/zcash/incrementalmerkletree（Rust）
参考资料
[1] Ethereum 2.0 Deposit Merkle Tree
[2] Formal Verification of Ethereum 2.0 Deposit Contract (Part I)
[3] End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
[4] 2021年论文Verification of the Incremental Merkle Tree Algorithm with Dafny
以上是关于以太坊eth2 deposit merkle tree的主要内容，如果未能解决你的问题，请参考以下文章