Akıllı sözleşmelerin denetlenmesi ne kadar sürer | DeFi

Ethereum ekosistemindeki akıllı sözleşmelerin neredeyse yarısı denetlenmemiş ve bu da artan sayıda hacklemeye yol açıyor. 

Akıllı sözleşme denetimi, genellikle akıllı bir sözleşme veya DeFi uygulaması yolculuğunun son adımıdır ve genellikle dışarıda bırakılır. DeFi dünyasında veya herhangi bir Blockchain uygulamasında akıllı sözleşmelerin önemi göz önüne alındığında, akıllı sözleşmelerin denetlenmesini sağlamak, bir uygulamanın çok önemli bir parçasıdır. 

Finansal devrim, varlıkların tokenlaştırılması veya bir Blockchain platformunun üzerinde herhangi bir kullanım senaryosunun uygulanması olsun, akıllı sözleşmeler zorunludur. Temelde akıllı sözleşmeler, bir koşulu yürütmek için kullanılan birkaç satır koddur. Örneğin, Aave ve Compound gibi bir DeFi uygulamasından bir miktar teminat sağlayarak ve krediye belirli bir faiz ödeyerek kredi alıyorsanız, tüm koşullar bir dizi akıllı sözleşmeyle tanımlanır. 

Bu senaryoda, dijital bir finansal etkileşim ekosistemi oluşturmaya dahil olan çok sayıda akıllı sözleşme var. Burada gerçekleştirilmesi gereken şey, bu çoklu akıllı sözleşmelerin birbirine bağlı olmasıdır. Herhangi bir akıllı sözleşmedeki herhangi bir kod satırındaki küçük bir hata, ciddi sonuçlara yol açabilir. 

Akıllı bir sözleşme denetiminin mantıksız bir süre aldığı yaygın bir yanılgıdır. Bu genelleştirilmiş bir görüştür, gerçekte ise akıllı sözleşme denetimi için gereken süre, kullanım senaryosunun karmaşıklığına ve çeşitli diğer faktörlere bağlıdır. Denetim süresiyle ilgili bilgi eksikliği, birçok akıllı sözleşmenin denetlenmemiş kalmasının önde gelen nedenlerinden biridir.

Akıllı sözleşmeler denetimi ne kadar sürer?

Aşağıda, bir akıllı sözleşme denetiminin alabileceği zaman açısından birkaç olasılık belirtilmiştir:

1. Bir denetim için dikkate alınması gereken en yaygın faktör proje boyutudur. Projenin karmaşıklığı da önemlidir, ancak projenin boyutu, bir denetimin alacağı zamanı tanımlamada temel özellik haline gelir.

Genel olarak, ERC20 tokenları için bir token sözleşmesi gibi basit bir akıllı sözleşme birkaç gün sürebilir, bu da bu tür sözleşmeler için denetim süresinin 24 ila 48 saat arasında sürebileceği anlamına gelir. Bu yine projenin karmaşıklığına bağlıdır. Bir Dapp içinde bir ERC20 kullanılması durumunda, denetim neredeyse bir ay sürebilir. 

Diğer bir sözleşme türü ise jeton satış sözleşmesidir. Bunlar, tanımlanmış bir tokenomik ve gelişmiş özelliklere sahip gelişmiş ERC20 sözleşmeleri olarak tanımlanabilir. Stake etme ve takas gibi işlevler de bu tür sözleşmelerin bir parçası olabilir. Bu tür sözleşmelerin tam denetimi, temel bir ERC20 sözleşmesi için birkaç güne kıyasla bir ila iki hafta sürebilir.

2. Yukarıda belirtildiği gibi, denetimlerin süresi projenin karmaşıklığına da bağlıdır. Örneğin, Merkezi olmayan bir borsa veya Aave gibi merkezi olmayan bir para piyasası inşa ediyorsanız, denetim, hiçbir arka kapı olmadığından emin olmak için uzman bir denetçi ve kapsamlı bir zaman çizelgesi gerektirir. Böyle bir durumda, otomatik pazar yapıcılar ve ekosistemin diğer bölümleriyle birlikte oracle'ların bile denetlenmesi gerekir.

Bazı durumlarda, bir protokolün veya akıllı sözleşmelerin dış etkenlere bağımlılığı, onu hayal edilemeyecek kayıplara yol açabilecek büyük güvenlik açıklarına maruz bırakır. 

Bu nedenle, bu tür bir uygulama 1 aya kadar süren bir denetim gerektirir. 

Bu kategoriye giren diğer projeler, diğerleri arasında borç verme, borçlanma, insurtech ve türevleridir. 

3. Denetim türleri de gerekli sürenin belirlenmesinde önemli bir rol oynar. Akıllı sözleşmeniz en iyi geliştirme kılavuzlarıyla kodlandıysa ve bütünlüğünden eminseniz, seçiminiz bir Ara denetim olmalıdır. 

Bir Ara denetimde, yapıyı incelemek ve olası güvenlik açıklarını analiz etmek için bir projeye bir uzman atanır. Ara denetim, projenin doğru yönde ilerlemesini sağlamaya yardımcı olur ve daha sonraki bir aşamada uygulamanın tüm yapısını değiştirebilecek olası bir güvenlik açığının olabildiğince erken tespit edilmesi. Bu denetimin tamamlanması genellikle bir gün sürer. 

Sırada Tam Güvenlik Denetimi var. Akıllı sözleşme geliştirilirken Ara denetim yapılabilirken, uygulama tamamlandıktan sonra tam bir güvenlik denetimi devreye girer. Bu genellikle uygulamanın ana ağda konuşlandırılabilmesi için gereken son adımdır. Bir uygulama tam güvenlik denetimi olmadan dağıtılırsa, yüksek ana ağ hataları ve güvenlik açıkları olasılığı vardır. Tam güvenlik denetiminin süresi, 1. maddede açıklandığı gibi projenin karmaşıklığına bağlıdır. 

Akıllı sözleşme denetimini tamamlama süreci manuel veya otomatik olabilir. Otomatik denetim, akıllı sözleşme kodunu önceden tanımlanmış çeşitli işlevlere ve test araçlarına karşı test etmeyi içerir. Bu, akıllı sözleşme için genel güvenlik açığı değerlendirmesini sağlar. Ancak, bu tür bir denetim, kodun ve arka kapılar gibi diğer güvenlik açıklarının derinlemesine bir analizini kapsamaz. Bunun için manuel bir denetim yapılması gerekiyor. Manuel denetimlerde, bir uzman ekibi bazı özel test senaryolarını tanımlar ve kodun çeşitli yönlerini inceler. 

Otomatik denetim, erc20 / bep20 sözleşmeleri için bir gün sürebilirken, manuel denetimler genellikle erc3 / bep5 sözleşmeleri için 20 ila 20 gün arasında, karmaşık protokoller için ise denetimin süresi koda bağlıdır. Denetimin protokolünüz için ne kadar süreceği ve ne tür bir denetimin en iyisi olduğuna dair özel bir kontrol almak için QuillAudits'teki uzmanlara ulaşın ve ücretsiz danışmanlık alın.

Farklı akıllı sözleşmeler ve DeFi uygulamaları için gereken zamana bakıldığında, birçok kişi yenilikçi ürünleriyle denetim yaptırmadan pazara giriyor. Bunun arkasındaki ana neden, pazarda benzer bir projeyi tanıtan başka birinin coşkusu veya FOMO'sudur. Diğer bir neden, bir kişinin katlanmak istemeyebileceği ek maliyetler olabilir. 

Ancak, akıllı sözleşme denetimi yaptırmanın önemi yeterince vurgulanamaz. Akıllı sözleşme denetimine harcanan fazladan zaman ve para, kullanıcılar için milyonlarca tasarruf sağlayabilir. 

Akıllı bir sözleşme denetiminin gerekliliğine ilişkin daha iyi bir bakış açısı sağlamak için, aşağıda belirtilen, denetim almama gibi basit bir hatadan kaynaklanan en önemli DeFi saldırılarıdır.

En iyi DeFi hack'leri

• DAO Hack

DAO, herhangi bir uygulamanın yönetişim modelini tanımlamanın yeni standardı haline gelen merkezi olmayan özerk bir organizasyondur. Temelde, DAO, akıllı sözleşmeler yoluyla uygulama için kararlar alır. Bu nedenle, akıllı sözleşmeler böyle bir ortamda çok önemli bir rol oynar. 

Ethereum süreci için finansman sürecini demokratikleştirmekten DAO'nun sorumlu olduğu böyle bir durumda, bir bilgisayar korsanı akıllı sözleşmedeki geri dönüş işlevinin güvenlik açığından yararlandı. Yeniden giriş saldırısını kullanarak protokolden 3.6 milyon çaldı. 

• Parite saldırısı

Parite, Eterlerin transferini doğrulamak için çoklu imza kavramını getirdi. Bu süreci, Ether transferini doğrulamak için birden fazla dijital imza gerektiren bir dizi akıllı sözleşmeyle barındırdı. 

Düzgün bir şekilde denetlenmediği için, bir bilgisayar korsanı akıllı sözleşmenin delege çağrı ve geri dönüş işlevinden yararlanarak 30 Milyon dolara kadar Ethers çalabildi.

Sonuç

Yukarıda bahsedilen hackler buzdağının sadece görünen kısmı. DeFi ekosisteminde sayısız hackleme yapıldı. DeFi'nin büyümesiyle, bu hackler de katlanarak büyüyor. Bu artışın arkasındaki temel nedenlerden biri denetlenmemiş akıllı sözleşmeler veya kötü denetlenmiş akıllı sözleşmelerdir. 

Akıllı sözleşmenizi denetlemek, güvenliğini sağlamaz, ancak önemli olan Quillaudits'teki gibi deneyimli ve sektörde tanınan bir ekipten denetlenmesini sağlamaktır. 

Biraz zaman ve para gerektirse bile, akıllı sözleşmelerinizin deneyimli bir ekip tarafından denetlenmesini sağlamak, sürdürülebilir bir proje oluşturmanıza ve başarısının zirvesine ulaşmanıza yardımcı olabilir.

QuillHash'a ulaşın

Yılların endüstri mevcudiyetiyle, QuillHash dünya çapında kurumsal çözümler sunmuştur. Uzmanlardan oluşan bir ekiple QuillHash, DeFi işletmesi de dahil olmak üzere çeşitli endüstri çözümleri sunan lider bir blockchain geliştirme şirketidir.Akıllı sözleşmeler denetiminde herhangi bir yardıma ihtiyacınız varsa, uzmanlarımıza ulaşmaktan çekinmeyin burada!

Daha fazla güncelleme için QuillHash'ı takip edin

Twitter |  LinkedIn |  Facebook

Kaynak: https://blog.quillhash.com/2021/04/30/how-long-does-it-take-to-get-smart-contracts-audited-defi/