You then have write amplification from the merkle tree. Ignoring performance, something like this should be possible though. For atomicity, there’s going to be

You then have write amplification from the merkle tree. Ignoring performance, something like this should be possible though. For atomicity, there’s going to be some clever journaling based solution.