Mede-oprichter van Ethereum, Vitalik Buterin, heeft zijn enthousiasme geuit over het potentieel van AI-ondersteunde formele verificatie van code en het vinden van bugs.
In een tweet van maandag merkte Buterin op dat het belangrijkste technische risico van Ethereum voortkomt uit bugs in de code, en dat alles wat het spel op dat front aanzienlijk zou kunnen veranderen, baanbrekend zou zijn.
“Een toepassing van AI waar ik enthousiast over ben, is de door AI ondersteunde formele verificatie van code en het opsporen van bugs. Op dit moment is het grootste technische risico van Ethereum waarschijnlijk bugs in de code, en alles wat de game daarin aanzienlijk zou kunnen veranderen zou geweldig zijn.” Hij schreef.
Met name een van de grootste uitdagingen waarmee we worden geconfronteerd Ethereum protocollen is de exploitatie van bugs, wat resulteert in miljoenen dollars aan verliezen voor investeerders als gevolg van hackincidenten. Volgens een rapport van Chainalysis bereikten de in 2023 gestolen cryptofondsen een verbazingwekkende $1.7 miljard, waarbij ongeveer tweederde van het totale gestolen geld terug te voeren was op hacks die zich richtten op DeFi-protocollen. En hoewel het totale aantal diefstallen is afgenomen in vergelijking met voorgaande jaren, blijft de dreiging van DeFi-hacking een groot probleem.
Hoewel Buterin optimistisch is over het potentieel van AI, heeft hij ook opgemerkt dat hij voorzichtig is. In een blog van 30 januari adviseerde de mede-oprichter van Ethereum voorzichtigheid als het gaat om de integratie van AI met blockchain-technologie, waarmee hij de cruciale behoefte aan een zorgvuldige en afgemeten aanpak onderstreepte, vooral bij het inzetten van AI in contexten die aanzienlijke waarde en risico met zich meebrengen.
Met name vorig jaar leverde het experiment van het slimme contractontwikkelingsbedrijf OpenZeppelin met behulp van OpenAI's GPT-4 om beveiligingsproblemen in slimme contracten van Solidity op te sporen gemengde resultaten op. Volgens een rapport van het bedrijf identificeerde GPT-4 nauwkeurig kwetsbaarheden in 20 van de 28 uitdagingen, maar verzonnen soms ook niet-bestaande kwetsbaarheden.
Op dezelfde manier heeft Kang Li, de Chief Security Officer bij blockchain-beveiligingsbedrijf CertiK, gewaarschuwd om niet uitsluitend te vertrouwen op AI-aangedreven tools voor codering. Tijdens zijn toespraak afgelopen september tijdens de Korean Blockchain Week merkte Li op dat AI-tools meer beveiligingsproblemen kunnen introduceren dan ze oplossen als ze zonder voorzichtigheid worden gebruikt.
Li benadrukte verder dat ChatGPT bijvoorbeeld mogelijk niet zo goed in staat is om fouten in logische code te detecteren als ervaren ontwikkelaars. In plaats daarvan stelde de expert voor om AI-assistenten te gebruiken als ondersteuningstools voor doorgewinterde ontwikkelaars, waardoor ze code effectiever kunnen begrijpen.
- Door SEO aangedreven content en PR-distributie. Word vandaag nog versterkt.
- PlatoData.Network Verticale generatieve AI. Versterk jezelf. Toegang hier.
- PlatoAiStream. Web3-intelligentie. Kennis versterkt. Toegang hier.
- PlatoESG. carbon, CleanTech, Energie, Milieu, Zonne, Afvalbeheer. Toegang hier.
- Plato Gezondheid. Intelligentie op het gebied van biotech en klinische proeven. Toegang hier.
- Bron: https://zycrypto.com/vitalik-buterin-highlights-potential-use-case-of-ai-on-ethereum/
