BTC $81,724.38 -1.40%
ETH $2,409.39 -1.27%
BNB $735.55 -0.73%
XRP $1.32 -1.82%
SOL $104.51 -0.89%
TRX $0.3289 -0.39%
DOGE $0.0795 -1.19%
ADA $0.2154 -2.63%
BCH $282.61 +0.32%
LINK $12.13 -1.65%
HYPE $78.09 -1.94%
AAVE $148.63 -1.24%
SUI $0.9893 -1.87%
XLM $0.1771 -2.10%
ZEC $1,233.56 -5.03%
AAPL $347.87 +1.01%
AMZN $250.97 -3.80%
GOOGL $325.22 -2.16%
MSFT $520.16 -2.09%
META $647.86 -8.50%
NVDA $214.13 -2.26%
TSLA $376.17 +1.55%
SNDK $1,268.08 -5.59%
INTC $86.78 -3.33%
SPCX $147.88 -5.39%
MU $866.96 -3.16%
AMD $515.57 -4.32%
BTC $81,724.38 -1.40%
ETH $2,409.39 -1.27%
BNB $735.55 -0.73%
XRP $1.32 -1.82%
SOL $104.51 -0.89%
TRX $0.3289 -0.39%
DOGE $0.0795 -1.19%
ADA $0.2154 -2.63%
BCH $282.61 +0.32%
LINK $12.13 -1.65%
HYPE $78.09 -1.94%
AAVE $148.63 -1.24%
SUI $0.9893 -1.87%
XLM $0.1771 -2.10%
ZEC $1,233.56 -5.03%
AAPL $347.87 +1.01%
AMZN $250.97 -3.80%
GOOGL $325.22 -2.16%
MSFT $520.16 -2.09%
META $647.86 -8.50%
NVDA $214.13 -2.26%
TSLA $376.17 +1.55%
SNDK $1,268.08 -5.59%
INTC $86.78 -3.33%
SPCX $147.88 -5.39%
MU $866.96 -3.16%
AMD $515.57 -4.32%

zk-stark

Все
Статьи
Новости

Виталик предложил решение "крайне упрощенной цепи", валидаторы ежедневно подают доказательства STARK, состояние хранения сжимается до 6 байт

Сообщение ChainCatcher, соучредитель Ethereum Виталик Бутерин представил предложение «The Extremely Lean Chain», в котором показано, как радикально сократить требования к состоянию консенсусной цепи Ethereum на фоне обновления «Lean». Этот план переносит ответственность на валидаторов, которые управляют состоянием и регулярно подтверждают его с помощью ZK-доказательств, тем самым устраняя нагрузку на обработку за каждую эпоху и потенциально поддерживая миллионы валидаторов.Основные механизмы включают: удаление публичных ключей валидаторов из состояния цепи, хранение только индекса дерева депозитов; отмену обработки реальных вознаграждений и наказаний, валидаторы ежедневно генерируют STARK-доказательства своего участия и обновляют баланс; полную случайную переатрибуцию идентичности валидаторов каждый день, достигая сильной анонимности с помощью ZK-STARK, адреса вывода раскрываются только при выводе и не связываются с депозитами или активностью в цепи. Виталик заявил, что этот план может сократить требования к состоянию каждого валидатора с примерно 180 байт до 6 байт на основе обновлений, таких как окончательность в одном временном слоте и агрегация квантовых подписей. Стоимость доказательства для одного валидатора составляет около 5400 обработанных ветвей Меркла в день, что можно выполнить на обычном оборудовании за 1 час, и можно снизить нагрузку на цепь с помощью агрегированных доказательств. Кроме того, этот дизайн может «почти бесплатно» реализовать функцию выборов одного секретного лидера, 1 день — это консервативная длина цикла, 1 час — это нижний предел.
app_icon
ChainCatcher Building the Web3 world with innovations.