Оригинальные тексты: Барт Стивенс, Райан Спроул и Юань Хань Ли.
《Демократизация вычислений с нулевым разглашением: сила сети Bonsai RISC Zero》
Редактор: Zen, PANews
19 июля RISC Zero, инфраструктурная компания, созданная для помощи разработчикам в разработке программного обеспечения с нулевой защитой, объявила о завершении раунда финансирования серии A на сумму 40 миллионов долларов США под руководством Blockchain Capital при участии Galaxy Digital, IOSG и других. В качестве ведущего инвестора Blockchain Capital написала статью, анализирующую развитие вычислений с нулевым разглашением, характеристики и преимущества RISC Zero, и PANews скомпилировала ее.
Представьте себе мир, в котором конфиденциальность данных, безопасность и доверие больше не вызывают беспокойства, где цепочки поставок программного обеспечения прозрачны и поддаются проверке, а приложения нового поколения могут использовать возможности вычислений с нулевым разглашением для решения некоторых из самых насущных проблем цифровой век. Это обещание вычислений с нулевым разглашением (ZK) и то, почему мы инвестировали в RISC Zero, новаторскую компанию, которая стремится демократизировать доступ к ZK через свою сеть Bonsai.
Вычисления с нулевым разглашением — это революционный примитив, который позволяет приложениям и протоколам использовать три ключевых свойства: простоту, правильность и нулевое разглашение. Это означает, что, проверяя доказательство 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, использующие сеть RISC Zero Bonsai в качестве сопроцессора (выполняющую ресурсоемкую работу вне сети перед проверкой результатов в сети), но также выходит за рамки криптовалют. Bonsai, например, позволяет хакерам в белой шляпе доказывать наличие дыр в безопасности и ошибок, не раскрывая их напрямую. Это также может предотвратить будущие атаки цепочки поставок на программное обеспечение, позволяя пользователям загружать и проверять доказательства ZK, чтобы убедиться, что код, который они запускают, предварительно проверен в Bonsai. Самое интересное, что широкое распространение бонсай может привести к совершенно новым вариантам использования, о которых мы еще не думали.
Помимо впечатляющего технологического прорыва, за RISC Zero стоит сильная и уникальная команда. ** Трое соучредителей, Брайан Ретфорд, Джереми Брюстл и Фрэнк Лауб, знают друг друга более 20 лет. Их общий опыт включает в себя соучредительство нескольких компаний, совсем недавно предприятие по оптимизации и компиляции ИИ, которое в конечном итоге было приобретено Intel. **
Каждый член трио привносит в RISC Zero богатый опыт: Брайан работал над системами ценообразования и измерения в Google Cloud Platform; Джереми — пожизненный энтузиаст математики, работающий над ускорением графического процессора для генетического секвенирования. вычислений (HPC) и безопасности; Фрэнк имеет большой опыт работы с компиляторами и создал множество кодовых баз. Обладая общей историей и разнообразными наборами навыков, команда RISC Zero имеет уникальные возможности для распространения вычислений с нулевым разглашением в массы, потенциально изменяя цифровой ландшафт в процессе.
Поскольку мы смотрим в будущее, где широко доступны вычисления с нулевым разглашением, возможности для инноваций безграничны. Сеть RISC Zero Bonsai, способная поддерживать широкий спектр языков программирования, демократизирует вычисления ZK и позволит разработчикам создавать безопасные, частные и не требующие доверия приложения в различных областях. От усиления мер кибербезопасности до повышения доверия к цепочкам поставок программного обеспечения и резкого увеличения вычислительной мощности, доступной для сетевых приложений, потенциальное влияние вычислений с нулевым разглашением огромно. Быстро сокращающиеся сроки и стоимость проверки ZK, лояльная команда RISC Zero и появление Bonsai в качестве универсальной вычислительной платформы предвещают новую эру вычислений — с конфиденциальностью, безопасностью и доверием, встроенными в ткань нашего цифрового мира.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Blockchain Capital: Почему мы возглавили раунд финансирования ZK RISC Zero на сумму 40 миллионов долларов?
Оригинальные тексты: Барт Стивенс, Райан Спроул и Юань Хань Ли.
《Демократизация вычислений с нулевым разглашением: сила сети Bonsai RISC Zero》
Редактор: Zen, PANews
19 июля RISC Zero, инфраструктурная компания, созданная для помощи разработчикам в разработке программного обеспечения с нулевой защитой, объявила о завершении раунда финансирования серии A на сумму 40 миллионов долларов США под руководством Blockchain Capital при участии Galaxy Digital, IOSG и других. В качестве ведущего инвестора Blockchain Capital написала статью, анализирующую развитие вычислений с нулевым разглашением, характеристики и преимущества RISC Zero, и PANews скомпилировала ее.
Представьте себе мир, в котором конфиденциальность данных, безопасность и доверие больше не вызывают беспокойства, где цепочки поставок программного обеспечения прозрачны и поддаются проверке, а приложения нового поколения могут использовать возможности вычислений с нулевым разглашением для решения некоторых из самых насущных проблем цифровой век. Это обещание вычислений с нулевым разглашением (ZK) и то, почему мы инвестировали в RISC Zero, новаторскую компанию, которая стремится демократизировать доступ к ZK через свою сеть Bonsai.
Вычисления с нулевым разглашением — это революционный примитив, который позволяет приложениям и протоколам использовать три ключевых свойства: простоту, правильность и нулевое разглашение. Это означает, что, проверяя доказательство 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, использующие сеть RISC Zero Bonsai в качестве сопроцессора (выполняющую ресурсоемкую работу вне сети перед проверкой результатов в сети), но также выходит за рамки криптовалют. Bonsai, например, позволяет хакерам в белой шляпе доказывать наличие дыр в безопасности и ошибок, не раскрывая их напрямую. Это также может предотвратить будущие атаки цепочки поставок на программное обеспечение, позволяя пользователям загружать и проверять доказательства ZK, чтобы убедиться, что код, который они запускают, предварительно проверен в Bonsai. Самое интересное, что широкое распространение бонсай может привести к совершенно новым вариантам использования, о которых мы еще не думали.
Помимо впечатляющего технологического прорыва, за RISC Zero стоит сильная и уникальная команда. ** Трое соучредителей, Брайан Ретфорд, Джереми Брюстл и Фрэнк Лауб, знают друг друга более 20 лет. Их общий опыт включает в себя соучредительство нескольких компаний, совсем недавно предприятие по оптимизации и компиляции ИИ, которое в конечном итоге было приобретено Intel. **
Каждый член трио привносит в RISC Zero богатый опыт: Брайан работал над системами ценообразования и измерения в Google Cloud Platform; Джереми — пожизненный энтузиаст математики, работающий над ускорением графического процессора для генетического секвенирования. вычислений (HPC) и безопасности; Фрэнк имеет большой опыт работы с компиляторами и создал множество кодовых баз. Обладая общей историей и разнообразными наборами навыков, команда RISC Zero имеет уникальные возможности для распространения вычислений с нулевым разглашением в массы, потенциально изменяя цифровой ландшафт в процессе.
Поскольку мы смотрим в будущее, где широко доступны вычисления с нулевым разглашением, возможности для инноваций безграничны. Сеть RISC Zero Bonsai, способная поддерживать широкий спектр языков программирования, демократизирует вычисления ZK и позволит разработчикам создавать безопасные, частные и не требующие доверия приложения в различных областях. От усиления мер кибербезопасности до повышения доверия к цепочкам поставок программного обеспечения и резкого увеличения вычислительной мощности, доступной для сетевых приложений, потенциальное влияние вычислений с нулевым разглашением огромно. Быстро сокращающиеся сроки и стоимость проверки ZK, лояльная команда RISC Zero и появление Bonsai в качестве универсальной вычислительной платформы предвещают новую эру вычислений — с конфиденциальностью, безопасностью и доверием, встроенными в ткань нашего цифрового мира.