zkVM pertsonalizatua eta Zero-Knowledge azpiegitura
Hautatutako ingeniaritza-lanakHautatutako ingeniaritza-lan egiaztatua, Rust-en oinarritutako konputazio egiaztagarrirako, pribatutasuna zaintzen duen exekuziorako eta zkVM azpiegiturarako.
Testuingurua
Esparruak barne hartzen du ZK-native makina birtual bat, exekuzio-arrastoak, AIR murriztapenak, Plonky3-based STARK frogak eta sistema banatuen osagaiak.
Arazoa edo helburua
Garatu konputazio egiaztagarrirako eta pribatutasuna zaintzen duen exekuziorako azpiegitura, sarrera publiko, egoera, transakzio eta balioztatze mugak esplizituki zehaztuta.
Entregatutako esparrua
- Rust-en oinarritutako konputazio egiaztagarria
- Pribatutasuna gordetzen duen exekuzioa
- ZK-native makina birtuala
- Instrukzio multzoaren arkitektura
- Exekuzio-arrastoak
- AIR murrizketak
- Plonky3-based STARK frogak
- Sarrera publikoaren lotura
- Sendotasunean oinarritutako baliozkotze-mekanismoak
- Estatu-makina determinista
- Merkle frogak
- Transakzioak berrestea eta atzera botatzea
- RPC
- libp2p
- GossipSub
- Egoera-biltegiratzeko ikuspegiak
Ingeniaritza-arloak
- Rust
- Konputazio egiaztagarria
- Zero ezagutzako azpiegitura
- Sistema banatuak
- Egoeraren eta transakzioaren diseinua
Emaitza adierazgarriak
- ZK-native makina birtualen azpiegitura
- Exekuzio-arrastoak eta AIR murrizketak
- Sarrera publikoen lotura eta egiaztapen mekanismoak
- Banatutako egoera eta sareko osagaiak
Horrek erakusten duena
- Konputazio egiaztagarriaren ingeniaritza
- Pribatutasuna babesten duen exekuzio-diseinua
- Sistema banatuak eta egoera-makinen lana
Esparrua eta ezagutarazpena
Laburpen hau egiaztatutako ingeniaritza-inbentariora mugatzen da, eta ez du bermerik, propietate unibertsalik, errendimendu-emaitzarik edo adopziorik aldarrikatzen.
Mantendu inplementazio-xehetasunak egiaztatutako azpiegitura-inbentarioaren barruan, eta ez gehitu adierazi gabeko protokolo- edo hedapen-aldarrikapenik.
Erlazionatutako BilgeQor zerbitzuak
Eztabaidatu lotutako ingeniaritza-esparru bat
Kasu hau testuinguru gisa erabili eta esan zein sistema, muga edo entregako galdera aztertu behar den.
Eskatu esparrua kasu honetarakoIngeniaritzaren kasuetara itzuli.