Cairo
Cairo is StarkNet's language for writing programs verifiable via zero-knowledge proofs (ZK-STARKs). It lets you prove a computation was done correctly without redoing it, key to scaling blockchains. Its 1.0 version adopted a Rust-like syntax.
- Creado por StarkWare
- Año 2020
- Paradigma: Proof-oriented · compiled
- Extensiones: .cairo
Para qué se usa
- StarkNet
- Zero-knowledge proofs
- Blockchain scaling
A favor
- Powerful ZK proofs
- Scales blockchains
- Modern (Rust-like) syntax
En contra
- Very specialized
- Steep curve
- Young ecosystem
Ecosistema
- StarkNet
- Scarb
- Starkli
- Cairo VM
Ejemplo
fn main() {
println!("¡Hola, mundo!");
}