Công cụ hợp đồng

Công cụ phát triển smart contract dành cho các Pythonista, Nhà khoa học dữ liệu và Chuyên gia bảo mật

Scaffold-ETH 2 là một bộ khởi đầu Next.js kết hợp với Hardhat hoặc Foundry, đi kèm với các hook ví, tải lại hợp đồng nóng, tiện ích vòi cục bộ và các mô-đun tiện ích mở rộng cho việc triển khai ứng dụng phi tập trung (dapp) full-stack.

Một framework phát triển và kiểm thử dựa trên Python dành cho các smart contract nhắm mục tiêu đến Ethereum Virtual Machine.

ethPM là trình quản lý gói bất biến để tiêu thụ, phân phối hoặc quản lý bất kỳ hệ thống smart contract EVM nào.

IDE hợp đồng thông minh dựa trên web gọn nhẹ

Moccasin là quy trình làm việc ưu tiên Python của Cyfrin trên Titanoboa để kiểm thử, fuzzing và triển khai các hợp đồng thông minh được viết bằng Vyper.

Ethernaut CLI là một hộp công cụ lệnh dựa trên Hardhat từ EthernautDAO với các trình trợ giúp AI tùy chọn cho các tác vụ Ethereum phổ biến khi bạn thích thiết bị đầu cuối hơn GUI.

opstack-kit tạo khung cho các frontend và tập lệnh nhận biết Superchain với các công cụ hỗ trợ cầu nối, các luồng CustomGasToken và các tác vụ OP Stack CLI được tích hợp sẵn vào bộ khởi động.

Hardhat là một môi trường phát triển để xây dựng và triển khai phần mềm Ethereum của bạn

Foundry là một bộ công cụ Rust nhanh, di động dành cho kỹ thuật hợp đồng thông minh Ethereum, giúp quản lý các phần phụ thuộc, biên dịch Solidity, chạy các bài kiểm thử fuzz và kiểm thử đơn vị, triển khai hợp đồng và thúc đẩy tương tác chuỗi theo kịch bản từ thiết bị đầu cuối hoặc các tập lệnh tự động hóa Solidity.

Kurtosis đóng gói các devnet đa dịch vụ có thể tái tạo để bạn có thể khởi chạy các ngăn xếp Ethereum hoặc bản cuộn thực tế cho các bài kiểm thử tích hợp nhanh hơn so với các tệp compose được duy trì thủ công.

CreateX là trình triển khai phổ quát không cần tin cậy của pcaversaccio bao bọc các luồng kiểu CREATE, CREATE2 và CREATE3 để các nhóm có thể khởi chạy các hợp đồng từ các địa chỉ có thể dự đoán được mà không cần mã nhà máy tùy chỉnh.

Txtx biến sự căng thẳng, đau đớn và nước mắt của việc quản lý Cơ sở hạ tầng Hợp đồng Thông minh bằng cách giới thiệu Cơ sở hạ tầng Tiền điện tử dưới dạng Mã (Crypto Infrastructure as Code). Runbook là bản thiết kế cho Sự xuất sắc trong Kỹ thuật, thiết lập tiêu chuẩn mới cho Cơ sở hạ tầng Web3.

Một plugin hardhat cung cấp phân tích mức sử dụng gas cho các bộ kiểm thử smart contract. Nó có hỗ trợ chuyên dụng cho các chain OPStack, là một phần phụ thuộc trong > 150 nghìn repo Github và được tải xuống từ NPM > 100 nghìn lần mỗi tuần.

Plugin Hardhat để triển khai các hợp đồng thông minh của bạn trên nhiều chuỗi EVM với cùng một địa chỉ xác định (deterministic address). Tổng cộng có 133 chuỗi EVM hiện được hỗ trợ, bao gồm (gần như) tất cả các chuỗi được cung cấp sức mạnh bởi OP-stack.

Một công cụ để lấy bản triển khai gần đây nhất từ một môi trường nhất định trong foundry. Bằng cách này, bạn có thể viết script dựa trên các bản triển khai trước đó trong solidity.

Create2Deployer là một hợp đồng nhà máy tối giản từ pcaversaccio bao bọc mã lệnh CREATE2 với các kiểm tra an toàn để các nhóm có thể triển khai các hợp đồng phản thực tế tại các địa chỉ xác định.

Redprint kết hợp một sân chơi kiểu thuật sĩ với các thư viện redprint-forge để các nhà phát triển có thể thử nghiệm soạn thảo các bản nâng cấp hợp đồng OP Stack bằng Solidity với các bản triển khai an toàn về kiểu dữ liệu, các bài kiểm thử có thể tái sử dụng, kịch bản giao dịch nhận biết Safe và kết nối thành phần mô-đun trước khi các thay đổi được đưa vào quy trình sản xuất.

Cannon là một công cụ DevOps dành cho các giao thức trên Ethereum. Nó quản lý việc triển khai và cấu hình smart contract cho quá trình phát triển cục bộ và các mạng trực tiếp.

Một CLI 100% mã nguồn mở đi kèm với các khối xây dựng của hợp đồng thông minh. Hộp công cụ này có thể giảm chi phí gas L2 bằng cách mã hóa calldata cho việc phát triển dApp để sử dụng càng ít byte calldata càng tốt.

Dễ dàng so sánh các báo cáo gas được tạo bởi Foundry một cách tự động trên mỗi Pull Request của bạn!

Khởi động một môi trường Superchain cá nhân để chạy các bài kiểm tra, fork mạng và kiểm tra trạng thái với toàn quyền kiểm soát cách rollup của bạn hoạt động. Sân chơi Phát triển Ethereum & Superchain Tối thượng

Proxy người ký này cho phép các nhà điều hành OP Stack định tuyến việc ký của bộ sắp xếp, trình tạo lô, người đề xuất và người thách thức thông qua AWS KMS hoặc YubiHSM thay vì các khóa riêng tư thô trên đĩa.

OpenZeppelin Contracts là thư viện hàng đầu cho việc phát triển hợp đồng thông minh.

Solidity là một ngôn ngữ cấp cao, hướng đối tượng để triển khai các hợp đồng thông minh.

Ngôn ngữ Hợp đồng Thông minh kiểu Python dành cho EVM

Công cụ Phát triển Định hướng Solidity

Solady của Vectorized thu thập các đoạn mã Solidity được tối ưu hóa mạnh mẽ từ các bằng chứng Merkle đến các trình trợ giúp nén, bao bọc hợp ngữ nội tuyến cẩn thận trong các API dễ tiếp cận để các nhà phát triển nâng cao có thể cung cấp các mẫu tiết kiệm Gas trong khi học các kỹ thuật tối ưu hóa tiên tiến từ một thư viện tham chiếu sống động.

Fe là một ngôn ngữ lấy cảm hứng từ Rust nhắm mục tiêu đến EVM; ngày nay bạn có thể khám phá hệ thống kiểu dữ liệu của Fe v2 thông qua CLI hoặc công cụ soạn thảo ngay cả khi việc tạo mã byte vẫn đang phát triển.

Solhint là một trình phân tích mã (linter) Solidity mà bạn tích hợp vào các trình soạn thảo hoặc CI để thực thi các quy tắc kiểu dáng và sớm phát hiện các mẫu dễ gây lỗi.

Tiện ích mở rộng VSCode Solidity của Juan Blanco bổ sung tính năng đánh dấu cú pháp, các lệnh biên dịch, siêu dữ liệu khi di chuột, sửa lỗi nhanh, phát hiện monorepo, tạo mã Nethereum tùy chọn, tích hợp lint và một máy chủ LSP.

WhatsABI khôi phục các selector, proxy và ABI một phần chỉ từ mã byte - hãy sử dụng nó trong các ví, trình khám phá hoặc công cụ cục bộ khi thiếu mã nguồn đã được xác minh nhưng bạn vẫn cần giải mã dữ liệu lệnh gọi.

PRBMath là một thư viện hợp đồng thông minh bổ sung hỗ trợ cho các kiểu dấu phẩy tĩnh (fixed-point) và các hàm toán học nâng cao như logarit và hàm mũ trong Solidity. Hoạt động với các số có 18 chữ số thập phân, PRBMath đồng thời tiết kiệm gas và thân thiện với người dùng.

Solc-select là một tiện ích dòng lệnh để cài đặt nhanh chóng và chuyển đổi giữa các phiên bản trình biên dịch Solidity.

Một plugin Prettier để tự động định dạng mã Solidity của bạn.

Các khối xây dựng hợp đồng thông minh Vyper hiện đại nhất, mang tính định hướng cao, siêu tối ưu hóa và an toàn.

EvmTools tập hợp các tiện ích trình duyệt và tiện ích mở rộng - bộ giải mã, công cụ hỗ trợ Merkle, bộ chuyển đổi và các công cụ nhỏ tương tự - cho việc gỡ lỗi hợp đồng thông minh hàng ngày vào một nơi.

Một framework trên chuỗi linh hoạt và có khả năng kết hợp để tạo, tái sử dụng và tùy chỉnh các bộ kiểm soát truy cập. Sử dụng Policies và Checkers làm các nguyên thủy cốt lõi để kiểm soát truy cập dựa trên thuộc tính với các mẫu proxy tối thiểu tối ưu gas và xác thực đa giai đoạn.

Triển khai TinyAlloc trong Fe-lang cho EVM

Giao thức đồ thị tổ chức: mã hóa các vai trò, agent và quyền của tổ chức bạn thành một đồ thị có thể lập trình với Hats Protocol

Solmate là một bộ sưu tập hiện đại, mang tính định hướng gồm các khối xây dựng và tiện ích Solidity được tối ưu hóa Gas cho việc phát triển hợp đồng thông minh.

Một trình biên dịch Solidity tiết kiệm Gas cho Ethereum được hỗ trợ bởi LLVM từ nhóm ZKsync và các cộng tác viên. Hoạt động như một sự thay thế trực tiếp cho solc trong các quy trình làm việc như Foundry và Hardhat.

Solidity Bytes Utils là một Thư viện cổ điển để nối, cắt và ép kiểu các mảng byte động trong bộ nhớ hoặc lưu trữ của Solidity - được duy trì lâu dài và được phân nhánh rộng rãi trên các giao thức lớn.

Ngôn ngữ lập trình kiểu Rust nhắm mục tiêu đến EVM

Thư viện HTTP cho Solidity dựa trên curl

VSCode Solidity Inspector đóng gói các tiện ích Solidity thiết thực trong VSCode: chế độ xem bố cục lưu trữ, gợi ý dọn dẹp import, tóm tắt việc triển khai Foundry, các stub kiểm thử Bulloak, import nhận biết ánh xạ lại và gợi ý kích thước mã.

Diamondscaffold là một công cụ CLI được thiết kế để tạo khung cho các dự án kim cương EIP-2535 với bố cục và tập lệnh theo quan điểm riêng, giúp thiết lập các proxy có thể nâng cấp mô-đun nhanh hơn.

Plugin Solidity cho IntelliJ

Các thư viện này đóng gói toán học rủi ro và định giá Black-Scholes được tinh chỉnh bởi Derive bằng Go và Rust để các mô-đun rủi ro trên chuỗi có thể tái sử dụng các triển khai được tối ưu hóa cao gắn liền với ngăn xếp ký quỹ của Derive.

Trình biên dịch Solidity có tính mô-đun, cực kỳ nhanh được viết bằng Rust bởi Paradigm. Được thiết kế như một ngăn xếp trình biên dịch thân thiện với người đóng góp để có các bản dựng nhanh hơn và chẩn đoán tốt hơn.

Các công cụ để xây dựng các ứng dụng bảo vệ quyền riêng tư sử dụng thẻ ID Aadhaar của chính phủ Ấn Độ. Cung cấp các mạch ZK, thư viện TypeScript, Solidity và React để cho phép những người sở hữu Aadhaar chứng minh nơi cư trú mà không tiết lộ dữ liệu cá nhân.

Aztec là một Rollup Ethereum ưu tiên quyền riêng tư và nền tảng dành cho nhà phát triển để xây dựng các ứng dụng với quyền riêng tư có thể lập trình và các bằng chứng không kiến thức.

Circom là một ngôn ngữ đặc thù miền và trình biên dịch để viết và biên dịch các mạch số học được sử dụng trong các hệ thống bằng chứng không kiến thức.

Một dự án nghiên cứu của PSE cho phép sử dụng ngôn ngữ Circom để phát triển các ứng dụng MPC. Đã biên dịch các mạch MPC số học và boolean bằng Circom với tích hợp backend MP-SPDZ cho các ứng dụng học máy.

Bản phân nhánh được thiết kế lại của PSE từ hệ thống bằng chứng Halo2 PLONK của Zcash, có backend KZG với trình xác minh Solidity để xác minh lớp 1 (l1) tiết kiệm, hỗ trợ nhiều đường cong elliptic và kiến trúc frontend/backend tách rời.

MACI (Cơ sở hạ tầng chống thông đồng tối thiểu) sử dụng Bằng chứng không kiến thức để kích hoạt các hệ thống báo hiệu và bỏ phiếu riêng tư, chống thông đồng trên Ethereum.

Một bộ công cụ giúp việc chứng minh không tri thức phía client trên thiết bị di động trở nên đơn giản. Kết nối các hệ thống bằng chứng ZK (Halo2, Circom) để tạo các ràng buộc iOS, Android và trình duyệt, tận dụng GPU di động để cải thiện hiệu suất.

Một thư viện Tính toán Đa bên (MPC) an toàn, hiệu suất cao, mô-đun và di động bằng Rust. Hỗ trợ thực thi gốc và WebAssembly. Cung cấp sức mạnh cho cơ sở hạ tầng mật mã học của TLSNotary và được sử dụng trong các dự án tập trung vào quyền riêng tư.

Noir là một ngôn ngữ lấy cảm hứng từ Rust để viết các mạch không tri thức với cú pháp thân thiện với nhà phát triển và công cụ được duy trì bởi Aztec.

Một bộ công cụ cho các buổi lễ thiết lập tin cậy Giai đoạn 2 của Groth16. Giúp các nhà phát triển tạo và quản lý các thiết lập tin cậy cho các ứng dụng ZK, với một ứng dụng web đi kèm (DefinitelySetup) để giám sát và tham gia.

Một buổi lễ thiết lập tin cậy ZK-SNARK đang diễn ra (từ năm 2019) cho các mạch lên đến 2^28 ràng buộc, tạo ra hơn 530 triệu powers of tau. Một buổi lễ đa bên nơi bảo mật được giữ vững miễn là có một người tham gia trung thực.

Thế hệ thứ hai của Kiểu dữ liệu đối tượng có thể chứng minh (POD) bằng mật mã. Cho phép tính toán linh hoạt trên dữ liệu thông qua các vị từ tùy chỉnh và các phép toán đệ quy. Được phát triển bởi 0xPARC phối hợp với PSE.

Railgun là một giao thức quyền riêng tư cho các mạng lưới Ethereum và EVM cung cấp các giao dịch được che chắn và các tương tác DeFi riêng tư với Bằng chứng không kiến thức.

Self Protocol cung cấp các nguyên thủy về danh tính mở và bằng chứng mà các nhà xây dựng có thể nhúng vào khi họ cần các luồng xác minh bảo vệ quyền riêng tư gắn liền với ví hoặc thông tin xác thực.

Semaphore là một giao thức không tri thức cho các bằng chứng thành viên nhóm riêng tư, cho phép phát tín hiệu và xác thực ẩn danh mà không tiết lộ danh tính.

snarkjs là một bộ công cụ JavaScript và CLI để tạo và xác minh các bằng chứng ZK-SNARK, cũng như để chạy các quy trình chứng minh phổ biến trong Node.js và trình duyệt.

Một Thư viện gấp có tính mô-đun hỗ trợ nhiều sơ đồ gấp (Nova, HyperNova, ProtoGalaxy, CycleFold) và các backend quyết định (Groth16, KZG) cho Tính toán có thể xác minh tăng dần. Hỗ trợ các frontend Arkworks, Circom, Noir và Noname.

Tạo các bằng chứng zkVM đệ quy xác minh rằng các bản cập nhật trạng thái của Unified Binary Trie (UBT) và cây tiền tố Merkle Patricia khớp với nhau trên mỗi khối Ethereum. Cho phép xác minh trạng thái không cần tin cậy cho các light client và truy xuất thông tin riêng tư.

Cho phép các hệ thống ẩn danh cho danh tính Web2 bằng cách sử dụng các Hàm giả ngẫu nhiên không nhận biết (Oblivious PseudoRandom Functions) có thể xác minh. Cho phép các Tài khoản email và mạng xã hội tạo các nullifier riêng tư cho việc bỏ phiếu ẩn danh, các diễn đàn riêng tư và các airdrop bí mật.

ZK Email cung cấp các mạch và SDK để chứng minh các sự kiện về bản ghi email đã được bôi đen trên chuỗi. Hữu ích khi bạn muốn kiểm tra danh tính hoặc biên lai bảo vệ quyền riêng tư mà không làm lộ hộp thư đến.

Một sáng kiến của PSE nhằm thúc đẩy danh tính kỹ thuật số bảo vệ quyền riêng tư bằng cách soạn thảo các tiêu chuẩn kỹ thuật, xây dựng cơ sở hạ tầng ZK mã nguồn mở và hợp tác với các chính phủ. Đang làm việc về việc tích hợp Ví EUDI của EU và Đơn vị Ví ZKP.

Xác minh danh tính riêng tư bằng cách sử dụng các Bằng chứng không kiến thức. Xác minh tuổi, quốc gia hoặc bằng chứng về tư cách con người mà không tiết lộ bất kỳ thông tin cá nhân nào. Thiết kế ưu tiên thiết bị di động với SDK để tích hợp và các hợp đồng đăng ký trên chuỗi.

zkTLS / TLSNotary là một Giao thức mở để chứng minh các thuộc tính của phiên TLS bằng MPC để các trình xác minh có thể tin tưởng các bản ghi mà không cần xem toàn bộ văn bản thuần túy.

ZoKrates là một hộp công cụ dành cho zkSNARK trên Ethereum, cung cấp một DSL, trình biên dịch và các tiện ích cho thiết lập tin cậy, tạo bằng chứng và tích hợp trình xác minh.

Một monorepo gồm các Thư viện không tri thức có thể tái sử dụng trên nhiều ngôn ngữ (JavaScript, Solidity, Rust, Noir), cung cấp các bản triển khai đã được kiểm thử kỹ lưỡng của các nguyên thủy mật mã học như cây Merkle, Mã băm Poseidon và nhiều thứ khác.