Crypto Gloss

Turing Complete

Sistem dikatakan Turing-complete jika dapat mensimulasikan mesin Turing mana pun — artinya dapat mengeksekusi algoritma yang dapat dihitung apa pun dengan cukup waktu dan memori; dalam kripto, kelengkapan Turing adalah properti yang memisahkan platform smart contract yang dapat diprogram seperti Ethereum dari sistem scripting yang lebih sederhana seperti Bitcoin Script; ini memungkinkan pembuatan protokol DeFi, DAO, game, dan logika on-chain arbitrer.

Cara Kerja

Konsep ini berasal dari model komputasi teoritis Alan Turing tahun 1936. Bahasa Turing-complete mendukung:

  • Percabangan kondisional (logika if/else)
  • Loop (kemampuan mengulang operasi)
  • Akses memori arbitrer (baca/tulis ke storage)

Dengan kemampuan ini, sistem secara teoritis dapat menghitung apa pun yang dapat dihitung.

Kelengkapan Turing di Blockchain

Platform Turing Complete Bahasa Kemampuan
Bitcoin Tidak Script Kondisi transaksi dasar
Ethereum Ya (dengan batas gas) Solidity, Vyper Smart contract arbitrer
Solana Ya Rust, C Program throughput tinggi
Cardano Ya Plutus, Aiken Kontrak yang ramah verifikasi formal

Mengapa Bitcoin tidak Turing-complete? Bitcoin Script secara sengaja tidak memiliki loop untuk mencegah eksekusi tak terbatas dan mengurangi permukaan serangan. Bahasa scripting Bitcoin menangani kondisi transaksi (multisig, timelocks) tetapi tidak dapat menjalankan program tujuan umum.

Masalah Penghentian dan Gas

Kelengkapan Turing sejati berarti kemampuan menjalankan program yang tidak pernah berhenti (loop tak terbatas). Ethereum menyelesaikan ini dengan sistem gas — setiap komputasi membutuhkan gas, dan transaksi memiliki batas gas. Jika eksekusi melebihi batas, ini dikembalikan. Ini membuat EVM “quasi-Turing-complete” atau “Turing-complete dengan eksekusi terbatas.”

Sejarah

  • 1936 — Alan Turing menerbitkan “On Computable Numbers”, mendefinisikan mesin Turing teoritis.**
  • 2009 — Bitcoin diluncurkan dengan bahasa scripting yang secara sengaja tidak Turing-complete, memprioritaskan keamanan.**
  • 2015 — Ethereum diluncurkan sebagai blockchain Turing-complete pertama, memungkinkan eksekusi smart contract arbitrer.**
  • 2020 — DeFi Summer mendemonstrasikan kekuatan kelengkapan Turing, karena protokol keuangan kompleks dikombinasikan — “DeFi Lego.”**

Kesalahpahaman Umum

“Karena Bitcoin tidak Turing-complete, ia kurang berguna.”

Ini tergantung pada kasus penggunaan. Untuk menjadi penyimpan nilai atau mata uang digital yang aman, kesederhanaan dan keterbatasan Bitcoin Script justru merupakan keuntungan keamanan — lebih sedikit kompleksitas berarti permukaan serangan yang lebih kecil. Turing-completeness datang dengan risiko (serangan reentrancy, bug logika kompleks) yang tidak ada dalam sistem non-Turing-complete seperti Bitcoin.

Kritik

  • Turing completeness memungkinkan smart contract yang terlalu kompleks: Kemampuan untuk menulis logika arbitrer dalam smart contract berarti developer bisa — dan sering — menulis kode yang sangat kompleks dengan surface area bug yang sangat luas. Bitcoin sengaja bukan Turing complete untuk alasan keamanan.
  • Halting problem menciptakan tantangan unik di blockchain: Karena Ethereum Turing complete, tidak mungkin secara matematis menentukan apakah suatu smart contract akan berjalan selamanya (infinite loop). Gas mechanism adalah solusi pragmatis, tapi bukan solusi matematis sempurna.
  • Kompleksitas vs. keamanan adalah trade-off nyata: Blockchain seperti Bitcoin yang memilih bahasa scripting terbatas (bukan Turing complete) menerima keterbatasan fungsional sebagai trade-off untuk keamanan yang lebih mudah dianalisis. Ini adalah desain choice yang valid yang sering diremehkan oleh pengadvokat smart contract.

Sentimen Media Sosial

  • r/ethereum / r/Bitcoin / r/programming: Turing completeness adalah konsep yang mendapat diskusi di interseksi antara komunitas kripto teknikal dan computer science. Debat tentang mengapa Bitcoin memilih scripting terbatas vs. Ethereum yang Turing complete mendapat thread panjang.
  • X/Twitter: Konsep Turing completeness sering disebut dalam diskusi tentang keamanan smart contract dan batasan desain blockchain. Developer dan peneliti keamanan kripto aktif mendiskusikan implikasinya.
  • Telegram (komunitas developer Indonesia): Turing completeness lebih dikenal di kalangan developer Solidity dan blockchain developer Indonesia dibanding komunitas investor umum — relevan saat mendiskusikan kemampuan dan batasan platform smart contract yang berbeda.

Terakhir diperbarui: 2026-04

Istilah Terkait

Lihat Juga

Sumber