Source | Book

Cairo is the first Turing-complete language for creating provable programs for general computation.

Built in Rust.


Tags: language  

Last modified 07 October 2024