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

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

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