...

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 commit make a commitment on this at this point.

Learning Objectives

Expected Outcome

• A definition of a natural-language "specification conversation set", which target a diverse, representative set 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 

Mentee Skills

...

Mentor(s) Names and Contact Info

Imre Kocsis, assistant professor, kocsis.imre@vikBertalan Zoltán Péter, PhD student, bpeter@edu.bme.hu, Budapest University of Technology and Economics, Dept. of Measurement and Inf. Systems, Critical Systems Research GroupBertalan Zoltán Péter, PhD student, bpeter@edu

Imre Kocsis, assistant professor, kocsis.imre@vik.bme.hu, Budapest University of Technology and Economics, Dept. of Measurement and Inf. Systems, Critical Systems Research Group

...