Pielāgota zkVM & nulles zināšanu infrastruktūra
Izvēlētais inženiertehniskais darbsPārbaudīts atlasītais inženiertehniskais darbs saistībā ar Rust balstītiem pārbaudāmiem aprēķiniem, privātumu saglabājošu izpildi un zkVM infrastruktūru.
Konteksts
Darbības joma ietver virtuālo mašīnu, kas pamatā veidota ZK vajadzībām, izpildes pēdas, AIR ierobežojumus, uz Plonky3 balstītus STARK pierādījumus un izkliedēto sistēmu komponentus.
Problēma vai mērķis
Izstrādāt pārbaudāmu skaitļošanu un privātumu saglabājošu izpildes infrastruktūru ar skaidri noteiktām publisko ievaddatu, stāvokļa, darījumu un validācijas robežām.
Ieviestā darbības joma
- Uz Rust balstīta pārbaudāma skaitļošana
- Privātumu saglabājoša izpilde
- Speciāli ZK paredzēta virtuālā mašīna
- Instrukciju kopas arhitektūra
- Izpildes trasējumi
- AIR ierobežojumi
- Plonky3 bāzes STARK pierādījumi
- Publisko ievaddatu piesaiste
- Uz pareizību vērsti validācijas mehānismi
- Deterministiska stāvokļa mašīna
- Merkle pierādījumi
- Transakciju apstiprināšana un atritināšana
- RPC
- libp2p
- GossipSub
- Stāvokļa glabāšanas pieejas
Inženierijas jomas
- Rust
- Pārbaudāmais aprēķins
- Infrastruktūra ar nulles zināšanām
- Sadalītās sistēmas
- Stāvokļa un darījumu projektēšana
Reprezentatīvie rezultāti
- Virtuālās mašīnas infrastruktūra ar sākotnēji integrētu ZK atbalstu
- Izpildes pēdas un AIR ierobežojumi
- Publiskās ievades sasaistes un validācijas mehānismi
- Izkliedēta stāvokļa un tīkla komponenti
Ko tas parāda
- Pārbaudāmu skaitļojumu inženierija
- Privātumu saglabājošas izpildes projektēšana
- Sadalīto sistēmu un stāvokļu automātu darbs
Darbības joma un informācijas atklāšana
Šis kopsavilkums aprobežojas ar pārbaudīto inženiertehnisko darbu inventarizāciju un neapgalvo, ka tiek sniegtas garantijas, piemīt universālas īpašības, ir sasniegti veiktspējas rezultāti vai risinājums ir ieviests.
Saglabāt īstenošanas detaļas pārbaudītās infrastruktūras uzskaites ietvaros un nepievienot neminētus apgalvojumus par protokoliem vai izvietošanu.
Saistītie BilgeQor pakalpojumi
Apspriede par saistītu inženiertehnisko darbības jomu
Izmantojiet šo gadījumu kā kontekstu un pastāstiet mums, kuru sistēmu, robežu vai piegādes jautājumu nepieciešams pārskatīt.
Pieprasīt šī gadījuma darbības jomuAtgriezties pie inženiertehniskām lietām