Short description

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 of other platforms (i.e., Solidity).
2. To explore the technically feasible options of automated chaincode 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 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? And so on.)
4. To create support for translating the specification partially or fully to runtime verification code, which can wrap the chaincode implementation.

Participants

Mentors:

• Bertalan Zoltán Péter , PhD Student @ BME Critical Systems Research Group, ftsrg (Discord: bp99 #0622)
• Imre Kocsis , Associate Professor @ BME Critical Systems Research Group, ftsrg
  

Mentee: Tanuj Surve.  (Discord: tanuj5173)

Timeline