Масштабируемое решение Ethereum Starks с 550 Tx / s запускается в Testnet

Решение, которое может значительно увеличить пропускную способность эфириума за счет использования старков, было запущено в тестовой сети по протоколу 0x, децентрализованному обмену (dex). Мэтт Тейлор из 0x говорит :
«Stark DEX-это децентрализованная биржевая инфраструктура, которая использует STARKs для удаления стеклянного потолка на торговле, не связанной с хранением, и позволяет криптобиржам предлагать своим клиентам торговлю в масштабе, без риска встречной стороны.
Сегодня система на максимальной мощности может осуществлять 8000 транзакций в блок, что более 550 транзакций в секунду и в 200 раз дешевле с точки зрения затрат на газ.”
При этом используется уже знакомая нам модель, когда вы вкладываете средства в смарт-контракт со счетами, а затем держите их вне цепочки, используя доказательства на основе stark, используемых для проверки того, что никто не обманывает в любой момент. Или более технически, согласно 0x:
Online advertising service 1lx.online
«DEX (или в Alpha, симуляторе) отправляет партию 0x заказов в службу StarkDEX, управляемую StarkWare.
Служба StarkDEX проверяет подписи каждой транзакции в пакете и действительность транзакций. Затем служба StarkDEX сохраняет данные вне цепочки и добавляет их к трассе выполнения, которую они хранят.
Служба StarkDEX создает подтверждение действительности всего пакета и отправляет его вместе с самым последним корневым каталогом состояния, который будет проверен контрактом верификатора в цепочке, который проверяет подтверждение и отправляет корневой каталог состояния в контракт DEX. для хранения.
Контракт верификатора соединяется с конвейером интеллектуального контракта 0x, который перемещает партию для подтверждения в блокчейне Ethereum».
Новым здесь является использование Старков для сжатия транзакций. Мы не знаем ни о каком другом проекте, делающем нечто подобное, это должно быть довольно новой вещью.
[irp]
Кодеры, по-видимому, нашли способ использовать ZK-snarks, но без надежной настройки. Таким образом, Старки — это новый прогресс в доказательстве с нулевым знанием, а математический метод позволяет вам что-то доказывать, не раскрывая конкретных деталей. Как вы можете доказать, что адрес имеет 1 eth, не раскрывая того, имеет ли он 1,1 eth или 1000.
Online advertising service 1lx.online
По словам Виталика Бутерина, изобретателя ethereum, «STARK также создаются примерно на один порядок быстрее», — говорит он, но, по словам другого разработчика, «доказательства занимают гораздо больше места и требуют более мощных вычислительных ресурсов».
У них есть симуляция того, как это работает, с транзакцией в тестовой сети, показывающей комиссию 0,12 и около $28, за 1024 сделки, которые мы принимаем за транзакции.
Текущая ставка для простой транзакции составляет 10 центов. Здесь 2 цента были заплачены за транзакцию.
Все 1024 сделки заняли 6 240 131 газ, что близко к пределу всего блока в 8 миллионов.
Обычные транзакции требуют 21 000 единиц газа, а для токенов — около 50 000. Для простых транзакций на все сделки потребовалось бы 21 миллион газа, а для токенов — 50 миллионов.
Таким образом, увеличение емкости здесь составляет примерно от 4х до почти 10х, но в проекте говорится, что при максимальной мощности оно может включать 8000 транзакций, что будет увеличением масштабируемости примерно в 100 раз на более высоком уровне.
К сожалению, etherscan не показывает, сколько байт это заняло, так как это может иметь отношение к хранилищу и другим вопросам, связанным с емкостью, но похоже, что существует значительное сжатие транзакций.
Как своего рода метод второго уровня, но без компромисса между каналами и всем остальным, это увеличило бы пропускную способность эфириума даже поверх шардинга.
Делая это актуальным как в краткосрочной, так и в долгосрочной перспективе, особенно когда речь идет о дексах, поскольку, как представляется, нет особых причин не использовать старки.