@misc{indiciae3fc3809f8f68,
  title = {Verification of a Merkle Patricia Tree Library Using F*},
  author = {Sota Sato and Ryotaro Banno and Jun Furuse and Kohei Suenaga and Atsushi Igarashi},
  year = {2021},
  url = {https://arxiv.org/abs/2106.04826},
  note = {Source identifier: 2106.04826}
}