starkware-libs/cairo

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

语言：Rust · GitHub 星标：1,915 · Fork：791

话题：cairo · computational-integrity · starknet · zero-knowledge-proofs · zkp

在 GitHub 上查看原仓库