Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

Version 1 Next »

Project Title

Runtime-checked automated programming for chaincode development

Status

PENDING TOC REVIEW

Primary Focus

  RESEARCH

Description 

Can we make ChatGPT write chaincode for us?

The answer is certainly yes, but the – for now - usual 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.

Automated programming for other blockchain platforms is an already emerging topic, but Fabric has not been really addressed yet. This is an experimental mentorship with equal weight in research and hands-on coding, with the following goals.

  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

Learning Objectives

Expected Outcome

Relation to Hyperledger 

Mentee Skills

Mentee Open Source Contribution Experience

Future plans

Mentor(s) Names and Contact Info

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

Bertalan 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 Group





  • No labels