BTC $82,966.85 +0.70%
ETH $2,506.90 +1.13%
BNB $750.13 +1.25%
XRP $1.40 +1.03%
SOL $110.24 +1.45%
TRX $0.3306 -0.39%
DOGE $0.0858 +0.89%
ADA $0.2528 +5.43%
BCH $280.74 +2.21%
LINK $13.06 +2.43%
HYPE $85.52 +1.89%
AAVE $169.32 +1.58%
SUI $1.11 +5.12%
XLM $0.1971 +1.89%
ZEC $1,222.00 +1.30%
AAPL $336.38 +0.01%
AMZN $262.43 -0.11%
GOOGL $351.38 -0.17%
MSFT $535.23 -0.03%
META $719.39 +0.10%
NVDA $230.55 +0.43%
TSLA $382.75 -0.03%
SNDK $1,598.93 +1.18%
INTC $105.19 +0.58%
SPCX $163.69 +0.55%
MU $1,036.89 +0.69%
AMD $609.54 +0.31%
BTC $82,966.85 +0.70%
ETH $2,506.90 +1.13%
BNB $750.13 +1.25%
XRP $1.40 +1.03%
SOL $110.24 +1.45%
TRX $0.3306 -0.39%
DOGE $0.0858 +0.89%
ADA $0.2528 +5.43%
BCH $280.74 +2.21%
LINK $13.06 +2.43%
HYPE $85.52 +1.89%
AAVE $169.32 +1.58%
SUI $1.11 +5.12%
XLM $0.1971 +1.89%
ZEC $1,222.00 +1.30%
AAPL $336.38 +0.01%
AMZN $262.43 -0.11%
GOOGL $351.38 -0.17%
MSFT $535.23 -0.03%
META $719.39 +0.10%
NVDA $230.55 +0.43%
TSLA $382.75 -0.03%
SNDK $1,598.93 +1.18%
INTC $105.19 +0.58%
SPCX $163.69 +0.55%
MU $1,036.89 +0.69%
AMD $609.54 +0.31%

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.