Awal tahun ini, Weikeng Chen dan mitranya di perusahaan ventura L2 Iterative memutuskan untuk mengalihkan perhatian mereka ke ekosistem Bitcoin yang sedang berkembang. Chen, seorang penduduk asli Tiongkok, telah memperhatikan meningkatnya minat terhadap pengembangan Bitcoin dari beberapa aktor besar di bidang penambangan yang mulai mendukung berbagai proyek di ruang Ordinal dan lapisan 2.

“Saya tidak pernah benar-benar menyadari bahwa Bitcoin memiliki komunitas pengembangan,” katanya setengah bercanda.

Pada minggu lalu, sebuah inisiatif sumber terbuka yang dipimpin oleh dirinya sendiri, dengan sponsor dari perusahaan infrastruktur Starkware, telah mencapai implementasi pertama dari pemverifikasi tanpa pengetahuan menggunakan skrip Bitcoin.

Dalam industri di mana terobosan signifikan hanya sedikit dan jarang terjadi, mereka yang terlibat dalam upaya ini sangat menyadari pentingnya pencapaian ini. Bukti tanpa pengetahuan, menurut mereka, adalah kunci untuk membuka kemampuan program Bitcoin dan meningkatkan penggunaannya secara global.

Di balik pencapaian ini terdapat perjalanan luar biasa dari orang luar yang mempelajari pengembangan Bitcoin enam bulan yang lalu dan kini telah mengkodekan perangkat lunaknya yang paling canggih. Saya mewawancarai Weikeng Chen untuk mempelajari motivasinya, kolaborasinya dengan Starkware seputar OP_CAT dan STARKs, dan perspektifnya tentang era baru perkembangan Bitcoin ini.

Mulai dari awal

Lulusan PHD dari UC Berkeley dengan spesialisasi di bidang kriptografi, Chen menjelaskan bahwa ia mulai mencari peluang untuk menyumbangkan keterampilan teknisnya kepada industri agar perusahaannya dapat lebih memposisikan perusahaannya di mata investor dan perusahaan potensial. Terlepas dari pengalamannya yang luas di bidang teknik, ia segera menyadari bahwa sumber dayanya langka dan kurva pembelajarannya sangat curam. “Banyak materi di luar sana yang sudah ketinggalan zaman dan tidak mencerminkan perkembangan saat ini,” ujarnya. Ketertarikannya terhadap teknologi tanpa pengetahuan akhirnya membuatnya memfokuskan penelitiannya pada kemampuan Bitcoin untuk melakukan komputasi yang diperlukan untuk memverifikasi bukti tanpa pengetahuan.

Ketika satu lubang kelinci mengarah ke lubang kelinci lainnya, karya Robin Linus pada paradigma komputasi baru BitVM menarik perhatiannya. Tertarik dengan potensi penggunaan bukti penipuan untuk menerapkan sistem tanpa pengetahuan yang kompatibel dengan Bitcoin, dia mulai mempelajari kertas putih dan melihat beberapa masalah dengan beberapa konsep yang terlibat dalam sistem tersebut. “Saya mengirim pesan ke Robin menanyakan beberapa pertanyaan tentang BitVM. Pemahaman saya tentang BitVM dari whitepaper itu memang salah besar. Saya ingat reaksi pertama Robin adalah bertanya kepada saya siapa yang mengatakan hal ini kepada saya,” kenangnya sambil tertawa. Interaksi ini memicu kolaborasi singkat namun produktif antara Chen, Linus, dan peneliti lain saat mereka mengulangi ide awal dan mencari cara untuk mengoptimalkannya.

“Bagi saya jelas bahwa metode ini dapat digunakan untuk memverifikasi bukti tanpa pengetahuan sehingga pekerjaan saya segera mengarah pada penerapan pemverifikasi SNARK.”

Verifikator adalah alat kriptografi yang memungkinkan verifikasi bukti tanpa pengetahuan di jaringan Bitcoin.

Peluang OP_CAT

Pada waktu yang hampir bersamaan, sebuah tim di raksasa industri tanpa pengetahuan, Starkware, menaruh perhatian besar pada aktivitas yang muncul dari komunitas Bitcoin. Bagi sebagian orang, hal itu merupakan waktu yang lama. Pendiri Starkware Eli Ben-Sasson bisa dibilang adalah orang pertama yang membahas teknologi tanpa pengetahuan dalam konteks mata uang kripto pada konferensi awal Bitcoin. Hampir satu dekade kemudian, penelitian Starkware dan teknologi ZK-STARK menjadi landasan bagi semakin banyak aplikasi di bidang ini.

“Pada tahun 2013, ketika saya menyarankan penggunaan bukti validitas untuk menskalakan Bitcoin, saya berharap Satoshi masih ada dan akan mewujudkannya lebih cepat. Terima kasih kepada visioner kriptografi seperti Weikeng Chen dan peneliti Bitcoin OP_CAT seperti Andrew Poelstra dan Ethan Heilman, impian saya yang berusia 11 tahun kini dapat tercapai,” komentar Ben-Sasson.

Bulan lalu, perusahaan mengumumkan bahwa mereka mulai menerapkan berbagai inisiatif yang berfokus pada menutup kesenjangan teknologi antara Bitcoin dan bukti tanpa pengetahuan. Hibah aplikasi senilai $1.000.000 ditawarkan untuk penelitian dan eksplorasi potensi proposal soft fork OP_CAT.

Pengumuman tersebut ditandai dengan antusiasme yang luar biasa, sehingga membuat sebagian orang bertanya-tanya apa yang mendorong optimisme ini. Hingga baru-baru ini, prospek teknologi tanpa pengetahuan pada Bitcoin sebagian besar hanyalah sebuah renungan — kode OP lain yang mungkin tidak akan pernah terungkap. Memang benar, sulitnya mendapatkan konsensus mengenai perubahan kecil pada basis kode Bitcoin membuat sesuatu yang lebih kompleks sepertinya tidak mungkin terjadi.

Berdasarkan percakapan dengan kontributor Starkware, sekitar bulan Mei mereka mengetahui kemajuan Weikeng di BitVM dan suasana berubah secara dramatis. Ternyata, pengembang telah mengarahkan perhatiannya pada teknologi Circle STARKs milik perusahaan. Dalam sebuah makalah yang dirilis beberapa bulan lalu, Chen telah mengidentifikasi yang terakhir sebagai “sistem bukti ramah Bitcoin.”

Setelah beberapa kali bolak-balik, kedua belah pihak sepakat untuk berkumpul dan melakukan upaya bersama yang didedikasikan untuk implementasi open-source dari verifikator STARK menggunakan primitif OP_CAT. “Saya tahu itu bisa dilakukan. Kami hanya perlu menyatukan semuanya,” saran Chen. “Suaka Margasatwa Bitcoin” lahir.

Dua bulan kemudian, proyek tersebut tampaknya telah mencapai tujuannya berkat kolaborasi pengembang lain seperti Pingzhou Yuan, kontributor awal BitVM lainnya. Pada Jumat pagi yang lalu, Chen masuk ke grup Telegram proyek tersebut untuk menyampaikan berita kepada peserta lain: “Saya rasa saya telah menyelesaikan pekerjaannya!”

Setelah pengujian lokal berhasil, pengembang menyiarkan serangkaian transaksi ke jaringan testnet Signet Bitcoin yang akan mengeksekusi seluruh skrip. Untuk mengoptimalkan penggunaan on-chain, bukti STARK, berdasarkan implementasi Stwo sumber terbuka Starkware, dibagi menjadi transaksi bersamaan yang dirangkai bersama menggunakan perjanjian berbasis OP_CAT.

Pada pukul 06.29 tanggal 12 Juli 2024, transaksi terakhir dikonfirmasi di jaringan Signet, menandakan apa yang diyakini oleh para pendukungnya sebagai awal dari era baru perkembangan Bitcoin.

“Ini adalah upaya yang luar biasa dan memakan banyak waktu,” kata Chen. “Kami memulainya dari nol. Tidak ada informasi tentang bukti ZK di Bitcoin. Tidak ada informasi mengenai operasi matematika yang harus diikuti. Kami harus membangun tumpukan penuh, yang pada akhirnya mengarah pada penerapan verifikator STARK.”

Menginspirasi jalur pengembangan baru

Meskipun hasilnya patut dirayakan, Chen bersikeras bahwa pekerjaannya belum selesai. Ketika ditanya apakah dia optimis dengan pekerjaannya dalam menciptakan fondasi untuk protokol penskalaan baru seperti rollup pada Bitcoin, pengembang dengan cepat mengubah ekspektasi. 

“Idenya secara kasar berhasil tetapi bukti konsepnya belum siap untuk diproduksi. Bukti validitas juga memakan banyak ruang yang mungkin menjadi mahal di masa depan.”

Kontributor di Starkware mengakui tantangan yang ada di depan tetapi yakin bahwa keberhasilan proyek ini mewakili “lompatan maju yang monumental” menuju solusi penskalaan Bitcoin yang dapat memanfaatkan teknologi rollup ZK mereka.

Satu hal yang pasti, kolaborasi ini kemungkinan akan semakin memperkuat argumen yang mendukung potensi soft fork OP_CAT. Untuk menyusun implementasi verifikator, Chen berkata bahwa dia harus mengembangkan kerangka kerja yang dapat diandalkan untuk perjanjian menggunakan CAT yang dapat menyoroti keserbagunaan proposal perbaikan naskah. Dia yakin pengembang lain di ekosistem dapat bermain-main dengan kodenya dan sampai pada kesimpulan yang sama mengenai manfaatnya.

“Saya rasa tidak ada banyak risiko setelah kita mengembangkan praktik terbaik. Tidak banyak tempat di mana hal ini akan menjadi salah. Kami sekarang memiliki demonstrasi yang jelas bahwa OP_CAT dapat diadaptasi ke berbagai proyek perjanjian dengan cara yang aman.”

Ketika ditanya tentang niatnya untuk berkontribusi pada proses aktivasi di masa depan, pengembang tersebut dengan mudah mengakui bahwa dia belum cukup paham dengan semua dinamika seputar pengembangan sumber terbuka Bitcoin. Selanjutnya, ia bermaksud untuk berbagi kemajuannya dengan anggota milis pengembangan dan berharap orang lain dapat memberikan kontribusi ulasan, dan memberikan umpan balik terhadap pekerjaannya.

Berkaca pada pengalamannya selama ini, Chen langsung menekankan pentingnya menciptakan lingkungan yang subur bagi pengembang baru untuk memasuki ekosistem. Dia yakin banyak pengembang berbakat melewatkan kesempatan untuk mengembangkan Bitcoin karena kurangnya visi yang kohesif.

“Saat ini tidak ada arah yang jelas yang membuat para kontributor bingung mengenai kemampuan mereka untuk memberikan dampak di masa depan. Mudah-mudahan, munculnya alat-alat baru dan primitif dapat memperbaiki situasi ini sehingga para Bitcoiner diperbolehkan untuk bermimpi lagi.” 

Sumber: Majalah Bitcoin

Pos Bukti Tanpa Pengetahuan Diverifikasi pada Bitcoin Untuk Pertama Kalinya dalam Sejarah muncul pertama kali di Crypto Breaking News.