Эфириум предложил EIP-8440 предложение о доказательстве выполнения цепи: поддержка синхронизации цепи с постоянным временем
Участник Ethereum Франческо Ризитано (@frisitano) представил проект предложения EIP-8440 (доказательство выполнения цепи). Это предложение использует механизм рекурсивного нулевого знания для доказательства законности всех исполняемых полезных нагрузок от заголовка сигнального блока до исходного сигнального блока и связывает их с сигнальной цепью.Узлы могут установить полную исполняемую законность от слабой субъективной контрольной точки до последнего заголовка блока с помощью единственного доказательства, обеспечивая синхронизацию цепи за постоянное время.