Kohandatud zkVM ja nullteadmuse taristu
Valitud inseneritööKontrollitud valitud inseneritöö Rust-põhise kontrollitava arvutuse, privaatsust säilitava täitmise ja zkVM-infrastruktuuri jaoks.
Kontekst
Ulatus hõlmab ZK-natiivset virtuaalmasinat, täitmise jälgi, AIR-piiranguid, Plonky3-põhiseid STARK-tõendeid ja hajutatud süsteemide komponente.
Probleem või eesmärk
Arendada verifitseeritava arvutuse ja privaatsust säilitava täitmise infrastruktuuri selgesõnaliste avaliku sisendi, oleku, tehingu ja valideerimise piiridega.
Tarnitud ulatus
- Rust-põhine kontrollitav arvutus
- Privaatsust säilitav täitmine
- ZK-natiivne virtuaalne masin
- Käsustiku arhitektuur
- Täitmise jäljed
- AIR-i piirangud
- Plonky3-põhised STARK-tõendid
- Avaliku sisendi sidumine
- Korrektsusele suunatud valideerimismehhanismid
- Deterministlik olekumasin
- Merkle tõendid
- Tehingu kinnitamine ja tagasipööramine
- RPC
- libp2p
- GossipSub
- Oleku salvestamise lähenemisviisid
Inseneeria valdkonnad
- Rust
- Kontrollitav arvutus
- Nullteadmiste infrastruktuur
- Hajussüsteemid
- Oleku ja tehingu disain
Esinduslikud väljundid
- ZK-natiivne virtuaalmasinate infrastruktuur
- Täitmise jäljed ja AIR-i piirangud
- Avaliku sisendi sidumis- ja valideerimismehhanismid
- Hajutatud oleku- ja võrgustikukomponendid
Mida see näitab
- Kontrollitava arvutuse inseneeria
- Privaatsust säilitav täitmise disain
- Hajussüsteemid ja olekumasinate töö
Ulatus ja avalikustamine
Käesolev kokkuvõte piirdub kontrollitud inseneriinventuuriga ega väida kindlust, universaalseid omadusi, jõudlustulemusi ega kasutuselevõttu.
Hoida rakendamise üksikasjad kontrollitud infrastruktuuri inventuuri piires ja mitte lisada väljaütlemata protokolli- ega kasutuselevõtuväiteid.
Seotud BilgeQor teenused
Arutle sellega seotud inseneritöö ulatuse üle
Kasutage seda juhtumit kontekstina ja öelge meile, milline süsteemi-, piiri- või tarneküsimus vajab läbivaatamist.
Taotlege selle juhtumi ulatustTagasi insenerijuhtumite juurde