Real-time proving w końcu do mnie dotarło, czytając Część 7. Puenta: jeśli dowody zastępują ponowne wykonanie na L1, sufit Ethereum przesuwa się z "czego każdy walidator może powtórzyć w 12s" na "co kilku proverów może zrównoleglić, a reszta tylko weryfikuje." @brevis_zk Pico Prism to już nie teoria; 15 października osiągnął ~6.9s średniego dowodzenia dla bloków 45M-gas z 99.6% <12s na klastrze 64× RTX 5090, co zgadza się z celami RTP EF na lipiec '25, które mam zapisane (≤10s P99, <$100k capex, <10kW). Kroki reprodukcji są publiczne w repozytorium brevis-network/pico-ethproofs, co jest ogromne dla wiarygodności. ❯ Dlaczego to ważne: weryfikacja trwa milisekundy i ma stały koszt; jeśli utrzymasz ogony pod kontrolą, "dowód raz, weryfikuj wszędzie" zamienia telefony w uczciwe lekkie klientów. ❯ Co się zmieniło: rozproszone, multi-GPU pipeline'y (wykonanie/rekurencja/kompresja) z prawie liniowym skalowaniem w porównaniu do starszego dostrajania na pojedynczej maszynie. ❯ Dowody, na których się opierałem: blog EF "Shipping an L1 zkEVM #1: Realtime Proving" (lipiec '25) jako punkt odniesienia; benchmark Prism z października '25 + reprodukowalne binaria w pico-ethproofs jako dowody. Zastrzeżenia: P99 (nie mediana) musi być utrzymane, gdy gaz przechodzi z 45M→60M; capex/moc nadal muszą zmieścić się poniżej linii "domowego dowodzenia" EF <$100k/<10kW. Szybkie porównanie: Prism (64×5090, ~6–7s, ~97% <10s) vs wcześniejszy SP1 Hypercube (160×4090, 10.3s średnio, ~41% <10s przy 36M-gas). Te same zasady, inna krzywa kosztów. Sprawdzenie roszczenia: propozycja "100× większe bloki, ten sam koszt weryfikacji" jest wiarygodna, jeśli ogony pozostaną poniżej 10s, gdy limity rosną. Będę śledzić P99, rozmiar dowodu i moc w następnej kolejności.