BTC $81,782.42 -1.11%
ETH $2,403.71 -1.33%
BNB $742.33 +0.44%
XRP $1.33 -1.17%
SOL $104.44 -0.44%
TRX $0.3293 -0.28%
DOGE $0.0798 -0.12%
ADA $0.2168 -0.76%
BCH $285.56 +2.64%
LINK $12.20 -0.10%
HYPE $78.23 -0.75%
AAVE $149.58 +0.07%
SUI $1.00 +0.20%
XLM $0.1782 -0.50%
ZEC $1,225.42 -2.99%
AAPL $346.77 +0.83%
AMZN $250.65 -3.32%
GOOGL $324.68 -2.05%
MSFT $516.86 -2.46%
META $647.74 -7.89%
NVDA $214.57 -1.61%
TSLA $377.77 +2.46%
SNDK $1,299.58 -2.61%
INTC $87.76 -2.01%
SPCX $148.91 -4.59%
MU $882.39 -0.39%
AMD $518.73 -3.04%
BTC $81,782.42 -1.11%
ETH $2,403.71 -1.33%
BNB $742.33 +0.44%
XRP $1.33 -1.17%
SOL $104.44 -0.44%
TRX $0.3293 -0.28%
DOGE $0.0798 -0.12%
ADA $0.2168 -0.76%
BCH $285.56 +2.64%
LINK $12.20 -0.10%
HYPE $78.23 -0.75%
AAVE $149.58 +0.07%
SUI $1.00 +0.20%
XLM $0.1782 -0.50%
ZEC $1,225.42 -2.99%
AAPL $346.77 +0.83%
AMZN $250.65 -3.32%
GOOGL $324.68 -2.05%
MSFT $516.86 -2.46%
META $647.74 -7.89%
NVDA $214.57 -1.61%
TSLA $377.77 +2.46%
SNDK $1,299.58 -2.61%
INTC $87.76 -2.01%
SPCX $148.91 -4.59%
MU $882.39 -0.39%
AMD $518.73 -3.04%

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.