Sözleşme araçları

Python geliştiricileri, Veri Bilimcileri ve Güvenlik Uzmanları için akıllı sözleşme geliştirme aracı

Scaffold-ETH 2, tam yığın merkeziyetsiz uygulama (dapp) dağıtımı için cüzdan kancaları, sıcak sözleşme yeniden yükleme, yerel musluk yardımcı programları ve uzantı modülleri içeren bir Next.js artı Hardhat veya Foundry başlangıç paketidir.

Ethereum Sanal Makinesi'ni (EVM) hedefleyen akıllı sözleşmeler için Python tabanlı bir geliştirme ve test çerçevesi.

ethPM, herhangi bir EVM akıllı sözleşme sistemini tüketmek, dağıtmak veya yönetmek için değişmez paket yöneticisidir.

Hafif web tabanlı Akıllı Sözleşme IDE'si

Moccasin, Vyper ile yazılmış akıllı sözleşmeleri test etmek, fuzzing yapmak ve dağıtmak için Cyfrin'in Titanoboa üzerindeki Python öncelikli iş akışıdır.

Ethernaut CLI, GUI'ler yerine terminalleri tercih ettiğinizde yaygın Ethereum görevleri için isteğe bağlı yapay zeka yardımcılarına sahip, EthernautDAO'dan Hardhat tabanlı bir komut araç kutusudur.

opstack-kit, başlangıç paketine entegre edilmiş köprüleme yardımcıları, CustomGasToken akışları ve OP Stack CLI görevleriyle Superchain uyumlu ön yüzleri ve betikleri iskeletlendirir.

Hardhat, Ethereum yazılımınızı oluşturmak ve dağıtmak için bir geliştirme ortamıdır

Foundry, bağımlılıkları yöneten, Solidity'yi derleyen, fuzz ve birim testleri çalıştıran, sözleşmeleri dağıtan ve terminalden veya Solidity otomasyon betiklerinden betiklenmiş zincir etkileşimini yönlendiren, Ethereum akıllı sözleşme mühendisliği için hızlı, taşınabilir bir Rust araç zinciridir.

Kurtosis, tekrarlanabilir çoklu hizmet geliştirme ağlarını paketler, böylece entegrasyon testleri için gerçekçi Ethereum veya toplama yığınlarını elle korunan compose dosyalarından daha hızlı başlatabilirsiniz.

CreateX, ekiplerin özel fabrika kodu olmadan öngörülebilir adreslerden sözleşmeler başlatabilmesi için CREATE, CREATE2 ve CREATE3 tarzı akışları saran pcaversaccio'nun güven gerektirmeyen evrensel dağıtıcısıdır.

Akıllı sözleşme test paketleri için gaz kullanımı analizleri sağlayan bir hardhat eklentisi. OP Stack ağları için özel desteğe sahiptir, 150 binden fazla Github deposunda bir bağımlılıktır ve NPM'den haftada 100 binden fazla indirilmektedir.

Txtx, Kod Olarak Kripto Altyapısını (Crypto Infrastructure as Code) tanıtarak Akıllı Sözleşme Altyapısı yönetiminin stresini, acısını ve gözyaşlarını tersine çevirir. Çalıştırma kitapları (Runbooks), Web3 Altyapıları için yeni standardı belirleyen Mühendislik Mükemmelliğinin planıdır.

Akıllı sözleşmelerinizi aynı deterministik adresle birden fazla EVM zincirinde dağıtmak için Hardhat eklentisi. (Neredeyse) tüm OP-stack destekli zincirler dahil olmak üzere şu anda toplam 133 EVM zinciri desteklenmektedir.

Foundry'de belirli bir ortamdan en son dağıtımı almak için bir araç. Bu şekilde, Solidity'de önceki dağıtımlar üzerinden betik yazabilirsiniz.

Create2Deployer, ekiplerin deterministik adreslerde karşı olgusal sözleşmeler dağıtabilmesi için CREATE2 işlem kodunu güvenlik kontrolleriyle saran pcaversaccio'dan minimal bir fabrika sözleşmesidir.

Redprint, sihirbaz tarzı bir oyun alanını redprint-forge kütüphaneleriyle eşleştirir, böylece geliştiriciler değişiklikler üretim hatlarına geçmeden önce tür açısından güvenli dağıtımlar, yeniden kullanılabilir testler, Safe uyumlu işlem betikleri ve modüler bileşen kablolaması ile Solidity'de OP Stack sözleşme yükseltmelerini deneysel olarak oluşturabilir.

Cannon, Ethereum üzerindeki protokoller için bir DevOps aracıdır. Yerel geliştirme ve canlı ağlar için akıllı sözleşme dağıtımını ve yapılandırmasını yönetir.

Akıllı sözleşmenin yapı taşlarıyla birlikte çalışan %100 açık kaynaklı bir CLI. Bu araç kutusu, dapp geliştirme için çağrı verilerini (calldata) mümkün olduğunca az bayt kullanacak şekilde kodlayarak L2 gaz maliyetini azaltabilir.

Her Çekme İsteğinizde (Pull Request) Foundry tarafından otomatik olarak oluşturulan gaz raporlarını kolayca karşılaştırın!

Testleri çalıştırmak, ağları çatallamak ve rollup'ınızın nasıl çalıştığı üzerinde tam kontrol ile durumu (state) incelemek için kişisel bir Superchain ortamı başlatın. Nihai Ethereum ve Superchain Geliştirme Oyun Alanı

Bu imzalayıcı proxy'si, OP Stack operatörlerinin sıralayıcı, gruplayıcı, teklif edici ve meydan okuyucu imzalama işlemlerini diskteki ham özel anahtarlar yerine AWS KMS veya YubiHSM üzerinden yönlendirmesine olanak tanır.

OpenZeppelin Contracts, akıllı sözleşme geliştirme için başvurulan kütüphanedir.

Solidity, akıllı sözleşmeleri uygulamak için nesne yönelimli, üst düzey bir dildir.

EVM için Pythonik Akıllı Sözleşme Dili

Solidity Odaklı Geliştirme Araçları

Vectorized'dan Solady, Merkle kanıtlarından sıkıştırma yardımcılarına kadar agresif bir şekilde optimize edilmiş Solidity parçacıklarını toplar ve dikkatli satır içi assembly'yi (inline assembly) erişilebilir API'lere sarar, böylece gelişmiş geliştiriciler yaşayan bir referans kütüphanesinden en yeni optimizasyon tekniklerini öğrenirken gaz açısından verimli kalıplar gönderebilir.

Fe, EVM'yi hedefleyen Rust'tan ilham alan bir dildir; bugün baytkod üretimi hala gelişmekte olsa bile Fe v2'nin tür sistemini CLI veya editör araçları aracılığıyla keşfedebilirsiniz.

Solhint, stil kurallarını uygulamak ve tehlikeli kalıpları (footgun) erkenden yakalamak için editörlere veya CI'a bağladığınız bir Solidity linter'ıdır.

Juan Blanco'nun VS Code Solidity eklentisi; sözdizimi vurgulama, derleme komutları, üzerine gelindiğinde meta veri gösterme, hızlı düzeltmeler, monorepo algılama, isteğe bağlı Nethereum kod üretimi, lint entegrasyonu ve bir LSP sunucusu ekler.

WhatsABI, yalnızca baytkoddan seçicileri, proxy'leri ve kısmi ABI'leri kurtarır; doğrulanmış kaynak eksik olduğunda ancak yine de çağrı verisi (calldata) kod çözmeye ihtiyacınız olduğunda cüzdanlarda, gezginlerde veya yerel araçlarda kullanın.

PRBMath, Solidity'de sabit noktalı (fixed-point) türler ve logaritmalar ile üslü sayılar gibi gelişmiş matematik işlevleri için destek ekleyen bir akıllı sözleşme kütüphanesidir. 18 ondalıklı sayılarla çalışan PRBMath, aynı zamanda gaz açısından verimli ve kullanıcı dostudur.

Solc-select, Solidity derleyici sürümlerini hızlı bir şekilde kurmak ve bunlar arasında geçiş yapmak için bir komut satırı yardımcı programıdır.

Solidity kodunuzu otomatik olarak biçimlendirmek için bir Prettier eklentisi.

Son teknoloji ürünü, son derece fikir sahibi, hiper optimize edilmiş ve güvenli Vyper akıllı sözleşme yapı taşları.

EvmTools, günlük akıllı sözleşme hata ayıklaması için tarayıcı ve uzantı yardımcı programlarını (kod çözücüler, merkle yardımcıları, dönüştürücüler ve benzeri küçük araçlar) tek bir yerde toplar.

Kapı tutucular oluşturmak, yeniden kullanmak ve özelleştirmek için zincir içi esnek ve birleştirilebilir bir çerçeve. Gaz açısından verimli minimal proxy kalıpları ve çok aşamalı doğrulama ile nitelik tabanlı erişim kontrolü için temel ilkeller olarak Politikalar ve Denetleyiciler kullanır.

EVM için Fe-lang'de TinyAlloc uygulaması

Organizasyonel grafik protokolü: Hats Protocol ile kuruluşunuzun rollerini, aracılarını ve izinlerini programlanabilir bir grafiğe kodlayın

Solmate, akıllı sözleşme geliştirme için gaz açısından optimize edilmiş Solidity yapı taşları ve yardımcı programlarının modern, fikir sahibi bir koleksiyonudur.

ZKsync ekibi ve işbirlikçileri tarafından LLVM ile desteklenen, Ethereum için gaz açısından verimli bir Solidity derleyicisi. Foundry ve Hardhat gibi iş akışlarında solc'nin yerine doğrudan kullanılabilir.

Solidity Bytes Utils, Solidity belleğinde veya depolamasında dinamik bayt dizilerini birleştirmek, dilimlemek ve dönüştürmek için klasik bir kütüphanedir; uzun süredir sürdürülmektedir ve büyük protokoller arasında yaygın olarak çatallanmıştır.

EVM'yi hedefleyen Rust benzeri programlama dili

curl tabanlı Solidity için HTTP Kütüphanesi

VSCode Solidity Inspector, VS Code'da pratik Solidity yardımcı programlarını bir araya getirir: depolama düzeni görünümleri, içe aktarma hijyeni ipuçları, Foundry dağıtım özetleri, Bulloak test taslakları, yeniden eşleme (remappings) uyumlu içe aktarmalar ve kod boyutu ipuçları.

Diamondscaffold, EIP-2535 elmas projelerini fikirsel bir düzen ve betiklerle iskeletlendirmek için tasarlanmış bir CLI aracıdır ve modüler yükseltilebilir proxy'leri ayağa kaldırmayı hızlandırır.

IntelliJ için Solidity eklentisi

Bu kütüphaneler, Derive ayarlı Black-Scholes fiyatlandırma ve risk matematiğini Go ve Rust'ta paketler, böylece zincir içi risk modülleri Derive'ın marj yığınına bağlı yüksek oranda optimize edilmiş uygulamaları yeniden kullanabilir.

Paradigm tarafından Rust dilinde yazılmış, inanılmaz hızlı, modüler Solidity derleyicisi. Daha hızlı derlemeler ve daha iyi teşhisler için katkıda bulunan dostu bir derleyici yığını olarak tasarlanmıştır.

Hindistan hükümetinin Aadhaar kimlik kartlarını kullanarak gizliliği koruyan uygulamalar oluşturmaya yönelik araçlar. Aadhaar sahiplerinin kişisel verilerini ifşa etmeden ikametgahlarını kanıtlamalarını sağlamak için ZK devreleri, TypeScript, Solidity ve React kütüphaneleri sağlar.

Aztec, programlanabilir gizlilik ve sıfır bilgi ispatları ile uygulamalar oluşturmak için gizlilik odaklı bir Ethereum Rollup'ı ve geliştirici platformudur.

Circom, sıfır bilgi ispatı sistemlerinde kullanılan aritmetik devreleri yazmak ve derlemek için alana özgü bir dil ve derleyicidir.

Circom dilinin MPC uygulamaları geliştirmek için kullanılmasını sağlayan bir PSE araştırma projesi. Makine öğrenimi uygulamaları için MP-SPDZ arka uç entegrasyonu ile Circom kullanarak derlenmiş aritmetik ve boolean MPC devreleri.

PSE'nin Zcash'in Halo2 PLONK kanıt sisteminin yeniden mimarilendirilmiş çatallanması; ekonomik L1 doğrulaması için Solidity doğrulayıcılı bir KZG arka ucu, çoklu eliptik eğriler için destek ve ayrıştırılmış ön uç/arka uç mimarisi içerir.

MACI (Minimal Anti-Collusion Infrastructure), Ethereum üzerinde gizli anlaşmalara dirençli, gizli oylama ve sinyalizasyon sistemlerini etkinleştirmek için sıfır bilgi ispatlarını kullanır.

Mobil cihazlarda istemci tarafı sıfır bilgi ispatını basitleştiren bir araç seti. Geliştirilmiş performans için mobil GPU'dan yararlanarak iOS, Android ve tarayıcı bağlamaları oluşturmak için ZK kanıt sistemlerini (Halo2, Circom) bağlar.

Rust dilinde güvenli, performanslı, modüler ve taşınabilir bir Çok Taraflı Hesaplama (MPC) kütüphanesi. Yerel ve WebAssembly yürütmesini destekler. TLSNotary'nin kriptografik altyapısına güç verir ve gizlilik odaklı projelerde kullanılır.

Noir, Aztec tarafından sürdürülen geliştirici dostu bir sözdizimi ve araçlarla sıfır bilgi devreleri yazmak için Rust'tan ilham alan bir dildir.

Groth16 Aşama 2 Güvenilir Kurulum (Trusted Setup) törenleri için bir araç seti. İzleme ve katılım için eşlik eden bir web uygulamasıyla (DefinitelySetup), geliştiricilerin ZK uygulamaları için güvenilir kurulumlar oluşturmasına ve yönetmesine yardımcı olur.

2^28 kısıtlamaya kadar olan devreler için devam eden (2019'dan beri) bir zk-SNARK güvenilir kurulum töreni, 530 milyondan fazla powers of tau üretir. Bir katılımcı dürüst olduğu sürece güvenliğin sağlandığı çok taraflı bir tören.

Kriptografik Kanıtlanabilir Nesne Veri Türlerinin (POD'lar) ikinci nesli. Özel yüklemler ve özyinelemeli işlemler aracılığıyla veriler üzerinde esnek hesaplama sağlar. PSE işbirliğiyle 0xPARC tarafından geliştirilmiştir.

Railgun, sıfır bilgi ispatları ile korumalı işlemler ve gizli DeFi etkileşimleri sağlayan Ethereum ve EVM ağları için bir gizlilik protokolüdür.

Self Protocol, oluşturucuların cüzdanlara veya kimlik bilgilerine bağlı gizliliği koruyan doğrulama akışlarına ihtiyaç duyduklarında yerleştirebilecekleri açık kimlik ve kanıt ilkelleri sağlar.

Semaphore, kimliği ifşa etmeden anonim sinyalizasyon ve kimlik doğrulamayı sağlayan, gizli grup üyeliği kanıtları için bir sıfır bilgi protokolüdür.

snarkjs, zkSNARK kanıtları oluşturmak ve doğrulamak ve Node.js ile tarayıcıda yaygın kanıtlama iş akışlarını çalıştırmak için bir JavaScript ve CLI araç setidir.

Artımlı Doğrulanabilir Hesaplama (Incremental Verifiable Computation) için birden fazla katlama şemasını (Nova, HyperNova, ProtoGalaxy, CycleFold) ve karar verici arka uçlarını (Groth16, KZG) destekleyen modüler bir katlama kütüphanesi. Arkworks, Circom, Noir ve Noname ön uçlarını destekler.

Birleşik İkili Ağaç (Unified Binary Trie - UBT) ve Merkle Patricia Ağacı durum güncellemelerinin her Ethereum bloğu için eşleştiğini doğrulayan özyinelemeli zkVM kanıtları oluşturur. Hafif istemciler ve özel bilgi alımı için güven gerektirmeyen durum doğrulaması sağlar.

Doğrulanabilir Habersiz Sözde Rastgele İşlevler (Oblivious PseudoRandom Functions) kullanarak Web2 kimlikleri için takma adlı sistemleri etkinleştirir. E-posta ve sosyal hesapların anonim oylama, özel forumlar ve gizli airdrop'lar için özel sıfırlayıcılar (nullifiers) oluşturmasına olanak tanır.

ZK Email, sansürlenmiş e-posta dökümleri hakkındaki gerçekleri zincir içi kanıtlamak için devreler ve SDK'lar sağlar. Gelen kutularını ifşa etmeden gizliliği koruyan kimlik veya makbuz kontrolleri istediğinizde kullanışlıdır.

Teknik standartlar tasarlayarak, açık kaynaklı ZK altyapısı oluşturarak ve hükümetlerle işbirliği yaparak gizliliği koruyan dijital kimliği geliştiren bir PSE girişimi. AB EUDI Cüzdan entegrasyonu ve ZKP Cüzdan Birimi üzerinde çalışıyor.

Sıfır bilgi ispatları kullanarak özel kimlik doğrulaması. Herhangi bir kişisel bilgiyi ifşa etmeden yaşı, ülkeyi veya insanlık kanıtını (proof of personhood) doğrulayın. Entegrasyon için SDK ve zincir içi kayıt sözleşmeleri ile mobil öncelikli tasarım.

zkTLS / TLSNotary, doğrulayıcıların tam düz metni görmeden dökümlere güvenebilmesi için MPC ile TLS oturumlarının özelliklerini kanıtlamaya yönelik açık bir protokoldür.

ZoKrates, Ethereum üzerinde ZK-SNARK'lar için bir araç kutusudur; güvenilir kurulum, kanıt oluşturma ve doğrulayıcı entegrasyonu için bir DSL, derleyici ve yardımcı programlar sunar.

Birden fazla dilde (JavaScript, Solidity, Rust, Noir) yeniden kullanılabilir sıfır bilgi kütüphanelerinden oluşan, Merkle ağaçları, Poseidon hash'i ve daha fazlası gibi kriptografik ilkellerin iyi test edilmiş uygulamalarını sunan bir monorepo.