https://123dok.net/document/q2n0mg6q-argosy-verifying-layered-storage-systems-with-recovery-refinement.html