Pasadyang zkVM at Imprastraktura ng Zero-Knowledge

Piling gawaing pang-inhinyeriya

Napatunayang piling gawaing pang-inhinyeriya para sa napapatunayang komputasyon na nakabatay sa Rust, pagpapatakbong nagpapanatili ng pribasiya, at imprastrakturang zkVM.

Konteksto

Kasama sa saklaw ang ZK-native virtual machine, mga bakas ng pagpapatakbo, mga hadlang ng AIR, STARK proof na batay sa Plonky3, at mga bahagi ng sistemang nakapamahagi.

Problema o layunin

Bumuo ng imprastraktura para sa napapatunayang komputasyon at pagpapatakbong nagpapanatili ng pribasiya, na may malinaw na hangganan para sa pampublikong input, estado, transaksiyon, at pagpapatunay.

Saklaw na naihatid

Napapatunayang komputasyon na nakabatay sa Rust
Pagpapatakbong nagpapanatili ng pribasiya
ZK-native virtual machine
Arkitektura ng set ng tagubilin
Mga bakas ng pagpapatakbo
Mga hadlang ng AIR
STARK proof na batay sa Plonky3
Pagkakatali ng pampublikong input
Mga mekanismo ng pagpapatunay na nakatuon sa soundness
Deterministikong state machine
Merkle proofs
Transaksiyonal na commit at rollback
RPC
libp2p
GossipSub
Mga paraan ng pag-iimbak ng estado

Mga larangan ng inhinyeriya

Rust
Napapatunayang komputasyon
Imprastraktura ng zero-knowledge
Mga sistemang nakapamahagi
Disenyo ng estado at transaksiyon

Mga kinatawang resulta

Imprastraktura ng ZK-native virtual machine
Mga bakas ng pagpapatakbo at mga hadlang ng AIR
Pagkakatali ng pampublikong input at mga mekanismo ng pagpapatunay
Mga bahagi ng nakapamahaging estado at network

Ipinapakita nito

Inhinyeriya para sa napapatunayang komputasyon
Disenyo ng pagpapatakbong nagpapanatili ng pribasiya
Gawain sa sistemang nakapamahagi at state machine

Saklaw at paglalahad

Ang buod na ito ay limitado sa napatunayang talaan ng inhinyeriya at hindi gumagawa ng pahayag ng katiyakan, unibersal na katangian, resulta sa pagganap, o pag-ampon.

Panatilihin ang mga detalyeng pangpagpapatupad sa napatunayang talaan ng imprastraktura at huwag magdagdag ng hindi nakasaad na mga pahayag tungkol sa protokol o pagpapatakbo.

Mga kaugnay na serbisyo ng BilgeQor

Talakayin ang kaugnay na saklaw ng inhinyeriya

Gamitin ang kasong ito bilang konteksto at sabihin kung aling sistema, hangganan, o tanong sa paghahatid ang kailangang suriin.

Humiling ng saklaw para sa kasong ito Bumalik sa mga kasong pang-inhinyeriya