Cairo (programming language)

GPTKB entity

Statements (25)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:designedFor blockchain applications
gptkbp:developer gptkb:StarkWare
gptkbp:fileExtension .cairo
gptkbp:firstAppearance 2021
https://www.w3.org/2000/01/rdf-schema#label Cairo (programming language)
gptkbp:influenced gptkb:assembly_language
gptkb:Rust
functional programming languages
gptkbp:latestReleaseVersion v2.x (as of 2024)
gptkbp:license gptkb:Apache_License_2.0
gptkbp:notableFeature STARK-friendly
designed for provable computation
enables scalable blockchain computation
gptkbp:openSource yes
gptkbp:paradigm functional programming
Turing-complete
gptkbp:primaryUse gptkb:StarkNet
gptkb:StarkEx
gptkbp:supports arbitrary computation
gptkbp:usedFor zero-knowledge proofs
smart contracts
gptkbp:website https://www.cairo-lang.org/
gptkbp:bfsParent gptkb:StarkWare
gptkbp:bfsLayer 6