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)