Виталик Бутерин представил GKR-протокол для ускорения Proof-систем
Виталик Бутерин представляет протокол GKR
Сооснователь Ethereum Виталик Бутерин представил протокол GKR, предназначенный для быстрых систем доказательств.
GKR обеспечивает быстрые ZK-EVM и zk-ML доказательства, оптимизированные для вычислений с множеством слоев низкой степени и многочисленными повторяющимися функциями.
Протокол ориентирован на краткость, а не на приватность, но может достигать нулевого знания при обёртывании доказательств в ZK-SNARK или ZK-STARK.
Обязательства по входным и выходным данным, исключая промежуточные слои, повышают эффективность с использованием криптографических структур данных, таких как KZG или деревья Меркла.
Критика агентных AI-моделей
Бутерин раскритиковал акцент индустрии ИИ на автономные "агентные" модели, выступая за системы с большим участием человека.
Он поддерживает AI-модели с открытыми весами за их сильные возможности редактирования, что соответствует взглядам экспертов, таких как Андрей Карпаты.
Подчеркнул риски чрезмерной зависимости от ИИ в управлении.
