Formal Verification: Project Plan

Mentee

Name

Email ID

Vibhav Sharma (VS)

vibchess123 [at] gmail [dot] com

Volunteer Mentees

Timeline, Deliverables and Status

Dates


Task Description


Deliverables


Status



From


To

06 June 202412 June 2024

Mentee Onboarding and Discussion with Mentors

NA 

COMPLETED

15 June 202430 June 2024Project Plan Finalization

COMPLETED

01 July 202414 July 2024Understanding Hyperledger Fabric Chaincode Lifecycle

IN PROGRESS

15 July 202422 July 2024Literature Study of Formal Verification of Chaincode


23 July 202425 July 2024Documentation


26 July 2024FIRST TERM EVALUATION


27 July 202418 August 2024

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


19 August 202403 September 2024

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


04 September 2024

MIDTERM EVALUATION



05 September 202414 October 2024
  • 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.


15 October 2024THIRD TERM EVALUATION


16 October 202414 November 2024

Integration with Hyperledger Fabric

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


15 November 27 November 2024

Whitepaper and Paper Publication Preparation



28 November 2024

FINAL EVALUATION