Zcash’ Ironwood erreicht eine wichtige Sicherheits-Meilenstein.
Das Projekt hat die formale Verifizierung mit 2.700+ maschinengeprüften Theoremen abgeschlossen und stärkt damit das Vertrauen in seinen neuen verschleierten Pool sowie reduziert das Risiko von Schwachstellen auf Spezifikationsebene durch Fälschungen.
#BinanceSquareFamily
Das Projekt hat die formale Verifizierung mit 2.700+ maschinengeprüften Theoremen abgeschlossen und stärkt damit das Vertrauen in seinen neuen verschleierten Pool sowie reduziert das Risiko von Schwachstellen auf Spezifikationsebene durch Fälschungen.
#BinanceSquareFamily