La société de sécurité Web3 Certora reçoit un financement de la Fondation Ethereum

ETH-11,47%
Odaily星球日报讯 La société de sécurité Web3 Certora a annoncé avoir reçu un financement de la Fondation Ethereum, dont le montant exact n'a pas été divulgué. Les fonds seront utilisés pour soutenir la vérification de la correction de la précompilation automatique, une optimisation clé dans le calcul à connaissance zéro, développée par Powdr Labs pour le projet zkEVM de la Fondation Ethereum. Il est rapporté que Certora prévoit de rendre open source ses cadres de spécification, de preuve et de vérification. (Chainwire)
Avertissement : Les informations figurant sur cette page peuvent provenir de sources tierces et sont fournies à titre indicatif uniquement. Elles ne reflètent pas les points de vue ou opinions de Gate et ne constituent pas un conseil financier, d’investissement ou juridique. Le trading des actifs virtuels comporte des risques élevés. Veuillez ne pas vous fonder uniquement sur les informations de cette page pour prendre vos décisions. Pour en savoir plus, consultez l’avertissement.
Commentaire
0/400
Aucun commentaire