Buterin: AI môže posilniť bezpečnosť krypta, pri útoku na Coldcard podľa Coinkite zrejme pomohla útočníkom

Spoluzakladateľ Etherea Vitalik Buterin odmietol názor, že AI robí kybernetickú bezpečnosť kryptomien beznádejnou, a tvrdí, že vďaka nej môže byť formálne overovanie softvéru praktické aj pri zložitých systémoch. Podľa výrobcu Coinkite AI pravdepodobne pomohla útočníkom pri útoku na Coldcard, kým pr