...

Practical software development experience gained by working on, and augmenting, a mature codebase, while collaborating with project maintainers

Expected Outcome

Automated HTLC protocol specification as a research output.


Implementation of automated HTLC by augmenting the HTLC protocol within Weaver.

Fault tolerant HTLC protocol specification and analysis as a research output.

Good to have: implementation of fault tolerant HTLC in Weaver.

Good to have: research publication in a reputed systems conference.

Relation to Hyperledger 

Hyperledger Weaver Labs: https://github.com/hyperledger-labs/weaver-dlt-interoperability

...