privacy
portal
Today
Compass
Live
Explorer
Learn
Academy
Library
Glossary
Research
Compass methodology
Community
Stacks
Events
People
Jobs
Awards
Ideas
My Privacy
Search
⌘K
My Stack
–
Menu
Search
⌘K
My Stack
–
Explorer
Learn
Academy
Library
Glossary
Research
Compass methodology
Community
Stacks
Events
People
Jobs
Awards
Ideas
Today
Compass
Live
Search
My Privacy
Edit project: Cairo
Suggest corrections or updates for this Explorer project.
Draft
edit
Project ID
Review state
Draft
Ready for review
Name
Tagline
Description
The Rust-inspired language that makes it easy to build scalable dApps with the power of validity proofs. Cairo is the first Turing-complete language for creating provable programs for general computation. Cairo lets you write provable programs without requiring a deep understanding of the underlying ZK concepts. From onchain gaming to provable ML, Cairo makes building trustless applications possible. Cairo is also the smart-contract language of Starknet, an L2 blockchain that is verified over Ethereum.
Website
Categories
Use-cases
Submitted by
Contact
Save Explorer draft