This is the third and final post in a series on formally verifying oracle contracts with the Certora Prover.
Formal Verification of an Optimistic Oracle — Certora Prover: The Final Oracle
This article was originally published on Ethereum Tag and is republished here under RSS syndication for informational purposes. All rights and intellectual property remain with the original author. If you are the author and wish to have this article removed, please contact us at [email protected].
