Виталик Бутерин: сочетание ИИ и формальной верификации может резко повысить безопасность Ethereum
18 источники154K8.5KВиталик Бутерин считает, что объединение ИИ и формальной верификации может значительно снизить риск взломов Ethereum, позволяя математически доказывать корректность кода до запуска.
EIP-8250 в Ethereum: зачем нужны nonce с ключами
16 источники1.4M79KEIP 8250 предлагает для EIP 8141 frame транзакций заменить одну nonce очередь отправителя на пару nonce key и nonce seq.