Команда StarkWare представила верификатор доказательств L3-сетей
Разработчики решения второго уровня StarkNet из Herodotus в партнерстве со StarkWare представили Cairo Verifier — систему проверки криптографических доказательств для масштабирования L3-сетей.
Time to unlock L3!We are excited to announce that the launch of a Cairo Verifier on Starknet is coming soon!Following a collaboration between @HerodotusDev and @StarkWareLtd, the Cairo verifier will enable the verification of Cairo proofs directly on Starknet.This means:… pic.twitter.com/IPTFHeQXxz
— Starknet 🦇🔊 (@Starknet) February 8, 2024
В беседе с The Block соучредитель Herodotus Касперу Козиолу сообщил, что систему запустят в «ближайшие недели».
Cairo Verifier позволит разработчикам выполнять проверяемые вычисления с использованием zk-STARK на StarkNet для обеспечения безопасности dapps на L3.
Механизм не задействует мейннет Ethereum и способствует сокращению задержек и затрат на проверку.
По словам команды, реализация инициативы создает предпосылки для развития экосистемы решений третьего уровня.
В настоящее время в процессе валидации в StarkNet участвуют проверяющий и верификатор SHARP, который отправляет криптографические доказательства в основную сеть Ethereum для проверки. Cairo Verifier расширяет применение zk-STARK до L3-сетей.
Напомним, в январе разработчики StarkNet и Celestia договорились о сотрудничестве в целях повышения доступности данных в экосистеме решений третьего уровня. Его условия предполагает использование модульного блокчейна для автономного масштабирования в целях минимизации транзакционных издержек.
Ранее сообщество StarkNet поддержало развертывание в основной сети обновления Alpha v0.13.0. Апдейт реализует возможность оплаты транзакционных комиссий нативными токенами STRK наряду с ETH.
