...
- To review existing examples and approaches of automated programming for smart contracts of other platforms (i.e., Solidity).
- To explore the technically feasible options of automated programming for Hyperledger Fabric (incl. chatGPT) and select one for further work.
- To formulate a chaincode specification style which “seems to work well enough” on a set of representative examples with automated programming. (We don’t know yet what will work – One-shot/iterative? Requirement set or BDD? Conversational or formal? Etc.)
- To create support for translating the specification partially or fully to runtime verification code, which can wrap the chaincode implementation. (Starting from a specification is a tried and tested way to create verifier code either manually or automatically and is much easier to do correctly than creating the implementation correctly from a specification. We plan to keep this aspect "classic": i.e., no chatGPT here. Specification-based verification criteria are usually checkable during development time, too.)
Additional Information
Ask ChatGPT for papers, which deal with using neural networks for generating Solidity code! No, really.
...