Пользовательская инфраструктура zkVM и Zero-Knowledge
Выбранная Инженерная Работапроверенные инженерные работы для проверяемых вычислений на основе Rust, выполнения, обеспечивающих сохранение конфиденциальности, и инфраструктуры zkVM.
Контекст
В сферу охвата входят виртуальная машина на ZK, следы выполнения, ограничения AIR, доказательства STARK на базе Plonky3 и компоненты распределенных систем.
Проблема или цель
Разработка проверяемой инфраструктуры вычислений и сохранения конфиденциальности с явными границами публичного ввода, состояния, транзакций и проверки.
Выполненный объём работ
- Проверяемые вычисления на основе Rust
- Выполнение с сохранением конфиденциальности
- Виртуальная машина ZK-native
- Архитектура набора инструкций
- Следы исполнения
- Ограничения AIR
- Доказательства STARK на основе Plonky3
- Публичная привязка
- Механизмы проверки, ориентированные на надежность
- Детерминированный конечный автомат
- Доказательства Меркла
- Транзакционное фиксация и откат
- RPC
- libp2p
- GossipSub
- Подходы к государственному хранению
Инженерные области
- Rust
- Проверяемый расчет
- Инфраструктура с нулевым уровнем знаний
- Распределенные системы
- Дизайн состояния и транзакции
Репрезентативные результаты
- Инфраструктура виртуальных машин ZK-native
- Следы исполнения и ограничения AIR
- Механизмы привязки и проверки публичного ввода
- Компоненты распределенного состояния и сетевого устройства
Что это демонстрирует
- Проверяемая вычислительная инженерия
- Конструкция выполнения, обеспечивающая конфиденциальность
- Распределенные системы и государственная машинная работа
Обхват и раскрытие
Это резюме ограничивается проверенным инженерным инвентарем и не претендует на гарантии, универсальные свойства, результаты работы или принятие.
Храните детали реализации в проверенном инвентаре инфраструктуры и не добавляйте неуведомленный протокол или претензии на развертывание.
Связанные услуги BilgeQor
Обсудить связанный с этим инженерный аспект
Используйте этот случай в качестве контекста и расскажите нам, какая система, граница или вопрос о доставке нуждаются в рассмотрении.
Запросить область применения для этого делаВернуться к инженерным случаям