ハイライトAct is a smart contract specification language and toolkit for formal verification. Act specifications are a formal, high-level description of all possible behaviours of an EVM program. Act allows many existing general purpose verification tools to be leveraged to prove properties about the specification. Such tools include SMT solvers (cvc5, z3, bitwuzla), theorem provers (Coq) and economic analysis tooling (CheckMate, Open Games). Act specifications can be automatically proved equivalent to concrete implementations in EVM. For very simple contracts, Act specifications can be automatically generated from EVM bytecode. This is an end-to-end pipeline that supports principled reasoning about high level properties of EVM bytecode. It supports reasoning about both correctness (e.g. accounting invariants) and economic properties (e.g. incentive compatibility). Act specifications serve as a high-level smart contract representation, allowing for easy integration of existing general purpose analysis and verification tooling into the EVM context.セキュリティ、テスト、形式検証Act教育 · 分析 · 形式検証 · シンボリック実行Etherspot's developer-friendly TypeScript ERC-4337 bundler that enhances transaction management, optimizes gas costs, and improves the overall efficiency of blockchain interactions. It supports Shared Mempool and provides built-in MEV protection. Etherspot is pioneering the ERC-4337 shared mempool innovation, which is already live on Optimism.トランザクションとウォレットのインフラストラクチャSkandha ERC-4337 Bundlerバンドラー · トランザクション管理 · ガス最適化 · CLI · アカウント抽象化OpenOcean is a leading DEX aggregator with best swap prices across 30+ chains.クロスチェーンと相互運用性OpenOcean分散型金融(DeFi) · クロスチェーン · DEXアグリゲーター · マルチチェーンアプリケーションクロスチェーンと相互運用性全て表示Router Protocolクロスチェーン · スケーラビリティdeBridgeクロスチェーン · 分散型金融(DeFi) · トランザクションの最適化OP ENS Gateway by Opti.Domainsクロスチェーン · ガバナンス · レイヤー2 · 検証 · スケーラビリティL2Passクロスチェーン · ウォレット · マルチチェーンDaimo Payクロスチェーントランザクションとウォレットのインフラストラクチャ全て表示w3pkウォレットAbstractionKit | Account Abstraction Libraryウォレット · 教育 · アカウント抽象化Skandha ERC-4337 Bundlerバンドラー · トランザクション管理 · ガス最適化 · CLI · アカウント抽象化ethereum-multicallマルチコールLight Accountウォレット · アカウント抽象化 · Solidity · Foundryデータ、分析、追跡全て表示Ethereum RPC MCP ServerMCPサーバー · コントラクト検証JiffyScanアカウント抽象化 · ブロックエクスプローラー · 分析Ethernal分析 · ブロックエクスプローラー · チェーン · コントラクト検証 · CLIAgentHub by AlliumMCPサーバー · page-developers-tools-tag-agent-skills · API · 分析 · インデックス化 · マルチチェーン · リアルタイムデータCrawling the Ethereum P2P network with Nebula分析教育およびコミュニティリソース全て表示Privacy Builder Pack教育 · 暗号化Soloditセキュリティ · 教育 · 分析 · コミュニティ主導Node Guardians教育 · SolidityUpdraft教育 · 分散型金融(DeFi) · Solidity開発 · コミュニティ主導Ethereum EIPs Ontology教育 · page-developers-tools-tag-standards-and-specificationsクライアントライブラリ & SDK (フロントエンド)全て表示Callthisフロントエンド · ウォレット · クロスチェーン · プライバシー重視 · 検閲耐性Stereum L2 Optimism IntegrationCLI · Docker · API · プライバシー重視Ethereum Attestation Service (EAS)検証 · SDKClear Walletウォレット · フロントエンド · プライバシー重視OrbitDBピアツーピア · 検閲耐性スマートコントラクト開発とツールチェーン全て表示Diamondscaffold: Simplifying EIP-2535 Diamond Architecture DevelopmentCLI · Hardhat · Foundry · ERC-721 · アップグレード可能なコントラクトSolidity SecuritySolidity · セキュリティ · page-developers-tools-tag-agent-skillsBloctopusクロスチェーン · DockerSourcifySolidity · Vyper · API · CLI · タイプセーフ🏗️ Scaffold-ETH 2フロントエンド · Next.js · Hardhat · Foundry · CLIセキュリティ、テスト、形式検証全て表示Wallet Test Frameworkテスト · ウォレット · ユーザーエクスペリエンス · デベロッパーエクスペリエンス · セキュリティK Semantics of the Ethereum Virtual Machine (EVM)セキュリティ · 教育 · 分析 · 形式検証 · シンボリック実行 · デバッグツール · ランタイム検証 · VyperKontrol - formal verification tool based on Foundry and KEVMFoundry · 教育 · ガバナンス · 形式検証 · Solidity · ランタイム検証 · コントラクトのデプロイ · 静的解析solidity-coverageHardhat · 分析 · コードカバレッジ · Solidity · テスト自動化Act教育 · 分析 · 形式検証 · シンボリック実行アプリケーションカテゴリークロスチェーンと相互運用性イーサリアムメインネット、ロールアップ、その他のブロックチェーン間でメッセージング、資産移転、状態共有を可能にするツール。トランザクションとウォレットのインフラストラクチャイーサリアムのトランザクションとウォレットの構築、署名、送信、シミュレーション、管理のためのインフラストラクチャ。データ、分析、追跡オンチェーンデータ、実行、ネットワークアクティビティのインデックス化、クエリ、分析、追跡ツール。教育およびコミュニティリソースイーサリアムビルダー向けの学習教材、ドキュメント、チュートリアル、コミュニティプラットフォーム。クライアントライブラリ & SDK (フロントエンド)イーサリアムのノード、コントラクト、プロトコルとやり取りするための言語固有のライブラリとSDK。スマートコントラクト開発とツールチェーンスマートコントラクトの作成、テスト、デプロイ、アップグレードのためのフレームワークとツール。セキュリティ、テスト、形式検証スマートコントラクトの安全性と正確性を向上させるための監査、テスト、ファジング、検証ツール。
