Во вторник 24 января в 11 часов утра по восточному времени UF проведет совместную Twitter-сессию с @StarkWareLtd.
@StarkWareLtd и @nethermindeth.
Мы обсудим предложение по развертыванию v3 в StarkNet, а также новые вопросы, возникающие в связи с тем, что это будет первое развертывание v3 без EVM.
Резюме
Это предложение предоставит команде Nethermind 9 освобождение от BSL для Uniswap v3 для развертывания Uniswap v3 на StarkNet mainnet 11.
StarkNet - это ZK-роллап без разрешений, который наследует безопасность от Ethereum mainnet. В StarkNet работает CairoVM, виртуальная машина, оптимизированная для генерации доказательств нулевого знания о переходах состояний L2. Cairo - это язык высокого уровня, используемый для написания смарт-контрактов в StarkNet.
Warp - это транспилятор с Solidity на Cairo, разработанный командой Nethermind. Nethermind успешно использовала Warp для транспиляции контрактов Uniswap v3 Core в Cairo. Uniswap v3 Core в настоящее время работает в локальной тестовой сети StarkNet, проходя все предоставленные тесты. Команда Nethermind может использовать Warp для транспонирования кодовой базы Uniswap v3 и развертывания ее в StarkNet.
Временная шкала
Если проект будет принят, сообщество может ожидать, что Uniswap v3 будет полностью развернут и поддерживаться в основной сети StarkNet ко второму кварталу 2023 года. Команда Nethermind может быть готова развернуть транспилированную и протестированную версию Uniswap v3 Core in Cairo в основной сети StarkNet уже сегодня. Хотя такое развертывание вполне жизнеспособно, некоторые ключевые оптимизации, которые позволят развертыванию StarkNet Uniswap v3 наилучшим образом воспользоваться преимуществами экосистемы StarkNet, не за горами. Ниже приводится схема наших текущих сроков и их обоснование.
Безопасность и мосты StarkNet
Zk-роллапы были признаны золотым стандартом решений для масштабирования Ethereum. Это признание происходит благодаря сильным гарантиям безопасности доказательств zk-валидности о переходах состояний L2. Благодаря сильным криптографическим гарантиям, связанным с генерацией и проверкой доказательств нулевого знания, мы можем быть уверены, что секвенсор не может предложить недействительные переходы состояния L2. StarkNet позволяет безопасно передавать общие сообщения между L1<>L2- используя доказательства достоверности, так что секвенсор, агент, ответственный за передачу сообщений L1<>L2, не может лгать о состоянии или создавать ложные сообщения из исходной цепочки. Единственная возможная вредоносная деятельность заключается в том, что секвенсор может прекратить отправку сообщений, заморозив коммуникацию L1<>L2. После регенерации StarkNet пользователи могут принудительно осуществлять транзакции L2 из L1 без согласия секвенсора. В настоящее время секвенсор управляется и поддерживается компанией Starkware, но существует план децентрализации роли секвенсора в 2023 году.
Источник