...
...
...
...
...
...
...
...
...
...
...
...
...
...
| Page Properties | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
...
- 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 chaincode programming for Hyperledger Fabric (incl. chatGPTChatGPT) 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 /or iterative? Requirement set or Behavior-Driven Development (BDD)? Conversational or formal specification? EtcAnd so on.) - To create support for translating the specification partially or fully to runtime verification code, which can wrap the chaincode implementation.
On the last point: 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 last point “classic”: i.e., no ChatGPT here. Specification-based verification criteria are usually amenable to development time verification, too (with static analysis, model checking, etc.).
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 handFurthermore, 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
- 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
Expected Outcome
- A definition of a natural-language "specification conversation set", which target a diverse, representative 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)
- Optimally: 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. We prefer a candidate to have at least some experience with chaincode development and knowledge of the Hyperledger Fabric platform.
Mentee Open Source Contribution Experience
If available, show us (preferably through GitHub) and be able to explain a nontrivial piece of chaincode you developed.
Future plans
We expect a successful mentorship to have the potential to become a Lab project in the form of a self-hosted tool for users. At this point, due to the experimental nature of the proposed work, we are hesitant to make any further plans (e.g., about a "Fabric coding service").
Mentor(s) Names and Contact Info
Imre Kocsis, assistant professor, kocsis.imre@vikBertalan Zoltán Péter, bpeter@edu.bme.hu, PhD student, Budapest University of Technology and Economics, Dept. of Measurement and Inf. Systems, Critical Systems Research GroupBertalan Zoltán Péter, PhD student,
bpeter@eduImre Kocsis, kocsis.imre@vik.bme.hu, assistant professor, Budapest University of Technology and Economics, Dept. of Measurement and Inf. Systems, Critical Systems Research Group
...