Az okosszerződések (smart contract) blokkláncokra telepített programok. Az Ethereum publikus blockchain hálózaton ezeket általában Solidity nyelven írják, de zárt, vállalatközi rendszerek, mint a Hyperledger Fabric esetén akár olyan ismerős programozási nyelvek is használhatók, mint pl. a Java vagy a JavaScript.

Ma már több AI-alapú eszköz is közismerten alkalmas arra, hogy programkódot írassunk vele, mint például a ChatGPT vagy a GitHub Copilot. Még nem kifogástalanok az eredmények, de egyértelműen hasznosíthatók.

Mennyire tudunk okosszerződéseket automatizáltan fejleszteni, például ChatGPT segítségével? Milyen promptokat érdemes alkalmazni? A követelményeket specifikáljuk vagy inkább a viselkedést írjuk le? Esetleg formálisan adjuk meg a specifikációt?

Természetesen nem feltételezhetjük az így született kód helyességét, amíg nem teszteltük és vizsgáltuk meg a futásidőben esetlegesen előforduló hibákat. Az ezt megvalósító programkódot abból a specifikációból szeretnénk generálni, amit a ChatGPT-nek (vagy egyéb rendszenek) is odaadtunk.

A téma kísérletezős, nem szükséges hozzá említésre méltó blokkláncokkal vagy AI-val kapcsolatos előismeret.