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
The content is for reference only, not a solicitation or offer. No investment, tax, or legal advice provided. See Disclaimer for more risks disclosure.
  • Reward
  • Comment
  • Share
Comment
0/400
No comments
  • Pin