EthSystems завершує формальну верифікацію захищеного пулу та виявляє 6 проблем
За даними PANews, організація EthSystems, що розробляє технології конфіденційності Ethereum, 27 жовтня оголосила про завершення формальної верифікації свого пулу з підвищеною конфіденційністю — від письмових специфікацій до байткоду, що виконується в тестовій мережі Sepolia. Під час верифікації виявили 6 проблем, 3 з яких стосувалися самих інструментів верифікації. Команда зазначила, що залишаються такі припущення: стійкість хеш-функції до колізій, відхилення валідаторами шахрайських доказів і в
ETH-1,26%
GateNews·10-27 12:12
