/w=256,quality=90,fit=scale-down)
Grant Title
Formal Verification of SSV Protocol
Grant Type
Open Grant
Amount
$188,100.00
Status
Executing
Proposal Date
2021/10/21
Grant Description
Decision Date
2021/10/28
Website
https://consensys.net/
Product
Research
Final Proposal
Forum Discussion
https://forum.ssv.network/t/formal-verification-of-ssv-protocol/66