...

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.

On the other hand, 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 out of the box

Expected Outcome

• A representative ("towards a benchmark") set of smart contract functionality and their key variations, defined in natural language (various token contracts, cross-organizational processes, data recording, etc.).
• A set of (possibly branching) natural language conversation scripts, and a report on evaluating the capabilities and shortcomings of a selected (expected to be best-of-breed) generative approach.
• A set of functionally equivalent specifications in a structured approach (we expect this to be a variant of BDD, but there are other options to try).
• A report on evaluating the capabilities and shortcomings of the structured approach on the selected (expected to be best-of-breed) generative approach, and comparison with the "conversational" approach.
• At least expected: specification-compliance runtime checking code for the cases of the structured approach (determining the checked properties and a coverage goal is part of the work).
• In optimal case: automatically generated checker code.

Relation to Hyperledger 

Hyperledger Fabric.

Mentee Skills

This project does not really need significant existing credentials; curiosity is the key factor. That said, basic experience in programming and knowledge of requirement-driven development approaches is needed. 

Mentee Open Source Contribution Experience

...