CertiK, Ethereum Foundation'dan 2 hibe aldı.

robot
Abstract generation in progress

Son rapora göre, 2025'in birinci çeyreğinde, Ethereum Örgütü, blockchain güvenliği alanında tanınmış bir kuruluş olan CertiK'e iki araştırma hibe sağladı. Bu projeler, zkVM akıllı sözleşmelerinin doğrulaması için geliştirme araçları ve resmi yöntemler üzerine odaklanıyor.

Verus Araç Değerlendirmesi: CertiK, Rust ile yazılmış devreleri ve EVM'nin derleme modüllerini kontrol etmek amacıyla bir doğrulama aracı olan Verus'u değerlendirecektir.

zkVM Doğrulamasını Basitleştirme: Bu proje, zkVM doğrulamasını basitleştirmek için bir strateji geliştirmekte olup, modüler aritmetik ve tek bir alan elemanında paketlenmiş çoklu değer durumlarına odaklanmaktadır.

CertiK'in resmi doğrulama teknolojisi, zkWasm, TON'un ana sözleşmesi, Cosmos SDK ve Ant Group'un HyperEnclave TEE gibi birçok önde gelen Web3 projesinde yaygın olarak uygulanmıştır. İçerik yalnızca piyasa bilgisi niteliğindedir ve yatırım tavsiyesi değildir.

Bu makaleyi okuduğunuz için teşekkürler!

Lütfen TinTucBitcoin'i Beğen, Yorum Yap ve Takip Et, böylece kripto para piyasasıyla ilgili en güncel haberleri takip edebilir ve önemli bilgileri kaçırmazsın!

View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
  • Reward
  • Comment
  • Share
Comment
0/400
No comments
Trade Crypto Anywhere Anytime
qrCode
Scan to download Gate app
Community
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)