Neuigkeiten

BlockBeats News, 18. Mai, laut Bitget Marktdaten setzte der Spot-Goldpreis seinen Anstieg fort und wird nun zu 4.563,90 US-Dollar pro Unze gehandelt, während der Spot-Silberpreis im Tagesverlauf um über 2,00 % anstieg und aktuell bei 77,43 US-Dollar pro Unze liegt. Die SP 500-Futures drehten ins Positive. Die Nasdaq 100-Index-Futures bauten ihre Gewinne auf 0,5 % aus. Der Euro Stoxx 600-Index weitete seinen Gewinn auf 0,6 % aus. Der britische FTSE 100 und der deutsche DAX30 stiegen beide um über 1 %, während der Euro Stoxx 50 und der spanische IBEX35 um 0,8 % zulegten. WTI-Rohöl verzeichnete einen Tagesverlust von 2,00 % und wird nun bei 103,11 US-Dollar pro Barrel gehandelt. Brent-Rohöl fiel unter 105 US-Dollar pro Barrel und gab im Tagesverlauf um 1,07 % nach. Nachrichtenlage: Irans jüngster Vorschlag zeigt, dass Iran hofft, eine langfristige und mehrstufige Feuerpause zu erreichen. Iran strebt die schrittweise und sichere Öffnung der Straße von Hormus an. Iran ist bereit, einer langfristigen Einfrierung seines Nuklearprogramms zuzustimmen, statt einer vollständigen Aufgabe. Iran kann angereichertes Uran bedingungslos nach Russland und nicht in die Vereinigten Staaten ausliefern. Zudem hofft Iran auf eine Aufnahme von Formulierungen ins Abkommen, die dem Land ein politisches Gesicht wahren.

Foresight News berichtet, dass Vitalik Buterin einen Beitrag über die Anwendungsperspektiven der formalen Verifikation im Bereich der Blockchain-Sicherheit veröffentlicht hat. Im Artikel wird darauf hingewiesen, dass sich in der fortschrittlichen Entwicklung von Ethereum ein neues Paradigma abzeichnet: Der direkte Einsatz von EVM-Bytecode, Assembler oder Lean zur Codierung, wobei die Korrektheit des Codes durch in Lean automatisch überprüfbare mathematische Beweise verifiziert wird. Der Forscher Yoichi Hirai bezeichnete dieses Paradigma als die „endgültige Form der Softwareentwicklung“. Vitalik ist der Ansicht, dass KI-gestützte formale Verifikation das Potenzial hat, die Effizienz und Sicherheit von Code gleichzeitig zu verbessern, insbesondere für sicherheitsrelevante Kernmodule wie STARK, ZK-EVM, quantenresistente Signaturen und Konsensalgorithmen. Im Artikel wird jedoch auch betont, dass formale Verifikation kein Allheilmittel ist und beispielsweise durch unvollständigen Beweisumfang, Fehlerspezifikationen oder Hardware-seitige Seiteneffekte ihre Wirksamkeit verlieren kann. Zukünftige Software könnte sich daher in einen „sicheren Kern“ und einen „unsicheren Randbereich“ aufteilen, wobei Ethereum zu einem der wichtigsten Sicherheitskerne werden dürfte.

Das Team von Michael Saylor hat in der vergangenen Woche 24.900 Bitcoin hinzugekauft, wodurch sich die Gesamtposition auf 843.700 erhöht hat.