Tworzenie dowodów z wiedzą zerową (ZKP) „zrozumiałych i dostępnych” dla ludzi jest konieczne, aby ekosystem Ethereum był „otwarty i przyjazny” dla osób bez wykształcenia matematycznego, współzałożyciel Ethereum Vitalik Buterin napisał na Twitterze 26 października.
ZKP są często określane jako „księżycowa matematyka” ze względu na swoją złożoność.
Bardzo się cieszę, że Ethereum ma tak silną kulturę, aby usilnie starać się, aby cała nasza matematyka księżycowa była tak zrozumiała i dostępna dla ludzi, jak to tylko możliwe. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) 26 października 2022 r.
Buterin dodał, że „Decentralizacja wymaga NIE poddawania się i wymachiwania doktoratem, mówiąc „to czarna skrzynka, jesteśmy mądrzy, zaufaj nam”.”
Scroll, rozwiązanie do skalowania warstwy 2 Ethereum o zerowej wiedzy, wyjaśnione w a blog jak działają wielomianowe schematy zaangażowania, kluczowa część kilku ZKP i jak mogą pomóc w skalowaniu Ethereum.
Wielomiany to wyrażenia matematyczne, które reprezentują więcej niż dwa terminy algebraiczne. Według bloga Scroll wielomiany mogą pomóc w efektywnym reprezentowaniu dużych danych.
Schemat zobowiązań to protokół kryptograficzny, w którym zatwierdza się wiadomość i utrzymuje ją w ukryciu, ale może później ujawnić wiadomość. Jednak osoba dokonująca popełnienia nie może zmienić wiadomości po jej zatwierdzeniu, co sprawia, że schematy zobowiązań są wiążące.
W wielomianowym schemacie zobowiązania, zamiast wiadomości, przyjmuje się wielomian. Wielomianowy schemat zobowiązań spełnia wszystkie właściwości normalnych schematów zobowiązań. Ma jednak dodatkową cechę, która umożliwia osobie przeprowadzającej test udowodnienie, że dokonał zobowiązania do pewnego wielomianu, który spełnia wymagane właściwości, bez ujawniania samego wielomianu.
KZG w skalowaniu Ethereum
Chociaż istnieją różne wielomianowe schematy zobowiązań, Kate-Zaverucha-Goldberg (KZG) jest popularny w przestrzeni blockchain i jest używany przez systemy sprawdzające Scroll. KZG ma być również zintegrowany z Ethereum za pomocą Proto-Danksharding, który ma zostać wdrożony przez EIP-4844, który został zaproponowany w lutym 2022 r.
Proto-Danksharding to rozwiązanie tymczasowe do czasu wdrożenia Dankshardingu, który może sprawić, że korzystanie z rollupów będzie tańsze. Proto-Danksharding wprowadza nowy typ transakcji o nazwie „transakcja typu blob-carrying”. Transakcje te zawierają obiekt blob o wielkości 128 KB, do którego nie można uzyskać dostępu z warstwy wykonawczej Ethereum. Zamiast tego z Ethereum będzie dostępne tylko zobowiązanie do obiektu blob danych.
Obiekt BLOB danych jest reprezentowany jako wielomian, a wielomianowy schemat zobowiązań KZG jest używany do tworzenia zobowiązania do danych. Umożliwia to weryfikację właściwości obiektu BLOB danych bez ujawniania całego obiektu BLOB danych.
Zastosowanie KZG może zatem umożliwić próbkowanie dostępności danych (DAS), które zostanie zaimplementowane na ścieżce do pełnego Dankshardingu. DAS zasadniczo umożliwia walidatorom zapewnienie, że obiekt blob danych jest dostępny i poprawny, bez konieczności odczytywania całego obiektu blob danych.
To z kolei może znacznie pomóc w zwiększeniu skalowalności Ethereum, ponieważ walidatorzy muszą radzić sobie z mniejszą ilością danych.
Źródło: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/