dogear

enter for all results · esc to close

cairo

github.comtool

Cairo is the first Turing-complete language for creating provable programs for general computation. This is also the native language of StarkNet, a ZK-Rollup using STARK proofs

visit github.com ↗
0
sign in to save
from
Rust
added
2026-10-10
likes
0

Rust › Applications > Blockchain: “Cairo is the first Turing-complete language for creating provable programs for general computation. This is also the native language of StarkNet, a ZK-Rollup using STARK proofs”