Solidity

Дана стаття присвячена порівняльному аналізу автоматичної генерації смартконтрактів на мові Solidity за допомогою великих мовних моделей на основі двох підходів: текстових описів природною мовою та формальних алгебраїчних специфікацій. У ході роботи було проаналізовано смарт-контракти, згенеровані великими мовними моделями (ChatGPT-4, Claude 3.7 Sonnet, DeepSeek-V3), а також інструментом на основі штучного інтелекту GitHub Copilot, з оцінкою їхньої синтаксичної коректності та відповідності початковим вимогам.

У роботі проаналізовано децентралізовані технології блокчейну Ethereum, за принципами яких запропоновано рішення децентралізованого програмного сервісу з використанням смарт- контракту, реалізованого на спеціалізованій мові програмування Solidity. Цей контракт виступає у якості одного з елементів сервер-клієнтського додатку і є серверною частиною для обробки методів взаємодії із блокчейном Ethereum. Методи містять набір різноманітних функцій, зокрема й для взаємодії із колекцією невзаємозамінних токенів.