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