StarkWare анонсировала запуск нового ZKP-прувера

Команда StarkWare — разработчика Ethereum-сети второго уровня StarkNet — объявила о запуске нового средства для проверки доказательств с нулевым разглашением (ZKP) под названием Stwo. This is Stwo-good-to-be-true!We are proud to announce: Stwo, our next-gen Circle-STARK-based prover✨Stwo will be built based on the recent mathematical advancement of Circle-STARKs to create super efficient and fast proofs. Yep, that means super scaling✨This trail-blazing… pic.twitter.com/45TpNLoow4— StarkWare (@StarkWareLtd) February 29, 2024 Согласно заявлению, Stwo представляет собой реализацию разработанного совместно с Polygon Labs протокола Circle STARK. Решение изначально является продуктом с открытым исходным кодом по лицензии Apache 2.0. В StarkWare назвали Stwo «сверхбыстрым проверочным инструментом» для ZKP. «Невероятно быстрая программа Stwo с открытым исходным кодом предоставит разработчикам StarkNet оптимизированный опыт верификации на всех фронтах. И да, это приведет к более дешевым транзакциям для пользователей», — заявили разработчики. По их словам, новый прувер появился в результате теоретической работы, начатой около двух лет назад. Специалисты StarkWare тогда решили адаптировать классический протокол STARK к двум основным криптографическим кривым: secp256k1 и secp256r1. Своей задачей они поставили обход ограничений на использование полей простых чисел меньшего размера, что снижало эффективность. В комментарии для The Block в рамках конференции ETHDenver представители StarkWare заявили, что Stwo позволит реализовать «сверхэффективные» доказательства, сокращая задержки и затраты на обработку.  По мнению команды, это должно привести к снижению транзакционных комиссий и снятию ограничений в существующем прувере Stone. Напомним, в феврале разработчики StarkNet из Herodotus в партнерстве со StarkWare представили Cairo Verifier — систему проверки криптографических доказательств для масштабирования L3-сетей