Vitalik Buterin says AI-assisted "formal verification" could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws (Jason Nelson/Decrypt)
·
0 reactions
·
0 comments
·
20 views
Jason Nelson / Decrypt : Vitalik Buterin says AI-assisted “formal verification” could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws — Ethereum co-founder Vitalik Buterin said that mathematically verified software is becoming essential to protecting Ethereum …
Original article
Techmeme
Anonymous · no account needed
Discussion
0 commentsMore from Techmeme
US barring foreign nationals, including Anthropic staffers in the US, from using Fable 5 and Mythos 5 marks a new phase in the US trying to control Anthropic (New York Times)
Techmeme·6
Anthropic says it believes the US government's export control order for Mythos 5 and Fable 5 is a "misunderstanding" and that it is working to restore access (Ananya Palyekar/Reuters)
Techmeme·9
A Ukrainian extradited from Ireland to the US pleads guilty to conspiracy to commit wire fraud for his role in Conti ransomware attacks between 2021 and 2022 (Lawrence Abrams/BleepingComputer)
Techmeme·9
Anthropic says it is disabling Fable 5 and Mythos 5 for all customers after the US government issued an export control order, citing national security concerns (Anthropic)
Techmeme·9
Crypto-data provider Blockworks says it has acquired its rival Messari; source: Blockworks paid more than $10M for Messari, which was valued at $300M in 2022 (Vicky Ge Huang/Wall Street Journal)
Techmeme·10
How Chinese manufacturers are dominating the humanoid robot supply chain, even as the industry struggles to find a purpose for such robots (New York Times)
Techmeme·11