" Институт исследований и разработок с нулевым разглашением StarkWare сообщил, что теперь доступен набор инструментов Cairo, включая компилятор, виртуальную машину, инструменты IDE, документацию и многое другое.
1 / Cairo toolchain now available: compiler, VM, IDE tools, documentation and more.
Cairo: Turing-complete language for writing provable programs.
We are excited to see what the community will do with it. https://t.co/U20GERvpse
— StarkWare (@StarkWareLtd) December 28, 2020
STARK - это система доказательства с нулевым разглашением (ZKP), которая является прозрачной (без доверенной настройки), обладает постквантовой безопасностью и хорошо подходит для решения самых больших проблем масштабируемости блокчейна. Решение L2 на основе STARK позволяет масштабировать блокчейны, полагаясь на криптографические доказательства, созданные автономным прувером, работающим в облаке, а затем проверенные с помощью смарт-контракта в цепочке.
Доказательства ZK-STARK не содержат информации о частных входах и не имеют привязки. В сочетании с другими криптографическими инструментами ZK-STARK можно использовать для полной и доказуемой защиты пользовательских данных.
Cairo представляет собой полный по Тьюрингу фреймворк для STARKs, на основе которого разрабатывают в основном высокопроизводительные децентрализованные торговые приложения. В частности на основе Cairo разработан StarkEx 2.0 - решения второго уровня для децентрализованного кроссчейнового обмена активами, которое лежит в основе DeFi-платформы DeversiFi.
