Ethereum jest w trakcie wdrażania KZG, wielomianowego schematu zobowiązań, który mógłby pomóc w skalowaniu Ethereum.
Uczynienie dowodów zerowej wiedzy (ZKP) „zrozumiałymi i dostępnymi” dla ludzi jest konieczne, aby utrzymać ekosystem Ethereum „otwartym i przyjaznym” dla osób bez stopnia matematycznego, współzałożyciel Ethereum Vitalik Buterin tweetował 26 października.
ZKP są często określane jako „matematyka księżycowa” ze względu na ich złożoność.
Jestem tak szczęśliwy, że Ethereum ma tak silną kulturę starania się, aby cała nasza matematyka księżycowa była jak najbardziej zrozumiała i dostępna dla ludzi. https://t.co/o9n2Xms4Zw
– vitalik.eth (@VitalikButerin) 26 października 2022
Buterin dodał, że „Decentralizacja wymaga NIE poddawania się i machania dookoła doktorem mówiącym „to czarna skrzynka, jesteśmy mądrzy, zaufajcie nam”.”
Scroll, rozwiązanie do skalowania Ethereum w warstwie 2 o zerowej wiedzy, wyjaśnił na blogu, jak działają wielomianowe schematy zobowiązań, krytyczna część kilku ZKP, i jak mogą one pomóc w skalowaniu Ethereum.
Wielomian to wyrażenia matematyczne, które reprezentują więcej niż dwa terminy algebraiczne. Według bloga Scroll, wielomiany mogą pomóc w wydajnym reprezentowaniu dużych danych.
Schemat zobowiązań to protokół kryptograficzny, w którym ktoś zobowiązuje się do wiadomości i utrzymuje ją w ukryciu, ale może ujawnić wiadomość później. Jednak osoba zobowiązująca się nie może zmienić wiadomości, gdy już się do niej zobowiązała, co czyni schematy zobowiązań wiążącymi.
W wielomianowym schemacie zobowiązań, zamiast wiadomości, ktoś zobowiązuje się do wielomianu. Wielomianowy schemat zobowiązań spełnia wszystkie właściwości normalnych schematów zobowiązań. Ma jednak dodatkową cechę, która pozwala commitującemu udowodnić, że zobowiązał się do pewnego wielomianu, który spełnia wymagane właściwości, bez ujawniania samego wielomianu.
KZG w skalowaniu Ethereum
Choć istnieją różne wielomianowe schematy zobowiązań, Kate-Zaverucha-Goldberg (KZG) jest popularny w przestrzeni blockchain i używany przez systemy dowodowe Scroll. KZG ma być również zintegrowany z Ethereum z Proto-Danksharding, który ma zostać wdrożony za pośrednictwem EIP-4844, który został zaproponowany w lutym 2022 roku.
Proto-Danksharding jest rozwiązaniem tymczasowym, dopóki nie zostanie wdrożony Danksharding, który może sprawić, że korzystanie z rollupów będzie tańsze. Proto-Danksharding wprowadza nowy typ transakcji o nazwie „blob-carrying transaction”. Transakcje te przenoszą blob danych o wielkości 128kb, do którego nie można uzyskać dostępu z warstwy wykonawczej Ethereum. Zamiast tego z Ethereum dostępne będą tylko zobowiązania do bloba danych.
Pęcherzyk danych jest reprezentowany jako wielomian, a wielomianowy schemat zobowiązań KZG jest używany do tworzenia zobowiązań do danych. Pozwala to na weryfikację właściwości bloba danych bez ujawniania całego bloba danych.
Zastosowanie KZG może zatem umożliwić próbkowanie dostępności danych (DAS), które zostanie zaimplementowane na drodze do pełnego Dankshardingu. DAS zasadniczo umożliwia walidatorom upewnienie się, że blob danych jest dostępny i poprawny, bez konieczności czytania całego bloba danych.
To z kolei może znacząco pomóc w zwiększeniu skalowalności Ethereum, ponieważ walidatory muszą radzić sobie z mniejszą ilością danych.
