Skip to content
Permalink
Browse files

Update README.md

  • Loading branch information...
daejunpark committed Jun 12, 2019
1 parent 26ee623 commit 79de062b4375a88567ca2a5e6dacbfb06406424a
Showing with 1 addition and 1 deletion.
  1. +1 −1 deposit/README.md
@@ -4,7 +4,7 @@ This directory contains the intermediate result of our (ongoing) formal verifica

Documents:
* [Formalization of the incremental Merkle tree algorithm and its correctness proof](formal-incremental-merkle-tree-algorithm.pdf)
* [Blog post](https://runtimeverification.com/blog/formal-verification-of-ethereum-2-0-deposit-contract-part-i)
* [Blog post](https://runtimeverification.com/blog/formal-verification-of-ethereum-2-0-deposit-contract-part-1)

Mechanized specifications and proofs in K:
* [deposit.k](deposit.k): Formal model of the incremental Merkle tree algorithm

0 comments on commit 79de062

Please sign in to comment.
You can’t perform that action at this time.