Niestandardowa infrastruktura zkVM i zero-knowledge

Wybrana praca inżynierska

Zweryfikowane wybrane prace inżynieryjne dla weryfikowalnych obliczeń opartych na Rust, wykonywania z zachowaniem prywatności i infrastruktury zkVM.

Kontekst

Zakres obejmuje natywną maszynę wirtualną ZK, ślady wykonania, ograniczenia AIR, dowody STARK oparte na Plonky3 oraz komponenty systemów rozproszonych.

Problem lub cel

Opracowanie infrastruktury obliczeń weryfikowalnych i wykonania zachowującego prywatność, z wyraźnymi granicami wejścia publicznego, stanu, transakcji i walidacji.

Dostarczony zakres

Sprawdzalne obliczenia oparte na Rust
Wykonanie chroniące prywatność
Maszyna wirtualna natywna dla ZK
Architektura zestawu instrukcji
Ślady wykonania
Ograniczenia AIR
Dowody STARK oparte na Plonky3
Wiązanie publicznych danych wejściowych
Mechanizmy walidacji ukierunkowane na soundness
Deterministyczna maszyna stanów
Dowody Merkle
Transakcyjny commit i rollback
RPC
libp2p
GossipSub
Podejścia do przechowywania stanu

Domeny inżynieryjne

Rust
Weryfikowalne obliczenia
Infrastruktura zero-wiedzy
Systemy rozproszone
Projekt stanu i transakcji

Wyniki reprezentatywne

ZK-natywna infrastruktura maszyn wirtualnych
Ślady wykonania i ograniczenia AIR
Mechanizmy wiązania i walidacji publicznych danych wejściowych
Komponenty stanu rozproszonego i sieci

Co to pokazuje

Inżynieria obliczeniowa weryfikowalna
Projekt wykonania zachowującego prywatność
Systemy rozproszone i praca nad maszyną stanów

Zakres i ujawnienie

To podsumowanie jest ograniczone do zweryfikowanego spisu inżynieryjnego i nie zgłasza zapewnienia, uniwersalnych właściwości, wyników wydajności ani adopcji.

Zachowaj szczegóły implementacji w zweryfikowanym inwentarzu infrastruktury i nie dodawaj nieujętych twierdzeń o protokole lub wdrożeniu.

Powiązane usługi BilgeQor

Omów powiązany zakres inżynierii

Użyj tego przypadku jako kontekstu i powiedz nam, jakie pytanie o system, granicę albo dostawę wymaga przeglądu.

Poproś o zakres dla tego przypadku Powrót do przypadków inżynierskich