The actual storage layer of DynamoDB is well engineered and has some formal proofs.