Yapay zeka (YZ) ve blok zinciri güvenliği kullanımıyla ilgili bir tartışma başlamış durumda. OpenZeppelin, OpenAI tarafından akıllı sözleşmeler (EVMbench) hakkında yayımlanan yeni yapay zeka kıyaslama testlerini incelemiş ve metodolojide bazı sorunların yanı sıra test edilen verilerde kirlilik tespit etmiştir. YZ modellerinin Ethereum Sanal Makinesi akıllı sözleşmelerindeki güvenlik açıklarını ne kadar iyi tespit edebildiğini, düzeltebildiğini ve istismar edebildiğini değerlendirmek üzere tasarlanan bu kıyaslama testi, kripto yatırım şirketi Paradigm ve Stanford Üniversitesi araştırmacıları arasındaki bir işbirliğinin sonucudur. OpenZeppelin bu öneriye destek verdiğini belirtmiş, ancak diğer büyük DeFi protokollerini ölçerken kullandığı titizliği bu kıyaslama önerisi için de uygulamıştır. Bu durum, kıyaslama testinin incelenmesine yol açmış ve gelecekte blok zinciri güvenliğiyle ilgili YZ performansını nasıl ölçeceğimiz konusunda çok sayıda önemli soruyu gündeme getirmiştir.<h2>EVMbench Ne İçin Tasarlandı</h2>EVMbench, YZ modellerini Solidity kodu ve EVM altındaki akıllı sözleşmelerdeki gerçek güvenlik açıklarına karşı test etmek için bir kıyaslama aracı olarak hizmet eder ve şunları yapmanızı sağlar: <ol><li data-list="ordered">Solidity kodundaki güvenlik açıklarını tespit etmek,</li><li data-list="ordered">Bu güvenlik açıklarının ciddiyetini sınıflandırmak,</li><li data-list="ordered">Zayıflamış güvenlik için yamalar önermek,</li><li data-list="ordered">Bir saldırganın bir zayıflığı nasıl istismar edeceğini göstermek.</li></ol> Kıyaslama testinin amacı, finansal riskler yüksek olduğunda ve blok zincirinin istismar edilmesi ölçülemez kayıplara yol açabileceğinde, geliştiricilere kodlarının blok zinciri tabanlı bir çözümü ne kadar etkili bir şekilde güvence altına alacağına dair objektif bir ölçüm sunmaktır. YZ'nin denetim süreçlerinde artan kullanımıyla birlikte, bu kıyaslama testleri geliştirme ekiplerinin denetim/protokol güvenliği için YZ araçları seçimini etkileyebilir. Ancak; YZ'yi yüksek riskli/kaybeden ortamlarında karşılaştırmak, YZ kıyaslama testlerinde yüksek derecede metodolojik disiplin gerektirir; <img src="https://jid.rerrkvifj.com/media/customer/creatorSystem/6c2d08d1-ecb7-474f-bd3f-b2d9330b6539.jpeg">Yazarın Resmi<h2>OpenZeppelin'in İnceleme Süreci</h2>Bir OpenZeppelin temsilcisine göre, şirket EVMbench'i büyük merkeziyetsiz finans protokollerinin denetiminde kullanılan genel prosedürlerle aynı şekilde incelemeyi seçmiştir. OpenZeppelin, Aave, Lido ve Uniswap gibi milyarlarca dolarlık işlemleri işleyen birçok projede denetim tamamlamıştır. OpenZeppelin, amacının bu girişime meydan okumak olmadığını; aksine, YZ tabanlı güvenlik iddialarının rastgele olmayan ve titiz istatistiksel metodoloji ile desteklendiğinden emin olmak olduğunu belirtti. Şirket, kamuya açık olarak ve halkla yapılan görüşmelerde, blok zinciri projeleri için güvenlik kararlarını etkileyecek yapay zeka kıyaslama testlerinin düşmanca bir testten geçmesi gerektiğini belirtmiştir.<h2>Temel Sorun 1: Eğitim Verisi Kirliliği</h2>Araştırmamın bulguları, eğitim verilerinin kirlenmesinin önemli riskler taşıdığını göstermektedir.&nbsp;Kirlilik, makine öğrenimi (ML) algoritmalarının performansını değerlendirmek için kullanılan kıyaslama veri kümesinin, algoritmaları eğitmek için kullanılan verilerle kısmen veya tamamen örtüşmesi durumunda ortaya çıkar. Bu örtüşme, şişirilmiş performans metriklerine yol açacaktır.&nbsp; EVMbench bağlamında, kirlilik konusunda endişe bulunmaktadır.&nbsp;Kıyaslama veri kümelerinde bulunan herhangi bir güvenlik açığı, yaygın olarak bulunan kamuya açık depolarda (örn. GitHub) veya diğer yayınlanmış çalışmalarda mevcutsa, son derece gelişmiş ML algoritmalarının bu kalıpları ezberlemiş (yani, eğitim verileri ile karşılık gelen performanslar arasındaki ilişkiyi ezberlemeyi öğrenmiş) olma ihtimali vardır.&nbsp; Bu durum, EVMbench kıyaslama testlerinin bir algoritmanın muhakeme yeteneğinin geçerli bir ölçüsü olarak güvenilirliğini zayıflatmaktadır.&nbsp;Muhakeme, ezberlenmiş verileri yorumlamaya (yani hatırlamaya) güvenmenin, analitik muhakemenin (yani mantığın) tutarlı uygulamalarını sergilemekten çok daha zor olduğu, düşmanca yaratıcılık ortamının mevcut olduğu blok zinciri güvenliği dünyasında kritik öneme sahiptir.<h2>Temel Sorun 2: Güvenlik Açığı Sınıflandırma Hataları</h2>OpenZeppelin, güvenlik açığı sınıflandırmasıyla ilgili ikinci ana endişesinde, çok yüksek ciddiyet olarak sınıflandırılan ve pratik bir şekilde istismar edilemeyen çok sayıda sorun bulunduğunu belirtmiştir. Bize, bu yüksek ciddiyet sınıflandırmalarından en az dördünün gerçekten geçersiz olduğunu, çünkü gerçek blok zinciri koşullarında bu güvenlik açıklarının fiilen istismar edilemeyeceğini belirtmişlerdir. Ciddiyet sınıflandırma sisteminin önemi şudur: • Ciddiyet sınıflandırmaları, kaynakları önce en önemli sorunları gidermeye odaklamaya yardımcı olur• Ciddiyet sınıflandırmaları model puanlarını etkiler• YZ yeteneğine ilişkin kamuoyu algısı ciddiyet sınıflandırmaları tarafından şekillenecektir Bir model, istismar edilemez bir sorunu doğru bir şekilde önceliklendirmese de, bu soruna yüksek ciddiyet atanmışsa, o zaman bu model haksız yere cezalandırılabilir. Öte yandan, bir model, istismar edilebilir olup olmadıklarını belirleyemeden çok daha fazla sorunu basitçe işaretleyebilir ve daha yüksek bir puan alabilir. Bu tutarsızlıklar, kıyaslama testlerinin güvenilirliğini de zayıflatmaktadır.<img src="https://jid.rerrkvifj.com/media/customer/creatorSystem/43f11cfa-2df8-4e83-a64d-06d4f90296e1.jpeg">Yazarın Resmi<h2>Blok Zinciri Güvenliği İçin Kıyaslama Bütünlüğü Neden Önemlidir</h2>Yapay Zeka Kabulünü Şekillendiren Kritik Bir Faktör Belirli bir YZ modelinin güvenlik açıklarını etkili bir şekilde tespit edip istismar edebileceğine dair bir güven ölçüsü sağlayan bir kıyaslama testi, geliştirme ekiplerinin bunu üretim denetim süreçlerine dahil etmesine yol açabilir. Merkeziyetsiz Finans (DeFi) içinde kusurlu denetim araçlarının kullanılması ciddi sonuçlara yol açabilir, bunlar arasında: - Kullanıcı fonlarının kaybı- Protokolün iflası- Yönetişim bozukluğu- İtibar kaybı Blok zinciri akıllı sözleşmeleri genellikle dağıtılır ve sabittir (immutable). Yönetişim koordinasyonu veya geçiş olmadan güvenlik açıkları kolayca yamalanılamaz. Bu durum, doğru güvenlik açığı sınıflandırmalarına ve sağlam değerlendirme metriklerine olan ihtiyacı artırır. Güvenilmez bir kıyaslama testi, YZ destekli güvenlik ürünlerine yanlış bir güven ortamı yaratabilir.<h2>Akıllı Sözleşme Denetiminde YZ'nin Artan Rolü</h2>Akıllı sözleşmeler artık yaygın olarak yapay zeka (YZ) kullanılarak incelenmektedir. YZ'nin bu bağlamdaki kullanımı şöyle özetlenebilir: - Programlama kodunu önceden taramak ve tespit edilen yeni güvenlik açıklarını bulmak için,- İnsan denetçilere kodun işlevsel veya mantıksal hatalarını analiz etmelerinde yardımcı olmak için,- Hata bulunması durumunda kod yamaları için öneriler sunmak için, ve- Güvenlik açığının istismarını simüle eden test senaryoları oluşturmak için. Yapay zekanın etkin kullanımı, insan denetçilerin çalışmasını tamamlayacak, ancak yerini almayacaktır. Giderek artan bir şekilde yapay zekanın bu şekilde kullanıldığını görüyoruz. EVMbench, YZ'nin bu alt alandaki belirlenmiş metriklere göre ne kadar iyi performans gösterdiğini değerlendirme çabasıdır. OpenZeppelin, bu değerlendirme yöntemine ilişkin bir eleştiri sunarak, kıyaslama amaçları için güvenli ve kullanışlı bir şekilde tasarlanmış bir değerlendirme sürecine duyulan ihtiyacı vurgulamaktadır. Son olarak, aktif olarak zayıflık arayacak düşmanlara karşı etkili olabilmek için, değerlendirme süreçleri 'hile yapılamayacak' şekilde tasarlanmalıdır.<h2>Kriptoda YZ Değerlendirmesi İçin Daha Geniş Çıkarımlar</h2>EVMbench etrafındaki tartışma, YZ'yi değerlendirirken süregelen bir zorluğu vurgulamaktadır: gerçek muhakeme ile kalıp tanıma arasındaki ayrımı yapmak. Büyük dil modellerinin yetenekleri genişlemeye devam ettikçe, yeteneklerini değerlendirmek için kullanılan kıyaslama testleri de genellikle gelişmektedir. Ancak, bir kıyaslama testinin temel veri setini uygun şekilde izole etmeden ve doğrulamadan, bu tür yetenek geliştirmeleri gerçek analitik derinlik tarafından geliştirilmek yerine eğitim verilerine maruz kalmaya atfedilebilir. Bu ayrım, akıllı sözleşmelerin güvenliğini değerlendirirken özellikle önemlidir, çünkü bu tür istismarlar sıklıkla karmaşık etkileşimler, bağlamsal kısıtlamalar ve ekonomik uç durumlar içerir. Güvenilir bir kıyaslama testi olmak için, bir kıyaslama testi şunları içermelidir: • Gereksinimleri Pratik İstismar Edilebilirlik Yoluyla Karşılama Fizibilitesi• Fizibiliteye İlişkin Ekonomik Hususlar• Zincir Üzeri İşlemlerle İlgili Yürütme Kısıtlamaları• Fiziksel Dünyada Var Olan Saldırı Yüzeyleri Kıyaslama testlerinde kullanılan ciddiyet seviyeleri veya güvenlik açıkları hakkındaki varsayımlar yanlış olursa, bu kıyaslama testleri geliştiricileri yanıltabilir. OpenZeppelin'in yorumları, kripto güvenlik endüstrisinin YZ tabanlı kıyaslama testlerinden, protokol denetim sürecinde beklenenle aynı beklentilere sahip olduğunu göstermektedir.<h2>YZ ve Güvenlik Uzmanları Arasında Yapıcı Bir Gerilim</h2>OpenZeppelin'in eleştirilerini yayınlamadan önce girişime destek verdiğini belirtmek gerekir. Bu, tartışmanın YZ'nin kıyaslama için kullanılmasına karşı değil, aksine YZ'yi kıyaslama sürecini güçlendirmeye yönelik olduğunu göstermektedir. Blok zinciri güvenli denetim topluluğu ile YZ araştırma topluluğu arasındaki ilişki, şunları yaratacak yapıcı bir gerilimdir: Veri kümeleri için tanımlamalar, kriterler ve standartlar geliştirmek üzere birlikte çalışmak, otomatik sistemlere aşırı güven duyma olasılığını azaltmaya yardımcı olurken, aynı zamanda YZ tabanlı araçların Web3 geliştirme alanında popülaritesi artmaya devam ettikçe yeniliği de teşvik edecektir. Yapay zeka araçları Web3 geliştirme topluluğunda giderek daha fazla ilgi gördükçe, kullanımlarını doğrulamak için şeffaf bir süreç oluşturmak giderek daha önemli hale gelmiştir.<h2>Sonuç</h2>OpenZeppelin'in EVMbench'ten elde ettiği sonuçlar, blok zinciri alanında güvenliği değerlendirmek için kullanılan yapay zekanın kalitesini ölçmenin ne kadar zor olduğunu vurgulamaktadır. YZ'nin sözleşmelerdeki güvenlik açıklarını ne kadar iyi tespit edebileceğini etkileyebilecek potansiyel eğitim verisi kirliliğinin keşfi, bu sektörde kullanılan kıyaslama testlerinin bütünlüğü hakkında çok önemli bir tartışma başlatmıştır. Bu sektör, zincir üzerinde tutulan yüz milyarlarca dolar değerindeki varlıkları yönettiği için, herhangi bir analiz yaparken sağlam yöntemler kullanmak kritik öneme sahiptir. Yapay zekanın akıllı sözleşmeleri denetlemede güvenilir bir katkıda bulunan olabilmesi için, YZ'yi değerlendirmek için kullanılan herhangi bir çerçevenin, yapay zekanın kurulmasına yardımcı olacağı temel protokollerin tabi tutulduğu türden düşmanca bir değerlendirmeye tabi tutulması gerekecektir. YZ ve blok zincirinin yakınlaşmasının önemli verimlilikler sağlaması beklenmektedir, ancak bu vaka çalışmasının gösterdiği gibi, bu sonucun gerçekleşmesi için inovasyonun titiz standartlara tabi tutulması gerekecektir.<h2>Referanslar</h2><a href="https://x.com/OpenZeppelin/status/2028486093201359312" rel="noopener noreferrer" target="_blank">EVMbench İncelemesi Üzerine OpenZeppelin X Gönderisi </a><a href="https://openai.com/index/introducing-evmbench" rel="noopener noreferrer" target="_blank">OpenAI ve Paradigm EVMbench Lansman Duyurusu </a><a href="https://www.openzeppelin.com/security-audits" rel="noopener noreferrer" target="_blank">OpenZeppelin Güvenlik Denetim Metodolojisi Dokümantasyonu</a><a href="https://consensys.github.io/smart-contract-best-practices" rel="noopener noreferrer" target="_blank">Ethereum Akıllı Sözleşme Güvenliği En İyi Uygulamalar Dokümantasyonu</a><a href="https://arxiv.org/html/2411.12990v1" rel="noopener noreferrer" target="_blank">YZ Kıyaslama Veri Kirliliği ve Değerlendirme Yanlılığı Üzerine Akademik Araştırma</a>

OpenZeppelin, OpenAI'nin EVMbench'inde veri kirliliği ve yüksek önem dereceli geçersiz güvenlik açıkları tespit ederek, blok zinciri güvenliği için yapay zeka kıyaslama aracının güvenilirliğini sorguluyor.

OpenZeppelin, OpenAI’nin EVMbench Blokzinciri Güvenlik Kıyaslamasındaki Metodolojik Hataları İşaret Ediyor

/media/contribution/car5c943708980c4b2a8ce593c8b44505f3/471_0314223152853.stxt

Cardano Yeni Adımını Attı: İsviçre'deki SPAR Mağazalarında ADA ile Her Şey Sizin İçin Değişiyor

/media/contribution/carbc4c3716e0274b53b3aa0665b21e4535/q4m_0314221900562.stxt

SEC, Kripto Milyarderi Justin Sun'a Karşı Dava Açmaktan Vazgeçti — Bu Paranız İçin Ne Anlama Geliyor

/media/contribution/car790f086a0d714c4a80301792e6badb01/kcg_0314221136390.stxt

ABD Soruşturmacıları 61 Milyon Dolar Değerindeki Kripto Romantizm Dolandırıcılığı Paralarını Nasıl İzledi — Ve Yöntemleri Ne Anlatıyor

/media/contribution/car5fc0040dc1ac451d8b61a7ff221909fc/z1i_0314215713020.stxt

Hacim Artışının Açıklaması: Büyük Paranın Herkesten Önce Nerede Hareket Ettiğini Gösteren Tek Sinyal

/media/contribution/car61df0d3f47be4e85b148dc04946cea8d/f31_0314215107734.stxt

Sizi Zengin Edebilecek Yürütme Emri: Amerika Nasıl Dünyanın Kripto Başkenti Oldu

/media/contribution/car5e4b4dba31374cdf8eed55c6f2e559cc/gv8_0314214511365.stxt