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

ETH0,2%

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

Переглянути оригінал
Застереження: Інформація на цій сторінці може походити від третіх осіб і не відображає погляди або думки Gate. Вміст, що відображається на цій сторінці, є лише довідковим і не є фінансовою, інвестиційною або юридичною порадою. Gate не гарантує точність або повноту інформації і не несе відповідальності за будь-які збитки, що виникли в результаті використання цієї інформації. Інвестиції у віртуальні активи пов'язані з високим ризиком і піддаються значній ціновій волатильності. Ви можете втратити весь вкладений капітал. Будь ласка, повністю усвідомлюйте відповідні ризики та приймайте обережні рішення, виходячи з вашого фінансового становища та толерантності до ризику. Для отримання детальної інформації, будь ласка, зверніться до Застереження.
Прокоментувати
0/400
Немає коментарів