Apa itu Tezo? Harus Membaca Panduan Ultimate

2019-04-29

Tezos menyerbu ruang crypto dengan mengumpulkan $ 232 juta dalamICO mereka yang memecahkan rekor . Sejak ICO mereka , tanggal peluncuran mereka terus-menerus tertunda karena drama di belakang layar dan konflik lainnya. Tezos secara resmi diluncurkan pada September 2018 dan sekarang adalah saat yang tepat untuk melihat proyek yang menarik ini. Jadi, apa itu Tezo?

Menurut situs web Tezos, “Tezos adalah blockchain baru yang terdesentralisasi yang mengatur dirinya sendiri dengan membangun persemakmuran digital sejati.”

Commonwealth adalah kelompok yang memilih untuk dihubungkan bersama karena tujuan dan minat mereka bersama. Tujuan utama Tezo adalah membuat pemegang token mereka bekerja bersama untuk membuat keputusan yang akan meningkatkan protokol mereka dari waktu ke waktu. Token Tezos asli adalah XTZ.

Ada banyak fitur di Tezo yang membuatnya unik. Kami akan membahasnya nanti dalam panduan ini. Untuk saat ini, mari beri Anda sedikit latar belakang tentang proyek ini.

Sejarah Singkat Apa itu Tezos

Para pendiri, Arthur Breitman, dan Kathleen Breitman, telah mengembangkan Tezos sejak 2014 dengan kelompok inti pengembang.Perusahaan ini berkantor pusat di Swiss. Seperti yang telah kami katakan, mereka mengumpulkan $ 232 juta dalam ICO yang belum dibuka hanya dalam 2 minggu, menerima kontribusi bitcoin dan eter. Tak lama setelah ICO bersejarah mereka, Tezos pertama kali mengalami banyak masalah manajemen. Untuk memahami masalah manajemen ini, Anda harus tahu bahwa perusahaan pendiri Tezos bernama DLS (Dynamic Ledger Solutions) dan perusahaan yang menyimpan semua dana yang dikumpulkan selama ICO dinamai “Yayasan Tezos.”

Arthur dan Kathleen Breitman terlibat pertengkaran publik dengan Presiden Yayasan Tezos, Johann Gevers. Rupanya, Gevers, yang mengendalikan dana, menolak untuk mengucurkan dana kepada Breitmans. Perselisihan ini menyebabkan kekacauan dalam komunitas dan estimasi nilai tukar anjlok. Breitmans merilis pernyataan pedas tentang Gevers yang mencakup kata-kata seperti “self-deal, self-promotion, dan konflik kepentingan”.

Akhirnya, setelah banyak drama dan perhatian media yang tidak diinginkan, Gevers meninggalkan perusahaan setelah menerima pesangon lebih dari $ 400.000. Sekarang segalanya akhirnya berjalan lancar. Jadi, pada catatan itu, mari kita masuk ke detail telanjang.

Arsitektur Tezos

Anda tidak dapat menjawab pertanyaan dengan tepat “apa itu tezos?” The blockchain Tezos menggunakan middleware asli agonistik yang disebut ‘Network Shell.’ Ini memungkinkan mereka untuk mengembangkan gaya modular dengan buku besar yang mengubah diri sendiri. Protokol blockchain generik dibagi menjadi tiga lapisan:

Protokol Jaringan : Ini adalah protokol gosip yang bertanggung jawab untuk mendengarkan rekan dan menyiarkan antar node.
Protokol Transaksi : Ini adalah lapisan transaksional yang mendefinisikan model akuntansi yang diterapkan oleh blockchain.
Protokol Konsensus : Cukup jelas. Ini mendefinisikan protokol konsensus yang akan membantu blockchain kami mencapai kesepakatan tentang keadaan transaksi kami.

Dalam Tezos, dua protokol terakhir, Transaksi dan Konsensus, digabungkan bersama untuk disebut sebagai Protokol Blockchain.Network Shell membantu dalam komunikasi antara protokol jaringan dan protokol blockchain. Shell jaringan bersifat agnostik terhadap protokol transaksi dan protokol konsensus.

Dua Akun Tezos

Dua jenis akun yang dapat Anda gunakan di Tezo adalah:

Akun Tersirat.
Akun Berasal.

Akun Tersirat

Ini adalah akun paling umum di Tezo. Mereka mulai dengan tz1 (Mis:tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1 ). Ini adalah akun sederhana yang dihasilkan dari sepasang kunci publik / pribadi. Alamat publik tz1 berasal dari kunci publik dan setiap akun tz1 memiliki kunci pribadi sendiri. Akun ini memiliki pemilik akun dan saldo akun.

Akun implisit tidak dapat memiliki delegasi. Untuk mendelegasikan dana, mereka harus mentransfer dana ke akun asal dan kemudian delegasi harus ditetapkan.

Akun Berasal

Bersamaan dengan akun implisit Anda juga memiliki akun untuk kontrak pintar Anda yang disebut akun asli. Ini dimulai dengan KT1 (Mis: KT1Wv8Ted4b6raZDMoepkCPT8MkNFxyT2Ddo). Akun ini memiliki bidang berikut:

Manajer – Ini adalah kunci pribadi akun
Jumlah – Jumlah Tz dalam akun ini
Dapat didelegasikan – Jika dana akun ini dapat didelegasikan untuk dipanggang
Delegasikan bidang – Info tentang siapa yang didelegasikan ke akun ini untuk dipanggang.

Akun asli dapat mendelegasikan dana ke akun implisit pembuat roti.Kami akan berbicara lebih banyak tentang tukang roti nanti.

Tezos memiliki tiga kemampuan unik:

Tata kelola rantai dan amandemen sendiri.
Mekanisme konsensus Bukti-Saham Cair
Kontrak pintar dengan verifikasi formal.

Mari kita telusuri masing-masing satu per satu.

Tata Kelola Rantai dan Pengubahan Mandiri

Untuk memahami pentingnya tata kelola on-chain dan self-amandemen, Anda harus terlebih dahulu memahami “kata-F” di komunitas crypto, fork.

Garpu adalah suatu kondisi di mana keadaan blockchain menyimpang ke dalam rantai di mana bagian dari jaringan memiliki perspektif yang berbeda pada sejarah transaksi daripada bagian yang berbeda dari jaringan. Itu pada dasarnya apa garpu , itu adalah perbedaan dalam perspektif keadaan blockchain. Garpu dapat dicapai dengan garpu lunak atau garpu keras.

Apa itu Garpu Lunak?

Setiap kali rantai perlu diperbarui ada dua cara untuk melakukan itu: garpu lembut atau garpu keras. Pikirkan garpu lunak sebagai pembaruan dalam perangkat lunak yang kompatibel dengan mundur. Apa artinya?Misalkan Anda menjalankan MS Excel 2005 di laptop Anda dan Anda ingin membuka spreadsheet yang dibangun di MS Excel 2015, Anda masih bisa membukanya karena MS Excel 2015 kompatibel ke belakang.

TAPI, setelah mengatakan bahwa ada perbedaan. Semua pembaruan yang dapat Anda nikmati di versi yang lebih baru tidak akan terlihat oleh Anda di versi yang lebih lama. Kembali ke analogi MS excel kami lagi, misalkan ada fitur yang memungkinkan untuk memasukkan GIF di spreadsheet dalam versi 2015, Anda tidak akan melihat GIF tersebut dalam versi 2005. Jadi pada dasarnya, Anda akan melihat semua teks tetapi tidak akan melihat GIF.

Apa itu Hard Fork?

Perbedaan utama antara garpu lembut dan garpu keras adalah bahwa garpu tidak kompatibel ke belakang. Setelah digunakan sama sekali tidak ada jalan untuk kembali. Jika Anda tidak bergabung dengan versi upgrade dari blockchain maka Anda tidak mendapatkan akses ke pembaruan baru atau berinteraksi dengan pengguna sistem baru apa pun. Pikirkan PlayStation 3 dan PlayStation 4. Anda tidak dapat memainkan game PS3 di PS4 dan Anda tidak bisa memainkan game PS4 di PS3.

Andreas Antonopoulos menjelaskan perbedaan antara garpu keras dan lunak seperti ini: Jika sebuah restoran vegetarian memilih untuk menambahkan daging babi ke dalam menu mereka, itu akan dianggap sebagai garpu yang keras. jika mereka memutuskan untuk menambahkan hidangan vegan, semua orang yang vegetarian masih bisa makan vegan, Anda tidak harus menjadi vegan untuk makan di sana, Anda masih bisa menjadi vegetarian untuk makan di sana dan pemakan daging juga bisa makan di sana sehingga itu adalah garpu yang lembut .

Sekarang, satu hal harus jelas di sini. Garpu bukan hal yang buruk.Platform berkualitas tinggi harus selalu berkembang dan memperbarui dirinya sendiri. Untuk melakukannya, sangat penting bagi sistem untuk melalui garpu konstan, keras dan lunak. Masalah utama terletak pada pertikaian keras yang memecah belah komunitas.

Contoh paling jelas dari hal ini adalah semua garpu sulit yang telah dilalui Bitcoin dan Bitcoin. Bitcoin dipecah menjadi Bitcoin dan Bitcoin Cash sementara Bitcoin Cash itu sendiri kemudian dibagi menjadi Bitcoin Cash dan Bitcoin SV. Pemisahan Bitcoin dan Bitcoin SV sangat buruk. Itu memicu, yang disebut, “perang hash.”

Perang hash pada dasarnya adalah dua rantai ini menggunakan kekuatan hash mereka untuk menambang rantai terpanjang. Yang memiliki rantai terpanjang konon menjadi rantai kas Bitcoin yang dominan. Sikap yang tidak perlu ini menjerumuskan seluruh komunitas crypto ketika seluruh pasar turun nilainya. Lebih buruk lagi, itu membagi komunitas Bitcoin Cash menjadi dua.

Inilah yang ingin dihindari oleh Tezo.
Sebagai Kathleen Breitman katakan , “Ironi besar dari bitcoin adalah bahwa hal itu akhirnya alat untuk konsensus masyarakat, tapi itu [dirusak oleh] sejumlah besar permusuhan. Tezos memungkinkan terjadinya inovasi dalam cara yang sistematis daripada yang lahir dari politik. Anda tidak akan menemukan dua orang yang tidak suka berpolitik lebih dari Arthur dan saya.Itulah ide di balik Tezo: mari memformalkan proses informal yang luar biasa ini. “

Bagaimana Tezos Mengurangi Ini?

Tezos meredakan pertengkaran keras melalui amandemen mandiri dan tata kelola rantai-rantai. Amandemen diri membantu dalam meningkatkan blockchain tanpa mengalami kesulitan. Tata kelola on-chain berarti memilih pada platform atas amandemen yang diusulkan.Dengan kombinasi tata kelola on-chain dan acara amandemen sendiri, proses pemungutan suara dapat diubah alias diubah sesuai kebutuhan.Para pemangku kepentingan sistem (yang akan kita bicarakan nanti) akan mengurus pemungutan suara. Desain sistem ini memungkinkan evolusi yang mulus dari blockchain daripada harus bekerja keras.

Baiklah, jadi bagaimana cara kerjanya?

Pengembang secara independen mengajukan proposal untuk peningkatan protokol dan meminta kompensasi untuk pekerjaan mereka.
Permintaan kompensasi memastikan bahwa pengembang memiliki insentif ekonomi yang kuat untuk berkontribusi pada ekosistem
Proposal melewati periode pengujian di mana komunitas menguji protokol dan mengkritiknya untuk kemungkinan perbaikan.
Setelah pengujian berulang, pemegang token Tezos kemudian dapat memilih apakah proposal harus disetujui atau tidak.
Setelah upgrade yang sah diputuskan, “hot swap” terjadi pada protokol, yang memulai versi baru dari protokol.

Karena sistem ini, protokol ditingkatkan secara pasif dalam cara yang terdesentralisasi. Setiap peningkatan protokol dilakukan melalui beberapa periode pengujian dan mendapatkan umpan balik yang relevan dari komunitas. Ini memastikan bahwa perbaikan apa pun yang terjadi memiliki cap persetujuan dari mayoritas masyarakat. Ini mencegah kemungkinan garpu keras yang memecah komunitas.

Bukti Cair Pasak

Mekanisme konsensus adalah jantung dan jiwa dari jaringan yangterdesentralisasi . Tidak ada gunanya menghubungkan beberapa node di seluruh jaringan area luas jika tidak ada metode konkret bagi mereka untuk berkomunikasi satu sama lain dan mengambil keputusan. Ketika Satoshi Nakamoto menciptakan Bitcoin, ia mengintegrasikan mekanisme konsensus bukti kerja di dalamnya. Gagasan mekanisme POW cukup sederhana:

Mintalah para penambang menggunakan kekuatan komputasi mereka untuk memecahkan teka-teki yang sulit secara kriptografis.
Hadiahi para penambang yang mampu memecahkan teka-teki itu.

Sesederhana itu. Teka-teki ini sangat sulit sehingga biasanya membutuhkan banyak daya komputasi Anda. Meskipun POW benar-benar efektif ketika dimulai, ia memiliki banyak masalah:

Pertama dan terutama, bukti kerja adalah proses yang sangat tidak efisien karena banyaknya tenaga dan energi yang dimakannya.
Orang dan organisasi yang mampu membeli ASIC lebih cepat dan lebih kuat biasanya memiliki peluang lebih baik untuk menambang daripada yang lain.
POW mengarah pada sentralisasi.

Untuk mengatasi masalah POW, protokol konsensus baru yang disebut “Bukti Pasak” atau POS telah dibuat.

Apa Bukti kepemilikan?

Bukti kepemilikan akan membuat seluruh proses penambangan virtual dan mengganti penambang dengan validator.

Beginilah proses akan bekerja:

Validator harus mengunci beberapa koin mereka sebagai taruhan.
Setelah itu, mereka akan mulai memvalidasi blok. Artinya, ketika mereka menemukan blok yang menurut mereka dapat ditambahkan ke rantai, mereka akan memvalidasinya dengan menempatkan taruhan di atasnya.
Jika blok ditambahkan, maka validator akan mendapatkan hadiah yang sebanding dengan taruhan mereka.

Namun, ini bisa menjadi masalah karena masih mencakup seluruh komunitas dan mungkin bukan metode yang paling skalabel. Inilah sebabnya, banyak blockchains modern seperti EOS , Cardano , Lisk, NEOdll dibangun menggunakan protokol yang didelegasikan. EOS dan Lisk menggunakan protokol bukti kepemilikan yang didelegasikan di mana sejumlah delegasi tetap dipilih sebelumnya. Delegasi ini adalah yang bertanggung jawab atas konsensus dan kesejahteraan jaringan umum.

Mekanisme konsensus Tezos mirip dengan ini tetapi dengan sedikit perbedaan. Alih-alih delegasi hardcore, Tezo menggabungkan model demokrasi cair untuk konsensusnya.

Bagaimana Cara Kerja Demokrasi Likuid?

Ini adalah sistem transisi yang lancar antara demokrasi langsung dan demokrasi representatif.

Proses ini memiliki fitur berikut:

Orang-orang dapat memilih kebijakan mereka secara langsung.
Orang-orang dapat mendelegasikan tanggung jawab memilih mereka kepada seorang delegasi yang dapat memilih kebijakan mereka untuk mereka.
Delegasi itu sendiri dapat mendelegasikan tanggung jawab memilih mereka kepada delegasi lain yang dapat memberikan suara atas nama mereka. Properti ini dimana delegasi dapat menunjuk delegasi mereka sendiri disebut transitivitas.
Jika seseorang, yang telah mendelegasikan pemilihan mereka tidak menyukai suara yang dipilih oleh delegasi mereka, maka mereka dapat dengan mudah mengambil kembali suara mereka dan memilih kebijakan itu sendiri.

PANDUAN TERKAIT

Pelajari Apa itu Token Perhatian Dasar: Panduan Paling Komprehensif Yang Pernah Ada Top 5 Cryptocurrency: Edisi Aktivitas Pengembang – November 2018 Memperkenalkan Bumo Blockchain

Jadi, apa kelebihan demokrasi cair?

Pendapat masing-masing orang penting dan berperan dalam pembuatan kebijakan akhir.
Untuk menjadi seorang delegasi, yang perlu dilakukan adalah memenangkan kepercayaan seseorang. Mereka tidak perlu menghabiskan jutaan dolar untuk kampanye pemilihan mahal. Karena itu, penghalang untuk masuk relatif rendah.
Karena opsi untuk berosilasi antara demokrasi langsung dan yang didelegasikan, kelompok-kelompok minoritas dapat lebih terwakili secara adil.
Akhirnya, ia memiliki model yang skalabel. Siapa pun yang tidak memiliki waktu untuk memberikan suara pada kebijakan mereka dapat dengan mudah mendelegasikan tanggung jawab memilih mereka.

Apa itu Bukti Cair Pasak?

Tidak seperti DPoS (bukti kepemilikan yang didelegasikan), tidak ada aturan keras dan cepat yang harus dipilih oleh para delegasi. Ini sepenuhnya tergantung pada peserta tentang apa yang ingin mereka lakukan. Baiklah, jadi mari kita mulai dengan LPoS.

Tezos adalah bukti cair dari sistem pasak yang mengharuskan seseorang untuk mempertaruhkan sejumlah token Tezos tertentu untuk berpartisipasi dalam konsensus atas blockchain. Proses mempertaruhkan Tezos token (XTZ) disebut memanggang.

Pemegang token alias “tukang roti” dapat mendelegasikan hak validasinya kepada pemegang token lain tanpa mengalihkan kepemilikan. Tidak seperti EOS, delegasi bersifat opsional.

Blok Kue

Anda menemukan dan menambahkan blok ke blockchain Tezos melalui proses yang disebut “memanggang.” Ini adalah cara kerjanya:

Roti mendapatkan hak penerbitan blok berdasarkan saham mereka.
Setiap blok dipanggang oleh pembuat roti acak dan kemudian diaktakan oleh 32 pembuat roti acak lainnya.
Jika blok baik untuk pergi maka blok ditambahkan ke blockchain.
Pembuat roti yang sukses mendapatkan hadiah blok dan dapat membebankan biaya transaksi untuk semua transaksi di dalam blok.

Seperti yang telah kami katakan sebelumnya, pemegang token memiliki opsi untuk mendelegasikan hak membuat kue mereka kepada pemegang lain tanpa melepaskan kepemilikan token mereka. Setelah proses memanggang selesai, pembuat roti akan membagikan hadiah mereka dengan seluruh delegasi.

Kontrak Cerdas dan Verifikasi Formal

Tezos telah dikodekan menggunakan OCaml. Kontrak pintar yang akan dijalankan pada Tezos akan dibuat menggunakan Michelson. Jadi, apa yang spesial dari bahasa-bahasa ini? Keduanya merupakan bahasa fungsional.

Ketika berbicara tentang bahasa, mereka milik dua keluarga:

Imperatif
Fungsional

Bahasa Pemrograman Imperatif

Dalam pendekatan imperatif, pembuat kode harus meletakkan semua langkah yang perlu dilakukan komputer untuk mencapai tujuan. Semua bahasa pemrograman tradisional kami seperti C ++, Java dan bahkan Solidity adalah bahasa pemrograman yang sangat penting. Pendekatan pemrograman semacam ini juga disebut pemrograman algoritmik.

Mari kita ambil contoh apa yang kita maksud dengan itu. Mari kita lihat C ++. Misalkan kita ingin menambahkan 5 dan 3.

int a = 5;

int b = 3;

int c;

c = a + b;

Jadi, seperti yang Anda lihat, proses penambahan mengambil alih beberapa langkah dan setiap langkah terus-menerus mengubah status program karena semuanya dijalankan secara terpisah.

Proses penambahan mengambil empat langkah dan langkah-langkahnya adalah:

Mendeklarasikan integer a dan menetapkan nilai 5 untuknya.
Mendeklarasikan bilangan bulat b dan menetapkan nilai 3 untuknya.
Mendeklarasikan bilangan bulat c.
Menambahkan nilai-nilai dan b dan menyimpannya di c.

Bahasa Pemrograman Fungsional

Keluarga kedua bahasa pemrograman adalah bahasa Fungsional. Gaya pemrograman ini dibuat untuk membangun pendekatan fungsional untuk pemecahan masalah. Pendekatan semacam ini disebut pemrograman deklaratif.

Jadi, bagaimana cara kerja pemrograman fungsional?

Misalkan ada fungsi f (x) yang ingin kita gunakan untuk menghitung fungsi g (x) dan kemudian kita ingin menggunakannya untuk bekerja dengan fungsi h (x). Alih-alih menyelesaikan semua itu secara berurutan, kita dapat dengan mudah menggabungkan semuanya dalam satu fungsi seperti ini:

h (g (f (x)))

Ini membuat pendekatan fungsional lebih mudah untuk bernalar secara matematis. Inilah sebabnya mengapa program fungsional seharusnya menjadi pendekatan yang lebih aman untuk pembuatan kontrak pintar.Ini juga membantu dalam Verifikasi Formal yang lebih sederhana yang berarti lebih mudah untuk membuktikan secara matematis apa yang dilakukan suatu program dan bagaimana kerjanya.

Mari kita ambil contoh kehidupan nyata dari hal ini dan lihat mengapa itu bisa menjadi sangat kritis dan bahkan menyelamatkan jiwa dalam kondisi tertentu.

Misalkan, kita mengkode program yang mengontrol lalu lintas udara.

Seperti yang dapat Anda bayangkan, pengkodean sistem semacam itu membutuhkan tingkat presisi dan akurasi yang tinggi. Kita tidak bisa begitu saja membuat kode secara membuta dan berharap untuk yang terbaik ketika hidup orang-orang dalam bahaya. Dalam situasi seperti ini, kita membutuhkan kode yang dapat dibuktikan dapat bekerja pada tingkat kepastian matematika yang tinggi.

Inilah sebabnya mengapa pendekatan fungsional sangat diinginkan.Inilah sebabnya mengapa Tezos menggunakan OCaml dan kontrak pintar mereka menggunakan Michelson.

Tabel berikut membandingkan pendekatan Imperatif dengan pendekatan Fungsional.

Kredit Gambar: Docs.Microsoft.com

Jadi, mari kita lihat kelebihan dari pendekatan fungsional:

Membantu menciptakan kode jaminan tinggi karena lebih mudah untuk membuktikan bagaimana kode tersebut akan berperilaku secara matematis.
Meningkatkan keterbacaan dan pemeliharaan karena setiap fungsi dirancang untuk menyelesaikan tugas tertentu. Fungsi-fungsi ini juga tidak bergantung pada negara.
Kode lebih mudah untuk dibiaskan dan setiap perubahan dalam kode lebih mudah diterapkan. Ini membuat pengembangan pengulangan lebih mudah.
Fungsi individual dapat dengan mudah diisolasi yang membuatnya lebih mudah untuk diuji dan di-debug.

Lebih lanjut tentang Michelson

Michelson adalah bahasa yang sangat diketik, berbasis stack.

Dalam Ethereum , kontrak pintar ditulis dalam Solidity atau Viper dan mereka dikompilasi ke kode byte EVM, yang kemudian dieksekusi di mesin virtual Ethereum (EVM). Di Tezos, tidak ada langkah tambahan yang tidak perlu dan kode Michelson sendiri dapat dijalankan di Tezos VM.

Apa keuntungan dari pendekatan ini? Itu dapat dengan mudah dibaca oleh manusia yang akan membantu dalam membangun bukti kebenaran dan membantu menghindari bug.

Berikut ini adalah contoh kontrak Michelson

parameter (pasangan (lambda int int) (daftar int));

return (daftar int);

unit penyimpanan;

kode {DIP {NIL int};

MOBIL;

DUP;

DIP {CAR; PASANGAN}; # Buka paket data dan setel akumulator

CDR;

LAMBDA (pair int (pair (lambda int int) (list int)))

(pasangan (lambda int int) (daftar int))

# Terapkan lambda dan tambahkan elemen baru ke daftar

{DUP; CDAR;

DIP {DUP; DIP {CDAR}; DUP;

MOBIL; DIP {CDDR; MENUKAR}; EXEC; CONS};

PASANGAN};

MENGURANGI; CDR; DIP {NIL int}; # Pertama kurangi

LAMBDA (pair int (list int))

(daftar int)

{DUP; MOBIL; DIP {CDR}; CONS};

MENGURANGI; # Urutan daftar yang benar

SATUAN; MENUKAR; PAIR} # Konvensi pemanggilan

Kesimpulan

Jadi, begitulah. Tezos adalah proyek yang sangat menarik yang sayangnya dibayangi oleh semua drama di belakang layar. Proyek ini layak untuk dianalisis lebih dekat karena membawa beberapa utilitas menarik ke ruang blockchain . Sekarang kita perlu menunggu dan mencari tahu apakah mereka dapat membenarkan hype yang mereka hasilkan setelah ICO mereka .

edukasi bitcoin