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

ETH2,24%

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

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

Пов'язані статті

Рейтинг потоків готівки на спотовому ринку за 24 години: чистий приплив USD1 становить 72,37 мільйонів доларів, чистий приплив ETH — 40 мільйонів доларів;

Згідно з даними Coinglass, за останні 24 години у списку відтоку капіталу з криптовалютного ринку показано чистий відтік BTC у розмірі 371 мільйон доларів США, а також відтік з інших монет, таких як ENSO, KITE, BIO та DOGE. Що стосується притоку, то USD1 і ETH відповідно мають чистий притік у розмірі 72,37 мільйонів доларів США та 40 мільйонів доларів США.

GateNewsBot1год тому

«Білий срібний залізний авіаційний удар» коротка позиція на 5000 ETH і 50 BTC, приблизно на 13,28 мільйонів доларів

21 лютого, BlockBeats повідомляє, що короткі продавці «Білий срібний залізний авіаційний корпус» знову увійшли в ринок, коротко продавши 5000 ETH і 50 BTC, наразі всі у збитку. Раніше їхні короткі позиції по сріблу втратили 4,79 мільйона доларів США.

GateNewsBot1год тому

BNP Paribas тестує токенізований фонд грошового ринку на Ethereum

BNP Paribas Asset Management випустила токенізовані частки фонду французького грошового ринку на Ethereum, використовуючи контрольований доступ, керований BNP Paribas Securities Services. Цей пілотний проект досліджує регульовану діяльність фондів на публічній блокчейн-інфраструктурі.

CryptoFrontNews3год тому

Дані: Якщо ETH опуститься нижче 1 874 доларів США, сукупна сила ліквідації довгих позицій на основних централізованих біржах (CEX) досягне 8.6 мільярдів доларів США

Згідно з повідомленням ChainCatcher, за даними Coinglass, якщо ETH опуститься нижче 1 874 доларів США, сукупна сила ліквідації довгих позицій на основних централізованих біржах (CEX) досягне 8.6 мільярдів доларів США. Навпаки, якщо ETH прорве рівень 2 057 доларів США, сукупна сила ліквідації коротких позицій на основних CEX досягне 7.32 мільярдів доларів США.

GateNewsBot3год тому
Прокоментувати
0/400
Немає коментарів