This model is based on an incremental construction of Merkle trees, ... this paper gives the first proof of the correctness of the incremental sanity check.
確定! 回上一頁