Skip to main content

One post tagged with "storage"

View All Tags

ยท 5 min read
Guillaume Claret

We are currently verifying the absence of internal errors in the protocol of Tezos. We show that no unexpected errors are reachable in the code, such as assert false or critical errors. We describe here what we have done recently towards the verification of such errors.