#
creusot
Here are 4 public repositories matching this topic...
A small, formally verified Solana program in Pinocchio: hermetic builds, zero-copy wire data, Creusot proofs. Companion repo for a 3-part article series.
-
Updated
Jul 13, 2026 - Rust
Experiments in verifying published Rust crates with Creusot
-
Updated
Jul 25, 2026 - Rust
Improve this page
Add a description, image, and links to the creusot topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the creusot topic, visit your repo's landing page and select "manage topics."