zkVM personalize ek infrastriktir a konesans zero

Travay enzenieri ki finn swazi

Travay zenieri seleksyone ki finn verifye pou kalkil verifiabl baze lor Rust, ekzekisyon ki proteze lavi prive, ek infrastriktir zkVM.

Kontex

Skop-la ena enn machine virtuel ZK-native, trasaz ekzekisyon, kontrent AIR, prev STARK Plonky3-based, ek konpozan sistem distribie.

Problem ubyen lobzektif

Devlop enn infrastriktir pou bann kalkil ki kapav verifie ek enn lekzekision ki prezerv konfidansialite, avek bann limit explisit pou bann done piblik an antre, leta, bann tranzaksion ek validasion.

Etandi travay ki finn delivre

Kalkil ki kapav verifye, baze lor Rust
Ekzekision ki prezerv Konfidansialite
Masinn virtiel ZK-native
Arsitektir ansam bann instriksion
Bann tras lekzekision
Bann kontrent AIR
Bann prev STARK Plonky3-based
Liyezon avek bann input piblik
Bann mekanism validasion ki met laksan lor solidite lozik
Masinn leta determinist
Bann prev Merkle
Konfirmasyon (commit) ek anilasyon (rollback) tranzaksyonel
RPC
libp2p
GossipSub
Bann metod pou stok leta sistem

Bann domenn inzenieri

Rust
Kalkil ki kapav verifye
Enfrastriktir a konesans zero
Sistem distribye
Konsepsion leta ek tranzaksion

Livrab reprezantatif

Lenfrastriktir masinn virtiel ZK-native
Trace ekzekisyon ek kontrent AIR
Mekanism pu lye ek validasyon bann lentre piblik
Konpozan pou leta distribiye ek pou rezo

Ki sa demontre?

Linzenieri bann kalkil ki kapav verifie
Konsepsion enn ekzekision ki prezerv Konfidansialite
Travay lor bann sistem distribiye ek bann masinn leta

Limit travay ek informasion ki devwale

Rezime sa li limite a linvanter jeni verifye e li pa revandike garanti, propriyete iniversel, rezilta performans, ubyen adopsyon.

Gard bann detay linplemantasyon dan limit inventer lenfrastriktir verifye ek pa azout bann deklarasyon lor protokol ouswa deplwaman ki pa finn mansione.

Bann servis BilgeQor ki an rapor

Diskit lor enn perimet travay linzenieri ki an rapor

Servi sa ka-la kouma kontex e dir nou ki sistem, limit, oubien kestyon lor livrezon ki bizin reviz.

Demann limit travay pou sa ka-la Retourn dan bann ka enzenieri