コントラクトツール

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

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

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

ethPMは、任意のEVMスマートコントラクトシステムを使用、配布、または管理するための不変のパッケージマネージャーです。

軽量なWebベースのスマート・コントラクトIDE

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

Ethernaut CLIは、GUIよりもターミナルを好む場合に、一般的なイーサリアムタスク用のオプションのAIヘルパーを備えた、EthernautDAOによるHardhatベースのコマンドツールボックスです。

opstack-kitは、ブリッジングヘルパー、CustomGasTokenフロー、およびスターターに組み込まれたOP Stack CLIタスクを使用して、Superchain対応のフロントエンドとスクリプトをスキャフォールディングします。

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

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

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

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

スマートコントラクトのテストスイートにガス使用量の分析を提供するHardhatプラグインです。OP Stackチェーンの専用サポートがあり、15万以上のGitHubリポジトリで依存関係として使用され、NPMから週に10万回以上ダウンロードされています。

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

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

Foundryの特定の環境から最新のデプロイメントを取得するためのツールです。これにより、Solidityで以前のデプロイメントに基づいてスクリプトを作成できます。

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

Redprintは、ウィザードスタイルのプレイグラウンドとredprint-forgeライブラリを組み合わせているため、開発者は、変更が本番パイプラインに移行する前に、型安全なデプロイ、再利用可能なテスト、Safe対応のトランザクションスクリプト、およびモジュール式のコンポーネント配線を使用して、SolidityでOP Stackのコントラクトのアップグレードを実験的に構成できます。

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

スマートコントラクトのビルディングブロックに付随する100%オープンソースのCLI。このツールボックスは、dApp開発用にコールデータをエンコードして、コールデータのバイト数を可能な限り少なくすることで、L2ガスコストを削減できます。

プルリクエストごとにFoundryによって自動的に生成されたガスレポートを簡単に比較できます！

個人のSuperchain環境を立ち上げて、テストを実行し、ネットワークをフォークし、ロールアップの動作方法を完全に制御して状態を検査します。究極のEthereumおよびSuperchain開発プレイグラウンド

この署名者プロキシを使用すると、OP Stackオペレーターは、ディスク上の生の秘密鍵の代わりに、AWS KMSまたはYubiHSMを介してシーケンサー、バッチャー、プロポーザー、およびチャレンジャーの署名をルーティングできます。

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サーバーを追加します。

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

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

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

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

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

EvmToolsは、デコーダー、マークルヘルパー、コンバーター、および同様の小さなツールなど、日常的なスマート・コントラクトのデバッグ用のブラウザおよび拡張機能のユーティリティを1か所にバンドルしています。

ゲートキーパーを作成、再利用、およびカスタマイズするための、オンチェーンの柔軟でコンポーザブルなフレームワーク。ガス効率の高い最小限のプロキシパターンと多段階の検証を備えた属性ベースのアクセス制御のコアプリミティブとして、ポリシーとチェッカーを使用します。

EVM向けのFe-langでのTinyAllocの実装

組織グラフプロトコル: Hats Protocolを使用して、組織の役割、エージェント、および権限をプログラマブルなグラフにエンコードします

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

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

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

EVMをターゲットとするRusticなプログラミング言語

curlに基づくSolidity用のHTTPライブラリ

VSCode Solidity Inspectorは、ストレージレイアウトビュー、インポートの衛生状態のヒント、Foundryのデプロイの概要、Bulloakのテストスタブ、リマッピングを認識するインポート、およびコードサイズのヒントなど、実用的なSolidityユーティリティをVSCodeにバンドルしています。

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

IntelliJ用のSolidityプラグイン

これらのライブラリは、Deriveで調整されたブラック・ショールズの価格設定とリスク計算をGoとRustでパッケージ化しているため、オンチェーンのリスクモジュールは、Deriveのマージンスタックに結び付けられた高度に最適化された実装を再利用できます。

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

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

Aztecは、プログラマブルなプライバシーとゼロ知識証明を備えたアプリケーションを構築するための、プライバシーファーストのイーサリアムロールアップおよび開発者プラットフォームです。

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

Circom言語を使用してMPCアプリケーションを開発できるようにするPSE研究プロジェクトです。機械学習アプリケーション向けのMP-SPDZバックエンド統合を備えたCircomを使用して、算術およびブールMPC回路をコンパイルしました。

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

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

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

Rustで記述された、安全でパフォーマンスが高く、モジュール式でポータブルなマルチパーティ計算 (MPC) ライブラリ。ネイティブおよびWebAssemblyの実行をサポートします。TLSNotaryの暗号化インフラストラクチャを強化し、プライバシーに焦点を当てたプロジェクト全体で使用されています。

Noirは、Aztecによって保守されている開発者に優しい構文とツールを備えた、ゼロ知識回路を記述するためのRustにインスパイアされた言語です。

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

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

暗号化されたProvable Object Datatypes (PODs) の第2世代。カスタム述語と再帰的操作を通じて、データ全体での柔軟な計算を可能にします。PSEと共同で0xPARCによって開発されました。

Railgunは、ゼロ知識証明を使用してシールドされたトランザクションとプライベートな分散型金融 (DeFi) の対話を提供する、イーサリアムおよびEVMネットワーク向けのプライバシープロトコルです。

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

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

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

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

Unified Binary Trie（UBT）とマークル・パトリシア・トライの状態更新がイーサリアムのブロックごとに一致することを検証する再帰的なzkVM証明を生成します。ライトクライアントとプライベート情報検索のためのトラストレスな状態検証を可能にします。

検証可能なOblivious PseudoRandom Functionsを使用して、Web2アイデンティティのための仮名システムを可能にします。電子メールやソーシャルアカウントが、匿名の投票、プライベートフォーラム、および機密のエアドロップのためのプライベートなヌリファイアを生成できるようにします。

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

技術標準の草案作成、オープンソースのZKインフラストラクチャの構築、および政府との協力を通じて、プライバシーを保護するデジタルIDを推進するPSEのイニシアチブ。EUのEUDIウォレットの統合とZKP Wallet Unitに取り組んでいます。

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

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

ZoKratesはイーサリアム上のzkSNARKsのためのツールボックスであり、トラステッド・セットアップ、証明の生成、および検証者の統合のためのDSL、コンパイラ、およびユーティリティを提供します。

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