Artikel "Kebangkitan" telah dihapus oleh Kode Operasi Satoshi Nakamoto?, baca OP_CATSoft Fork

Artikel asli oleh Jaleel, BlockBeats

Dalam basis kode Bitcoin, Kode Operasi “OP _CAT” yang telah dihapus oleh Satoshi Nakamoto dan telah disegel oleh sejarah untuk waktu yang lama dapat “dibangkitkan”.

Sekitar Kode Operasi OP_CAT, proyek Bitcoin Non-fungible Token Taproot Wizards telah meluncurkan seri baru Non-fungible Token Quantum Cats. Meskipun istilah OP_CAT tidak mengacu pada “kucing” yang sudah dikenal, Taproot Wizard telah menggunakan gambar kucing untuk merilis Token Non-fungible baru yang disebut Quantum Cats, menggunakan budaya meme untuk membantu OP_CAT membangun momentum. Bacaan terkait: “Bitcoin” Quantum Cat “: Tanpa Kontrak Cerdas, Bagaimana Mencapai Perubahan Prasasti yang Dinamis?”

OP_CAT, Kode Operasi yang pernah dihapus oleh Satoshi Nakamoto dari bahasa skrip Bitcoin, kini telah dibawa kembali ke meja untuk didiskusikan, dan beberapa pengembang Bitcoin ingin “membangkitkan” Kode Operasi ini dan membuka jalan bagi Bitcoin untuk menerapkan Kontrak Cerdas melalui garpu lunak 13 baris kode. Didorong oleh pengembang Bitcoin dan menciptakan momentum dalam citra meme kucing, panas dan diskusi tentang OP_CAT telah mencapai ketinggian baru.

Kode Operasi “Kebangkitan” dihapus oleh Satoshi Nakamoto

Kode Operasi, juga dikenal sebagai instruksi atau fungsi, adalah blok bangunan dasar dari bahasa scripting Bitcoin. Secara historis, beberapa Kode Operasi telah dihapus dari versi Bitcoin sebelumnya karena kekhawatiran tentang kemungkinan kerentanan dalam implementasi klien, OP_CAT Kode Operasi menjadi salah satunya.

OP_CAT awalnya merupakan bagian dari set perintah resmi Bitcoin, memungkinkan string joining, menyambung dua elemen menjadi satu. Namun, karena kerentanan kritis yang ditemukan dalam Kode Operasi seperti OP_LSHIFT dapat menyebabkan BitcoinNode mogok, ada kekhawatiran bahwa Kode Operasi CAT OP dapat menyebabkan elemen tumpukan tumbuh secara eksponensial, yang dapat menyebabkan peningkatan eksponensial dalam penggunaan memori dan ukuran skrip.

Oleh karena itu, karena sangat berhati-hati, Satoshi Nakamoto menghapus OP_CAT pada tanggal 15 Agustus 2010. Kode Operasi yang dihapus ini sering disebut sebagai “dinonaktifkan”, tetapi ini tidak akurat, karena mereka sepenuhnya dihapus dari protokol, membuat Kode Operasi tidak tersedia bagi siapa pun yang menggunakan Bitcoin.

Pada Oktober 2023, pengembang Bitcoin Core Ethan Heilman dan Insinyur Perangkat Lunak Utama Botanix Labs Armin Sabouri bersama-sama merilis draf Proposal Peningkatan Bitcoin (BIP) berjudul “OP_CAT” yang membawa diskusi ini ke tingkat yang baru.

Draf ini, yang hanya terdiri dari 13 baris kode, membawa sifat fungsional yang jelas dan intuitif, mendefinisikan Kode Operasi keran baru yang memungkinkan dua nilai digabungkan pada tumpukan. Implementasi kode ini jelas terinspirasi oleh OP_CAT asli yang dihapus.

Kondisi untuk “kebangkitan” telah terpenuhi

Adapun mengapa Kode Operasi yang dihapus oleh Satoshi Nakamoto sekarang sedang dipulihkan oleh pengembang, bagian motivasi dari draf BIP ini menjelaskan secara rinci: ini terutama didasarkan pada pertimbangan penggunaan memori, dan OP_CAT membuat penggunaan memori konstruksi skrip meningkat secara eksponensial dari ukuran skrip itu sendiri. Secara khusus, skrip sederhana yang hanya mendorong nilai 1-byte ke dalam tumpukan, kemudian mereplikasinya dengan Kode Operasi OP_DUP, dan menggabungkannya 40 kali dengan Kode Operasi OP__CAT dapat menyebabkan nilai tumpukan membengkak ke ukuran besar lebih dari 1 TB.

Namun demikian, dengan kemajuan waktu dan perkembangan teknologi, masalah ini tidak lagi menjadi kendala. Di bawah arsitektur TAP, ada aturan yang jelas bahwa ukuran elemen tumpukan maksimum dibatasi secara ketat hingga 520 byte. Perubahan ini secara efektif memecahkan masalah penggunaan memori yang dapat disebabkan oleh OP_CAT, memberikan kemungkinan “kebangkitan” dan integrasi.

Oleh karena itu, OP_CAT sekali lagi dibawa keluar untuk diskusi dan dipertimbangkan untuk digunakan kembali, terutama karena nilai potensinya dalam membangun skrip yang lebih kompleks dan kuat. Selain itu, sejumlah alasan dan perubahan telah memenuhi syarat untuk “kebangkitan”, termasuk:

1. Permintaan untuk kontrak dan protokol pintar tingkat lanjut: Seiring berkembangnya ekosistem Bitcoin, permintaan akan kontrak dan protokol pintar yang lebih canggih dan kompleks telah meningkat. OP_CAT meningkatkan ekspresi dan fungsionalitas keran dengan memungkinkan objek digabungkan pada tumpukan. Misalnya, ini dapat digunakan untuk membangun dan mengevaluasi Merkle Tree dan struktur data hash lainnya, mendukung tanda tangan pohon, tanda tangan Lamport pasca-kuantum, kontrak non-penolakan, brankas, dan banyak lagi.

2. Kisah sukses on-chain lainnya: Beberapa fork Bitcoin, seperti Bitcoin Cash dan Sidechain Liquid, telah mengaktifkan kembali OP_CAT dan menggunakannya untuk mengimplementasikan pembuatan dan manajemen Token, saluran pembayaran, dan cara untuk menyematkan dan mengambil data di Blockchain. Ini menunjukkan bahwa OP_CAT dapat digunakan dengan aman dan efektif di bawah lingkungan dan batasan yang sesuai.

3. Eksplorasi keamanan kuantum: Beberapa penelitian telah mengusulkan bahwa jika operasi seperti OP_CAT dapat digunakan, dikombinasikan dengan teknologi seperti tanda tangan Lamport, transaksi dan protokol Bitcoin yang aman kuantum dapat dibangun. Eksplorasi ini memiliki nilai potensial dalam meningkatkan keamanan masa depan sistem Bitcoin.

4. Pengembangan komunitas dan teknologi: Pengembangan komunitas dan teknologi Bitcoin yang berkelanjutan telah mendorong orang untuk mempertimbangkan kembali dan mengevaluasi keputusan sebelumnya. Ketika pemahaman yang lebih dalam tentang protokol Bitcoin dan teknologi baru muncul, fitur yang sebelumnya dianggap bermasalah atau tidak dapat diterapkan dapat menemukan kasus penggunaan yang aman dan berguna dalam konteks baru.

Garpu lunak, mudah dibicarakan

Pada tingkat teknis, beberapa proposal Bitcoin lainnya mudah ditafsirkan dan dipahami seperti OP_CAT. Tetapi Kode Operasi OP__CAT akan diaktifkan dengan mendefinisikan ulang Soft Fork Kode Operasi OP_SUCCESS 126, yang jelas bukan tugas yang mudah.

Ingatlah bahwa Soft Fork terbaru Bitcoin terjadi tiga tahun lalu ketika Taproot diaktifkan, sehingga membantu membuka jalan bagi kelahiran Ordinal.

Konsensus dan transparansi sangat dihargai oleh komunitas Bitcoin, dan setiap perubahan kode yang signifikan dibahas dan ditinjau secara luas dalam komunitas, termasuk garpu lunak. Untuk sepotong kode yang akan digabungkan ke dalam basis kode Bitcoin, perlu melalui proses yang ketat dan terperinci yang memastikan kualitas proposal dan konsensus komunitas. Berikut adalah langkah-langkah utama dalam proses ini:

1. Tulis proposal dan kode: Pertama, pengembang perlu menulis dokumen proposal terperinci. Dokumen ini harus secara jelas menggambarkan motivasi, rincian teknis, penilaian dampak, dan potensi masalah atau tantangan proposal.

2. Diskusi komunitas: Setelah proposal kode diajukan ke komunitas Bitcoin, proposal tersebut dibahas dan ditinjau oleh anggota komunitas (termasuk pengembang, penambang, investor, dan pengguna). Tahap ini adalah kunci untuk memastikan kelayakan proposal dan mengumpulkan umpan balik.

3. Modifikasi dan peningkatan: Berdasarkan umpan balik dari komunitas, penulis kode mungkin perlu melakukan modifikasi dan perbaikan pada proposal.

4. Pilih, Capai Konsensus: Beberapa perbaikan penting (terutama yang melibatkan protokol Bitcoin itu sendiri) memerlukan tingkat Konsensus tertentu di antara anggota komunitas. Ini biasanya melibatkan dukungan dari Miner, yang perlu menunjukkan dukungan mereka untuk proposal dengan memasukkan sinyal spesifik di Blok yang mereka tambang.

5. Implementasi Kode: Setelah Konsensus tercapai, kode akan ditinjau oleh tim pengembang Bitcoin Core. Langkah ini membutuhkan memastikan kualitas dan keamanan kode.

6. Gabung ke dalam basis kode: Setelah disetujui, kode akan digabungkan ke dalam basis kode resmi Bitcoin.

7. Penyebaran dan aktivasi: Akhirnya, kode baru perlu digunakan ke dalam sistem mereka oleh Penambang dan Operator Node. Untuk perubahan tingkat protokol, biasanya ada ambang aktivasi yang hanya akan berlaku ketika cukup banyak peserta jaringan meningkatkan ke versi baru.

Jelas, implementasi Soft Fork CAT OP masih dalam tahap yang sangat awal, kurang dari empat bulan setelah draft BIP ditulis, nomor BIP belum ditentukan, dan masih dalam tahap pertama penulisan proposal dan kode dan diskusi komunitas tahap kedua yang melibatkan pengembang dan pengguna.

Apa yang dikatakan pengembang Bitcoin

Mari kita beri perhatian khusus pada diskusi tentang OP_CAT di antara pengembang Bitcoin dalam beberapa tahun terakhir.

Meskipun Kode Operasi OP_CAT telah dihapus, potensi utilitas OP_CAT dalam memfasilitasi kontrak lanjutan dan meningkatkan bahasa scripting Bitcoin telah berulang kali dibahas di antara para pengembang. Misalnya, kemampuannya untuk menghubungkan nilai tumpukan dianggap sebagai penghalang bagi pengembangan beberapa protokol Bitcoin, seperti TumbleBit, yang ukuran transaksinya dapat sangat berkurang jika OP_CAT didukung.

Sekarang setelah kami mengumpulkan buletin Optech dan berbagai konten terkait, mari kita pilah beberapa diskusi pengembang Bitcoin tentang Kode Operasi OP_CAT dalam urutan kronologis.

2019

Ethan Heilman, salah satu sponsor draf OP_CAT Bitcoin Improvement Proposal (BIP), mengatakan dalam sebuah email pada Oktober 2019 bahwa dia mengerti mengapa itu dihapus karena situasi mengerikan yang dihadapi oleh skrip pada saat itu, tetapi dia menekankan nilai OP_CAT sebagai Kode Operasi: "Sebagian besar protokol yang ingin dibangun di atas Bitcoin saat ini memiliki batasan: nilai tumpukan tidak dapat dihubungkan. Sebagai seorang peneliti, jika saya mengalami keterbatasan ini, kemungkinan itu juga menghambat kemajuan orang lain. Jika saya dapat melambaikan tongkat saya untuk mengaktifkan kembali salah satu Kode Operasi yang dinonaktifkan, saya akan memilih OP_CAT. Tentu saja, ini akan disertai dengan kondisi: ukuran setiap nilai yang digabungkan harus dibatasi hingga 64 byte atau kurang. 」

Ketika datang ke diskusi tentang OP_CAT, Andrew Poelstra adalah orang yang tidak pernah bisa berkeliling. Dia menulis artikel berjudul “CAT and Schnorr Tricks I” pada 30 Januari 2021, yang menyebabkan gelombang diskusi tentang OP_CAT. Andrew Poelstra adalah Direktur Riset di Blockstream dan pengembang skrip BitcoinCryptography veteran dengan kehadiran yang kuat di industri ini.

Dalam artikel tersebut, Andrew Poelstra menjelaskan, "OP_CAT membantu menggabungkan dua elemen dalam tumpukan dan mendorong hasil gabungan kembali ke tumpukan. Fungsi ini dapat digunakan untuk merakit beberapa elemen kecil menjadi satu elemen besar, atau untuk menguraikan elemen besar menjadi beberapa elemen yang lebih kecil. CHECKSIGFROMSTACK (CSFS) adalah Kode Operasi yang belum pernah dilihat sebelumnya dalam Bitcoin yang memungkinkan pengguna untuk melakukan verifikasi tanda tangan pada data sewenang-wenang, tidak seperti Kode Operasi CHECKSIG, yang hanya memverifikasi tanda tangan transaksi. 」

Terlebih lagi, ia menunjukkan bahwa menggunakan OP_CAT bersama dengan CHECKSIGFROMSTACK dapat memberikan pendekatan yang cerdik untuk introspeksi transaksional.

Catatan: Introspeksi transaksi mengacu pada kemampuan untuk memeriksa dan menganalisis berbagai komponen transaksi itu sendiri dalam Bitcoin Script. Sederhananya, ini memungkinkan skrip untuk “memahami” dan memproses detail transaksi yang sedang diproses, seperti memeriksa output transaksi, jumlah, atau tanda tangan tertentu. Dengan cara ini, skrip dapat merespons dengan lebih cerdas dan bernuansa konten spesifik dari transaksi.

HAL INI MEMUNGKINKAN PENGGUNA UNTUK MENYEDIAKAN DATA UNTUK SELURUH TRANSAKSI PADA TUMPUKAN, DAN SKRIP MENGGUNAKAN OP_CAT UNTUK MENGEMAS DATA KE DALAM SINGLE ITEM, HASH, DAN KEMUDIAN MENERUSKANNYA KE CHECKSIGFROMSTACK UNTUK MEMVERIFIKASI TANDA TANGAN PADA DATA. Kemudian melewati tanda tangan dan kunci rahasia yang sama ke CHECKSIG. Jika kedua verifikasi lolos, ini menunjukkan bahwa data transaksi yang diberikan oleh pengguna memang data transaksi nyata. Dengan cara ini, skrip dapat langsung menggunakan data ini untuk melakukan pemeriksaan apa pun yang diperlukan oleh kontrak.

Pengaruh Andrew Poelstra, dan gagasan artikel tersebut, menarik perhatian pengembang Bitcoin, dan pada konferensi minggu itu, ada banyak diskusi tentang kombinasi Kode Operasi ini dan bagaimana membuat perubahan kecil pada bahasa scripting setelah aktivasi akar tunggang dapat meningkatkan fleksibilitas kontrak.

Sekitar dua minggu setelah rilis CAT and Schnorr Tricks I, Andrew Poelstra menerbitkan artikel kedua, CAT and Schnorr Tricks II, di mana Andrew Poelstra menceritakan lebih banyak detail dan pemikirannya:

Pada Mei 2019, pengembang Bitcoin Jeremy Rubin mengusulkan Kode Operasi CHECKOUTPUTSHASHVERIFY Bitcoin, dengan tujuan menerapkan Kontrak Cerdas dasar dan terbatas yang menghindari risiko teknis dan sosial dari desain Kontrak Cerdas sebelumnya. Kode Operasi ini kemudian digantikan oleh SECURETHEBAG dan kemudian oleh CHECKTEMPLATEVERIFY, yang secara resmi menjadi Bitcoin Improvement Proposal BIP 0119 pada Januari 2020.

Sementara itu, Russell O’Connor menyarankan untuk menambahkan CHECKSIGFROMSTACK dan OP_CAT Operation Code langsung ke Bitcoin untuk mendukung Smart Contract yang tidak dibatasi oleh proposal Rubin. Meskipun proposal itu bertemu dengan beberapa oposisi dan diskusi akhirnya menurun, terutama karena inefisiensi kontrak pintar tipe CAT + CHECKSIG dan kesan negatif jangka panjang dari kepemilikan kontrak pintar universal penuh.

Andrew Poelstra juga enggan mendukung apa yang disebut fitur BitcoinSmart Contract pada awalnya. Namun, pada musim gugur 2019, pertukaran pribadi dengan Ethan Heilman berubah pikiran. Ethan Heilman menunjukkan bahwa terlepas dari kekhawatiran tersebut, sebenarnya mungkin untuk menerapkan kontrak pintar yang dianggap berbahaya melalui CHECKMULTISIG dan tidak benar-benar diterima oleh dompet dan pengguna karena kurangnya pengakuan dan ketersediaan. Untuk membuktikannya, Ethan Heilman telah menantang orang-orang di media sosial untuk membuat kontrak pintar “gelap” yang layak, tetapi sejauh ini belum ada yang berhasil.

Jadi Andrew Poelstra beralih ke pemikiran bahwa ketakutan semua orang terhadap Kontrak Cerdas mungkin dibesar-besarkan. Artikel ini juga berpendapat bahwa Kontrak Cerdas tidak dapat dihindari dalam pengembangan Bitcoin, bahkan jika ada kekhawatiran, dan mendorong eksplorasi lanjutan dari kemungkinan menciptakan Kontrak Cerdas menggunakan Kode Operasi OP CAT yang tidak berdedikasi.

Pada tahun 2021

Ini diikuti oleh artikel oleh Jeremy Rubin pada 6 Juli 2021, menjelaskan OP_CAT dari perspektif keamanan kuantum Bitcoin. Jeremy Rubin bukan hanya pengembang Bitcoin, tetapi juga pendiri Judica, sebuah organisasi R&D Bitcoin yang berfokus pada pengembangan bahasa pemrograman Smart Contract Bitcoin, Sapio.

Dalam email dan posting blog, Jeremy Rubin membahas cara memverifikasi Bitcoin secara kuantum dengan Kode Operasi OP_CAT dan tanda tangan Lamport. Penulis memulai dengan meninjau posting blog sebelumnya tentang cara mendaftarkan nilai 5-byte menggunakan aritmatika skrip Bitcoin dan tanda tangan Lamport. Meskipun metode ini rapi, ia memiliki keterbatasan. Jeremy Rubin datang dengan sebuah ide: bagaimana jika kita bisa menandatangani pesan yang lebih panjang, terutama jika kita bisa mendaftar hingga 20 byte, kita bisa menandatangani intisari HASH 160 yang berpotensi aman kuantum.

Jeremy Rubin lebih lanjut mengeksplorasi implikasi dari penandatanganan intisari HASH 160 dalam artikel dan menjelaskan kemampuan untuk hanya mengungkapkan Kunci Pribadi tanpa mengubah konten yang ditandatangani sebenarnya bahkan jika Quantum Computer memecahkan ECDSA. Untuk melakukan ini, penulis berkonsultasi dengan ilmuwan Kriptografi Madars Virza dan menerima jawaban afirmatif.

Jeremy Rubin menunjukkan bahwa jika kita memerlukan tanda tangan ECDSA untuk ditandatangani menggunakan Algoritma Tanda Tangan bukti kuantum, kita dapat memiliki bukti kuantum Bitcoin. Skema tanda tangan 5-byte yang dibahas sebelumnya sebenarnya adalah tanda tangan Lamport yang aman kuantum. Sayangnya, metode ini membutuhkan setidaknya 20 byte berturut-turut.

Oleh karena itu, Jeremy Rubin mengusulkan agar diperlukan semacam operasi seperti OP_CAT. Artikel tersebut menjelaskan bahwa OP_CAT tidak dapat bercabang lunak langsung ke Segwit v 0 karena memodifikasi tumpukan. Jadi, untuk menyederhanakan, penulis menunjukkan cara menggunakan Kode Operasi baru OP_SUBSTRINGEQUALVERIFY bahwa Kode Operasi memeriksa apakah beberapa bagian dari string sama dengan memvalidasi semantik.

Pada tanggal 5 November 2021, di Atlanta Bitcoin Conference, Jeremy Rubin dan Andrew Poelstra termasuk di antara pembicara yang membahas proposal untuk mengaktifkan kembali Kode Operasi OP_CAT, dengan alasan bahwa OP_CAT penting dalam konteks Bitcoin dan menyoroti potensinya, terutama dalam hal keamanan kuantum dan membuat Kontrak Cerdas yang kompleks. Misalnya, dalam kombinasi dengan Kode Operasi verifikasi tanda tangan CAT dan Schnorr, Kontrak Cerdas non-rekursif secara teoritis dapat diimplementasikan. Kontrak pintar ini mampu menempatkan hash SHA 2 dari data transaksi langsung ke dalam tumpukan. Dengan demikian, pembatasan dapat dikenakan pada berbagai bagian transaksi sampai batas tertentu.

Diskusi juga menyebutkan bahwa jika CAT diperkenalkan kembali, itu mungkin membuat Bitcoin rumit dalam beberapa hal, sementara juga memperkenalkan fitur dan kemungkinan baru. Memulai ulang OP_CAT membutuhkan pertimbangan yang cermat untuk menghindari masalah yang pernah terjadi di masa lalu, seperti ledakan memori.

2022

Dalam sebuah diskusi di milis pengembang Bitcoin 18 Mei 2022 tentang pengenalan kembali Kode Operasi OP_CAT yang telah dihapus dari Bitcoin pada tahun 2010, pengembang ZmnSCPxj menyarankan bahwa untuk mencapai Kontrak Cerdas rekursif yang tak terhindarkan, OP_CAT perlu dikombinasikan dengan Kode Operasi yang diusulkan seperti OP_TX, OP_CHECKSIGFROMSTACK (CSFS), dll. Kontrak Cerdas Rekursif menggunakan aturan BitcoinConsensus untuk memastikan bahwa semua Bitcoin yang diterima dari kontrak hanya dapat dihabiskan untuk kontrak yang sama.

Kontrak pintar rekursif bergantung pada teknik introspeksi transaksi, yaitu, Kode Operasi dapat mengurai sebagian dari transaksi di mana Kode Operasi dijalankan. Kode Operasi yang ada memberikan introspeksi terbatas. Untuk membuat Kontrak Cerdas rekursif, Anda perlu memastikan bahwa output sebelumnya dan output berikutnya sama. Oleh karena itu, baik output sebelumnya, atau output berikutnya, atau keduanya harus dibangun secara dinamis dari elemen penyusunnya, itulah sebabnya CAT atau struktur serupa diperlukan untuk menerapkan kontrak pintar rekursif.

Nadav Ivgi menunjukkan bahwa CAT masih diperlukan untuk menyelesaikan masalah hashing saat membuat kontrak pintar rekursif, tetapi ini berarti bahwa fitur seperti CTV dan APO, yang berfokus pada introspeksi output, juga dapat dikombinasikan dengan CAT untuk membuat kontrak pintar rekursif. Ivgi berpendapat bahwa, ketika digunakan bersama dengan fungsionalitas akar tunggang, memvalidasi output sebelumnya dengan output berikutnya membuat skrip kontrak pintar lebih mudah untuk ditulis, dan menyediakan tautan ke dua contoh kontrak pintar rekursif.

ZmnSCPxj setuju dengan analisis Ivgi dan menegaskan kembali kekhawatirannya tentang risiko mengaktifkan kontrak pintar rekursif pada Bitcoin, meskipun ia juga mencatat dalam posting tindak lanjut bahwa kontrak pintar rekursif mungkin aman karena mereka sebenarnya bukan Turing Complete. Russell O’Connor mengutip artikel Andrew Poelstra yang menjelaskan bagaimana CAT itu sendiri dapat dikombinasikan dengan fungsionalitas Bitcoin yang ada cukup untuk membuat kontrak pintar non-rekursif, dan secara teoritis, jika ditambahkan kembali ke Bitcoin, mungkin juga dapat membuat kontrak pintar rekursif sendiri.

Pada tahun 2023

Pada bulan Januari, Anthony Towns meluncurkan Bitcoin Inquisition, replika Bitcoin Core yang dirancang untuk berjalan pada stempel default untuk menguji garpu lunak yang diusulkan dan perubahan protokol utama lainnya. Pada akhir tahun 2023, Bitcoin Inquisition telah mendukung sejumlah proposal, dan sebagai tambahan, PR (pull request) yang dirancang untuk OP_CAT, OP_VAULT, dan membatasi transaksi 64-byte telah dikirimkan ke basis kodenya, yang diharapkan dapat lebih memperluas kemampuan testbed ini.

Pada 23 Agustus 2023, di milis Lightning-Dev, Thomas Voegtlin muncul dengan ide bukti penipuan tentang status cadangan yang kedaluwarsa. Voegtlin menunjukkan bahwa adalah mungkin untuk menggunakan bukti penipuan ini secara on-chain jika OP_CHECKSIGFROMSTACK (CSFS) dan Kode Operasi CAT OP_ ditambahkan ke Bitcoin dengan cara Soft Fork. Proposal tersebut memicu banyak diskusi, dengan Peter Todd menunjukkan bahwa mekanisme dasarnya generik dan tidak terbatas pada LN dan mungkin berguna dalam berbagai protokol, tetapi ia juga mengusulkan mekanisme yang lebih sederhana yang tidak akan dibahas di sini.

Pada bulan Oktober, Rusty Russell sedang mengerjakan Kontrak Cerdas tujuan umum untuk bahasa scripting Bitcoin dengan sedikit perubahan. Pada saat yang sama, yang sangat penting, Ethan Heilman dan Armin Sabouri bersama-sama menerbitkan rancangan BIP yang mengusulkan penambahan Kode Operasi OP_CAT, Kode Operasi untuk menghubungkan dua elemen pada tumpukan. Diskusi tentang dua topik ini berlanjut hingga November.

Pada tahun 2024

Ini Januari 2024, dan Quantum Cats memang berhasil membawa diskusi tentang BIP dan proses Bitcoin untuk OP_CAT ke tingkat berikutnya.

Dalam sebuah interaksi dengan komunitas, pengembang Bitcoin Core Ava Chow berkata, "Saya tidak berpikir CTV adalah Konsensus kasar. Saya pikir proposal Kontrak Cerdas lain yang lebih umum sebenarnya lebih dekat, seperti txhash atau CAT. Namun, saya tidak mengikuti diskusi dengan cermat. 」

Diberi peringkat berdasarkan jumlah komit, Ava Chow (@achow 101) saat ini berada di peringkat ke-5 dalam peringkat kontributor kode Bitcoin Core dengan 1.292 komit kode dan merupakan salah satu dari sedikit yang memiliki hak untuk menggabungkan kode Bitcoin. Akibatnya, dia juga sangat berpengaruh dalam komunitas pembangunan.

"Saya tidak menyarankan agar kita mengaktifkan OP_CAT. Saya mendukung OP_CAT karena itu adalah Kode Operasi yang paling mungkin mencapai konsensus. Jika Anda tidak tahu tentang OP_CAT, saya merangkum situasinya dalam gambar ini. Demikian kata Eric Wall (@ercwl), salah satu pencipta Taproot Wizard.

Namun, Ava Chow tampaknya tidak sepenuhnya mendukung implementasi OP_CAT: "Seperti yang telah saya katakan, saya tidak berpikir ada proposal Kontrak Cerdas yang mendekati atau memiliki Konsensus kasar. Saya tidak berpikir kita harus mencoba mengaktifkan salah satu dari mereka. 」

Sepuluh baris kode untuk membiarkan Bitcoin menerapkan Kontrak Cerdas

Seperti Eric Wall (@ercwl), co-creator Taproot Wizard, menjelaskan, "Orang-orang tidak menyadarinya, tetapi OP_CAT sebenarnya adalah salah satu blok bangunan zkrollup di Bitcoin. 」

Pengenalan kembali OP_CAT memberi Bitcoin alat yang ampuh untuk mendukung proyek-proyek seperti BitVM, konsep yang baru-baru ini diperkenalkan untuk memvalidasi perhitungan sewenang-wenang pada Bitcoin yang akan dibuat lebih mudah dan lebih efisien berkat OP_CAT. Ekosistem Bitcoin memungkinkan pembuatan Kontrak Cerdas yang lebih fleksibel dan ekspresif.

Bacaan terkait: Apa pendapat pengembang veteran tentang BitVM untuk menghitung apa pun di Bitcoin?

Dengan OP_CAT, apa yang disebut kontrak pintar dapat diimplementasikan, yaitu kondisi yang ditentukan sebelumnya ditetapkan untuk output Bitcoin tertentu. Ini tidak hanya membuka pintu untuk metode penskalaan baru, seperti Blockstream’s Ark, tetapi juga mendukung banyak pendekatan inovatif lainnya yang mengandalkan Kontrak Cerdas. Selain itu, ini menandakan bahwa Bitcoin bukan hanya jaringan pembayaran, tetapi juga platform komputasi serbaguna yang dapat diskalakan.

Sementara co-creator Taproot Wizard Eric Wall sangat antusias dengan konsep di balik BitVM, ia yakin proposal tersebut bisa menjadi “jalan buntu teknis” untuk Bitcoin karena overhead yang besar dan siklus implementasi yang panjang. Dia khawatir BitVM dapat mengalihkan perhatian masyarakat dan menghambat pembangunan nyata. Meskipun demikian, proposal BitVM masih menunjukkan semangat aktif eksplorasi dan inovasi di bidang teknologi Blockchain dan Smart Contract.

Faktanya, tim proyek Taproot Wizard sendiri sedang berupaya menerapkan solusi lapisan 2 pada Bitcoin, dan di ruang sebelumnya, mereka juga mengatakan bahwa putaran pendanaan $ 7,5 juta yang telah selesai akan digunakan untuk mempelajari opsi penskalaan Bitcoin.

Oleh karena itu, garpu lunak OP_CAT juga akan menjadi langkah penting bagi mereka. Eric Wall, yang dulunya adalah anggota dewan StarkNet Foundation, memiliki minat besar dalam membangun DeFi selain menciptakan lapisan penyelesaian tanpa izin, jadi ketika Ethereum mulai muncul pada tahun 2019, ia secara alami tertarik ke ruang Keuangan Terdesentralisasi di Ethereum.

Eksplorasi Bitcoin tentang Keuangan Terdesentralisasi hampir sepenuhnya ditinggalkan ketika menjadi jelas pada tahun 2019 bahwa Ethereum dan blockchain lainnya dapat ditingkatkan dengan menggunakan zk-rollup atau bukti penipuan yang optimis. Dengan penelitian tentang kelayakan penskalaan zk-rollup yang diterapkan pada Bitcoin, Wall beralih untuk mendukung Keuangan Terdesentralisasi di Ethereum. Tapi akhirnya, dia mencoba membawa sistem ini dan keunggulan teknologi ini ke Bitcoin.

Selain itu, dalam utas diskusi tentang OP_CAT di forum bitcointalk, Carter Feldman (@cmpeq), pendiri proyek QED, ditanya bagaimana dia bermaksud memanfaatkan Kode Operasi ini dalam skrip Bitcoin, dan jika dia menghitung byte rata-rata tumpukan saksi dan biaya yang mungkin dikeluarkan.

Carter Feldman mengatakan dia mengakui bahwa ini bisa sedikit mahal, tetapi menjelaskan bahwa bukti Merkel terutama digunakan dalam proyeknya untuk membangun skrip penguncian tanpa kepercayaan atau sistem pasak sebagai bagian dari lapisan zk dua pada Bitcoin. Sistem ini bertujuan untuk membuktikan bahwa sejumlah Bitcoin dapat ditarik ke Alamat tertentu mengingat akar pohon penarikan (sebagai masukan publik ke Bukti Tanpa Pengetahuan).

Untuk mengatasi biaya, ia menyebutkan bahwa ini akan menjadi pilihan terakhir. Dia membayangkan bahwa pengguna biasa dapat membeli BTC yang dibungkus pada lapisan kedua dengan meminta penjual BTC yang dibungkus mengunci Token mereka di L2 untuk jangka waktu tertentu, selama waktu itu pembeli harus membuktikan bahwa mereka telah membayar penjual di Bitcoin L1. Mereka tahu bahwa mereka selalu dapat menukar Bitcoin tanpa kepercayaan jika mereka mau. Pada saat yang sama, beberapa penyedia likuiditas besar akan menjadi entitas yang benar-benar bertukar antara wBTC dan BTC dan mungkin membebankan biaya kecil kepada pengguna yang lebih kecil yang ingin membeli wBTC dari mereka atau menjembataninya kembali ke Bitcoin.

Jadi secara umum, proposal BIP OP_CAT dapat membantu membangun kontrak pintar di Bitcoin hanya dengan 13 baris kode, tetapi masih akan ada banyak diskusi dan solusi uji coba untuk detail spesifik dari setiap proyek.

Budaya memetik membangun momentum dan memajukan teknologi

Anggota tim TaprootWizards Rijndael (@rot 13 maxi) turun ke media sosial untuk berbagi berbagai mekanisme kompleks yang mereka gunakan untuk membuat karya seni. Untuk mencapai hal ini, mereka mengandalkan berbagai teknik, termasuk rekursi ordinal, transaksi yang telah ditandatangani sebelumnya, kriptografi simetris, dan manajemen beban sisi klien. Dalam proses pembuatan seni, mereka secara khusus memilih untuk menggunakan transaksi yang telah ditandatangani sebelumnya untuk melakukan operasi, menunjukkan cara mengirimkan hash transaksi menggunakan kontrak pintar seperti OP_CAT atau CTV.

Tetapi Armin Sabouri berkomentar sinis: "Kode dan upaya teknis yang diperlukan untuk membuat koleksi Token Non-fungible yang berkembang dapat 100 kali lipat jumlah pekerjaan yang diperlukan untuk mengaktifkan kembali Kode Operasi. 」

OP_CAT dianggap sebagai Kode Operasi yang sederhana dan mudah dipahami, dan telah diperdebatkan bahwa itu dapat membuat Bitcoin “kuantum aman” dengan menandatangani tanda tangan ECDSA. Ide ini didukung oleh beberapa orang dan menginspirasi Taproot Wizard untuk meluncurkan kampanye Quantum Cats Non-fungible Token untuk meningkatkan kesadaran akan OP_CAT.

Namun, bukan hanya OP_CAT yang menggunakan budaya memetik untuk membangun momentum kemajuan teknologi.

Terinspirasi oleh Quantum Cats dan harga jualnya 0,1 BTC, dan mungkin sebagian tidak puas dengan harga jualnya yang tinggi, komunitas OP_CTV juga telah meluncurkan meme sandwich bernama #rubinsreubens untuk mempromosikan teknologi OP_CTV.

Meme sandwich ini awalnya dimaksudkan sebagai respons lucu terhadap kucing kuantum dan memenya. Namun, ini sebenarnya sangat efektif karena, seperti CTV, ia menambahkan hierarki dan Anda dapat membuat sebanyak mungkin lapisan pada “sammich” yang Anda inginkan.

Meme sandwich ini telah menarik perhatian banyak orang. Meme itu lucu dan dapat digunakan untuk menunjukkan dukungan terhadap sesuatu, tetapi penting juga untuk memahami makna di baliknya. Tujuan dari #rubinsreubens ini adalah untuk meningkatkan pemahaman tentang proposal OP_ctv, LNHANCE, dan Soft Fork untuk Kode Operasi BTC baru dan memungkinkan Kontrak Cerdas.

Potensi penyebab kegagalan OP_CAT

Kembali ke OP_CAT, orang mungkin keberatan memperkenalkan fitur seperti OP_CAT karena sejumlah alasan. Pertama, menambahkan Kode Operasi atau fitur baru seperti OP_CAT dapat meningkatkan kompleksitas Bitcoin, membuatnya lebih sulit untuk dipahami dan aman digunakan, meningkatkan risiko. Kedua, masalah keamanan saat memperkenalkan fitur baru tidak boleh diabaikan, dan fitur yang belum sepenuhnya diuji dapat menyimpan kerentanan yang membahayakan keamanan Bitcoin secara keseluruhan. Selain itu, jika upgrade soft fork tidak diadopsi oleh semua node, hal itu dapat menyebabkan jaringan terpecah, menyebabkan versi jaringan Bitcoin yang berbeda hidup berdampingan, membuat mencapai konsensus menjadi lebih rumit.

Fitur baru dapat menimbulkan masalah kompatibilitas, terutama jika mereka tidak mendukung node yang lebih lama, berpotensi mengecualikan beberapa Node dari jaringan, berdampak negatif terhadap ekosistem Bitcoin. Khusus bagi pengguna yang belum meningkatkan, mereka mungkin menemukan diri mereka tidak dapat terus berpartisipasi dalam jaringan. Selain itu, beberapa orang mungkin melihat pengenalan fitur baru sebagai keputusan tergesa-gesa tanpa memprioritaskan penanganan masalah mendesak dalam protokol inti Bitcoin. Perubahan yang terburu-buru dapat menimbulkan risiko dan ketidakstabilan yang tidak perlu.

Selain pertimbangan keamanan dan risiko, dua alasan terbesar mengapa OP_CAT akan gagal adalah: ketakutan akan Smart Contract di komunitas Bitcoin, dan kurangnya “legitimasi” dalam BitcoinSmart Contract.

Takut Kontrak Pintar

Ketakutan akan BitcoinSmart Contract dapat menjadi hambatan signifikan lainnya untuk mencapai OP_CAT. Sebagai komponen inti dari teknologi Blockchain, Kontrak Cerdas memainkan peran penting dalam banyak proyek Blockchain, terutama pada platform seperti Ethereum.

Namun, di komunitas Bitcoin, penerimaan kontrak pintar relatif rendah, sebagian karena kekhawatiran tentang risiko dan tantangan yang dapat ditimbulkan oleh kontrak pintar. Kontrak Cerdas dapat memengaruhi nilai-nilai inti Bitcoin, seperti peer-to-peer, desentralisasi, dan keamanan. Komunitas Bitcoin mempertahankan nilai-nilai inti ini dengan sangat serius, dan setiap perubahan yang dianggap mengancam nilai-nilai ini kemungkinan akan ditentang.

Perhatian utama dengan Kontrak Cerdas adalah bahwa mereka dapat meningkatkan kompleksitas dan risiko keamanan di seluruh jaringan. Kontrak pintar sering melibatkan logika dan kode yang kompleks, dan bug atau kerentanan kecil apa pun dapat menyebabkan masalah keamanan yang serius dan bahkan kehilangan dana besar-besaran, seperti yang telah terjadi di beberapa proyek Blockchain di masa lalu. Selain itu, pengenalan kontrak pintar dapat membuat seluruh sistem lebih sulit untuk dipahami dan diaudit, meningkatkan kemungkinan kesalahan.

Selain itu, komunitas Bitcoin selalu menempatkan penekanan besar pada menjaga stabilitas dan keamanan jaringan. Filosofi desain Bitcoin condong ke arah kesederhanaan dan konservatisme, memprioritaskan keamanan dan desentralisasi jaringan. Akibatnya, setiap perubahan signifikan yang dapat menimbulkan ancaman bagi stabilitas dunia maya tunduk pada pengawasan ketat dan perdebatan ekstensif. Pengenalan OP_CAT dan Kontrak Cerdas, sementara berpotensi membawa fitur dan kemungkinan baru ke Bitcoin, juga dapat dilihat bertentangan dengan visi asli dan filosofi desain Bitcoin.

Apakah Satoshi Nakamoto “salah”?

Memulihkan Kode Operasi OP_CAT telah memicu diskusi mendalam di masyarakat, sebagian karena menyentuh topik sensitif: Apakah ini berarti Satoshi Nakamoto salah?

Sebagai pendiri Bitcoin, keputusan dan desain asli Satoshi Nakamoto dianggap sebagai kitab suci oleh banyak orang, dan visi aslinya dianggap sebagai panduan utama untuk pengembangan Bitcoin. Oleh karena itu, segala jenis tantangan atau modifikasi terhadap keputusan Satoshi Nakamoto dapat dilihat sebagai tidak menghormati warisannya atau penyimpangan dari prinsip-prinsip inti Bitcoin. Lagi pula, dalam industri Blockchain, legitimasi selalu menjadi topik yang tidak dapat dihindari.

Oleh karena itu, proposal untuk mengembalikan OP_CAT juga menyentuh pertanyaan yang lebih luas: haruskah Bitcoin menjadi entitas statis, atau haruskah ia beradaptasi dengan perubahan lingkungan teknologi dan kebutuhan pengguna?

Namun, bidang teknis selalu maju dan berubah, dan Bitcoin, sebagai inovasi teknologi, tidak dapat sepenuhnya menghilangkan undang-undang ini, dan tampaknya tim Taproot Wizard yang mendukung pemulihan OP_CAT berpikir demikian. Bagaimanapun, mereka sengaja merancang BitcoinBlock terbesar yang pernah ada, tepat di bawah batas Bitcoin 4 MB, untuk merilis Non-fungible Token Taproot Wizards.

Udi Wertheimer, pendiri Taproot Wizard, mengatakan dia mengerti bahwa banyak orang percaya bahwa Bitcoin seharusnya tidak berubah. Dia percaya bahwa perubahan Bitcoin harus lambat, hati-hati, dan disengaja. Dia berpendapat bahwa Bitcoin terlalu muda untuk sepenuhnya dipadatkan, mencatat bahwa proses tata kelola entah bagaimana rusak. Meskipun komunitas teknis umumnya setuju bahwa akan ada lebih banyak peningkatan ke Bitcoin, sangat sulit untuk menentukan dengan tepat peningkatan mana yang akan dilakukan. Namun, Wertheimer menekankan bahwa perubahan diperlukan karena Bitcoin saat ini belum mampu melayani miliaran orang.

Tentu saja, perubahan tersebut juga datang dengan risiko dan tantangan, seperti masalah keamanan, risiko fragmentasi jaringan, masalah kompatibilitas, dll., Yang perlu dipertimbangkan dan ditangani dengan cermat.

Dapat diprediksi, ke depan, untuk memastikan bahwa perbaikan yang diusulkan aman dan efektif, menyebarkan OP_CAT di lingkungan Testnet adalah langkah penting yang memungkinkan pengembang untuk mengidentifikasi dan menyelesaikan masalah tanpa memengaruhi Jaringan Utama.

Pada saat yang sama, untuk benar-benar mewujudkan “restart” OP_CAT, seluruh proses akan berlangsung lama, bahkan bertahun-tahun, karena melibatkan banyak pertimbangan dan keseimbangan, termasuk detail teknis, konsensus komunitas, dan pertimbangan untuk keamanan dan stabilitas jaringan Bitcoin, dan yang paling penting, dukungan dan pengakuan komunitas yang luas.