Solidity Summit 2022
Solidity Summit 2022, Solidity’nin geleceğine odaklanan ortak bir etkinliktir.
Solidity Summit 2022, 20 Nisan tarihinde Amsterdam ‘da gerçekleşti. Bu yıl çok istememe rağmen maalesef Amsterdam’da ki etkinliğe katılım sağlayamadım. Ancak etkinliği çok yakından takip ettim ve sizlere her sunumun Türkçe yorumunu paylaşmak istedim.
Öncelikle Solidity Summit 2022’ye ana hatlarıyla bakalım!
Solidity Zirvesi, Solidity, Yul, dil tasarımı, güvenlik ve araçlar hakkında tartışmalar ve konuşmalar içeren ücretsiz bir etkileşimli forumdur.
Bu yıl, sunumlar ve tartışmalar aşağıdaki konular etrafında gerçekleşti;
- Solidity ve Yul
- Dil değişiklikleri veya uzatma teklifleri
- Yaklaşan yeni özellikler
- Yakın zamanda tanıtılan özellikler hakkında geri bildirim
- ABI’nin birleştirilmesi / genişletilmesi
- Takım, hata ayıklayıcılar ve hata ayıklama veri çıkışı
- Test çerçeveleri
- Mevcut “daha büyük ekosistem araçlarına” entegrasyon (örneğin, Dil Sunucusu, LLVM aracılığıyla VSCode)
- Kaynak doğrulama
- Katman 2 desteği, çapraz zincir desteği
- Muteksler, durum makineleri, yükseltilebilir sözleşmeler, kitaplıklar, create2 vb. gibi mekanizmalar / programlama kalıpları (EVM’de).
Son ve Planlanan Özellikler Christian Reitwiessner
Son aylarda Solidity, performanstan ödün vermeden aynı anda hem daha esnek hem de daha güvenli olmasını sağlayan birkaç heyecan verici özelliği tanıttı. Size Solidity’nin en son sürümüyle nelerin mümkün olduğuna dair bazı örnekler göstermek ve özelliklerin ardındaki bazı nedenleri açıklamak istiyorum. Ancak iyileştirmeler burada bitmiyor: Genel kod yazmanıza, bellek yönetimini geliştirmenize ve derleyiciden mümkün olduğunca genel bir kitaplığa “sihirli kod” çıkarmanıza izin vermek istiyoruz.
Tüm hatalar için teşekkürler! – Yannis Smaragdakis
Geçen yıl, biz (Dedaub) dağıtılan akıllı sözleşmelerde çok sayıda güvenlik açığı açıkladık ve toplam 2,5 milyon doları aşan 8 önemli hata ödülü aldık. Konuşma bu deneyimden kaynaklanmaktadır: Dedaub araçları (contract-library.com kod gezgini dahil) ve tanımladığımız yüksek değerli güvenlik açıklarının arkasında olan birkaç Solidity modeli hakkında konuşacağım. Ancak konuşmanın ana kısmı basit bir soruya odaklanacak: “Akıllı sözleşme denetçimi daha verimli ve etkili hale getirmek için bir geliştirici olarak ne yapabilirim?” Bu, “nasıl daha iyi kod yazabilirim?” diye sormaktan çok farklı değil. ancak sayısız denetime (ve saç yolma örneklerine) dayanarak eyleme geçirilebilir tavsiyeler vermek niyetindeyim.
Veri Analisti Perspektifinden İyi Uygulamalar – wei3erhase
Sol geliştiricilere olay veri tabanının nasıl modelleneceğine dair bir fikir sunmak için olay emisyonu ile ilgili iyi uygulamalara bir yaklaşım yapın, böylece bilginin son veri analistleri için kullanılabilir olmasını sağlayın. Çok sayıda gaz tasarrufu tartışması görüyorum ve iyi veri uygulamaları hakkında hiçbiri ve ayrıca korsan uygulamalar nedeniyle çok az sayıda temiz veri panosu görüyorum.
Solidity Unit Testlerinde Dahili Fonksiyonlarla Çalışmak – Jason Smythe
Float.capital için akıllı sözleşmeler, çok sayıda küçük, birbirine bağımlı dahili işlevden yararlanır. O zamanlar bu sorunları çözmek için bulabildiğimiz en iyi çözüm önlüktü (bu muhtemelen hala en iyi seçenektir), ancak bu yalnızca harici işlevlerle alay edilmesine izin verir. Buna bir çözüm olarak, herhangi bir dahili işlev için alay etmeyi seçerek açabilmemiz ve herhangi bir dahili işlevde önlük kullanabilmemiz için tüm dahili işlevleri harici bir sözleşmeye çağırmak üzere haricileştiren değiştirilmiş akıllı sözleşmeler oluşturan bir kod oluşturma aracı oluşturduk. . Tüm bu kodlar, kod oluşturma sürecinde AST, abi ve sözleşme koduna bakılarak oluşturulmuştur. Şu anda, dövme/dökümhane sözleşme testlerinde benzer teknikleri nasıl kullanabileceğimizi deneme sürecindeyiz.
Model Oluşturun – Fred
‘create2’ kullanarak yapabileceğiniz çeşitli ilginç şeyler hakkında konuşmaktan zevk alırım. Bu, sahiplerini açıkça depolaması gerekmeyen proxy’lerden çapraz zincirli adres kehanetlerine ve süslü köprü emanet sistemlerine kadar uzanır. Bu farklı yaklaşımlardan birkaçını ve bunların konuşlandırılmış uygulamalarda nasıl kullanıldığını vurgulamak istiyorum.
Foundry 101 – odysseas
Foundry’yi gerçek dünyada kullanma örneklerini inceleyeceğiz ve ayrıca mevcut test takımlarını Foundry’ye nasıl kolayca taşıyabileceğimizi göreceğiz.
dΞth Crypto – Leo Logvinov
DethCrypto’da kripto için geliştirme araçları üzerinde çalışıyoruz. Typechain, eth-sdk, earl veya deth kodunu kullanmış olabilirsiniz. Bu araçları kısaca gözden geçirecek ve ardından oluşturmakta olduğumuz Solidity profil oluşturma hizmetinden ve sağlayacağı benzersiz özelliklerden bahsedeceğim.
Remix Hybrid Tools – Aniket
Dapp’lerin hazırlanmasına ve geliştirilmesine yardımcı olmak için Remix Hybrid araçları.
truffle:decoder ile Sunum – G Nicholas D’Andrea
Truffle’ın ultra güçlü @truffle/decoder paketi, Ethereum akıllı sözleşmeleri için işlemlerin, olayların ve durum değişkenlerinin kodunu çözmek için üst düzey bir arayüz.
İnsan Dostu Sözleşme Etkileşimleri – Kaan Uzdoğan
Güle güle YOLO-İmza! Sourcify’ın sözleşme meta verileri aracılığıyla kaynak kodu doğrulaması, insan dostu sözleşme etkileşimlerine olanak tanır ve dağıtılan sözleşmenin bayt bayt (mükemmel) eşleşmelerini sağlar. Konuşma, mükemmel eşleşmelerin nasıl çalıştığını, Sourcify’ı nasıl kullanabileceğinizi ve Sourcify’ın daha iyi sözleşme etkileşimleri için vizyonunun ne olduğunu kapsar.
DeFi için 12 Hibrit Saldırı Sentezi – Jon Stephens
Akıllı sözleşmeler için yeni bir yazılım denetim şirketi olan Veridise tarafından geliştirilen iki açık kaynaklı analiz aracı sunuyoruz. Birincisi, Vanguard, ortak kalıpları arayarak akıllı sözleşmelerdeki güvenlik açıklarını bulan ilk zincirler arası araçtır. İkincisi, Eurus, akıllı sözleşmelerdeki güvenlik açıklarını keşfetmek için sembolik yürütmeyi kullanır. Diğer analiz araçlarından farklı olarak hem Vanguard hem de Eurus, kullanıcılara sömürülebilirliğin somut kanıtlarını sunar. Bu konuşmada, bu araçların işlevselliğini sergiliyor ve flash kredi saldırıları gibi akıllı sözleşmelere otomatik olarak nasıl karmaşık saldırılar oluşturabileceklerini inceliyoruz.
PRBMath: Sabit Nokta Matematik için Akıllı Sözleşme Kitaplığı – Paul Razvan Berg
PRBMath’in ne için gerekli olduğu ve en popüler kullanım durumları.
IntelliJ Solidity Hata Ayıklayıcı – Conor Svensson
Son birkaç aydır IntelliJ için bir Solidity hata ayıklayıcı üzerinde çalışıyoruz ve demosunu yapmak istiyoruz.
Solidity bugün yapılsaydı nasıl görünürdü? – John Adler
Hem dil geliştirme hem de akıllı sözleşme geliştirme hakkında bildiğimiz her şeyle, bugün tasarlansaydı Solidity’nin nasıl görüneceğini keşfetmek. Dahil ancak bunlarla sınırlı olmamak üzere: takım, sıfır maliyetli soyutlamalar, tip sistemi vb. Bu özellikler, talep olması durumunda gelecekte Solidity’ye eklenebilir!
Bir Derleyiciyi Yul ile Önyükleme – Grant Wuerker
Yul’un Fe’nin gelişiminde nasıl kullanıldığına genel bir bakış. Yul’u üst düzey bir dil için bayt kodu oluşturmak için nasıl kullandığımızı tartışacağız ve bize yardımcı olan Rust araçlarını gözden geçireceğiz.
The Solidity Optimizooooor – Hari Mulackal
Solidity optimizer’ın arkasında çok fazla gizem var. Optimize ediciyi anlamak, aynı zamanda gaz verimli iken okunabilir sözleşmeler yazmasına izin verecektir. Bu, derleyicinin karmaşık optimizasyonlar gerçekleştirmesini sağladığı için özellikle viaIR ardışık düzeni için önemlidir. Konuşma, gerçek dünya kodunu nasıl etkilediğine odaklanarak bazı optimizasyon adımlarına genel bir bakış sunacak!
Yul’den IR Pipeline aracılığıyla yeni EVM Bayt Kodu Oluşturma – Daniel Kirch
Yul, EVM’nin çıplak işlem kodları üzerinde yalnızca ince bir soyutlama sağlayan düşük seviyeli bir dil olsa da, Yul’dan EVM bayt koduna geçiş hala belirli seçenekler için yer bırakır: en açık şekilde Yul’un kontrol akış yapılarının çevrilmesi gerekir. EVM’de düz atlamalar. Ancak ayrıca Yul, değişkenlerinin EVM’nin yığını üzerindeki yerleşimini önceden varsaymaz – ve EVM’nin yalnızca yığınındaki en üstteki 16 değere erişime izin vermesi nedeniyle, uygun yığın düzenlerinin kesin yapısı ve bunlar arasındaki geçişler özellikle önemlidir. Bu konuşmada, optimize edici etkinleştirilmiş yeni IR yoluyla derleme boru hattında kullanılan Yul-to-EVM kod dönüşümünün iç işleyişini çizeceğim. Eski derleyici boru hattındaki Yul bileşenleri için kullanılan daha naif yaklaşıma göre avantajlarını, yığın çok derin hatalardan kaçınmak için değişkenleri yığından belleğe taşımak için Yul optimizer ile nasıl etkileşime girdiğini ve başka hangi iyileştirmelerin beklenebileceğini tartışacağım. yakın gelecek. Son olarak, bu yeni mekanizmanın takımlar ve hata ayıklayıcılar için sunduğu zorluklara dair ipuçları vereceğim.
Underhanded Solidity Yarışması Kazanan Sunumları
Solidity Summit 2022 etkinliğinde gerçekleşen sunumlara göz atmış olduk, Solidity hakkında daha fazla kaynak için Solidity 101 içeriklerini ve Solidity kategorisini takip edebilirsiniz.
Aşağıdaki içeriklere muhakkak göz atınız!
- Blockchain Developer Olmak İçin Yol Haritası 2022
- Solidity nedir? Ethereum Akıllı Sözleşmelerinin Dili Rehberi
- Yeni Başlayanlar için Solidity – Akıllı Sözleşme Geliştirme Hızlandırılmış Kursu
Bu makaleyi okuduğunuz için teşekkürler! Bize destek olmak isterseniz aşağıdaki şekilde yapabilirsiniz:
Bizi Twitter‘dan takip etmeyi ve link ağacımızı radarına almayı UNUTMA!
