Cairo is the first Turing-complete language for creating provable programs for general computation.
-
Updated
Dec 14, 2024 - Rust
#
computational-integrity
Here are 2 public repositories matching this topic...
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
-
Updated
Mar 7, 2024 - Rust
Improve this page
Add a description, image, and links to the computational-integrity topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the computational-integrity topic, visit your repo's landing page and select "manage topics."