Formal Verification: Project Plan
Mentee
Name | Email ID |
|---|---|
Vibhav Sharma (VS) |
Volunteer Mentees
Name | Email ID |
|---|---|
Gandavaram Anuhya (AG) @anuhya | |
Ruthwik Krishna Bandreddy (RKB) @Ruthwik Krishna | cb.en.u4cys21062 [at] cb [dot] students [dot] amrita [dot] edu |
Timeline, Deliverables and Status
Dates |
Task Description |
Deliverables |
Status
| |
|---|---|---|---|---|
From |
To | |||
06 June 2024 | 12 June 2024 | Mentee Onboarding and Discussion with Mentors | NA | COMPLETED |
15 June 2024 | 30 June 2024 | Project Plan Finalization |
| COMPLETED |
01 July 2024 | 14 July 2024 | Understanding Hyperledger Fabric Chaincode Lifecycle |
| IN PROGRESS |
15 July 2024 | 22 July 2024 | Literature Study of Formal Verification of Chaincode |
|
|
23 July 2024 | 25 July 2024 | Documentation |
|
|
26 July 2024 | FIRST TERM EVALUATION |
|
| |
27 July 2024 | 18 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 2024 | 03 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 2024 | 14 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 2024 | THIRD TERM EVALUATION |
|
| |
16 October 2024 | 14 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 |
|
| |