After nearly a year of writing and revision, we’re proud to finally present a new book from RareSkills, created in collaboration with @Certora: Formal Verification with the Certora Prover Certora makes formal verification accessible—but for newcomers, there’s still a large set of unfamiliar concepts to learn. Teaching a broad and unfamiliar field comes with pedagogical challenges. Dive into projects too early, and you’re forced to use syntax you don’t yet understand. Delay compelling applications too long, and readers lose interest. We worked carefully to balance showing “cool examples” without presenting anything that feels magical—i.e., concepts the reader hasn’t yet built a mental framework for. Our hope is that this work helps formal verification become a more standard part of development and auditing. Clocking in at well over 60,000 words, this is not a small book. But like any RareSkills publication, it’s information-dense yet approachable, thorough without being academic, and above all, practical and illuminating. In a space that quickly jumps from one meta to the next, we’re proud to collaborate with a company willing to invest in long-horizon projects that make Web3 safer. Link in the reply.
