Individualiai sukurta zkVM ir nulinio žinojimo infrastruktūra

Pasirinktas inžinerinis darbas

Patikrinti atrinkti inžinerijos darbai, skirti Rust pagrįstiems patikrinamiems skaičiavimams, privatumą išsaugančiam vykdymui ir zkVM infrastruktūrai.

Kontekstas

Apimtis apima virtualiąją mašiną, nuo pagrindų sukurtą ZK technologijai, vykdymo pėdsakus, AIR apribojimus, Plonky3 pagrįstus STARK įrodymus ir paskirstytų sistemų komponentus.

Problema arba tikslas

Kurti patikrinamų skaičiavimų ir privatumą išsaugančio vykdymo infrastruktūrą su aiškiomis viešų įvesties duomenų, būsenos, operacijų ir patikros ribomis.

Atliktų darbų apimtis

„Rust“ pagrįsti patikrinami skaičiavimai
Privatumą išsaugantis vykdymas
Nulinio žinojimo (ZK) technologijos pagrindu sukurta virtualioji mašina
Instrukcijų rinkinio architektūra
Vykdymo pėdsakai
AIR apribojimai
Plonky3 pagrįsti STARK įrodymai
Viešųjų įvesties duomenų susiejimas
Į įrodymų patikimumą orientuoti patikros mechanizmai
Deterministinis būsenų automatas
Merkle įrodymai
Transakcijų patvirtinimas ir atšaukimas
RPC
libp2p
GossipSub
Būsenos saugojimo metodai

Inžinerinės sritys

Rust
Patikrinami skaičiavimai
Nulinio žinojimo infrastruktūra
Paskirstytos sistemos
Būsenos ir sandorių projektavimas

Rezultatų pavyzdžiai

ZK pagrindu sukurta virtualiosios mašinos infrastruktūra
Vykdymo trasos ir AIR apribojimai
Viešųjų įvesčių susiejimo ir patikros mechanizmai
Paskirstytosios būsenos ir tinklo komponentai

Ką tai rodo

Patikrinamų skaičiavimų inžinerija
Privatumą išsaugantis vykdymo projektavimas
Paskirstytųjų sistemų ir būsenų automatų kūrimo darbai

Taikymo sritis ir atskleidimas

Ši santrauka apsiriboja patikrintu inžinerinių darbų sąrašu; joje neteigiama apie užtikrintą patikimumą, universalias savybes, našumo rezultatus ar naudojimą praktikoje.

Įgyvendinimo informaciją apriboti patikrintu infrastruktūros sąrašu ir nepridėti nenurodytų teiginių apie protokolus ar diegimą.

Susijusios BilgeQor paslaugos

Aptarti susijusią inžinerinę taikymo sritį

Remkitės šiuo atveju kaip kontekstu ir nurodykite, kokią sistemą, ribą ar pristatymo klausimą reikia peržiūrėti.

Pateikti užklausą dėl šio atvejo darbų apimties Grįžti į inžinerijos atvejų aprašymus