Cairo

Cairo es el lenguaje de StarkNet para escribir programas verificables mediante pruebas de conocimiento cero (ZK-STARKs). Permite demostrar que un cálculo se hizo correctamente sin rehacerlo, clave para escalar blockchains. Su versión 1.0 adoptó una sintaxis tipo Rust.

• Creado por StarkWare
• Año 2020
• Paradigma: Orientado a pruebas · compilado
• Extensiones: .cairo

Para qué se usa

• StarkNet
• Pruebas de conocimiento cero
• Escalado de blockchain

A favor

• Pruebas ZK potentes
• Escala blockchains
• Sintaxis moderna (tipo Rust)

En contra

• Muy especializado
• Curva pronunciada
• Ecosistema joven

Ecosistema

• StarkNet
• Scarb
• Starkli
• Cairo VM

Ejemplo

fn main() {
    println!("¡Hola, mundo!");
}