małe snarki Słowa takie jak laser, scuba, radar zaczynały się wielką literą. LASER — Wzmocnienie Światła przez Stymulowaną Emisję Promieniowania SCUBA — Samodzielne Urządzenie Oddechowe do Nurkowania RADAR — RAdio Detekcja i Zasięg Kiedy technologia dojrzewa i staje się niezawodna, zaufana, skomodyfikowana, zasługuje na małą literę. Lean Ethereum to zakład na snarki, a nie Skrócone Niekonwencjonalne Argumenty Wiedzy. Bezpieczeństwo post-kwantowe. Udowodniona solidność. Formalna weryfikacja end-to-end. Głęboka kryptanaliza. Dowodzenie w czasie rzeczywistym. Programowalność zkVM. Prostota i elegancja. Wszystko to niezbędne dla małej litery. Wszystko nieuniknione. Ethereum L1 ma 10-letni czas działania i 1 bilion dolarów zabezpieczonych za pomocą hashy i podpisów, naszych kryptograficznych koni roboczych. Wierzę w 100-letni czas działania i 1 kwadrylion dolarów zabezpieczonych za pomocą snarków, naszych kryptograficznych silników odrzutowych. * Skala L1 — 10K TPS w skali gigagas z zkEVM w czasie rzeczywistym * Bezpieczeństwo L1 — bezpieczeństwo post-kwantowe z podpisami snarkowymi * Prywatność L1 — stealth na poziomie Zcash z tunelami (np. EIP-7503) Wysyłanie snarków to kryptograficzny Projekt Manhattan, w który EF inwestuje dziesiątki milionów: * verified-zkevm[.]org — formalna weryfikacja * poseidon-initiative[.]info — głęboka kryptanaliza * ethproofs[.]org — dowodzenie w czasie rzeczywistym * proximityprize[.]org — udowodniona solidność * zkevm.ethereum[.]foundation — uświęcenie * pse[.]dev — prywatność Krok po kroku, EF ewoluuje w organizację skoncentrowaną na snarkach: * zespół kryptograficzny — prowadzenie solidności i kryptanalizy * zespół snarkifikacji — prowadzenie formalnej weryfikacji * zespół zkEVM — prowadzenie integracji protokołu * zespół Ethproofs — prowadzenie dowodzenia w czasie rzeczywistym * zespół PSE — prowadzenie prywatności * zespół PQ konsensusu — wkrótce™ Wierz w coś magicznego. Wierz w małe snarki.