TY  - RPRT
TI  - Verification of a Merkle Patricia Tree Library Using F*
AU  - Sota Sato
AU  - Ryotaro Banno
AU  - Jun Furuse
AU  - Kohei Suenaga
AU  - Atsushi Igarashi
PY  - 2021
UR  - https://arxiv.org/abs/2106.04826
ID  - 2106.04826
ER  -