Coinspeaker RISC Zero Uruchom ZkVM 1.0 do tworzenia aplikacji DApps
RISC Zero, oparta na zk-STARKs, weryfikowalna ogólna platforma obliczeniowa z wiedzą zerową, oficjalnie ogłosiła wprowadzenie na rynek zkVM 1.0. Jak donosi The Block, nowym produktem jest nowa maszyna ZKVM ogólnego przeznaczenia, którą zespół programistów chwali jako gotową do produkcji. Różni się znacznie od istniejących rozwiązań, ponieważ wykorzystuje dowody ZK do tworzenia aplikacji opartych na zdecentralizowanych finansach (DeFi) w różnych łańcuchach bloków.
Funkcje zkVM 1.0.0 firmy RISC Zero
Ekonomiczny proces sprawdzania zkVM 1.0 jest reklamowany między innymi jako jedna z jego kluczowych funkcji. Zespół odpowiedzialny za platformę również podkreślił jej lepsze wskaźniki wydajności jako dodatkową zaletę. Co istotne, zkVM 1.0 ma zdolność generowania dowodów dla różnych programów, o ile jest rozwijany w Rust.
Ta funkcjonalność zapewnia miejsce na rozwój złożonej logiki, eliminując ograniczenia zwykle związane z rozmiarem lub kosztami gazu. Celem RISC Zero w przypadku tej nowej platformy jest odciążenie znacznego procentu pracy obliczeniowej w aplikacjach DApp w łańcuchu. Dzięki dowodom zk kompresja obliczeń jest osiągana i weryfikowana w szybkim tempie. Wszystko to odbywa się bez konieczności przeprowadzania obliczeń przez weryfikatora.
Ogólnie rzecz biorąc, mechanizm ten odgrywa kluczową rolę w poprawie skalowalności aplikacji typu blockchain. Ułatwia realizację złożonych operacji poza łańcuchem przy jednoczesnym zachowaniu weryfikacji w łańcuchu. Dotyczy to potencjalnych przypadków użycia w łańcuchach bloków warstwy 2, mostach międzyłańcuchowych, a także obszarach, w których ważne jest posiadanie wydajnych i weryfikowalnych obliczeń.
Zwykle maszyny zkEVM są dostosowane specjalnie do środowisk maszyn wirtualnych Ethereum (EVM), ale z drugiej strony maszyny zkVM to maszyny wirtualne, które wykorzystują dowody ZK dla DApps. Oprócz nowo uruchomionego zkVM 1.0, inne istniejące zkVM obejmują Nexus zkVM, Jolt z popularnego oprogramowania Andreessen Horowitz (a16z) crypto i SPI z Succinct Labs, które niedawno wzięło udział we współpracy Polygon i AggLayer.
W najbliższej przyszłości zkVM 1.0 będzie wspierać interoperacyjność DApps w dowolnym łańcuchu bloków, który integruje weryfikator RISC ZERO. W związku z tym aplikacje mogą działać w różnych łańcuchach, takich jak Ethereum, Base, OP, World Chain, Arbitrum i Starknet.
Aby zapoczątkować uruchomienie zkVM 1.0, firma RISC Zero przeprowadziła ceremonię konfiguracji. Zgodnie z projektem kody przeszły również rygorystyczne audyty zewnętrzne.
Dowód SQL na uruchomienie przestrzeni i czasu
W podobnych wiadomościach start-up kryptowalutowy Space and Time (SXT) z siedzibą w Kalifornii wypuścił niedawno swój stos sprawdzający ZK o nazwie Proof of SQL, który zajmuje mniej niż sekundę.
Został stworzony, aby zapewnić użytkownikom dostęp do tego wysokowydajnego narzędzia do sprawdzania wiedzy zerowej w serwisie GitHub. Proof of SQL został zaprojektowany jako nowatorski dowód ZK, który kryptograficznie gwarantuje dokładne obliczanie zapytań do bazy danych SQL w oparciu o niezmienione dane.
Jedną z kluczowych zawiłości modeli ZK jest fakt, że pozwalają one programistom lub użytkownikom potwierdzać ważność lub prawdziwość danych lub transakcji bez ujawniania poufnych informacji. Ta cecha sprawia, że jest to preferowane spośród innych rozwiązań.
Następny
RISC Zero Uruchom ZkVM 1.0 do tworzenia aplikacji DApps