Wczorajsze ogłoszenie dowodzenia w czasie rzeczywistym jest ogromnym kamieniem milowym, a @VitalikButerin porusza kilka dobrych kwestii dotyczących dalszych prac, które będą wymagane. ALE myślę, że jesteśmy bliżej we wszystkich tych kwestiach, niż ludzie mogą sobie zdawać sprawę... 1. Najgorsze przypadki dowodzenia w czasie rzeczywistym można rozwiązać za pomocą prostych zmian w harmonogramie gazu Ethereum: Obecnie ~94% bloków można udowodnić w < 12 sekund, 99% bloków można udowodnić w < 13 sekund. W przypadku pozostałych wartości odstających powinny wystarczyć proste korekty harmonogramu gazowego Ethereum (obecnie prekompilacje bn254, bls12-381 są zaniżone w stosunku do kosztów ich udowodnienia). Również EIP ograniczające maksymalne zużycie gazu w pojedynczej transakcji pomoże zapewnić, że nie będzie wektorów DDOS (ponieważ udowadniamy podbloki transakcji równolegle, aby osiągnąć nasze niskie opóźnienia). 2. Formalna weryfikacja dla SP1 jest już w toku: Co ciekawe, w zeszłym tygodniu otrzymaliśmy 2 ogłoszenia o formalnej weryfikacji dla SP1, współpracując z @NethermindEth i @VeridiseInc! Mamy jasny plan formalnej weryfikacji wszystkich naszych głównych AIR w ciągu najbliższych kilku miesięcy. 3. Udowadnianie w domu nie jest potrzebne w przypadku zdecentralizowanych sieci prover: W tej chwili RTP wymaga ~160 procesorów graficznych, co jest bardzo małe dla każdego centrum danych, ale może nieco duże dla konfiguracji domowej. Jednak w związku z nadchodzącymi uruchomieniami zdecentralizowanych sieci prover, nie jestem pewien, czy musimy dążyć do udowodnienia w domu. Sieć będzie ekonomicznie zachęcać do tego, że w Internecie zawsze są dowody gotowe do udowodnienia w czasie rzeczywistym. 4. Równoległe udowadnianie podbloków oznacza, że 100-krotne przekroczenie limitu gazu nie stanowi problemu dla opóźnień: jestem za 100-krotnym przekroczeniem limitu gazu i nie będzie to dla nas problemem. Nasza implementacja dowodzenia w czasie rzeczywistym wykorzystuje podejście podblokowe, w którym bierzemy blok i dzielimy go na mniejsze podbloki po kilka transakcji. Te podbloki są sprawdzane równolegle, a następnie agregowane w 1 dowód na końcu. Nawet jeśli limit gazu wzrośnie 100-krotnie, nadal możemy zrównoleglić udowadnianie podbloków (jest ich po prostu więcej), co oznacza, że opóźnienie nie zostanie naruszone. Uwierz w coś prawdziwego. Uwierz w dowodzenie w czasie rzeczywistym.