“ZK-доказательства заменяют реплицируемые вычисления на проверяемые вычисления - и этот единственный сдвиг открывает ‘бесконечные вычисления’ для Web3.” - @no89thkey, соучредитель @brevis_zk Проверяемые вычисления меняют роль блокчейнов с “выполнения всей работы” на проверку того, что работа была выполнена правильно. Вместо того чтобы каждый узел повторно выполнял одни и те же тяжелые вычисления, доказатель выполняет их вне цепи, генерирует доказательство с нулевым знанием, а цепь проверяет это доказательство дешево в цепи. На Verifying Intelligence 3.0 генеральный директор Brevis Майкл объясняет, как эта модель открывает такие функции, как логика DeFi, требующая больших объемов данных, историческая аналитика в цепи и “бесконечные вычисления” для Web3, не нарушая бюджетов на газ. Если вы хотите узнать о передовых достижениях этой захватывающей новой парадигмы, смотрите полное выступление: