Grant TitleFormal Verification of SSV ProtocolGrant TypeOpen GrantAmount$188,100.00StatusExecutingGrant DescriptionProposal DateOctober 21, 2021Decision DateOctober 28, 2021Websitehttps://consensys.net/ProductResearchFinal ProposalForum Discussionhttps://forum.ssv.network/t/formal-verification-of-ssv-protocol/66
/w=3840,quality=80,fit=scale-down)