컨트랙트 도구

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

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

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

ethPM은 모든 EVM 스마트 컨트랙트 시스템을 소비, 배포 또는 관리하기 위한 불변의 패키지 관리자입니다.

가벼운 웹 기반 스마트 컨트랙트 IDE

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

Ethernaut CLI는 GUI보다 터미널을 선호할 때 일반적인 이더리움 작업을 위한 선택적 AI 헬퍼가 포함된 EthernautDAO의 Hardhat 기반 명령 도구 상자입니다.

opstack-kit는 브릿징 도우미, CustomGasToken 흐름 및 스타터에 내장된 OP Stack CLI 작업을 통해 Superchain을 인식하는 프런트엔드 및 스크립트를 스캐폴딩합니다.

Hardhat은 이더리움 소프트웨어를 구축하고 배포하기 위한 개발 환경입니다

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

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

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

스마트 컨트랙트 테스트 제품군에 대한 가스 사용량 분석을 제공하는 Hardhat 플러그인입니다. OP Stack 체인에 대한 전용 지원을 제공하며, 15만 개 이상의 Github 리포지토리에서 종속성으로 사용되고 주당 10만 회 이상 NPM에서 다운로드됩니다.

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

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

Foundry의 특정 환경에서 가장 최근 배포를 가져오는 도구입니다. 이렇게 하면 Solidity에서 이전 배포를 기반으로 스크립팅을 수행할 수 있습니다.

Redprint는 마법사 스타일의 플레이그라운드와 redprint-forge 라이브러리를 결합하여 개발자가 변경 사항이 프로덕션 파이프라인으로 넘어가기 전에 타입 안전 배포, 재사용 가능한 테스트, Safe 인식 트랜잭션 스크립팅 및 모듈식 구성 요소 연결을 통해 Solidity에서 OP Stack 컨트랙트 업그레이드를 실험적으로 구성할 수 있도록 합니다.

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

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

스마트 컨트랙트의 빌딩 블록과 함께 제공되는 100% 오픈 소스 CLI입니다. 이 도구 상자는 dApp 개발을 위한 콜데이터(calldata)를 인코딩하여 가능한 한 적은 바이트의 콜데이터를 사용하도록 함으로써 L2 가스 비용을 줄일 수 있습니다.

각 풀 리퀘스트(Pull Request)에서 Foundry가 자동으로 생성한 가스 보고서를 쉽게 비교하세요!

롤업 작동 방식에 대한 완전한 제어권을 가지고 테스트를 실행하고, 네트워크를 포크하고, 상태를 검사하기 위해 개인 Superchain 환경을 가동하세요. 궁극의 이더리움 및 Superchain 개발 플레이그라운드입니다.

이 서명자 프록시를 사용하면 OP Stack 운영자가 디스크의 원시 프라이빗 키 대신 AWS KMS 또는 YubiHSM을 통해 시퀀서, 배처, 제안자 및 챌린저 서명하기를 라우팅할 수 있습니다.

OpenZeppelin Contracts는 스마트 컨트랙트 개발을 위한 필수 라이브러리입니다.

Solidity는 스마트 컨트랙트를 구현하기 위한 객체 지향 고급 언어입니다.

EVM을 위한 파이썬 스타일의 스마트 컨트랙트 언어

Solidity 지향 개발 도구

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

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

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

Juan Blanco의 VSCode Solidity 확장 프로그램은 구문 강조 표시, 컴파일 명령, 호버 메타데이터, 빠른 수정, 모노레포 감지, 선택적 Nethereum 코드 생성, 린트 통합 및 LSP 서버를 추가합니다.

WhatsABI는 바이트코드만으로 선택자, 프록시 및 부분 ABI를 복구합니다. 검증된 소스가 없지만 여전히 콜 데이터 디코딩이 필요할 때 지갑, 탐색기 또는 로컬 도구에서 사용하세요.

PRBMath는 Solidity에서 고정 소수점 유형과 로그 및 지수와 같은 고급 수학 기능에 대한 지원을 추가하는 스마트 컨트랙트 라이브러리입니다. 18자리 소수점 숫자로 작동하는 PRBMath는 가스 효율적이면서 동시에 사용자 친화적입니다.

Solc-select는 Solidity 컴파일러 버전을 빠르게 설치하고 전환하기 위한 명령줄 유틸리티입니다.

Solidity 코드를 자동으로 포맷팅하기 위한 Prettier 플러그인입니다.

최첨단, 매우 독단적이고, 고도로 최적화되었으며, 안전한 Vyper 스마트 컨트랙트 빌딩 블록입니다.

EvmTools는 일상적인 스마트 컨트랙트 디버깅을 위해 디코더, 머클 헬퍼, 변환기 및 유사한 작은 도구와 같은 브라우저 및 확장 유틸리티를 한 곳에 번들로 제공합니다.

게이트키퍼를 생성, 재사용 및 사용자 정의하기 위한 온체인의 유연하고 조합 가능한 프레임워크입니다. 가스 효율적인 최소 프록시 패턴 및 다단계 검증을 통한 속성 기반 액세스 제어를 위해 정책 및 검사기를 핵심 프리미티브로 사용합니다.

EVM을 위해 Fe-lang으로 TinyAlloc 구현

조직 그래프 프로토콜: Hats Protocol을 사용하여 조직의 역할, 에이전트 및 권한을 프로그래밍 가능한 그래프로 인코딩하세요

Solmate는 스마트 컨트랙트 개발을 위해 가스 최적화된 Solidity 빌딩 블록 및 유틸리티를 모아 놓은 현대적이고 독창적인 컬렉션입니다.

지케이싱크(ZKsync) 팀과 협력자들이 LLVM을 기반으로 만든 이더리움을 위한 가스 효율적인 Solidity 컴파일러입니다. Foundry 및 Hardhat과 같은 워크플로에서 solc를 바로 대체하여 사용할 수 있습니다.

Solidity Bytes Utils는 Solidity 메모리 또는 스토리지에서 동적 바이트 배열을 연결, 슬라이싱 및 캐스팅하기 위한 고전적인 라이브러리로, 오랫동안 유지 관리되어 왔으며 주요 프로토콜 전반에 걸쳐 널리 포크되었습니다.

EVM을 타겟으로 하는 Rust 스타일의 프로그래밍 언어

curl을 기반으로 한 Solidity용 HTTP 라이브러리

VSCode Solidity Inspector는 스토리지 레이아웃 보기, 가져오기 위생 힌트, Foundry 배포 요약, Bulloak 테스트 스텁, 리매핑 인식 가져오기 및 코드 크기 힌트와 같은 실용적인 Solidity 유틸리티를 VSCode에 번들로 제공합니다.

Diamondscaffold는 독자적인 레이아웃과 스크립트로 EIP-2535 다이아몬드 프로젝트를 스캐폴딩하도록 설계된 CLI 도구로, 모듈식 업그레이드 가능 프록시를 더 빠르게 구축할 수 있게 해줍니다.

IntelliJ용 Solidity 플러그인

이 라이브러리들은 온체인 위험 모듈이 Derive의 마진 스택에 연결된 고도로 최적화된 구현을 재사용할 수 있도록 Derive에 맞게 조정된 블랙-숄즈 가격 책정 및 위험 수학을 Go 및 Rust로 패키징합니다.

Paradigm에서 Rust로 작성한 엄청나게 빠르고 모듈화된 Solidity 컴파일러입니다. 더 빠른 빌드와 더 나은 진단을 위해 기여자 친화적인 컴파일러 스택으로 설계되었습니다.

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

Aztec은 프로그래밍 가능한 프라이버시 및 영지식 증명을 갖춘 애플리케이션을 구축하기 위한 프라이버시 우선 이더리움 롤업 및 개발자 플랫폼입니다.

Circom은 영지식 증명 시스템에 사용되는 산술 회로를 작성하고 컴파일링하기 위한 도메인 특화 언어 및 컴파일러입니다.

Circom 언어를 사용하여 MPC 애플리케이션을 개발할 수 있도록 하는 PSE 연구 프로젝트입니다. 기계 학습 애플리케이션을 위한 MP-SPDZ 백엔드 통합과 함께 Circom을 사용하여 산술 및 부울 MPC 회로를 컴파일했습니다.

Zcash의 Halo2 PLONK 증명 시스템을 재설계한 PSE의 포크로, 경제적인 레이어 1 (l1) 검증을 위한 Solidity 검증자가 있는 KZG 백엔드, 다중 타원 곡선 지원, 분리된 프런트엔드/백엔드 아키텍처를 특징으로 합니다.

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

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

Rust로 작성된 안전하고 성능이 뛰어나며 모듈화되고 이식 가능한 다자간 컴퓨팅(MPC) 라이브러리입니다. 네이티브 및 WebAssembly 실행을 지원합니다. TLSNotary의 암호화 인프라를 구동하며 프라이버시 중심 프로젝트 전반에서 사용됩니다.

Noir는 Aztec에서 유지 관리하는 개발자 친화적인 구문과 도구를 사용하여 영지식 회로를 작성하기 위한 Rust에서 영감을 받은 언어입니다.

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

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

2세대 암호화 증명 가능한 객체 데이터 유형(POD)입니다. 사용자 지정 조건자(predicates) 및 재귀 연산을 통해 데이터 전반에 걸쳐 유연한 계산을 가능하게 합니다. PSE와 협력하여 0xPARC에서 개발했습니다.

Railgun은 영지식 증명을 통해 차폐된 트랜잭션과 프라이빗 탈중앙화 금융 (DeFi) 상호 작용을 제공하는 이더리움 및 EVM 네트워크용 프라이버시 프로토콜입니다.

Self Protocol은 빌더가 지갑이나 자격 증명에 연결된 프라이버시 보존 검증 흐름이 필요할 때 포함할 수 있는 개방형 ID 및 증명 프리미티브를 제공합니다.

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

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

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

통합 이진 트라이(UBT) 및 머클 패트리샤 트라이 상태 업데이트가 이더리움 블록마다 일치하는지 검증하는 재귀적 zkVM 증명을 생성합니다. 라이트 클라이언트 및 비공개 정보 검색을 위한 무신뢰 상태 검증을 가능하게 합니다.

검증 가능한 OPRF(Oblivious PseudoRandom Functions)를 사용하여 웹2(Web2) 신원을 위한 가명 시스템을 활성화합니다. 이메일 및 소셜 계정이 익명 투표, 비공개 포럼 및 기밀 에어드롭을 위한 프라이빗 널리파이어(nullifier)를 생성할 수 있도록 합니다.

ZK Email은 온체인에서 수정된 이메일 기록에 대한 사실을 증명하기 위한 회로 및 SDK를 제공합니다. 받은 편지함을 노출하지 않고 프라이버시를 보호하는 신원 또는 영수증 확인을 원할 때 유용합니다.

기술 표준 초안 작성, 오픈 소스 ZK 인프라 구축 및 정부와의 협력을 통해 프라이버시를 보호하는 디지털 신원을 발전시키는 PSE 이니셔티브입니다. EU EUDI 지갑 통합 및 ZKP 지갑 유닛을 작업 중입니다.

영지식 증명을 사용한 비공개 신원 확인입니다. 개인 정보를 공개하지 않고 나이, 국가 또는 인격 증명을 확인합니다. 통합 및 온체인 레지스트리 컨트랙트를 위한 SDK를 갖춘 모바일 우선 설계입니다.

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

Zokrates는 이더리움의 영지식 스나크(zkSNARK)를 위한 도구 상자로, DSL, 컴파일러, 그리고 신뢰할 수 있는 설정, 증명 생성 및 검증자 통합을 위한 유틸리티를 제공합니다.

여러 언어(JavaScript, Solidity, Rust, Noir)에 걸쳐 재사용 가능한 영지식 라이브러리의 모노레포로, 머클 트리, Poseidon 해시 등과 같은 암호화 기본 요소의 잘 테스트된 구현을 제공합니다.