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
titlepartially completedincomplete

Primary Focus

  

Status
titleResearch

...

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.


Furthermore, we expect to experiment with Behavior-Driven Development; this means Gherkin/Cucumber.

Technology/approach for runtime verification (https://en.wikipedia.org/wiki/Runtime_verification) will depend heavily on the results on the "constructive" side - we do not want to make a commitment on this at this point.

Learning Objectives

  • Hyperledger Fabric chaincode programming (if that's not already in the candidate's toolbox)
  • Experiment planning and evaluation
  • Working under guidance and collaborating using open-source tools
  • Analytic thinking - and also thinking a bit outside the box

...