Grant TitleFormal Verification of SSV ProtocolGrant TypeOpen GrantAmount$188,100.00StatusExecutingProposal Date2021/10/21Grant DescriptionDecision Date2021/10/28Websitehttps://consensys.net/ProductResearchFinal ProposalForum Discussionhttps://forum.ssv.network/t/formal-verification-of-ssv-protocol/66