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

...