Арнайы әзірленген zkVM & нөлдік білім инфрақұрылымы

Таңдалған инженерлік жұмыстар

Rust негізіндегі тексеруге болатын есептеуге, құпиялылықты сақтай отырып орындауға және zkVM инфрақұрылымына қатысты таңдалған инженерлік жұмыстар тексерілген.

Контекст

Жұмыс ауқымына ZK үшін арнайы жасалған виртуалды машина, орындалу іздері, AIR шектеулері, Plonky3 негізіндегі STARK дәлелдері және таратылған жүйелердің компоненттері кіреді.

Мәселе немесе мақсат

Ашық кіріс деректері, күй, транзакция және валидация шекаралары нақты белгіленген, есептеулерді тексеруге мүмкіндік беретін және құпиялылықты сақтайтын орындау инфрақұрылымын әзірлеу.

Орындалған жұмыс көлемі

Rust негізіндегі тексеруге болатын есептеу
Құпиялылықты сақтауды қамтамасыз ететін орындау
ZK-ға арнап құрылған виртуалды машина
Нұсқаулар жиынының архитектурасы
Орындалу іздері
AIR шектеулері
Plonky3-қа негізделген STARK дәлелдемелері
Ашық кіріс деректерін байланыстыру
Дәлелдердің дұрыстығын тексеруге бағытталған тетіктер
Детерминистік күй машинасы
Меркл дәлелдемелері
Транзакцияны бекіту және кері қайтару
RPC
libp2p
GossipSub
Күйді сақтау тәсілдері

Инженерлік салалар

Rust
Тексеруге жарамды есептеу
Нөлдік білім инфрақұрылымы
Таратылған жүйелер
Күй және транзакция дизайны

Үлгілік нәтижелер

ZK-нативті виртуалды машина инфрақұрылымы
Орындалу іздері және AIR шектеулері
Ашық кіріс деректерін байланыстыру және тексеру тетіктері
Үлестірілген күй және желілік компоненттер

Бұл нені көрсетеді

Тексерілетін есептеулер инженериясы
Құпиялылықты сақтау үшін орындау дизайны
Таратылған жүйелер және күй машиналарымен жұмыс

Ауқым және ақпаратты ашу

Бұл жиынтық тексерілген инженерлік тізбемен шектеледі және кепілдікті, әмбебап қасиеттерді, өнімділік нәтижелерін немесе қолданысқа енгізілуді мәлімдемейді.

Іске асыру мәліметтерін тексерілген инфрақұрылым тізімінің шеңберінде ұстаңыз және айтылмаған протокол немесе орналастыру туралы мәлімдемелер қоспаңыз.

BilgeQor-мен байланысты қызметтер

Қатысты инженерлік көлемді талқылау

Бұл жағдайды контекст ретінде қолданып, қандай жүйе, шекара немесе жеткізу мәселесін қарастыру керектігін айтып беріңіз.

Осы кейс үшін ауқымды сұрау Инженерлік істерге оралу