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, упоминаются в любом сообщении в блоге, такие материалы следует читать с особым вниманием к любым заявлениям об отказе от ответственности, содержащимся в них.
- SEO-контент и PR-распределение. Получите усиление сегодня.
- PlatoData.Network Вертикальный генеративный ИИ. Расширьте возможности себя. Доступ здесь.
- ПлатонАйСтрим. Интеллект Web3. Расширение знаний. Доступ здесь.
- ПлатонЭСГ. Автомобили / электромобили, Углерод, чистые технологии, Энергия, Окружающая среда, Солнечная, Управление отходами. Доступ здесь.
- Смещения блоков. Модернизация права собственности на экологические компенсации. Доступ здесь.
- Источник: https://blockchain.capital/democratizing-zero-knowledge-computing-the-power-of-risc-zeros-bonsai-network/
- :имеет
- :является
- :нет
- :куда
- 13
- 20
- 20 лет
- a
- способность
- О нас
- выше
- ускорение
- принятый
- доступ
- точность
- достижение
- приобретенный
- фактического соединения
- достаточность
- принять
- Принятие
- достижения
- авансы
- совет
- филиалы
- возраст
- AI
- Цель
- Все
- Позволяющий
- позволяет
- вдоль
- причислены
- количество
- an
- и
- любой
- Приложения
- архитектурный
- архитектура
- МЫ
- области
- AS
- предполагает,
- предположения
- At
- нападки
- внимание
- автор
- доступен
- фон
- Баланс
- основанный
- BE
- становится
- было
- до
- от имени
- за
- не являетесь
- убеждений
- польза
- между
- Бленд
- блокчейн
- Blockchain Capital
- Блог
- Сообщения в блоге
- Безграничный
- прорывы
- МОСТ
- Приносит
- широкий
- ошибки
- Строительство
- построенный
- но
- купить
- by
- CAN
- способный
- столица
- тщательный
- случаев
- цепь
- цепи
- проблемы
- изменение
- облако
- Облачная платформа
- код
- сочетание
- привержен
- Компании
- Компания
- совместим
- комплекс
- Соответствие закону
- сложный
- вычисление
- вычислительная мощность
- расчеты
- компьютер
- вычисление
- Обеспокоенность
- содержащегося
- продолжать
- Цена
- Расходы
- может
- Создайте
- Создающий
- крипто-
- криптография
- Текущий
- Информационная безопасность
- данным
- конфиденциальность данных
- Время
- решение
- Отказ
- доставить
- демократизировать
- Демократизация
- плотность
- глубина
- Проект
- застройщиков
- Интернет
- Цифровой век
- цифровой мир
- непосредственно
- Раскрытие
- распределенный
- Разное
- do
- Документация
- доменов
- двойники
- скачать
- кардинально
- управлять
- Падение
- каждый
- появление
- расширение прав и возможностей
- включить
- включен
- позволяет
- повышение
- обеспечивать
- энтузиаст
- полностью
- Эпоха
- особенно
- Ethereum основе
- Даже
- События
- Каждая
- пример
- Кроме
- захватывающе
- выполнение
- ожидания
- дорогим
- опыт
- опыта
- Эксплуатировать
- экспресс
- выраженный
- продолжается
- степень
- ткань
- факторы
- справедливость
- знакомый
- далеко
- далеко идущий
- после
- Что касается
- дальновидный
- Freedom
- от
- полный
- будущее
- игра-чейнджер
- поколение
- геном
- данный
- хорошо
- Google Cloud
- Виртуальная платформа Google
- GPU / ГРАФИЧЕСКИЙ ПРОЦЕССОР
- новаторским
- гарантии
- Хакеры
- вдвое
- происходить
- Аппаратные средства
- упряжь
- Есть
- имеющий
- he
- глашатаи
- на высшем уровне
- очень
- его
- история
- HPC
- HTTPS
- человек
- человеческий геном
- человек читаемый
- if
- представить
- огромный
- Влияние
- последствия
- подразумеваемый
- что она
- впечатляющий
- in
- включают
- включает в себя
- повышение
- невероятно
- приток
- информация
- свойственный
- Инновации
- инструкции
- Intel
- в
- инвестирование
- инвестиций
- Инвестиционная стратегия
- инвестор
- IT
- ЕГО
- саму трезвость
- JPG
- Основные
- знания
- известный
- пейзаж
- язык
- Языки
- большой
- закон
- вести
- Юр. Информация
- уровень
- Кредитное плечо
- Используя
- ответственность
- Ограниченный
- Длинное
- дольше
- посмотреть
- снижена
- машина
- сделанный
- Большинство
- Создание
- многих
- Масса
- Массовое усыновление
- массы
- материально
- материалы
- математике
- математический
- математика
- макс-ширина
- Май..
- означает
- меры
- член
- упомянутый
- Модерн
- месяцев
- БОЛЕЕ
- самых
- МСМ
- много
- с разными
- Возле
- обязательно
- Необходимость
- необходимый
- потребности
- ни
- сеть
- Новые
- Новости
- нет
- ни
- ничего
- роман
- NTT
- многочисленный
- препятствие
- препятствиями
- of
- предлагают
- предлагающий
- on
- В сети
- ONE
- только
- оптимизация
- or
- оригинал
- Другое
- в противном случае
- наши
- внешнюю
- за
- Темп
- мимо
- выполнены
- человек
- личного
- Платформа
- Платон
- Платон Интеллектуальные данные
- ПлатонДанные
- сбалансирован
- Посейдон
- возможности,
- возможное
- После
- Блог
- потенциал
- потенциально
- мощностью
- практическое
- привилегированный
- Presentations
- прессование
- предотвращать
- предварительно
- цены
- примитивный
- политикой конфиденциальности.
- частная
- процесс
- Произведенный
- FitPartner™
- Программирование
- языки программирования
- Программы
- Прогнозы
- обещание
- доказательство
- доказательства
- свойства
- собственность
- протоколы
- Доказывать
- при условии
- приводит
- опубликованный
- ассортимент
- быстро
- Обменный курс
- достигать
- Читать
- причина
- последний
- рекомендаций
- отражать
- регуляторы
- оставаться
- представление
- обязательный
- ресурсоемкий
- ответственность
- результат
- Итоги
- революционный
- грубо
- Бег
- s
- безопасный
- Ценные бумаги
- безопасность
- продаем
- Последовательность
- последовательность действий
- набор
- несколько
- общие
- должен
- значительный
- аналогичный
- с
- умение
- квалифицированный
- навыки
- небольшой
- меньше
- Software
- РЕШАТЬ
- некоторые
- удалось
- Space
- говорить
- отчетность
- По-прежнему
- Стратегия
- укрепление
- сильный
- такие
- поставка
- цепочками поставок
- Каналы поставок
- поддержка
- система
- системы
- принимает
- Талант
- налог
- команда
- Технический
- технологический
- чем
- который
- Ассоциация
- информация
- их
- Там.
- в нем
- Эти
- они
- этой
- те
- три
- Через
- Таким образом
- раз
- в
- вместе
- слишком
- траектория
- прозрачный
- тенденция
- трио
- Доверие
- ненадежный
- два
- В конечном счете
- лежащий в основе
- созданного
- общественного.
- Обновление ПО
- использование
- пользователей
- различный
- проверяемый
- проверено
- проверить
- проверка
- разносторонний
- очень
- просматриваемые
- Просмотры
- Виртуальный
- виртуальная машина
- фактически
- Уязвимости
- законопроект
- Путь..
- we
- Богатство
- были
- Что
- который
- в то время как
- КТО
- широко распространена
- будете
- в
- без
- Работа
- работавший
- Мир
- по всему миру
- записывать
- лет
- еще
- зефирнет
- нуль
- с нулевым знанием
- ZK