Peralatan kontrak

Alat pengembangan kontrak pintar untuk Pythonistas, Ilmuwan Data, dan Profesional Keamanan

Scaffold-ETH 2 adalah starter Next.js plus Hardhat atau Foundry dengan hook dompet, muat ulang kontrak panas, utilitas faucet lokal, dan modul ekstensi untuk penyebaran dapp tumpukan penuh.

Kerangka kerja pengembangan dan pengujian berbasis Python untuk kontrak pintar yang menargetkan Ethereum Virtual Machine.

ethPM adalah manajer paket yang tidak dapat diubah untuk mengonsumsi, mendistribusikan, atau mengelola sistem kontrak pintar EVM apa pun.

IDE Kontrak Pintar berbasis web yang ringan

Moccasin adalah alur kerja yang mengutamakan Python dari Cyfrin di Titanoboa untuk menguji, melakukan fuzzing, dan menyebarkan kontrak pintar yang ditulis dalam Vyper.

Ethernaut CLI adalah kotak alat perintah berbasis Hardhat dari EthernautDAO dengan pembantu AI opsional untuk tugas-tugas Ethereum umum saat Anda lebih menyukai terminal daripada GUI.

opstack-kit menyusun frontend dan skrip yang sadar Superchain dengan pembantu jembatan, alur CustomGasToken, dan tugas OP Stack CLI yang disertakan dalam starter.

Hardhat adalah lingkungan pengembangan untuk membangun dan menerapkan perangkat lunak Ethereum Anda

Foundry adalah rantai alat Rust yang cepat dan portabel untuk rekayasa kontrak pintar Ethereum yang mengelola dependensi, mengkompilasi Solidity, menjalankan pengujian fuzz dan unit, menyebarkan kontrak, dan mendorong interaksi rantai berskrip dari terminal atau skrip otomatisasi Solidity.

Kurtosis memaketkan devnet multi-layanan yang dapat direproduksi sehingga Anda dapat memutar tumpukan Ethereum atau rollup yang realistis untuk pengujian integrasi lebih cepat daripada file compose yang dikelola secara manual.

CreateX adalah penyebar universal tanpa kepercayaan dari pcaversaccio yang membungkus alur bergaya CREATE, CREATE2, dan CREATE3 sehingga tim dapat meluncurkan kontrak dari alamat yang dapat diprediksi tanpa kode pabrik khusus.

Plugin hardhat yang menyediakan analitik penggunaan gas untuk rangkaian pengujian kontrak pintar. Ini memiliki dukungan khusus untuk rantai OPStack, merupakan dependensi di > 150k repo Github dan diunduh dari NPM > 100k per minggu.

Txtx mengubah stres, rasa sakit, dan air mata dari manajemen Infrastruktur Smart Contract (Kontrak Pintar) dengan memperkenalkan Infrastruktur Kripto sebagai Kode (Crypto Infrastructure as Code). Runbook adalah cetak biru untuk Keunggulan Rekayasa, menetapkan standar baru untuk Infrastruktur Web3.

Plugin Hardhat untuk menerapkan kontrak pintar Anda di berbagai rantai EVM dengan alamat deterministik yang sama. Sebanyak 133 rantai EVM saat ini didukung, termasuk (hampir) semua rantai yang didukung OP-stack.

Alat untuk mendapatkan penerapan terbaru dari lingkungan tertentu di foundry. Dengan cara ini, Anda dapat melakukan skrip dari penerapan sebelumnya di solidity.

Redprint memasangkan taman bermain bergaya wizard dengan Pustaka redprint-forge sehingga pengembang dapat secara eksperimental menyusun peningkatan kontrak OP Stack di Solidity dengan penyebaran yang aman dari tipe, pengujian yang dapat digunakan kembali, skrip transaksi yang sadar Safe, dan pengkabelan komponen modular sebelum perubahan lulus ke alur produksi.

Create2Deployer adalah kontrak pabrik minimal dari pcaversaccio yang membungkus opcode CREATE2 dengan pemeriksaan keamanan sehingga tim dapat menyebarkan kontrak kontrafaktual di alamat deterministik.

Cannon adalah alat DevOps untuk protokol di Ethereum. Ini mengelola penerapan dan konfigurasi kontrak pintar untuk pengembangan lokal dan jaringan langsung.

CLI 100% sumber terbuka (open source) yang sejalan dengan blok bangunan smart contract (kontrak pintar). Kotak alat ini dapat mengurangi biaya gas L2 dengan menyandikan calldata untuk pengembangan dApp agar menggunakan byte calldata sesedikit mungkin.

Bandingkan laporan gas yang dihasilkan oleh Foundry secara otomatis pada setiap Pull Request Anda dengan mudah!

Nyalakan lingkungan Superchain pribadi untuk menjalankan pengujian, mem-fork jaringan, dan memeriksa state dengan kontrol penuh atas bagaimana rollup Anda beroperasi. Taman Bermain Pengembangan Ethereum & Superchain Terbaik

Proksi penandatangan ini memungkinkan operator OP Stack merutekan penandatanganan sekuenser, pembuat batch, pengusul, dan penantang melalui AWS KMS atau YubiHSM alih-alih kunci privat mentah di disk.

OpenZeppelin Contracts adalah pustaka andalan untuk pengembangan smart contract (kontrak pintar).

Solidity adalah bahasa tingkat tinggi berorientasi objek untuk mengimplementasikan smart contract (kontrak pintar).

Bahasa Kontrak Pintar Pythonic untuk EVM

Perkakas Pengembangan Berorientasi Solidity

Solady oleh Vectorized mengumpulkan cuplikan Solidity yang dioptimalkan secara agresif dari bukti Merkle hingga pembantu kompresi, membungkus perakitan sebaris yang cermat dalam API yang mudah didekati sehingga pengembang tingkat lanjut dapat mengirimkan pola yang efisien gas sambil mempelajari teknik pengoptimalan mutakhir dari Pustaka referensi yang hidup.

Fe adalah bahasa yang terinspirasi Rust yang menargetkan EVM; hari ini Anda dapat menjelajahi sistem tipe Fe v2 melalui CLI atau perkakas editor bahkan saat pembuatan kode bita masih berkembang.

Solhint adalah linter Solidity yang Anda hubungkan ke editor atau CI untuk menegakkan aturan gaya dan menangkap pola footgun lebih awal.

Ekstensi VSCode Solidity dari Juan Blanco menambahkan penyorotan sintaksis, perintah kompilasi, metadata saat diarahkan (hover), perbaikan cepat, deteksi monorepo, pembuatan kode Nethereum opsional, integrasi lint, dan server LSP.

WhatsABI memulihkan pemilih, proksi, dan ABI parsial dari kode bita saja—gunakan ini di dompet, penjelajah, atau alat lokal saat sumber yang diverifikasi hilang tetapi Anda masih memerlukan dekode data panggilan.

PRBMath adalah pustaka smart contract (kontrak pintar) yang menambahkan dukungan untuk tipe titik tetap (fixed-point) dan fungsi matematika tingkat lanjut seperti logaritma dan eksponensial di Solidity. Beroperasi dengan angka 18 desimal, PRBMath pada saat yang sama efisien gas dan ramah pengguna.

Solc-select adalah utilitas baris perintah untuk menginstal dan beralih antar versi kompiler Solidity dengan cepat.

Plugin Prettier untuk memformat kode Solidity Anda secara otomatis.

Blok bangunan kontrak pintar Vyper yang canggih, sangat beropini, sangat dioptimalkan, dan aman.

EvmTools memaketkan utilitas peramban dan ekstensi—dekoder, pembantu merkle, konverter, dan alat kecil serupa—untuk debugging kontrak pintar sehari-hari di satu tempat.

Kerangka kerja onchain yang fleksibel dan dapat disusun untuk membuat, menggunakan kembali, dan menyesuaikan penjaga gerbang. Menggunakan Kebijakan dan Pemeriksa sebagai primitif inti untuk kontrol akses berbasis atribut dengan pola proksi minimal yang hemat gas dan validasi multi-tahap.

Mengimplementasikan TinyAlloc di Fe-lang untuk EVM

Protokol grafik organisasi: enkode peran, agen, dan izin organisasi Anda ke dalam grafik yang dapat diprogram dengan Hats Protocol

Solmate adalah koleksi modern dan beropini dari blok bangunan dan utilitas Solidity yang dioptimalkan gasnya untuk pengembangan kontrak pintar.

Kompiler Solidity yang efisien gas untuk Ethereum yang didukung oleh LLVM dari tim ZKsync dan kolaborator. Berfungsi sebagai pengganti langsung untuk solc dalam alur kerja seperti Foundry dan Hardhat.

Solidity Bytes Utils adalah Pustaka klasik untuk menggabungkan, mengiris, dan mentransmisikan array byte dinamis dalam memori atau penyimpanan Solidity—telah lama dikelola dan banyak dicabangkan di seluruh protokol utama.

Bahasa pemrograman bergaya Rust yang menargetkan EVM

Pustaka HTTP untuk Solidity berdasarkan curl

VSCode Solidity Inspector memaketkan utilitas Solidity praktis di VSCode: tampilan tata letak penyimpanan, petunjuk kebersihan impor, ringkasan penyebaran Foundry, stub pengujian Bulloak, impor yang sadar pemetaan ulang, dan petunjuk ukuran kode.

Diamondscaffold adalah alat CLI yang dirancang untuk merancah proyek berlian EIP-2535 dengan tata letak dan skrip yang beropini, membuatnya lebih cepat untuk mendirikan proksi modular yang dapat ditingkatkan.

Plugin Solidity untuk IntelliJ

Pustaka ini mengemas penetapan harga Black-Scholes yang disesuaikan dengan Derive dan matematika risiko di Go dan Rust sehingga modul risiko onchain dapat menggunakan kembali implementasi yang sangat dioptimalkan yang terkait dengan tumpukan margin Derive.

Kompiler Solidity modular yang sangat cepat yang ditulis dalam Rust oleh Paradigm. Dirancang sebagai tumpukan kompiler yang ramah kontributor untuk pembangunan yang lebih cepat dan diagnostik yang lebih baik.

Alat untuk membangun aplikasi yang menjaga privasi menggunakan kartu identitas Aadhaar pemerintah India. Menyediakan sirkuit ZK, pustaka TypeScript, Solidity, dan React untuk memungkinkan pemegang Aadhaar membuktikan tempat tinggal tanpa mengungkapkan data pribadi.

Aztec adalah rollup Ethereum yang mengutamakan privasi dan platform pengembang untuk membangun aplikasi dengan privasi yang dapat diprogram dan bukti tanpa pengetahuan (ZKP).

Circom adalah bahasa khusus domain dan kompiler untuk menulis dan mengkompilasi sirkuit aritmatika yang digunakan dalam sistem bukti tanpa pengetahuan (ZKP).

Proyek penelitian PSE yang memungkinkan penggunaan bahasa Circom untuk mengembangkan aplikasi MPC. Sirkuit MPC aritmatika dan boolean yang dikompilasi menggunakan Circom dengan integrasi backend MP-SPDZ untuk aplikasi pembelajaran mesin.

Percabangan yang diarsiteki ulang oleh PSE dari sistem bukti Halo2 PLONK Zcash, menampilkan backend KZG dengan pemverifikasi Solidity untuk verifikasi L1 yang ekonomis, dukungan untuk beberapa kurva eliptik, dan arsitektur frontend/backend yang dipisahkan.

MACI (Minimal Anti-Collusion Infrastructure) menggunakan bukti tanpa pengetahuan untuk memungkinkan sistem pemungutan suara dan pensinyalan privat yang tahan kolusi di Ethereum.

Toolkit yang membuat pembuktian zero-knowledge sisi klien di seluler menjadi sederhana. Menghubungkan sistem bukti ZK (Halo2, Circom) untuk menghasilkan pengikatan iOS, Android, dan peramban, memanfaatkan GPU seluler untuk peningkatan kinerja.

Pustaka Multi-Party Computation (MPC) yang aman, berkinerja tinggi, modular, dan portabel di Rust. Mendukung eksekusi asli dan WebAssembly. Mendukung infrastruktur kriptografi TLSNotary dan digunakan di seluruh proyek yang berfokus pada privasi.

Noir adalah bahasa yang terinspirasi Rust untuk menulis sirkuit zero-knowledge dengan sintaks yang ramah pengembang dan perkakas yang dikelola oleh Aztec.

Toolkit untuk upacara pengaturan tepercaya Groth16 Fase 2. Membantu pengembang membuat dan mengelola pengaturan tepercaya untuk aplikasi ZK, dengan aplikasi web pendamping (DefinitelySetup) untuk pemantauan dan partisipasi.

Upacara pengaturan tepercaya ZK-SNARK yang sedang berlangsung (sejak 2019) untuk sirkuit hingga 2^28 batasan, menghasilkan 530 juta+ powers of tau. Upacara multi-pihak di mana keamanan bertahan selama satu peserta jujur.

Generasi kedua dari Provable Object Datatypes (PODs) kriptografi. Memungkinkan komputasi fleksibel di seluruh data melalui predikat kustom dan operasi rekursif. Dikembangkan oleh 0xPARC bekerja sama dengan PSE.

Railgun adalah protokol privasi untuk jaringan Ethereum dan EVM yang menyediakan transaksi terlindung dan interaksi DeFi privat dengan bukti tanpa pengetahuan.

Self Protocol menyediakan identitas terbuka dan primitif bukti yang dapat disematkan oleh pembangun saat mereka membutuhkan alur verifikasi yang menjaga privasi yang terkait dengan dompet atau kredensial.

Semaphore adalah protokol zero-knowledge untuk bukti keanggotaan grup privat, memungkinkan pensinyalan dan autentikasi anonim tanpa mengungkapkan identitas.

snarkjs adalah toolkit JavaScript dan CLI untuk menghasilkan dan memverifikasi bukti ZK-SNARK, dan untuk menjalankan alur kerja pembuktian umum di Node.js dan peramban.

Pustaka pelipatan modular yang mendukung beberapa skema pelipatan (Nova, HyperNova, ProtoGalaxy, CycleFold) dan backend penentu (Groth16, KZG) untuk Incremental Verifiable Computation. Mendukung frontend Arkworks, Circom, Noir, dan Noname.

Menghasilkan bukti zkVM rekursif yang memverifikasi bahwa pembaruan state Unified Binary Trie (UBT) dan Trie Merkle Patricia cocok per blok Ethereum. Memungkinkan verifikasi state tanpa kepercayaan untuk klien ringan dan pengambilan informasi pribadi.

Mengaktifkan sistem pseudonim untuk identitas Web2 menggunakan Oblivious PseudoRandom Functions yang dapat diverifikasi. Memungkinkan akun email dan sosial untuk menghasilkan nullifier pribadi untuk pemungutan suara anonim, forum pribadi, dan airdrop rahasia.

ZK Email menyediakan sirkuit dan SDK untuk membuktikan fakta tentang transkrip email yang disunting secara onchain. Berguna saat Anda menginginkan identitas yang menjaga privasi atau pemeriksaan tanda terima tanpa mengekspos kotak masuk.

Inisiatif PSE yang memajukan identitas digital yang menjaga privasi dengan menyusun standar teknis, membangun infrastruktur ZK sumber terbuka (open source), dan berkolaborasi dengan pemerintah. Bekerja pada integrasi Dompet EUDI UE dan Unit Dompet ZKP.

Verifikasi identitas pribadi menggunakan Bukti tanpa pengetahuan. Verifikasi usia, negara, atau bukti kepribadian tanpa mengungkapkan informasi pribadi apa pun. Desain yang mengutamakan seluler dengan SDK untuk integrasi dan kontrak registri onchain.

zkTLS / TLSNotary adalah protokol terbuka untuk membuktikan properti sesi TLS dengan MPC sehingga pemverifikasi dapat mempercayai transkrip tanpa melihat teks biasa secara penuh.

ZoKrates adalah kotak alat untuk ZK-SNARK di Ethereum, menawarkan DSL, kompiler, dan utilitas untuk pengaturan tepercaya, pembuatan bukti, dan integrasi pemverifikasi.

Monorepo dari Pustaka zero-knowledge yang dapat digunakan kembali di berbagai bahasa (JavaScript, Solidity, Rust, Noir), menawarkan implementasi primitif kriptografi yang telah diuji dengan baik seperti Merkle tree, hash Poseidon, dan banyak lagi.