Doğrulanmış ethereum akıllı sözleşmelerindeki güvenlik açıklarını keşfetme: Yapay zeka güdümlü tarayıcılar için gelişmiş veri seti kürasyonu ve kod dönüşümü

Blok zinciri verilerin bütünlük ve değişmezliğini sağlayarak verileri dağıtılmış bir şekilde saklayan bir veritabanıdır. Bu özellikleri nedeniyle blok zinciri teknolojisi, veri saklama ve aktarma alanında büyük popülerlik kazanmış ve birçok yeni teknolojiyi beraberinde getirmiştir. Bu teknolojilerden biri de Ethereum'dur ve en önemli yeniliklerinden biri akıllı sözleşme teknolojisi olmuştur. Akıllı sözleşmeler, bağımsız tarafların üçüncü bir kuruluşa ihtiyaç duymadan, merkezi olmayan ve şifrelenmiş bir biçimde işlem yapabilmelerini sağlayarak veri transferini güvenli bir şekilde gerçekleştirmelerine imkan tanır. Ancak akıllı sözleşmeler, zafiyetleri nedeniyle kötü niyetli aktörler tarafından istismar edilebilirler. Ayrıca, bir kez oluşturulduktan sonra akıllı sözleşmeleri değiştirmek blok zinciri yapısı nedeniyle mümkün değildir. Bu nedenle, güvenlik zaafiyetlerinim tespiti çok önemlidir. Bu tezin temel amacı, 2022 yılında onaylanmış Ethereum akıllı kontratlarını temel alarak gerçekleştirilmiştir. Bu akıllı kontratlar, sembolik analiz yöntemi ile titizlikle incelenerek güvenlik zaafiyetleri belirlenmiştir. Elde edilen sonuçlar, akıllı kontratların güvenliği konusunda kritik bir rol oynamaktadır. Bu çerçevede, elde edilen akıllı kontrat kodları, gelişmiş yapay zeka yöntemlerinin etkin kullanımı için kod dönüşümü ve veri hazırlığı işlemlerine tabi tutulmuştur. Bu özgün yaklaşım sayesinde, veri seti sıralı bir yapıya dönüştürülmüş ve bu durum, yapay zeka araçlarının akıllı kontrat güvenliği üzerine daha derinlemesine analizler yapabilmesine olanak tanımaktadır. Bu çalışmanın elde ettiği sonuçlar, gelecekteki akıllı kontrat güvenliği araştırmaları için sağlam bir temel oluştururken, aynı zamanda akıllı kontrat teknolojisinin güvenliğini artırmaya yönelik çabalara da ilham kaynağı olmaktadır.