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

2026-02-05 14:13:05

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)

ETH-6,61%

Voir l'original

Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.