Команда 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.