Współtwórca Ethereum, Marchhill, złożył wstępną propozycję mającą na celu umożliwienie ogólnej weryfikacji dowodów i sponsorowanego przetwarzania wsadowego, pozwalając wielu roszczeniom transakcyjnym na współdzielenie dowodu przy zachowaniu oddzielnych płatności i podpisów.
Podsumowanie
- Sponsorzy mogliby płacić za dowody wsadowe, podczas gdy transakcje członków płaciłyby za swoje indywidualne roszczenia.
- Ważne podzbiory mogłyby wejść do bloku bez wymagania od członków ponownego podpisywania swoich transakcji.
- Proponowane opłaty i limity zasobów pozostają tymczasowe, a aktywacja zależy od pomiarów wydajności.
- Zgłoszenie jest wersją roboczą pull requesta, bez przypisanego numeru EIP ani daty aktywacji w mainnecie.
Propozycja Marchhilla, złożona do repozytorium EIP Ethereum 13 listopada, aktywowałaby schemat LEANSTARK_SCHEME zarezerwowany w EIP-8288 i wprowadziłaby zasady dla sponsorowanych partii. Zgłoszenie jest wciąż w fazie rozwoju i nie zostało przyjęte jako aktualizacja sieci Ethereum.
Wersja robocza łączy ogólną weryfikację, tożsamość dowodu, limity zasobów, podsumowania zależności i płatności wsadowe w jednej propozycji. Zastępuje wcześniejsze zgłoszenie, pull request #12654, podczas gdy numer EIP i dedykowany wątek dyskusyjny pozostają do przypisania.
Dowody wsadowe Ethereum oddzieliłyby płatności sponsora i członków
W centrum wersji roboczej znajduje się układ płatności, w którym sponsor pokrywa każdy zachowany liść partii, indywidualny składnik dowodu zawierający kilka roszczeń. Transakcje członków płaciłyby zgodnie z własnymi zgłoszonymi roszczeniami.
Budowniczy mógłby uwzględnić dowolny ważny podzbiór bez proszenia członków o ponowne podpisanie. Ktoś, którego transakcja była gotowa do włączenia, nie potrzebowałby zatem nowego podpisu wyłącznie dlatego, że inni członkowie pierwotnej grupy zostali pominięci, zgodnie z proponowanym mechanizmem.
Wersja robocza zachowałaby indywidualne nonce i paragony transakcji. Nonce identyfikuje miejsce transakcji w sekwencji transakcji konta, podczas gdy paragon rejestruje wynik jej wykonania. Współdzielenie pracy dowodowej pozostawiłoby te zapisy przypisane do oddzielnych transakcji.
Dopasowanie płatności byłoby sprawdzane podczas finalizacji, a rekurencyjne dowody uwierzytelniałyby źródła użyte w partii. Zgłoszenie rozróżnia pracę polegającą na ustaleniu, że roszczenia są ważne, od pracy polegającej na potwierdzeniu, że towarzyszą im niezbędne płatności.
Zniżkowe roszczenia i płatności sponsora trafiałyby bezpośrednio do budowniczych bloków. Zwykłe dowody obejmujące pojedyncze oświadczenie pozostałyby kwalifikowalne do publicznego mempoolu, gdzie transakcje czekają na włączenie do bloków.
Ogólna weryfikacja opiera się na EIP-8288
Podstawowy EIP-8288, autorstwa Vitalika Buterina i Thomasa Coratgera, proponuje agregację podpisów kryptograficznych i dowodów poza głównym procesem wykonawczym Ethereum. Transakcje identyfikowałyby oświadczenia, które wymagają weryfikacji, a rekurencyjny STARK ustalałby ich ważność na poziomie bloku.
STARKi to dowody kryptograficzne, które wykazują, że obliczenie zostało wykonane poprawnie, bez wymagania, aby każdy weryfikator je powtarzał. Rekurencja pozwala jednemu dowodowi weryfikować inne dowody, łącząc ich wyniki.
EIP-8288 obecnie rezerwuje ogólny schemat leanSTARK, zamiast zezwalać na jego użycie w ramkach zależności. Zgłoszenie Marchhilla proponuje włączenie tej ścieżki i zastąpienie prostego oświadczenia o hashu danych z podstawowej wersji roboczej stabilnym skrótem reprezentującym listę roszczeń.
Projekt nawiązuje do wcześniejszej dyskusji na temat weryfikacji kryptograficznej, w tym poparcia Buterina dla obsługi złożonej kryptografii poprzez zagregowane dowody. Jego komentarze dotyczyły podstawowej architektury; wersja robocza Marchhilla przedstawia konkretny układ weryfikacji i płatności.
Proponowane opłaty pozostają przedmiotem kalibracji
Dostarczona rewizja wymienia tymczasowe opłaty w wysokości 15 400 gazu za weryfikację natywną i 572 000 gazu za zwykłą weryfikację ogólną. Przypisuje 5 100 gazu do wewnętrznego udziału dowodu, 675 000 gazu do płatności za liść i 4 200 gazu do roszczenia wsadowego.
Płatności za liście wiążą się z oddzielną opłatą, ponieważ wiążące płatności dodają stałą pracę poza zwykłą weryfikacją, wyjaśnia wersja robocza. Roszczenia i płatności nie powodowałyby dodatkowego wewnętrznego udziału dowodu. Liczby wymagają wspólnej kalibracji, więc nie ustalają ostatecznego harmonogramu opłat ani potwierdzonych oszczędności dla użytkowników.
Kontrole zasobów obejmują tymczasowy limit blokowy wynoszący 16 384 odrębnych zależności, stosowany niezależnie od gazu, wraz z odpowiadającą mu regułą dopasowania listy włączeń. Liść może zawierać do 256 roszczeń, a krok dowodu może mieć 16 wejść. Żadna z tych liczb nie jest limitem obejmującym cały blok.
Aktywacja wymagałaby pomiarów wydajności dla pełnego bloku
Przed aktywacją propozycja wymaga pomiarów obejmujących pełny harmonogram przetwarzania, późną naprawę sponsora oraz opłaty za dowód, które mieszczą się w limitach gazu transakcji, wraz z wymaganym narzutem.
Jej materiały referencyjne odróżniają zmierzone wyniki dla pojedynczego węzła i pojedynczej maszyny od modelowanych wartości dla 16 procesów roboczych. Projekt wymaga, aby dowody i pozostałe luki wydajnościowe zostały zapisane w materiałach referencyjnych.
Unieważnione sponsorowanie mogłoby zmarnować pracę budowniczego, a w zgłoszeniu stwierdza się, że gaz włączenia nie zwróciłby tej pracy. Konkretna konstrukcja zobowiązań i kodowania pozostają w przypiętej specyfikacji systemu dowodowego. Propozycja nie wprowadza żadnych nowych komunikatów sieciowych.
