zkVM da aka keɓance & Kayayyakin tsarin tabbatar da hujja ba tare da bayyana bayanan sirri ba
Zaɓaɓɓen Aikin InjiniyaZaɓaɓɓun ayyukan injiniya da aka tabbatar, waɗanda suka shafi lissafin da za a iya tabbatar da sahihancinsa ta amfani da Rust, gudanar da shirye-shirye tare da kiyaye sirri, da ababen more rayuwa na zkVM.
Mahalli
Iyakokin aikin sun haɗa da na'ura ta kama-da-wane ta ZK-native, bayanan sawun aiwatarwa, ƙa'idojin ƙuntatawa na AIR, hujjojin STARK na Plonky3-based, da sassan tsarin kwamfuta masu rarrabuwa.
Matsalar ko makasudi
Gina kayan more rayuwa don lissafin da za a iya tabbatar da sahihancinsa da gudanar da shirye-shirye mai kiyaye sirri, tare da bayyanannun iyakoki ga bayanan shigarwa na jama'a, yanayin tsarin, ma'amaloli da tabbatar da inganci.
Iyakar aikin da aka isar
- Lissafi da za a iya tabbatar da sahihancinsa wanda aka gina da Rust
- Aiki mai kiyaye sirrin
- Na'ura ta kama-da-wane ta ZK-native
- Tsarin gine-ginen rukunin umarni
- Bayanan bin diddigin aiwarwa
- Ƙuntatawar AIR
- Hujjojin STARK na Plonky3-based
- Ƙullawa ga shigarwa na jama'a
- Hanyoyin tantancewa da suka mayar da hankali kan tabbatar da cewa ba a karɓar hujjar da'awar ƙarya
- Na'urar sauya yanayi mai ba da sakamako iri ɗaya idan yanayi da bayanan shigarwa iri ɗaya ne
- Hujjojin Merkle
- Tabbatarwa da janyewar ma'amala (commit da rollback)
- RPC
- libp2p
- GossipSub
- Hanyoyin adana bayanan yanayin tsarin
Fannonin aikin injiniya
- Rust
- Ƙididdigar da za a iya tabbatarwa
- Ababen more rayuwa na tsarin tabbatarwa ba tare da bayyana bayanai ba
- Tsaruka masu rarrabuwa
- Tsara yanayin tsarin da ma'amaloli
Misalan abubuwan da aka samar
- Kayayyakin na'urar kwaikwayo (virtual machine) na ZK-native
- Alamomin bin diddigin aiwatarwa da ƙuntatawar AIR
- Hanyoyin ɗaure bayanan shigar da ake iya gani a fili da tantance sahihancinsu
- Sassan yanayin tsarin da aka rarraba da na sadarwar kwamfuta
Abin da wannan ya nuna
- Injiniyancin lissafi wanda za a iya tabbatar da ingancinsa
- Tsarin aiwatarwa da ke kiyaye sirri
- Aiki kan tsaruka masu rarrabuwa da injinan sauya yanayi
Iyakar aiki da bayyana bayanai
Wannan taƙaitaccen bayani ya taƙaita ne ga jerin ayyuka da kayan aikin injiniya da aka tabbatar, kuma ba ya da'awar tabbaci, halaye da suka shafi kowane yanayi, sakamakon aikin tsarin, ko karɓarsa don amfani.
Ka takaita bayanan aiwatarwa ga jerin kayayyakin more rayuwar fasaha da aka tabbatar, kuma kada ka ƙara da'awoyi game da ƙa'idojin sadarwa ko tura tsarin zuwa muhalli da ba a bayyana ba.
Ayyukan BilgeQor masu alaƙa
Tattauna iyakokin wani aikin injiniya mai alaƙa
Yi amfani da wannan misali a matsayin mahallin, kuma ka gaya mana wace tambaya ta tsari, iyaka, ko isarwa take buƙatar dubawa.
Nemi iyakokin aiki na wannan lamariKomawa zuwa misalan ayyukan injiniyanci