fn hello() -> felt252 {
'Hello, World!'
}
fn main() {
let greeting: felt252 = hello();
println!("{greeting}");
}
Пишемо код, схожий на Rust, і генеруємо доведення виконання програм - математика не перешкода.
Cairo створює програми, роботу яких можна довести, що дає змогу обчислювати достовірні значення на ненадійних машинах.
Cairo компілюється у вузькоспеціалізований асемблер, створений саме для ефективної генерації доведень.
Cairo використовує модель незмінної памʼяті, що підвищує цілісність даних і безпеку.
Від блокчейн-ігор до машинного навчання з доведенням: Cairo дає змогу створювати застосунки, яким не потрібна довіра.
Cairo - це мова, що швидко розвивається і постійно дарує розробникам нові цікаві можливості.