Grant Title
Formal Verification of SSV Protocol
Grant Type
Open Grant
Amount
$188,100.00
Status
Executing
Grant Description
Proposal Date
October 21, 2021
Decision Date
October 28, 2021
Website
Product
Research
Final Proposal
/w=256,quality=90,fit=scale-down)
Formal Verification of SSV Protocol