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.

Huff is a low-level assembly language and compiler for writing hand-optimized EVM bytecode, with development continuing in huff2. Builders reach for it when bytecode has to be tuned by hand.

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

Birden fazla zincir üzerinde öğrenmek, inşa etmek ve test etmek için zengin ve erişilebilir bir Web3 araç seti

The Stylus SDK is the Rust SDK for writing smart contracts that run in Arbitrum's Stylus environment alongside the EVM. Rust builders use it when contract logic should be written in Rust rather than Solidity.

BuildBear is a hosted service that spins up a private testnet sandbox mirroring a real chain such as Ethereum, Polygon, BSC, or Arbitrum. Builders point tests at it to work against a private fork with real chain state.

slang from the Nomic Foundation is a modular Solidity compiler frontend with a parser, concrete syntax tree, and bindings. Builders import it when writing a linter, formatter, or other tool that has to understand Solidity source.

Wake is a Python framework for testing, fuzzing, and static analysis of Solidity projects. Builders reach for it when they want to write contract tests and fuzzing campaigns in Python and run analysis over the same codebase.

py-solc-x is a Python wrapper and version manager for the solc Solidity compiler, used by Brownie and Ape style test suites. Python builders install it to fetch and switch compiler versions from their own scripts.

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.

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.

PoWFaucet is a modular testnet faucet for EVM chains with anti-abuse methods including a mining puzzle, captcha, IP limits, and Gitcoin Passport, and it backs the Sepolia proof-of-work faucet. Teams running a testnet self-host it to hand out test ETH without giving it all to one address.

hardhat-deploy is a Hardhat plugin for replicable deployments with named accounts, proxies, and diamonds. Builders install it when deployments must be repeatable across networks and track upgradeable contracts.

eth-docker is a Dockerized stack for deploying and managing execution, consensus, and validator clients on mainnet. Node operators use it to run a full node setup from configuration files instead of hand-installed binaries.

The Kurtosis ethereum-package spins up reproducible multi-client Ethereum devnets, including mev-boost and supporting tooling. Builders run it when they need a local network that mirrors a real client mix.

DAppNode is an operating system with an app store for running Ethereum execution and consensus clients and other node software on your own hardware. Someone setting up a home node installs it and picks client packages instead of configuring each service by hand.

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.

simple-optimism-node is a one-command Docker setup for running an OP Stack node. Builders run it to get their own Optimism node, in the same way eth-docker covers mainnet clients.

ethereum-helm-charts are Helm charts from ethPandaOps for running Ethereum execution and consensus clients and related infrastructure on Kubernetes. Teams add them to a cluster rather than writing client manifests themselves.

Chainlink Faucets dispense testnet ETH and LINK across the supported test networks. Builders use them to fund an account before deploying and testing contracts on a testnet.

Immunefi is a bug bounty platform where projects post rewards for whitehats who find and responsibly disclose contract vulnerabilities. Teams list a program there to give researchers a paid route to report issues.

Rocket Pool Smart Node is the command line package node operators run to set up and manage a Rocket Pool minipool, wrapping execution and consensus clients plus validator duties.

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.

foundry-toolchain is the official GitHub Action that installs Foundry in continuous integration. Builders add it to a workflow so forge test and forge script run on every pull request.

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.

Sedge is a command line setup tool from Nethermind that generates docker-compose configurations for execution, consensus, and validator client combinations. Builders run it to get a working node setup without writing the compose files.

ethereum-genesis-generator creates execution and consensus layer genesis state for a testnet and serves it over a web server. Devnet and rollup teams run it to produce the genesis files for a custom network.

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.

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.

ethereal is a Go command line tool for everyday Ethereum tasks, including sending transactions, managing ENS records, transferring tokens, and inspecting accounts. Builders install it for one-off operations that do not justify a script.

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.

EthPillar is a setup script and terminal interface for installing and managing an Ethereum staking node with execution, consensus and MEV-Boost clients. Solo stakers run it to stand up a node without editing client configuration by hand.

rocketh is a deployment and test harness for Ethereum contracts built around viem, keeping one record of deployments per network so scripts and tests agree. Builders use it when they want repeatable deployments without Hardhat, which the hardhat-deploy plugin wraps over the same code.

Decker is a TypeScript CLI for creating configurable local Ethereum devnets with execution and consensus clients, relays, and block builders. Teams use its recipes for integration tests and infrastructure development.

blocksmith.js, tek bir yerel EVM'nin yeterli olmadığı durumlarda çok zincirli veya çok örnekli Foundry testlerini betiklemek için forge ve anvil etrafında ince bir JavaScript donanımıdı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.

Safe Smart Account is the widely deployed set of modular multisig smart-account contracts behind Safe. Wallet and treasury builders deploy or extend it to add multisignature control and account modules.

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.

ERC721A is a gas-optimized ERC-721 implementation with cheap consecutive batch minting. Builders import it when an NFT contract mints several tokens to the same address at once and minting cost matters.

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.

IntelliJ için Solidity eklentisi

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.

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.

Multicall3 is the canonical contract for batching many reads or writes into a single transaction. Builders call it from contracts and scripts to fetch or update state across several contracts in one round trip.

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

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.

SolidState Solidity is an upgradeable-first contract library built around the diamond pattern of EIP-2535. Teams import it when contracts are organized as diamond facets from the start.

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

solidity-docgen generates Markdown documentation for a Solidity project from its NatSpec comments. Teams run it so published docs stay in step with the contract source.

weiroll is an operation-chaining scripting language and set of contracts for composing many EVM calls into one transaction. Teams building call-routing or batching systems use it to express the call sequence as a script.

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.

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.

ABDKMath64x64 is a Solidity library for 64.64-bit binary fixed-point math. Builders import it when a contract needs fixed-point arithmetic that Solidity does not provide natively.

ERC721A-Upgradeable is the proxy-upgradeable variant of the ERC721A implementation. Builders import it when a proxy-based NFT contract needs the batch minting design of ERC721A.

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.

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.

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

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.

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

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

Plonky3 is a toolkit of polynomial IOP building blocks for constructing custom SNARK and STARK proving systems, and several zkVM projects build on it. Rust builders add the p3 crates when writing their own proving system.

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.

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.

gnark-crypto provides elliptic curve and pairing cryptography for BN, BLS12, BLS24, and BW6 curves, and it is the backend of the gnark SNARK library. Go builders import it directly for curve and pairing math.

The RAILGUN Wallet SDK lets an app shield tokens and NFTs, hold private balances and send private transfers and contract calls using zero-knowledge proofs. It runs on Ethereum, Arbitrum, Polygon, BNB Chain and more, on top of the lower-level RAILGUN engine.

Lambdaworks is a Rust library of SNARK and STARK prover components that can be used piecemeal or assembled into a custom proving system. Teams pull its crates when building their own prover rather than adopting a finished one.

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.

powdr is a toolkit for accelerating and hardening zkVMs by moving specific computations into custom circuits. Teams running a zkVM use it to generate custom precompiles and check constraints, and its authors still describe the code as experimental.

op-succinct is a proving engine that generates SP1 validity proofs for OP Stack rollups. Rollup teams deploy it to turn an OP Stack chain into a validity proof rollup, running it as a separate service.

risc0-ethereum holds the integration libraries and verifier contracts for using the RISC Zero zkVM with Ethereum and other EVM chains. Teams proving computation off chain import these crates to settle the resulting proofs onchain.

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.

rsp from Succinct generates zero-knowledge proofs of Ethereum and OP Stack block execution, built on Reth. Its authors describe it as a minimal work in progress that is not meant for production, so it mainly serves teams already building on SP1.

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.

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.

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.

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

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.

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.

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.

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.