Демократизация вычислений с нулевым разглашением: сила сети Bonsai RISC Zero - Blockchain Capital

Демократизация вычислений с нулевым разглашением: сила сети Bonsai RISC Zero — Blockchain Capital

Исходный узел: 2773838

By Барт Стивенс, Райан Спроули Юань Хан Ли

Представьте себе мир, в котором конфиденциальность данных, безопасность и доверие больше не вызывают беспокойства, где цепочки поставок программного обеспечения прозрачны и поддаются проверке, а приложения нового поколения могут использовать возможности вычислений с нулевым разглашением для решения некоторых из самых насущных проблем цифровой век. Это обещание вычислений с нулевым разглашением (ZK) и причина, по которой мы инвестируем в RISC-ноль, новаторская компания, которая стремится демократизировать доступ к ZK через свою сеть Bonsai.

Вычисления с нулевым разглашением (ZK) — это революционный примитив, который позволяет приложениям и протоколам использовать три ключевых свойства: краткость, правильность и нулевое разглашение. Это означает, что, проверяя доказательство ZK (правильность), верификатор знает — с почти математической гарантией — что вычисления были выполнены правильно.

Более того, проверенное доказательство будет намного меньше (краткость), чем исходное вычисление, и свойство доказательства с нулевым разглашением также может быть использовано, чтобы гарантировать, что проверяющий ничего не узнает о самом вычислении. Это уникальное сочетание свойств имеет далеко идущие последствия и обеспечивает новый способ проверки информации. Вместе свойства уравновешивают потребности в конфиденциальности, безопасности и доверии, предлагая потенциал для более безопасного и частного цифрового мира. Но остается несколько препятствий, прежде чем ZK сможет полностью реализовать свой потенциал.

Во-первых, выполнение вычислений в ZK занимает слишком много времени и слишком дорого. Время и стоимость проверки должны резко сократиться, прежде чем сложные вычисления в ZK станут практичными. Хорошей новостью является то, что они резко сокращаются: траектория времени и стоимости проверки ZK следовала знакомой тенденции в истории технологий — будь то закон Мура, когда стоимость вычислений уменьшалась вдвое каждые два года, или закон Флэтли, когда стоимость секвенирование генома человека упало с еще большей скоростью, или закон Крайдера, согласно которому плотность магнитных дисков удваивается примерно каждые 13 месяцев. Недавние архитектурные достижения в системах проверки (Plonky2, Hyperplonk, STARK) наряду с достижениями в базовой криптографии (Poseidon) снизили объем накладных расходов, необходимых для создания ZK-доказательства любых вычислений. Хотя прогресс в этих областях будет продолжаться такими же темпами (особенно с недавним притоком талантов в ZK), накладные расходы также выиграют от достижений в аппаратном ускорении (MSM, NTT), которые до сих пор были недостаточно изучены. .

Другим большим препятствием для массового внедрения ZK является очень сложная математика и криптография, присущие системам ZK. Уровень глубины и опыта, необходимых для продвижения инноваций ZK, был строго ограничен небольшой группой высококвалифицированных технических разработчиков.

В идеале разработчики могут свободно писать программы на предпочитаемом ими языке, но при этом иметь возможность проверять вычисления с нулевым разглашением, без необходимости писать вручную и проектировать схемы на низкоуровневых языках программирования, специфичных для ZK. Именно здесь платформа RISC Zero Bonsai меняет правила игры для разработчиков по всему миру, и именно поэтому мы инвестируем в RISC Zero.

Создав виртуальную машину с нулевым разглашением (zkVM), которая эмулирует архитектуру набора инструкций RISC-V (ISA), RISC Zero создала систему, способную подтверждать выполнение низкоуровневого кода. Поскольку ISA является мостом между читаемым человеком кодом и машиночитаемыми инструкциями, это достижение означает, что сеть Bonsai может доказать любую высокоуровневую программу, которая может быть скомпилирована для этой архитектуры. Поскольку большинство современных языков программирования совместимы с RISC-V, Bonsai RISC Zero позволяет выполнять практически любую произвольную компьютерную программу с нулевым разглашением.

В будущем, когда вычисления с нулевым разглашением (ZK) станут обычным явлением, станут доступными многочисленные приложения, которые ранее были невозможны. К ним относятся не только приложения на основе Ethereum, использующие сеть Bonsai RISC Zero в качестве сопроцессора, выполняющие ресурсоемкую работу вне сети перед проверкой результатов в сети, но и распространяющиеся на приложения вне криптографии. Например, Bonsai может позволить белым хакерам доказать наличие уязвимостей и ошибок в системе безопасности без прямого раскрытия эксплойта. Это также может предотвратить будущие атаки цепочки поставок на программное обеспечение, позволяя пользователям загружать и проверять доказательства ZK, чтобы убедиться, что они запускают код, предварительно проверенный в Bonsai. Самое интересное, что широкое распространение бонсай может привести к совершенно новым вариантам использования, о которых мы еще не думали.

В дополнение к впечатляющим технологическим прорывам RISC Zero стоит невероятно сильная и уникальная команда. Три соучредителя —Брайан Ретфорд, Джереми Брюстли Фрэнк Лауб— знакомы более 20 лет. Их общая история включает в себя совместное создание нескольких компаний, самая последняя из которых занималась оптимизацией и компиляцией ИИ и в конечном итоге была приобретена Intel.

Каждый член трио привнес в RISC Zero богатый опыт: Брайан оттачивал свои навыки в Google Cloud Platform, где работал над системами ценообразования и измерения; Джереми, пожизненный энтузиаст математики, работал над ускорением GPU для секвенирования генов и имеет опыт работы в области криптографии, высокопроизводительных вычислений и безопасности; и Франк, который имеет большой опыт работы с компиляторами и разработал многочисленные кодовые базы. С их общей историей и разнообразным набором навыков, RISC-ноль команда обладает уникальными возможностями для обеспечения массовых вычислений с нулевым разглашением и, возможно, в процессе изменения цифрового ландшафта.

Когда мы смотрим в будущее, где широко распространены вычисления с нулевым разглашением, возможности для инноваций безграничны. Сеть RISC Zero Bonsai с ее способностью поддерживать широкий спектр языков программирования демократизирует вычисления ZK и позволит разработчикам создавать безопасные, частные и не требующие доверия приложения в различных областях. От усиления мер кибербезопасности до повышения доверия к цепочкам поставок программного обеспечения и резкого увеличения вычислительной мощности, доступной для сетевых приложений, потенциальное влияние вычислений с нулевым разглашением огромно. Сочетание быстро сокращающихся сроков и затрат на проверку ZK, преданной команды RISC Zero и появления Bonsai в качестве универсальной вычислительной платформы предвещает новую эру в вычислительной технике, в которой конфиденциальность, безопасность и доверие встроены в саму ткань. нашего цифрового мира.


Раскрытие информации: Blockchain Capital является инвестором нескольких упомянутых выше протоколов.

Мнения, выраженные в каждом сообщении в блоге, могут быть личными взглядами каждого автора и не обязательно отражают взгляды Blockchain Capital и ее аффилированных лиц. Ни Blockchain Capital, ни автор не гарантируют точность, адекватность или полноту информации, представленной в каждом сообщении блога. Blockchain Capital, автор или любое другое лицо не дает никаких заявлений или гарантий, явных или подразумеваемых, или от их имени в отношении точности, полноты или достоверности информации, содержащейся в любом сообщении в блоге, и мы не несем никакой ответственности или обязательств. за любую такую ​​информацию. Ничто, содержащееся в каждом сообщении в блоге, не является инвестиционным, нормативным, юридическим, налоговым или другим советом, и на него нельзя полагаться при принятии инвестиционного решения. Сообщения в блогах не следует рассматривать как текущие или прошлые рекомендации или предложения о покупке или продаже каких-либо ценных бумаг или принятии какой-либо инвестиционной стратегии. Сообщения в блогах могут содержать прогнозы или другие прогнозные заявления, основанные на убеждениях, предположениях и ожиданиях, которые могут измениться в результате многих возможных событий или факторов. В случае изменения фактические результаты могут существенно отличаться от тех, которые указаны в прогнозных заявлениях. Все прогнозные заявления действительны только на дату таких заявлений, и ни Blockchain Capital, ни каждый автор не берут на себя никаких обязательств по обновлению таких заявлений, за исключением случаев, предусмотренных законом. В тех случаях, когда любые документы, презентации или другие материалы, подготовленные, опубликованные или иным образом распространяемые Blockchain Capital, упоминаются в любом сообщении в блоге, такие материалы следует читать с особым вниманием к любым заявлениям об отказе от ответственности, содержащимся в них.

Отметка времени:

Больше от Blockchain Capital