StarkWare Meluncurkan Shared Proofer SHARP: Bagaimana Cara Lebih Lanjut Mengurangi Biaya Bahan Bakar?

Ditulis oleh: StarkWare

Terjemahan dan Proofreading: Starknet Chinese Community

Fakta Singkat Unggulan

• SHARP (SHARed Prover) menghasilkan bukti STARK untuk program Kairo gabungan, yang memungkinkan aplikasi apa pun untuk mengirimkan transaksi ke bukti yang sama. Bayangkan kumpulan mobil Didi, tetapi untuk bukti STARK. Dinamika "carpooling" ini berarti bahwa bahkan aplikasi kecil pun dapat menuai kekuatan luar biasa dari ekstensi STARK.
• Tidak peduli seberapa beragamnya dApp, selama ditulis di Kairo, SHARP dapat disertifikasi. SHARP akan mengemas sekitar 220.000 transaksi menjadi satu bukti di mainnet Ethereum.
• Bukti rekursif menggunakan SHARP dapat memproses dan memverifikasi beberapa bukti STARK secara paralel, meningkatkan skalabilitas dan efisiensi.
• Dengan penyesuaian tata letak dinamis SHARP yang akan datang, biaya bahan bakar akan dikurangi hingga 30%.

Tur yang diperpanjang

Penskalaan Ethereum adalah perjalanan inovasi, terus mencari solusi untuk lebih meningkatkan skalabilitas. Pada Juni 2020, StarkWare meluncurkan StarkEx, solusi ekspansi L2 pertama berdasarkan STARK. Pada bulan September 2020, bahasa Kairo diumumkan, bahasa pemrograman pertama yang dirancang untuk memaksimalkan efisiensi pembuktian STARK. Kairo, bersama dengan komputasi umum, membuka jalan bagi bukti kode yang cepat dan aman dari semua logika bisnis dan pernyataan komputasi arbitrer. Dengan inovasi ini, gelombang pengembang baru bergabung dengan ekosistem StarkWare.

Sementara pengembang menginginkan skalabilitas, keamanan, dan efisiensi StarkEx, sebagian besar proyek mereka tidak memiliki aktivitas transaksi yang cukup untuk memenuhi bukti STARK. Demikian pula, pengguna masih diganggu oleh kenaikan biaya gas yang tidak dapat diprediksi karena kemacetan di jaringan Ethereum.

Maka, lahirlah SHARP.

Apa itu SHARP?

SHARP (SHARed Prover) adalah sistem canggih yang dirancang untuk menghasilkan bukti STARK untuk program Kairo gabungan. Kairo adalah bahasa pemrograman komputasi tujuan umum yang dapat mengakomodasi berbagai logika kode dalam satu pembuktian. SHARP memproses sekumpulan transaksi secara off-chain dan membuktikan bukti komputasinya secara on-chain, mengamortisasi biaya semua transaksi menjadi satu bukti. Bukti STARK terpadu yang dihasilkan diverifikasi oleh kontrak validator Soliditas pada rantai, memungkinkan SHARP untuk meningkatkan throughput, mengurangi biaya gas, dan meminimalkan latensi.

Misalnya, SHARP dapat menangani kode Kairo dari program dan logika yang sama sekali berbeda, termasuk pencetakan NFT bahkan sistem operasi jaringan Starknet. SHARP dapat mensertifikasi selama ditulis di Kairo, dan dapat menggabungkan berbagai program di bawah satu bukti. Efisiensi yang dibawa oleh SHARP memungkinkannya mengemas ribuan transaksi menjadi satu bukti di mainnet. Biaya pemrosesan bukti on-chain diamortisasi untuk semua transaksi dalam satu batch, sehingga semakin banyak transaksi dikemas, semakin rendah biaya gas per transaksi.

Untuk mengilustrasikan ini dengan sebuah contoh:

Katakanlah Anda dan saudara perempuan Anda sedang berbelanja hadiah untuk orang tua Anda: telepon baru, cangkir, dan kaus. Setiap hadiah dibeli dari pengecer online yang berbeda dan akan dikirimkan ke rumah Anda masing-masing pada tanggal yang berbeda, dalam paket ukuran dan bentuk yang berbeda. Rencana Anda adalah membungkus setiap kado dan mengirimkannya ke orang tua Anda.

Namun, Kantor Pos mengalami masalah. Hilang sudah kotak kecil dan sedang, hanya menyisakan kotak besar yang bisa menampung berbagai ukuran. Ini menyisakan dua opsi:

Opsi 1: Setiap hadiah tiba dengan dibungkus satu per satu dan dikirim dalam kotak besar. Meskipun hal ini dapat mempercepat pengiriman satu hadiah, diperlukan pengepakan tiga kotak terpisah dan melakukan tiga perjalanan ke kantor pos untuk mengirim tiga paket terpisah. Oleh karena itu, metode ini tidak menghemat waktu dan juga tidak hemat biaya.

Opsi 2: Kirimkan semua hadiah dalam satu kotak besar. Ini berarti Anda hanya perlu berurusan dengan satu kotak, bukan tiga.

Dalam contoh ini, SHARP adalah opsi 2, memungkinkan penggunaan sumber daya yang efisien dan manajemen waktu yang lebih lancar.

TAJAM

Meskipun SHARP lahir untuk ekosistem StarkWare, program Kairo dapat disertifikasi dengan eksekusi yang valid. Efisiensi dalam menghemat waktu dan biaya menjadikan SHARP solusi bagi siapa saja yang membutuhkan metode pembuktian yang inovatif.

SHARP Rekursif

Sejak awal, SHARP telah mengalami beberapa peningkatan efisiensi. Yang paling kuat dari ini adalah transisi dari model linier ke model rekursif.

Dalam pembuktian rekursif, SHARP membuktikan setiap klaim ketika datang, daripada mengumpulkan kumpulan klaim untuk melengkapi bukti, dan kemudian membuktikan pemrosesan kumpulan klaim. Ini adalah cara yang hemat waktu untuk memverifikasi klaim perhitungan, jauh lebih cepat daripada perhitungan itu sendiri.

Ini dicapai dengan memproses klaim yang masuk secara paralel, melewati hambatan skalabilitas sebelumnya yang mengharuskan semua klaim individu diterima sebelum membuktikan klaim gabungan. Sekarang, SHARP tidak hanya dapat membuktikan kebenaran ribuan transaksi, tetapi beberapa bukti STARK juga dapat diverifikasi dengan validator STARK yang sesuai. Ini dapat menghasilkan satu bukti validitas dari beberapa bukti hulu.

Setelah implementasi rekursif, SHARP segera membuktikan klaim yang masuk. Bukti itu sendiri dapat diulang dan digabungkan menjadi bukti rekursif. Proses pembuktian rekursif ini dilakukan hingga akhir, dan pembuktian akhir diserahkan ke kontrak validator Soliditas on-chain. Ini seperti skema bersarang: program Kairo memverifikasi bukti hulu, yang pada gilirannya menghasilkan bukti baru, dan validator STARK mengonfirmasi validitasnya.

Dalam analogi sebelumnya, kantor pos awalnya hanya menawarkan satu ukuran kotak standar, tetapi SHARP rekursif memperkenalkan terobosan dengan menawarkan kotak kecil dengan ukuran berbeda, masing-masing secara khusus ditetapkan untuk satu barang. Meskipun kotak tidak secara tepat disesuaikan dengan ukuran setiap item tertentu, pendekatan inovatif ini memungkinkan hadiah tiba dikemas dalam kotak kecil, menghilangkan biaya yang tidak perlu untuk ruang yang tidak terpakai dan mengurangi penundaan. Kotak kecil dapat dibungkus dan siap dikirim segera setelah semua hadiah siap, daripada menunggu ketiga hadiah tiba sebelum mengemasnya ke dalam satu kotak besar.

Langkah selanjutnya: tata letak dinamis

Tim StarkWare saat ini sedang mengembangkan tata letak dinamis sebagai penyesuaian layanan SHARP. Dengan tata letak yang dinamis, pembukti menghitung sumber daya yang diperlukan untuk setiap logika tertentu dan menghasilkan bukti yang disesuaikan.

Menggunakan analogi kantor pos lagi, tata letak dinamis dapat dilihat sebagai ide kotak khusus. Kotak khusus ini dibuat agar sesuai dengan bentuk setiap kado dengan sempurna, memastikan Anda hanya membayar sesuai ukuran yang Anda perlukan dan menghindari biaya yang tidak perlu. Demikian pula, dengan tata letak dinamis, bukti khusus akan dibuat untuk setiap logika dan sumber daya komputasi khusus yang diperlukan, memastikan Anda hanya membayar untuk komputasi yang Anda gunakan. SHARP dapat melakukan pembuktian yang akurat selama ditulis di Kairo.

Tim StarkWare berharap untuk memperkenalkan kemampuan adaptasi dan peningkatan efisiensi ini dalam rilis SHARP berikutnya. Tujuan tata letak dinamis adalah untuk mengurangi biaya gas secara signifikan.

Dengan memanfaatkan pembuatan bukti rekursif berbasis STARK, teknologi ini akan sangat meningkatkan skalabilitas dan efisiensi jaringan Ethereum.