Web3 безпекова компанія Certora отримала фінансування від Ethereum Foundation

Odaily星球日报訊 Web3 безпекова компанія Certora оголосила про отримання фінансування від Фонду Ethereum, конкретна сума наразі не розголошується, відповідні кошти будуть використані для підтримки їхньої перевірки правильності автоматично попередньо компільованих програм, автоматичне попереднє компілювання є ключовою оптимізаційною технологією у нульових знаннях обчислень, розробленою Powdr Labs для проекту zkEVM Фонду Ethereum, повідомляється, що Certora планує відкрити вихідний код своєї розробленої нормативної бази, доказів і рамкових засобів перевірки. (Chainwire)

ETH-13,35%
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • Прокоментувати
  • Репост
  • Поділіться
Пов'язані теми
#
EthereumL2Outlook
Прокоментувати
0/400
Немає коментарів
  • Закріпити