컨트랙트 도구

파이썬 개발자(Pythonistas), 데이터 과학자 및 보안 전문가를 위한 스마트 컨트랙트 개발 도구입니다.

Scaffold-ETH 2는 지갑 훅, 핫 컨트랙트 리로드, 로컬 퍼싯 유틸리티 및 풀스택 탈중앙화 애플리케이션 (dapp) 배포를 위한 확장 모듈을 갖춘 Next.js 및 Hardhat 또는 Foundry 스타터입니다.

이더리움 가상 머신(EVM)을 대상으로 하는 스마트 컨트랙트를 위한 파이썬 기반 개발 및 테스트 프레임워크입니다.

여러 체인에서 학습, 구축 및 테스트하기 위한 풍부하고 접근하기 쉬운 Web3 도구 세트

Moccasin은 Vyper로 작성된 스마트 컨트랙트를 테스트, 퍼징 및 배포하기 위한 Titanoboa 기반의 Cyfrin의 Python 우선 워크플로입니다.

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.

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은 이더리움 소프트웨어를 구축하고 배포하기 위한 개발 환경입니다

Foundry는 종속성을 관리하고, Solidity를 컴파일하고, 퍼즈 및 단위 테스트를 실행하고, 컨트랙트를 배포하고, 터미널 또는 Solidity 자동화 스크립트에서 스크립트된 체인 상호 작용을 구동하는 이더리움 스마트 컨트랙트 엔지니어링을 위한 빠르고 이식 가능한 Rust 툴체인입니다.

Kurtosis는 재현 가능한 다중 서비스 개발 네트워크(devnet)를 패키징하여, 수동으로 유지 관리하는 compose 파일보다 더 빠르게 통합 테스트를 위한 현실적인 이더리움 또는 롤업 스택을 가동할 수 있도록 합니다.

CreateX는 팀이 맞춤형 팩토리 코드 없이 예측 가능한 주소에서 컨트랙트를 시작할 수 있도록 CREATE, CREATE2 및 CREATE3 스타일 흐름을 래핑하는 pcaversaccio의 무신뢰 범용 배포자입니다.

동일한 결정론적 주소로 여러 EVM 체인에 스마트 컨트랙트를 배포하기 위한 Hardhat 플러그인입니다. (거의) 모든 OP Stack 기반 체인을 포함하여 현재 총 133개의 EVM 체인이 지원됩니다.

Create2Deployer는 팀이 결정론적 주소에 반사실적 컨트랙트를 배포할 수 있도록 안전 검사와 함께 CREATE2 연산 코드를 래핑하는 pcaversaccio의 최소 팩토리 컨트랙트입니다.

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.

Txtx는 코드로 된 암호화폐 인프라(Crypto Infrastructure as Code)를 도입하여 스마트 컨트랙트 인프라 관리의 스트레스, 고통, 눈물을 바꿔놓습니다. 런북(Runbooks)은 엔지니어링 우수성을 위한 청사진으로, Web3 인프라의 새로운 표준을 설정합니다.

Cannon은 이더리움의 프로토콜을 위한 DevOps 도구입니다. 로컬 개발 및 라이브 네트워크를 위한 스마트 컨트랙트 배포 및 구성을 관리합니다.

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.

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.

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.

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을 위한 파이썬 스타일의 스마트 컨트랙트 언어

Solidity 지향 개발 도구

Vectorized의 Solady는 머클 증명에서 압축 도우미에 이르기까지 공격적으로 최적화된 Solidity 스니펫을 수집하여, 신중한 인라인 어셈블리를 접근하기 쉬운 API로 래핑함으로써 고급 개발자가 살아있는 참조 라이브러리에서 최첨단 최적화 기술을 배우면서 가스 효율적인 패턴을 출시할 수 있도록 합니다.

Fe는 EVM을 대상으로 하는 Rust에서 영감을 받은 언어입니다. 오늘날 바이트코드 생성이 여전히 발전하고 있는 동안에도 CLI 또는 편집기 도구를 통해 Fe v2의 타입 시스템을 탐색할 수 있습니다.

Solhint는 스타일 규칙을 적용하고 위험한 패턴을 조기에 포착하기 위해 편집기나 CI에 연결하는 Solidity 린터입니다.

Juan Blanco의 VSCode Solidity 확장 프로그램은 구문 강조 표시, 컴파일 명령, 호버 메타데이터, 빠른 수정, 모노레포 감지, 선택적 Nethereum 코드 생성, 린트 통합 및 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은 빌더가 지갑이나 자격 증명에 연결된 프라이버시 보존 검증 흐름이 필요할 때 포함할 수 있는 개방형 ID 및 증명 프리미티브를 제공합니다.

zkTLS / TLSNotary는 검증자가 전체 일반 텍스트를 보지 않고도 기록을 신뢰할 수 있도록 MPC를 사용하여 TLS 세션의 속성을 증명하기 위한 개방형 프로토콜입니다.

인도 정부의 Aadhaar ID 카드를 사용하여 프라이버시를 보호하는 애플리케이션을 구축하기 위한 도구입니다. Aadhaar 소지자가 개인 데이터를 공개하지 않고도 거주지를 증명할 수 있도록 ZK 회로, TypeScript, Solidity 및 React 라이브러리를 제공합니다.

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(최소 담합 방지 인프라)는 영지식 증명을 사용하여 이더리움에서 담합에 강한 프라이빗 투표 및 신호 시스템을 가능하게 합니다.

모바일에서 클라이언트 측 영지식 증명을 간단하게 만드는 툴킷입니다. ZK 증명 시스템(Halo2, Circom)을 연결하여 iOS, Android 및 브라우저 바인딩을 생성하고, 모바일 GPU를 활용하여 성능을 향상시킵니다.

Groth16 2단계 신뢰할 수 있는 설정 세리머니를 위한 툴킷입니다. 개발자가 ZK 애플리케이션을 위한 신뢰할 수 있는 설정을 생성하고 관리할 수 있도록 지원하며, 모니터링 및 참여를 위한 동반 웹앱(DefinitelySetup)을 제공합니다.

최대 2^28개의 제약 조건이 있는 회로를 위해 진행 중인(2019년부터) 영지식 스나크 신뢰할 수 있는 설정 세리머니로, 5억 3천만 개 이상의 powers of tau를 생성합니다. 한 명의 참가자라도 정직하다면 보안이 유지되는 다자간 세리머니입니다.

Semaphore는 프라이빗 그룹 멤버십 증명을 위한 영지식 프로토콜로, 신원을 밝히지 않고도 익명 신호 및 인증을 가능하게 합니다.

snarkjs는 영지식 스나크 증명을 생성 및 검증하고 Node.js 및 브라우저에서 일반적인 증명 워크플로를 실행하기 위한 JavaScript 및 CLI 툴킷입니다.

증분 검증 가능한 계산(Incremental Verifiable Computation)을 위해 여러 폴딩 체계(Nova, HyperNova, ProtoGalaxy, CycleFold)와 디사이더 백엔드(Groth16, KZG)를 지원하는 모듈식 폴딩 라이브러리입니다. Arkworks, Circom, Noir 및 Noname 프런트엔드를 지원합니다.

영지식 증명을 사용한 비공개 신원 확인입니다. 개인 정보를 공개하지 않고 나이, 국가 또는 인격 증명을 확인합니다. 통합 및 온체인 레지스트리 컨트랙트를 위한 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 해시 등과 같은 암호화 기본 요소의 잘 테스트된 구현을 제공합니다.