Ooh! Fantastisch! Eine formelle Verifizierung (in diesem Fall mit Lean) könnte dazu beitragen, einige der Fehler zu verhindern, wie z. B. die nicht nachweisbare Fälschungslücke, die vor drei Tagen in der Funktion für verschlüsselte Beträge von Solana aufgedeckt wurde. Langfristig ist dies eine wichtige Arbeit:
Wir erhielten einen Zuschuss aus dem @ethereumfndn Verified zkEVM-Programm, um Lean-Blaupausen für STIR und WHIR zu entwickeln – zwei IOPP-Protokolle für Reed-Solomon-Codes. Wir treiben die formale Verifizierung für eine sicherere zkEVM-Zukunft voran. #zkEVM #FormalVerification @EF_ESP
6.168
27
Der Inhalt dieser Seite wird von Dritten bereitgestellt. Sofern nicht anders angegeben, ist OKX nicht der Autor der zitierten Artikel und erhebt keinen Anspruch auf das Urheberrecht an den Materialien. Der Inhalt wird ausschließlich zu Informationszwecken bereitgestellt und gibt nicht die Ansichten von OKX wieder. Er stellt keine wie auch immer geartete Befürwortung dar und sollte nicht als Anlageberatung oder Aufforderung zum Kauf oder Verkauf digitaler Vermögenswerte betrachtet werden. Soweit generative KI zur Bereitstellung von Zusammenfassungen oder anderen Informationen verwendet wird, können solche KI-generierten Inhalte ungenau oder inkonsistent sein. Bitte lesen Sie den verlinkten Artikel für weitere Details und Informationen. OKX ist nicht verantwortlich für Inhalte, die auf Websites Dritter gehostet werden. Der Besitz digitaler Vermögenswerte, einschließlich Stablecoins und NFTs, ist mit einem hohen Risiko verbunden und kann starken Schwankungen unterliegen. Sie sollten sorgfältig abwägen, ob der Handel mit oder der Besitz von digitalen Vermögenswerten angesichts Ihrer finanziellen Situation für Sie geeignet ist.