CGD - Crypto Government Department logo CGD - Crypto Government Department logo
Forklog 2024-02-19 09:26:57

Виталик Бутерин назвал возможное применение ИИ для Ethereum

Соучредитель Ethereum Виталик Бутерин заинтересовался использованием ИИ для формальной проверки кода и поиска ошибок. One application of AI that I am excited about is AI-assisted formal verification of code and bug finding.Right now ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.— vitalik.eth (@VitalikButerin) February 19, 2024 «Вероятно, сейчас самый большой технический риск для Ethereum — это баги в коде, и все, что могло бы существенно изменить ситуацию, было бы потрясающе», — написал он. Однако в компании OpenZeppelin ранее получили неоднозначные результаты в ходе экспериментов с использованием GPT-4 от OpenAI для проверки безопасности смарт-контрактов на Solidity — нативном языке программирования Ethereum.  На тот момент глава подразделения машинного обучения фирмы Марико Вакабаяси в статье для Cointelegraph в июле 2023 года отметила, что чат-бот выявил уязвимости только в 20 из 28 поставленных задачах. По ее словам, в ряде случаев результаты были «откровенно плохие». Иногда нейросети требовались наводящие вопросы, а один раз она просто изобрела баг, которого не было. Вакабаяси также напомнила, что примерно такие же результаты получили специалисты Coinbase, поэкспериментировав с проверкой безопасности токенов с помощью ChatGPT. «Сам по себе ИИ не заменит людей. Однако аудиторы, которые научатся использовать эти инструменты, будут гораздо более эффективными, чем те, кто закрывает глаза на новую технологию», — заключила она. В комментарии для издания директор по безопасности CertiK Кан Ли рассказал, что использование решений вроде ChatGPT в создании кода зачастую создает больше проблем с уязвимостями, чем решает. В целом он рекомендовал использовать ИИ-инструменты только в качестве помощника опытным программистам. «Я думаю, что ChatGPT — отличный полезный инструмент для занимающихся анализом кода и обратным инжинирингом людей. Это определенно хороший ассистент, и он значительно повысит нашу эффективность», — подчеркнул Ли. Напомним, в январе Бутерин рассмотрел перспективы взаимодействия технологий ИИ и криптовалют, выделив четыре перспективные возможности синергии.    https://forklog.com/news/vitaliku-buterinu-30-let-razrabotchik-podelilsya-videniem-budushhego-blokchejn-industrii

Διαβάστε την Αποποίηση Ευθυνών : Όλο το περιεχόμενο που παρέχεται εδώ στον ιστότοπό μας, τους υπερσυνδεδεμένους ιστότοπους, τις σχετικές εφαρμογές, τα φόρουμ, τα ιστολόγια, τους λογαριασμούς κοινωνικών μέσων και άλλες πλατφόρμες (“Site”) προορίζεται μόνο για τις γενικές πληροφορίες σας, που προέρχονται από τρίτες πηγές. Δεν κάνουμε καμία εγγύηση οποιουδήποτε είδους σε σχέση με το περιεχόμενό μας, συμπεριλαμβανομένης ενδεικτικά της ακρίβειας και της ενημέρωσης. Κανένα μέρος του περιεχομένου που παρέχουμε δεν αποτελεί οικονομική συμβουλή, νομική συμβουλή ή οποιαδήποτε άλλη μορφή συμβουλών που προορίζεται για τη συγκεκριμένη εμπιστοσύνη σας για οποιονδήποτε σκοπό. Οποιαδήποτε χρήση ή εξάρτηση από το περιεχόμενό μας είναι αποκλειστικά με δική σας ευθύνη και διακριτική ευχέρεια. Πρέπει να πραγματοποιήσετε τη δική σας έρευνα, να ελέγξετε, να αναλύσετε και να επαληθεύσετε το περιεχόμενό μας προτού βασιστείτε σε αυτά. Η διαπραγμάτευση είναι μια εξαιρετικά επικίνδυνη δραστηριότητα που μπορεί να οδηγήσει σε μεγάλες απώλειες, επομένως συμβουλευτείτε τον οικονομικό σας σύμβουλο πριν λάβετε οποιαδήποτε απόφαση. Κανένα περιεχόμενο στον ιστότοπό μας δεν προορίζεται να είναι παράκληση ή προσφορά