Pasgemaakte zkVM & nulkennisinfrastruktuur
Uitgesoekte ingenieurswerkGeverifieerde, geselekteerde ingenieurswerk vir Rust-gebaseerde verifieerbare berekening, uitvoering wat privaatheid bewaar en zkVM-infrastruktuur.
Konteks
Die omvang sluit 'n ZK-native virtuele masjien, uitvoeringspore, AIR-beperkings, Plonky3-based STARK-bewyse en komponente van verspreide stelsels in.
Probleem of doel
Ontwikkel infrastruktuur vir verifieerbare berekening en privaatheidsbewarende uitvoering met uitdruklike grense vir openbare invoer, toestand, transaksies en validering.
Omvang van die gelewerde werk
- Rust-gebaseerde verifieerbare berekening
- Uitvoering wat privaatheid bewaar
- ZK-native virtuele masjien
- Instruksieset-argitektuur
- Uitvoeringspore
- AIR-beperkings
- Plonky3-based STARK Bewyse
- Binding van openbare invoer
- Valideringsmeganismes wat op logiese geldigheid fokus
- Deterministiese toestandmasjien
- Merkle-bewyse
- Transaksionele vaslegging en terugrol
- RPC
- libp2p
- GossipSub
- Benaderings tot toestandsberging
Ingenieurswesedomeine
- Rust
- Bevestigbare berekening
- Nulkennisinfrastruktuur
- Verspreide stelsels
- Toestand- en transaksieontwerp
Verteenwoordigende uitsette
- ZK-native infrastruktuur vir 'n virtuele masjien
- Uitvoeringspore en AIR-beperkings
- Meganismes vir die binding en validering van openbare invoer
- Verspreide toestand en netwerkkomponente
Wat dit toon
- Ingenieurswese vir verifieerbare berekening
- Die ontwerp van uitvoering wat privaatheid behou
- Werk aan verspreide stelsels en toestandsmasjiene
Omvang en openbaarmaking
Hierdie opsomming is beperk tot die geverifieerde ingenieursinventaris en maak geen aanspraak op versekering, universele eienskappe, prestasieresultate of ingebruikneming nie.
Hou implementeringsbesonderhede binne die geverifieerde infrastruktuurinventaris en moenie ongenoemde bewerings oor protokolle of ontplooiing byvoeg nie.
Verwante BilgeQor-dienste
Bespreek 'n verwante omvang van ingenieurswerk
Gebruik hierdie geval as konteks en vertel ons watter stelsel, grens of vraag oor lewering hersien moet word.
Versoek die omvang vir hierdie gevallestudieTerug na ingenieursgevallestudies