Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.


Page Properties


Project Title

Runtime-checked automated programming for chaincode development

Status

Status
colourBlue
titlePending TOC Review

Primary Focus

  

Status
titleResearch


...

The answer is certainly yes, but the – for now - usual the current caveats of “AI-conversational” programming apply: the process is iterative, and we really can’t be sure whether the result is completely right until we test it – and probably also look for execution errors at runtime.

...

  1. To review existing examples and approaches of automated programming for smart contracts on other platforms (i.e., Solidity).
  2. To explore the technically feasible options of automated programming for Hyperledger Fabric (incl. chatGPT) and select one for further work.
  3. To formulate a chaincode specification style which “seems to work well enough” on a set of representative examples. (We don’t know yet what will work – One-shot/iterative? Requirement set or BDD? Conversational or formal? Etc.)
  4. To create support for translating the specification partially or fully to runtime verification code, which can wrap the chaincode implementation.

Additional Information

Ask ChatGPT for papers, which deal with using neural networks for generating Solidity code! No, really.

And ask it to write you an ERC-20 equivalent chaincode.

And ask it to introduce Fabric MSP-based ownership management.

(Try not to think of Asimov's robopsychology.)

It's not a coding wizard yet, but definitely uncanny.


Learning Objectives

Expected Outcome

...