Certora Prover Documentation

Contents

Certora User’s Guide
The Certora Verification Language
The Certora Prover
Sunbeam: Formal Verification for WebAssembly
The Certora Solana Prover
Sui Prover: Verifying Move Contracts for Sui
Gambit: Mutation Generator for Solidity

Additional information

The Certora Equivalence Checker
Certora Technology White Paper

Index

Certora Prover Documentation

Sunbeam: Formal Verification for WebAssembly
View page source

Sunbeam: Formal Verification for WebAssembly

Certora Sunbeam enables formal verification of WASM programs. See the Certora Sunbeam Tutorials to learn how to use it!

Contents:

Installation
User Guide For Sunbeam
Troubleshooting

Previous Next

© Copyright 2026, Certora, Inc.

Built with Sphinx using a theme provided by Read the Docs.