Фирма безопасности Web3 Certora объявила, что она получила грант от Фонда Ethereum согласно Odaily. Точная сумма финансирования не была раскрыта. Грант будет использован для поддержки работы Certora по проверке правильности автоматической предварительной компиляции, что является важным методом оптимизации в вычислениях с нулевым разглашением. Эта технология была разработана Powdr Labs для проекта zkEVM Фонда Ethereum. Certora также планирует сделать свои спецификации, доказательства и рамки верификации полностью открытыми для более широкого экосистемы Web3 $ETH

ETH

2,027.78

+0.10%

#Certora #EthereumFoundation #zkEVM #ZeroKnowledge $BTC

#Web3Security #BlockchainSecurity #ZKTechnology #CryptoResearch $BNB #OpenSourceWeb3