Vitalik Buterin twierdzi, że AI może przyspieszyć plan rozwoju Ethereum przy jednoczesnym podniesieniu standardów bezpieczeństwa

Post Vitalik Buterin twierdzi, że AI może przyspieszyć plan rozwoju Ethereum przy jednoczesnym podniesieniu standardów bezpieczeństwa ukazał się najpierw na Coinpedia Fintech News

Przyszłość rozwoju Ethereum może nadejść szybciej, niż wielu się spodziewało.

Vitalik Buterin niedawno opisał eksperyment, w którym znaczna część proponowanego planu rozwoju Ethereum na rok 2030 została "zakodowana w stylu vibe" w ciągu zaledwie kilku tygodni przy użyciu narzędzi sztucznej inteligencji. Choć ostrzegł, że wyniki są daleko od gotowości produkcyjnej, szerszy przekaz był jasny: AI gwałtownie przekształca sposób budowania infrastruktury blockchain.

Kodowanie AI porusza się z bezprecedensową prędkością

Według Buterina stworzenie wersji roboczej tak złożonego planu w ciągu zaledwie dwóch tygodni wydawałoby się nierealne jeszcze sześć miesięcy temu. Stwierdził, że kod wygenerowany przez AI prawdopodobnie zawiera krytyczne błędy i niekompletne sekcje. Niektóre komponenty mogą być symbolami zastępczymi, a nie w pełni zaimplementowanymi funkcjami.

Mimo to sama szybkość rozwoju stanowi zwrot.

Buterin podzielił się również, że niedawno zbudował wersję swojego oprogramowania blogowego w około godzinę, używając otwartego modelu AI działającego lokalnie na swoim laptopie. Bardziej zaawansowane systemy, zasugerował, mogłyby potencjalnie wykonać podobne zadania jeszcze szybciej.

Wniosek nie jest taki, że AI może natychmiast stworzyć bezpieczną infrastrukturę blockchain. Raczej pokazuje, jak dramatycznie kurczą się harmonogramy rozwoju.

Szybkość to tylko połowa historii

Buterin podkreślił, że samo szybsze kodowanie nie wystarczy. W jego przekonaniu prawdziwa okazja leży w zrównoważeniu szybkości z silniejszymi praktykami bezpieczeństwa.

Zamiast używać AI tylko do pisania większej ilości kodu, programiści mogą użyć go do:

• Generowania znacznie większej liczby przypadków testowych
  
• Przeprowadzania głębszych audytów bezpieczeństwa
  
• Tworzenia wielu niezależnych implementacji tego samego systemu
  
• Formalnej weryfikacji krytycznych komponentów
  

Jeden współpracownik z inicjatywy LeanEthereum podobno użył AI, aby pomóc w wytworzeniu dowodu weryfikowalnego maszynowo dla jednego ze złożonych twierdzeń matematycznych leżących u podstaw kryptografii opartej na STARK.

Dla Ethereum, które coraz bardziej polega na zaawansowanych systemach zerowej wiedzy, takie narzędzia weryfikacyjne są niezbędne.

Formalna weryfikacja może stać się standardową praktyką

Podstawową zasadą LeanEthereum jest formalna weryfikacja wszystkich komponentów wszędzie tam, gdzie to możliwe. Formalna weryfikacja oznacza matematyczne udowodnienie, że kod zachowuje się dokładnie zgodnie z zamierzeniem.

W systemach blockchain zabezpieczających miliardy dolarów wartości, zmniejszenie nawet niewielkich luk może mieć ogromny wpływ. Buterin zasugerował, że AI przyspiesza zdolność do tworzenia zweryfikowanych dowodów i testowania implementacji na dużą skalę.

Ostrożnie dodał, że nikt nie powinien oczekiwać wprowadzenia jednego polecenia i otrzymania idealnie bezpiecznego kodu. Błędy, niespójności i kompromisy projektowe pozostaną częścią procesu.

Jednak cykle debugowania i testowania mogą przebiegać pięć razy szybciej i znacznie dokładniej niż wcześniej.

Czy plan rozwoju Ethereum może zostać ukończony wcześniej niż oczekiwano?

Choć Buterin nie poczynił żadnych konkretnych przewidywań, zachęcił społeczność do pozostania otwartą na możliwość, że długoterminowy plan rozwoju Ethereum może zostać ukończony szybciej, niż wielu przewiduje.

Co ważniejsze, zasugerował, że może osiągnąć wyższe standardy bezpieczeństwa niż tradycyjnie oczekiwane dla złożonych systemów rozproszonych.

Jeśli AI będzie nadal ulepszać się w obecnym tempie, wąskie gardła rozwojowe, które kiedyś spowalniały aktualizacje blockchain, mogą stać się mniej restrykcyjne.