Creusot helps you prove your code is correct in an automated fashion.
-
Updated
Jun 20, 2025 - Rust
#
proof
Here are 9 public repositories matching this topic...
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
rust proof verification rust-lang formal-methods sat-solver minisat formal-verification sat automated-reasoning satisfiability deductive-reasoning
-
Updated
Jun 13, 2025 - Rust
A Rust implementation of the Provisions protocol
-
Updated
Apr 17, 2019 - Rust
A history-of-ownership protocol to stop misinformation
-
Updated
Jan 5, 2025 - Rust
Simplified Blockchain: A Playful Approach
rust toy blockchain proof transaction cargo educational merkle-tree zero-knowledge simplified zk-snarks zk-rollup
-
Updated
Aug 18, 2024 - Rust
It works! A small rust cli tool to generate signed Verifiable Credentials given an unsigned credential and a jwk
security identity crypto credentials secret proof key public-key jwk jws public-key-cryptography did private-key verifiable-credentials digital-credentials spruceid
-
Updated
May 7, 2024 - Rust
-
Updated
Jan 19, 2020 - Rust
Improve this page
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."