コントラクトツール

Pythonista、データサイエンティスト、およびセキュリティ専門家向けのスマートコントラクト開発ツールです。

Scaffold-ETH 2は、ウォレットフック、コントラクトのホットリロード、ローカルフォーセットユーティリティ、およびフルスタックの分散型アプリケーション (dapp) デプロイ用の拡張モジュールを備えた、Next.jsとHardhatまたはFoundryのスターターキットです。

Ethereum Virtual Machineをターゲットとしたスマートコントラクト向けのPythonベースの開発およびテストフレームワークです。

複数のチェーンでの学習、構築、テストのための、豊富でアクセスしやすいWeb3ツールセット

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.

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.

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.

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.

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.

Moccasinは、Vyperで記述されたスマート・コントラクトのテスト、ファジング、およびデプロイのための、Titanoboa上のCyfrinのPythonファーストのワークフローです。

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.

Hardhatは、Ethereumソフトウェアを構築およびデプロイするための開発環境です

Foundryは、イーサリアムのスマート・コントラクトエンジニアリング向けの高速でポータブルなRustツールチェーンであり、依存関係の管理、Solidityのコンパイル、ファジングテストと単体テストの実行、コントラクトのデプロイ、およびターミナルまたはSolidityの自動化スクリプトからのスクリプト化されたチェーンとの対話を推進します。

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.

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.

Kurtosisは、再現可能なマルチサービスの開発ネットをパッケージ化しているため、手動で保守されるcomposeファイルよりも迅速に、統合テスト用の現実的なイーサリアムまたはロールアップのスタックを立ち上げることができます。

CreateXは、pcaversaccioのトラストレスなユニバーサルデプロイヤーであり、CREATE、CREATE2、およびCREATE3スタイルのフローをラップするため、チームはカスタムのファクトリーコードなしで予測可能なアドレスからコントラクトを立ち上げることができます。

同じ決定論的アドレスを使用して、複数のEVMチェーン全体にスマートコントラクトをデプロイするためのHardhatプラグイン。(ほぼ) すべてのOP Stack搭載チェーンを含む、合計133のEVMチェーンが現在サポートされています。

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Create2Deployerは、pcaversaccioによる最小限のファクトリーコントラクトであり、CREATE2オペコードを安全性チェックでラップするため、チームは決定論的なアドレスに反事実的コントラクトをデプロイできます。

Txtxは、Crypto Infrastructure as Codeを導入することで、スマートコントラクトインフラストラクチャ管理のストレス、苦痛、涙を解消します。 ランブックはエンジニアリングの卓越性のための青写真であり、Web3インフラストラクチャの新しい標準を設定します。

Cannonは、Ethereum上のプロトコル向けのDevOpsツールです。ローカル開発およびライブネットワーク向けのスマートコントラクトのデプロイと構成を管理します。

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.

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.

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.

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.

OpenZeppelin Contractsは、スマートコントラクト開発の定番ライブラリです。

Solidityは、スマートコントラクトを実装するためのオブジェクト指向の高水準言語です。

EVM向けのPythonicなスマートコントラクト言語

Solidity指向の開発ツール

VectorizedによるSoladyは、マークル証明から圧縮ヘルパーまで、積極的に最適化されたSolidityスニペットを収集し、慎重なインラインアセンブリを親しみやすいAPIでラップしています。これにより、上級開発者は生きたリファレンスライブラリから最先端の最適化手法を学びながら、ガス効率の高いパターンを出荷できます。

Feは、EVMをターゲットとしたRustにインスパイアされた言語です。現在、バイトコードの生成がまだ進化している段階であっても、CLIまたはエディターツールを介してFe v2の型システムを探索できます。

Solhintは、エディターやCIに組み込んでスタイルルールを適用し、危険なパターンを早期に発見するためのSolidityリンターです。

Juan BlancoのVSCode Solidity拡張機能は、構文のハイライト、コンパイルコマンド、ホバー時のメタデータ、クイックフィックス、モノレポの検出、オプションのNethereumコード生成、lintの統合、およびLSPサーバーを追加します。

IntelliJ用のSolidityプラグイン

WhatsABIは、バイトコードのみからセレクター、プロキシ、および部分的なABIを復元します。検証済みのソースがないものの、コールデータのデコードが必要な場合に、ウォレット、エクスプローラー、またはローカルツールで使用します。

PRBMathは、Solidityで固定小数点型や、対数や指数などの高度な数学関数のサポートを追加するスマートコントラクトライブラリです。18桁の小数で動作するPRBMathは、ガス効率が高く、同時にユーザーフレンドリーです。

Solc-selectは、Solidityコンパイラのバージョンをすばやくインストールして切り替えるためのコマンドラインユーティリティです。

Solidityコードを自動的にフォーマットするためのPrettierプラグイン。

最先端で、強いこだわりを持ち、高度に最適化された、安全なVyperスマート・コントラクトのビルディングブロック。

Solidity Bytes Utilsは、Solidityのメモリまたはストレージ内の動的バイト配列を連結、スライス、およびキャストするための古典的なライブラリであり、長く保守され、主要なプロトコル全体で広くフォークされています。

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 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.

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.

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.

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.

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.

Solmateは、スマート・コントラクト開発のための、ガス最適化されたSolidityビルディングブロックとユーティリティの、モダンでこだわりのあるコレクションです。

ZKsyncチームと協力者による、LLVMを搭載したイーサリアム向けのガス効率の高いSolidityコンパイラ。FoundryやHardhatなどのワークフローでsolcのドロップイン代替として機能します。

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.

Diamondscaffoldは、独自のレイアウトとスクリプトを使用してEIP-2535ダイヤモンドプロジェクトの足場を構築するように設計されたCLIツールであり、モジュール式のアップグレード可能なプロキシをより迅速に立ち上げることができます。

ParadigmによってRustで記述された、非常に高速でモジュール式のSolidityコンパイラ。より高速なビルドとより優れた診断のための、コントリビューターに優しいコンパイラスタックとして設計されています。

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.

ZK Emailは、編集されたメールのトランスクリプトに関する事実をオンチェーンで証明するための回路とSDKを提供します。受信トレイを晒すことなく、プライバシーを保護した身元確認やレシートの確認を行いたい場合に便利です。

Self Protocolは、ウォレットやクレデンシャルに結びついたプライバシー保護の検証フローが必要な場合に、ビルダーが組み込むことができるオープンなアイデンティティと証明のプリミティブを提供します。

zkTLS / TLSNotaryは、MPCを使用してTLSセッションのプロパティを証明するためのオープンプロトコルであり、これにより検証者は完全なプレーンテキストを見ることなくトランスクリプトを信頼できます。

インド政府のAadhaar IDカードを使用してプライバシー保護アプリケーションを構築するためのツールです。ZK回路、TypeScript、Solidity、およびReactライブラリを提供し、Aadhaar保持者が個人データを明らかにすることなく居住を証明できるようにします。

Circomは、ゼロ知識証明システムで使用される算術回路を記述およびコンパイルするためのドメイン固有言語およびコンパイラです。

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.

ZcashのHalo2 PLONK証明システムのPSEによる再設計されたフォークであり、経済的なレイヤー1 (L1) 検証のためのSolidity検証者を備えたKZGバックエンド、複数の楕円曲線のサポート、および分離されたフロントエンド/バックエンドアーキテクチャを特徴としています。

MACI (Minimal Anti-Collusion Infrastructure) は、ゼロ知識証明を使用して、イーサリアム上で共謀耐性のあるプライベートな投票およびシグナリングシステムを可能にします。

モバイルでのクライアント側のゼロ知識証明をシンプルにするツールキット。ZK証明システム (Halo2、Circom) を接続してiOS、Android、およびブラウザのバインディングを生成し、モバイルGPUを活用してパフォーマンスを向上させます。

Groth16フェーズ2のトラステッド・セットアップセレモニーのためのツールキット。開発者がZKアプリケーションのトラステッド・セットアップを作成および管理するのに役立ち、監視と参加のためのコンパニオンウェブアプリ (DefinitelySetup) が付属しています。

最大2^28の制約を持つ回路向けの、進行中 (2019年以降) のZK-SNARKのトラステッド・セットアップセレモニーであり、5億3000万以上のpowers of tauを生成します。1人の参加者が正直である限りセキュリティが維持されるマルチパーティセレモニーです。

Semaphoreは、プライベートなグループメンバーシップ証明のためのゼロ知識プロトコルであり、アイデンティティを明らかにすることなく匿名のシグナリングと認証を可能にします。

snarkjsは、ZK-SNARK証明を生成および検証し、Node.jsおよびブラウザで一般的な証明ワークフローを実行するためのJavaScriptおよびCLIツールキットです。

インクリメンタル検証可能計算のための複数のフォールディングスキーム（Nova、HyperNova、ProtoGalaxy、CycleFold）とディサイダーバックエンド（Groth16、KZG）をサポートするモジュール式フォールディングライブラリ。Arkworks、Circom、Noir、およびNonameフロントエンドをサポートします。

ゼロ知識証明を使用したプライベートな身元検証。個人情報を一切明かすことなく、年齢、国、またはProof of Personhood（人格証明）を検証します。統合用のSDKとオンチェーンのレジストリコントラクトを備えたモバイルファーストの設計。

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.

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.

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.

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.

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.

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.

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.

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.

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.

複数の言語（JavaScript、Solidity、Rust、Noir）にわたる再利用可能なゼロ知識ライブラリのモノレポであり、マークルツリー、Poseidonハッシュなどの暗号技術のプリミティブの十分にテストされた実装を提供します。