zkVM maalumu na miundombinu ya uthibitisho bila kufichua taarifa
Kazi teule za uhandisiKazi za uhandisi zilizochaguliwa na kuthibitishwa kuhusu ukokotoaji unaoweza kuthibitishwa unaotumia Rust, utekelezaji unaohifadhi faragha na miundombinu ya zkVM.
Muktadha
Upeo wa kazi unajumuisha mashine pepe iliyojengwa kiasili kwa ZK, rekodi za utekelezaji, masharti ya AIR, uthibitisho wa STARK unaotegemea Plonky3 na vipengele vya mifumo iliyosambazwa.
Tatizo au lengo
Unda miundombinu ya ukokotoaji unaoweza kuthibitishwa na utekelezaji unaohifadhi faragha, yenye mipaka iliyo wazi ya data za umma zinazoingizwa, hali ya mfumo, miamala na uthibitishaji.
Wigo wa kazi iliyokabidhiwa
- Ukokotoaji unaotumia Rust unaoweza kuthibitishwa
- Utekelezaji unaohifadhi faragha
- Mashine pepe iliyojengwa kwa ZK tangu msingi
- Usanifu wa seti ya maagizo
- Rekodi za hatua za utekelezaji
- Vizuizi vya AIR
- Uthibitisho wa STARK unaotegemea Plonky3
- Ufungamanishaji wa data za ingizo za umma
- Mbinu za uthibitishaji zinazolenga kuzuia kukubaliwa kwa madai yasiyo sahihi
- Mashine ya hali yenye matokeo yanayojirudia kwa ingizo na hali ileile
- Uthibitisho wa Merkle
- Kuhifadhi mabadiliko ya muamala na kurudisha hali ya awali
- RPC
- libp2p
- GossipSub
- Mbinu za kuhifadhi hali ya mfumo
Nyanja za uhandisi
- Rust
- Ukokotoaji unaoweza kuthibitishwa
- Miundombinu ya maarifa sifuri
- Mifumo iliyosambazwa
- Usanifu wa hali ya mfumo na miamala
Mifano ya matokeo ya kazi
- Miundombinu ya mashine pepe iliyojengwa mahsusi kwa ZK
- Rekodi za utekelezaji na masharti ya AIR
- Mbinu za kufungamanisha na kuhakiki ingizo la umma
- Vipengele vya hali iliyosambazwa na mitandao
Kinachoonyeshwa hapa
- Uhandisi wa ukokotoaji unaoweza kuthibitishwa
- Usanifu wa utekelezaji unaohifadhi faragha
- Kazi za mifumo iliyosambazwa na mashine za hali
Wigo na ufichuzi wa taarifa
Muhtasari huu umewekewa mipaka ya orodha ya kazi za uhandisi zilizothibitishwa na haudai uhakikisho, sifa zinazotumika katika hali zote, matokeo ya utendaji wala kuanza kutumiwa.
Weka maelezo ya utekelezaji ndani ya orodha ya miundombinu iliyothibitishwa, wala usiongeze madai yasiyotajwa kuhusu itifaki au uwekaji katika mazingira ya matumizi.
Huduma zinazohusiana za BilgeQor
Jadili upeo wa kazi ya uhandisi inayohusiana
Tumia kisa hiki kama muktadha na utuambie ni mfumo, mpaka au swali gani kuhusu utekelezaji linalohitaji mapitio.
Omba upeo wa kazi unaohusiana na kisa hikiRudi kwenye uchunguzi kifani wa uhandisi