EthSystems использовала ИИ для помощи в проверке пула конфиденциальных средств Ethereum и обнаружила недостатки в инструментах проверки.
Как стало известно WuShuo, компания EthSystems, занимающаяся разработкой инфраструктуры для обеспечения конфиденциальности в Ethereum, опубликовала результаты формальной верификации пула...