Vibhav Sharma (VS)

vibchess123 [at] gmail [dot] com

anuhya939 [at] gmail [dot] com

cb.en.u4cys21062 [at] cb [dot] students [dot] amrita [dot] edu

Mentee Onboarding and Discussion with Mentors

Exploration and Analysis

• VS, AG, RKB: Explore existing formal verification tools and techniques.
• VS: Development Setup and Tools for Chaincode Verification
• AG, RKB: Analysis of the existing formal verification tools for Blockchain (in General) and Hyperledger Fabric (in Specific)
• VS: Draft Design Strategy for Implementing Formal Verification of chaincode

Design and Implementation

• AG, RKB: Review and Contribute to the design of novel formal verification methods tailored for Hyperledger Fabric chaincode.
• VS: Initiation of Phase 1: Implementation 
• VS:  Develop Unit Test Module

MIDTERM EVALUATION

• VS: Initiation of Phase 2: Implementation 
• AG, RKB: Analyze and Test the Phase 1 Implementation through Unit Test Module
• AG, RKB: Thorough evaluation of the effectiveness and scalability of the techniques.

Integration with Hyperledger Fabric

• VS: Integrated the Implemented and Tested Solution to Hyperledger Fabric
• VS: Comparison with Fabric 3.0 

Whitepaper and Paper Publication Preparation

FINAL EVALUATION