MSTR Cat

Blockchain/Tahap VII · Evolusi/7.1 Ethereum: komputer dunia/Pelajaran 1

Ethereum: Kuasa dan harga kebolehprograman

Perangkap Turing: apa yang berlaku apabila sebuah buku akaun boleh menjalankan sebarang program

BahanSalinan BIP-341 (Taproot)Kertas putih Ethereum (2014)Kertas kerja BitVM (2023)

Ingin tahu

  1. Mengapakah keupayaan untuk melaksanakan sebarang kod pasti akan memperluas ruang untuk kecurian?
  2. Bagaimanakah sebuah komuniti melakukan fork pada rantaiannya sendiri untuk membalikkan kesan penggodaman, dan mengapa Bitcoin menolak duluan tersebut?
  3. Apakah mekanisme tepat yang digunakan oleh Bitcoin untuk mengesahkan pengiraan yang berat tanpa melaksanakannya?

Teroka

  1. Ethereum dilancarkan pada Julai 2015 dengan matlamat yang berbeza daripada Bitcoin: kebolehprograman serba guna. Sementara skrip Bitcoin direka untuk transaksi kewangan yang khusus dan boleh diaudit, Ethereum memperkenalkan mesin maya yang lengkap Turing (EVM). Ini membolehkan para pembangun menulis dan melaksanakan sebarang jenis program secara langsung pada rantaian. Hasilnya ialah ledakan token, protokol kewangan terdesentralisasi, dan token tidak boleh ditukar ganti (NFT) yang mustahil untuk direplikasi dalam persekitaran skrip Bitcoin yang terhad.
  2. Kuasa pengiraan umum mempunyai harga yang perlu dibayar. Pada Jun 2016, ralat rekursif dalam kontrak pintar The DAO membolehkan penyerang mencuri kira-kira satu pertiga daripada dana yang dikumpulkan. Komuniti Ethereum berhadapan dengan krisis: adakah mereka harus membiarkan kod tersebut dilaksanakan sebagaimana ditulis (“kod adalah undang-undang”) atau campur tangan? Mereka memilih untuk campur tangan, dengan melaksanakan hard fork yang memindahkan dana yang dicuri ke kontrak pengembalian wang melalui perubahan keadaan yang tidak biasa. Keputusan ini menyebabkan rangkaian tersebut terbahagi kepada Ethereum dan Ethereum Classic, membuktikan bahawa konsensus sosial boleh mengatasi kod yang tidak boleh diubah.
  3. Insiden The DAO menonjolkan satu kelemahan struktur: keupayaan ekspresif memperbesar permukaan serangan. Kebanyakan kes kecurian seterusnya pada rantaian boleh atur cara bukan berpunca daripada kegagalan kriptografi, tetapi daripada kunci pentadbiran yang masih dikekalkan, logik kontrak yang boleh dinaik taraf, atau ralat pengaturcaraan yang mudah. Apabila sebuah rantaian membenarkan sebarang program dijalankan, setiap ciri baharu menambah kerumitan yang boleh dieksploitasi. Beban keselamatan beralih daripada pereka protokol kepada ribuan pembangun individu yang mungkin tidak menjalankan audit yang ketat.
  4. Satu jawapan kepada permukaan serangan itu datang daripada dalam bahasa pengaturcaraan itu sendiri. Move, yang ditulis di Facebook untuk projek Libra (kemudian Diem) yang telah ditinggalkan, menganggap token sebagai sumber (resource): nilai yang tidak dibenarkan oleh sistem jenis untuk disalin atau dibuang secara senyap oleh sesebuah program, maka seluruh kelas pepijat pengiraan berganda dan kehilangan dana gagal dikompil, bukannya gagal semasa operasi sebenar. Apabila Diem ditutup pada tahun 2022, bekas jurutera Diem membawa Move ke rantaian baharu. Aptos, yang diasaskan oleh Avery Ching dan Mo Shaikh, melancarkan mainnetnya pada 17 Oktober 2022 dengan Block-STM, sebuah enjin pelaksanaan selari yang menjalankan transaksi secara optimistik, kemudian memeriksa transaksi mana yang menyentuh data yang sama, dan hanya melaksanakan semula transaksi tersebut. Kejuruteraannya terkehadapan; pelancarannya tidak. Bursa menyenaraikan token APT sebelum agihannya diterbitkan, angka-angkanya menunjukkan kira-kira separuh daripada bekalan diperuntukkan kepada pelabur, penyumbang teras dan yayasan, aktiviti on-chain pada peringkat awal jauh lebih rendah daripada daya pemprosesan yang diiklankan, dan pasukannya mengakui bahawa pelancaran itu "boleh berjalan dengan lebih baik." Sui, yang dibina oleh sekumpulan lain bekas jurutera Diem, menyusul dengan mainnet berasaskan Move miliknya sendiri pada tahun 2023. Pengajarannya terpakai kedua-dua hala: bahasa yang lebih selamat mengecilkan permukaan serangan, tetapi teknologi tidak dapat menyelamatkan pelancaran yang tidak dapat diteliti oleh pemegangnya.
  5. Tindak balas Bitcoin ialah penerimaan secara terpilih dan bukannya peniruan secara menyeluruh. Daripada pengiraan umum, Bitcoin telah mengintegrasikan keupayaan khusus yang boleh diaudit. Taproot, yang diaktifkan pada November 2021, memperkenalkan pepohon skrip (script tree) yang membolehkan syarat perbelanjaan yang kompleks sambil mengekalkan privasi dan kecekapan. Dompet pula menerima pakai PSBT (Partially Signed Bitcoin Transactions), iaitu format standard untuk menghantar transaksi antara penandatangan. Penambahan ini meningkatkan fungsi tanpa memperkenalkan mesin maya serba guna yang membolehkan sebarang kod berpepijat menjejaskan seluruh rangkaian.
  6. Untuk pengiraan berat yang tidak dapat dikendalikan oleh skrip ringkas, pendekatan BitVM menawarkan jalan ke hadapan. Dicadangkan oleh Robin Linus pada tahun 2023, BitVM mengekalkan pengiraan berat di luar rantaian; hanya langkah yang dipertikaikan diperiksa di Bitcoin, dan itu pun hanya jika ada pihak yang mencabar. Ini mengekalkan lapisan asas Bitcoin yang ramping sambil membolehkan aplikasi canggih, sekali gus memastikan protokol terasnya kekal ringkas, boleh disahkan, dan tahan terhadap jenis kegagalan berantai yang dilihat dalam persekitaran kontrak pintar serba guna.
  7. Pertukarannya jelas: Ethereum mengutamakan fleksibiliti dengan menanggung kos kerumitan keselamatan dan risiko kebolehnaiktarafan; Bitcoin pula mengutamakan kestabilan dan kejelasan dengan mengehadkan pengiraan. Bagi sebarang ciri baharu yang ditambah pada sesebuah rantaian, ujiannya ialah sama ada ia memperkenalkan keadaan tersembunyi atau kuasa pentadbiran yang boleh disalahgunakan. Jika sesuatu keupayaan tidak dapat disahkan melalui peraturan yang ringkas dan telus tanpa bergantung pada pihak ketiga yang dipercayai atau fork konsensus sosial yang rumit, ia membawa risiko yang wujud secara semula jadi. Perbezaan inilah yang mentakrifkan perbezaan seni bina semasa antara dua rantaian terkemuka ini.

Fakta utama

  • Mainnet Ethereum dilancarkan pada Julai 2015 dengan mesin maya yang lengkap mengikut konsep Turing.
  • Penggodaman DAO berlaku pada Jun 2016, yang menyebabkan hard fork dan memisahkan rantai tersebut.
  • Taproot diaktifkan pada Bitcoin pada bulan November 2021 (blok 709,632), memperkenalkan pepohon skrip (script tree).
  • Kebanyakan kecurian kontrak pintar berpunca daripada kunci pentadbiran yang masih disimpan atau ralat pengaturcaraan, bukan kegagalan kriptografi.
  • Move (dari projek Libra/Diem Facebook) menganggap token sebagai sumber yang tidak boleh disalin atau dibuang; Aptos melancarkan rangkaian utamanya yang berasaskan Move pada 17 Oktober 2022 dengan pelaksanaan selari Block-STM.
  • BitVM membolehkan pengiraan di luar rantaian bersama penyelesaian pertikaian dalam rantaian untuk mengekalkan lapisan asas yang ringan.
  • PSBT membenarkan aliran kerja penandatanganan transaksi pelbagai pihak dengan akauntabiliti yang jelas.

Latihan sembilan, enam, tiga, satu

9KumpulSenaraikan 9 ciri atau protokol kontrak pintar. Nyatakan sama ada setiap satunya bergantung pada pengiraan umum, logik skrip khusus, atau oracle luaran.
6KelompokkanKumpulkan 9 tersebut kepada 6 berdasarkan permukaan serangan yang dihasilkan oleh setiap satu.
3SaringKurangkan daripada 6 kepada 3 sebab utama mengapa pengkomputeran serba guna meningkatkan risiko sistemik.
1KristalkanTulis 1 ayat tentang di mana anda akan menetapkan garis pemisah antara keupayaan yang selamat dengan keupayaan yang berbahaya, dan mengapa.

Semakan fakta

Tarikh, angka dan dakwaan telah disemak berbanding dengan sumber yang diterbitkan yang disenaraikan di bawah.

Buka dalam akademi interaktif →

EN PT ES ZH JA KO RU DE FR