Cairo
Язык программирования для создания доказуемых программ в экосистеме StarkNet и STARK-технологий.
Cairo — язык, разработанный StarkWare для написания программ, исполнение которых можно криптографически доказать с помощью STARK-доказательств. Назван в честь Каира — столицы Египта, как отсылка к «иероглифам» вычислений.
Принцип: Cairo-программа компилируется в трейс исполнения, который Prover преобразует в STARK-доказательство. Верификатор может проверить корректность вычислений за миллисекунды, независимо от их сложности. Это основа масштабирования через валидити-роллапы.
Применение: StarkNet — L2-решение для Ethereum, где все транзакции исполняются в Cairo и подтверждаются STARK-доказательствами. Cairo 1.0 значительно улучшил синтаксис, приблизив его к Rust. Экосистема растёт: децентрализованные биржи, игры и DeFi-протоколы строятся на StarkNet с использованием Cairo.
Связанные термины
Ещё из раздела «Блокчейн»
Хеш (Hash)
Результат криптографической хеш-функции — уникальная строка фиксированной длины, полученная из входных данных любого размера.
Узел сети (Node)
Компьютер, подключённый к блокчейн-сети, хранящий копию реестра и участвующий в валидации транзакций.
Блок (Block)
Пакет данных, содержащий набор подтверждённых транзакций и связанный с предыдущим блоком в цепочке.
Транзакция (Transaction)
Запись о переводе криптовалюты или вызове смарт-контракта, подписанная приватным ключом отправителя.
Дерево Меркла (Merkle Tree)
Иерархическая структура хешей, позволяющая эффективно и безопасно верифицировать целостность больших наборов данных.
Доказательство работы (Proof-of-Work)
Консенсусный механизм, требующий от майнеров затрат вычислительной мощности для создания новых блоков.