# How can I make Verus verification faster?

Replace cargo verus verify with Sail to reuse solver answers and proofs across edits.

Author: Jeffrey Kent
Canonical: https://jeffreykent.dev/answers/faster-verus/
Published: 2026-11-01
Updated: 2026-11-01
Source: https://github.com/Chelis-Lang/sail/blob/v0.1.0/docs/performance.md
Source revision: b7666c37d305efdb2a3ed34af6f3dd41d9539495

Run `sail verify` instead of `cargo verus verify`. [Sail](/software/sail/) is an open-source replacement that avoids repeating work: it caches Z3 answers, keeps unchanged target proofs and restores earlier proofs after an undo.

In the [release benchmarks](https://github.com/Chelis-Lang/sail/blob/v0.1.0/docs/performance.md), one-line edits verified 1.2 to 2.5 times faster across the tested projects. A Vest revert on Linux took 1.1 seconds with Sail versus 39 seconds with stock Verus.

Your project and specifications stay the same. To switch back, run `cargo verus verify` again.