Solidity

This article presents a comparative analysis of automatic Solidity smart contract generation using large language models (LLMs) based on two approaches: natural language textual descriptions and formal algebraic specifications. The study analyzes smart contracts generated by LLMs (ChatGPT-4, Claude 3.7 Sonnet, DeepSeek-V3) as well as by the AI-based tool GitHub Copilot, evaluating their syntactic correctness, compliance with initial requirements, and security.

The decentralized technologies of the Ethereum blockchain were analyzed, based on the principles of which a decentralized software service solution was proposed using a smart contract implemented in the specialized Solidity programming language. This contract acts as one of the elements of the server-client application and is the server part for processing methods of interaction with the Ethereum blockchain. The methods include a set of various functions, including for interacting with a collection of non-fungible tokens.