Cardano-Design-Rationale
Perkenalan
Pandangan jangka panjang untuk meningkatkan desain mata uang kripto agar dapat berfungsi
perangkat seluler dengan pengalaman pengguna yang wajar dan aman
●
Membawa pemangku kepentingan lebih dekat dengan pengoperasian dan pemeliharaan mata uang kripto mereka
●
Mengakui kebutuhan untuk memperhitungkan beberapa aset dalam buku besar yang sama
●
Mengabstraksi transaksi untuk memasukkan metadata opsional agar lebih sesuai dengan
kebutuhan sistem warisan
●
Belajar dari hampir 1.000 altcoin dengan memanfaatkan fitur-fitur yang masuk akal
●
Mengadopsi proses berbasis standar yang terinspirasi oleh penggunaan Satuan Tugas Rekayasa Internet
landasan khusus untuk mengunci desain protokol akhir
●
Jelajahi elemen sosial perdagangan
●
Temukan jalan tengah yang sehat bagi regulator untuk berinteraksi dengan perdagangan di luar sektor ini
mengorbankan beberapa prinsip inti yang diwarisi dari Bitcoin
Dari kumpulan ide yang tidak terstruktur ini, kepala sekolah yang mengerjakan Cardano mulai mengeksplorasi keduanya
literatur cryptocurrency dan untuk membangun seperangkat alat abstraksi. Luaran dari penelitian ini adalah
Perpustakaan makalah IOHK yang luas, berbagai hasil survei seperti skrip terbaru ini
ikhtisar bahasa serta Ontologi Kontrak Cerdas, dan proyek Scorex. Pelajaran
menghasilkan sebuah apresiasi untuk itu mata uang kripto industri tidak biasa dan di kali
pertumbuhan yang kontraproduktif.
Pertama, tidak seperti protokol sukses seperti TCP/IP, desainnya hanya memiliki sedikit lapisan
mata uang kripto. Ada keinginan untuk mempertahankan satu gagasan konsensus
fakta dan peristiwa dicatat dalam satu buku besar, terlepas dari apakah hal tersebut masuk akal.
Misalnya, Ethereum telah membebani kompleksitas yang sangat besar dalam upaya menjadi a
komputer dunia universal, namun mengalami permasalahan sepele yang berpotensi merusak sistem
kemampuan untuk beroperasi sebagai penyimpan nilai. Seharusnya program setiap orang menjadi warga negara kelas satu
terlepas dari nilai ekonominya, biaya pemeliharaannya, atau konsekuensi peraturannya?
Kedua, hanya ada sedikit apresiasi terhadap hasil penelitian kriptografi arus utama sebelumnya. Untuk
Misalnya, Bukti Pasak yang didelegasikan dari Bitshares dapat menghasilkan secara acak dengan mudah dan andal
angka menggunakan pelemparan koin dengan hasil keluaran yang terjamin, yang merupakan teknik yang dikenal sejak saat itu
tahun 1980an (lihat makalah penting karya Rabin dan Ben-Or).
Ketiga, sebagian besar altcoin (dengan beberapa pengecualian seperti Tezos) belum menghasilkan apa pun
akomodasi untuk pembaruan di masa mendatang. Kemampuan untuk berhasil mendorong garpu lunak atau keras sangatlah penting
untuk kesuksesan jangka panjang dari mata uang kripto apa pun.
Sebagai konsekuensinya, pengguna perusahaan tidak dapat mengalokasikan sumber daya senilai jutaan dolar untuk hal tersebut
protokol yang peta jalannya dan aktor-aktor di baliknya bersifat sementara, picik, atau teradikalisasi. Di sana
MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 3 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
perlu adanya proses yang efisien sehingga konsensus sosial dapat terbentuk seputar visi tersebut
mengembangkan protokol yang mendasarinya. Jika proses ini sangat memberatkan, maka terjadilah fragmentasi
bisa memecah belah masyarakat.
Akhirnya, uang adalah pada akhirnya sebuah sosial fenomena. Dalam upaya untuk menganonimkan dan
aktor sentral yang disintermediasi, Bitcoin dan orang-orang sezamannya juga telah mengabaikan perlunya
identitas, metadata, dan reputasi yang stabil dalam transaksi komersial. Menambahkan data ini
melalui solusi terpusat menghilangkan kemampuan audit, ketersediaan global, dan kekekalan —
itulah inti dari penggunaan blockchain.
Sistem keuangan lama seperti SWIFT, FIX, dan ACH kaya akan hal ini
metadata transaksional. Tidaklah cukup hanya mengetahui berapa banyak nilai yang berpindah antar akun,
Peraturan sering kali memerlukan atribusi aktor yang terlibat, informasi kepatuhan, dan pelaporan
aktivitas mencurigakan, dan catatan serta tindakan lainnya. Dalam beberapa kasus, metadatanya lebih banyak
penting dibandingkan transaksinya.
Oleh karena itu, masuk akal untuk menyimpulkan bahwa manipulasi metadata bisa sama berbahayanya
memalsukan mata uang atau menulis ulang riwayat transaksi. Tidak memberikan akomodasi bagi para aktor
yang ingin secara sukarela memasukkan bidang-bidang ini nampaknya kontraproduktif dengan adopsi arus utama
dan perlindungan konsumen.
Persinggahan Berakhir
Agregasi eksplorasi prinsip kami terhadap ruang cryptocurrency adalah dua kumpulan
protokol. Masing-masing, mata uang kripto berbasis Proof-of-Stake [1][2] yang terbukti aman disebut
Cardano Lapisan Penyelesaian (CSL) dan sekumpulan protokol yang disebut Cardano Lapisan Komputasi
(CCL).
Penekanan desain kami adalah untuk mengakomodasi aspek sosial mata uang kripto, yang dibangun secara berlapis
dengan memisahkan akuntansi nilai dari komputasi kompleks dan memenuhi kebutuhan
regulator dalam lingkup beberapa prinsip yang tidak dapat diubah. Selain itu, jika hal tersebut masuk akal,
1 kami berupaya memeriksa protokol yang diusulkan melalui tinjauan sejawat dan memeriksa kode terhadap formal
spesifikasi.
1 Lihat bagian Peraturan untuk daftarnya MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 4 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Bukti Taruhan
Namun, menggunakan bukti kepemilikan untuk mata uang kripto adalah pilihan desain yang diperdebatkan dengan hangat
menambahkan mekanisme untuk memperkenalkan pemungutan suara yang aman, memiliki kapasitas yang lebih besar, dan memberikan izin yang lebih besar
skema insentif yang eksotik, kami memutuskan untuk menerimanya.
Protokol bukti kepemilikan kami disebut Ouroboros dan telah dirancang dengan sangat baik
tim kriptografer berbakat dari lima institusi akademik yang dipimpin oleh Profesor Aggelos
2 Kiayias dari Universitas Edinburgh. Inovasi inti yang dihasilkannya lebih dari sekadar terbukti aman
menggunakan model kriptografi yang ketat adalah desain modular dan fleksibel yang memungkinkan
komposisi banyak protokol untuk meningkatkan fungsionalitas.
Modularitas ini memungkinkan fitur-fitur seperti delegasi, sidechains, pos pemeriksaan yang dapat dilanggankan,
struktur data yang lebih baik untuk klien ringan, berbagai bentuk pembuatan angka acak dan bahkan
asumsi sinkronisasi yang berbeda. Seiring berkembangnya jaringan dari ribuan menjadi
jutaan dan bahkan miliaran pengguna, persyaratan algoritma konsensusnya juga akan demikian
perubahan. Oleh karena itu, sangat penting untuk memiliki fleksibilitas yang cukup untuk mengakomodasi perubahan-perubahan ini
inti mata uang kripto yang tahan masa depan.
Elemen Sosial Uang
Cryptocurrency adalah contoh utama dari komponen sosial uang. Saat membatasi
analisis semata-mata pada teknologi, ada sedikit perbedaan antara Bitcoin dan Litecoin dan bahkan
apalagi antara Ethereum dan Ethereum Klasik. Namun, Litecoin dan Ethereum Klasik
mempertahankan kapitalisasi pasar yang besar dan komunitas yang kuat dan dinamis serta komunitas mereka sendiri
mandat sosial.
Dapat dikatakan bahwa sebagian besar nilai mata uang kripto berasal dari komunitasnya,
cara mereka menggunakan mata uangnya, dan tingkat keterlibatannya dalam evolusi mata uang tersebut. Melanjutkan
pemikirannya, mata uang seperti Dash bahkan memiliki sistem yang terintegrasi langsung ke dalam protokolnya
melibatkan komunitas mereka dalam memutuskan apa yang harus menjadi prioritas untuk dikembangkan dan didanai.
2 Universitas Connecticut, Universitas Athena, Universitas Edinburgh, Universitas Aarhus, Tokyo Institut Teknologi MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 5 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Beragamnya mata uang kripto juga memberikan bukti adanya elemen sosial di dalamnya.
Perbedaan pendapat tentang filosofi, kebijakan moneter, atau bahkan hanya antar pengembang inti
menyebabkan fragmentasi dan percabangan. Namun tidak seperti mata uang kripto lainnya, mata uang fiat
negara adidaya cenderung bertahan dari perubahan politik dan perselisihan lokal tanpa krisis mata uang atau krisis
eksodus massal.
Oleh karena itu, tampaknya ada elemen sistem warisan yang hilang dari sistem tersebut
industri mata uang kripto. Kami berpendapat – dan telah menanamkannya ke dalam peta jalan Cardano – bahwa
pengguna suatu protokol memerlukan insentif untuk memahami kontrak sosial di balik protokol mereka dan
mempunyai kebebasan untuk mengusulkan perubahan secara produktif. Kebebasan ini berlaku untuk semua orang
aspek sistem pertukaran nilai, mulai dari memutuskan bagaimana pasar harus diatur hingga yang mana
proyek harus didanai. Namun hal ini tidak dapat dimediasi melalui aktor-aktor yang tersentralisasi dan juga tidak memerlukan adanya perantara
beberapa kredensial khusus yang dapat dikooptasi oleh minoritas yang mempunyai dana besar.
Cardano akan mengimplementasikan sistem protokol overlay yang dibangun di atas CSL untuk mengakomodasi
kebutuhan para penggunanya.
Pertama, terlepas dari keberhasilan crowdsale untuk melakukan bootstrap pengembangan, dana pada akhirnya akan berhasil
menghilang. Oleh karena itu, Cardano akan mencakup kepercayaan yang terdesentralisasi didanai secara monoton
3 mengurangi inflasi dan biaya transaksi.
Setiap pengguna harus memenuhi syarat untuk meminta dana dari perwalian melalui sistem pemungutan suara dan
pemangku kepentingan CSL memilih siapa yang menjadi penerima manfaat. Prosesnya menciptakan produktif
putaran umpan balik terlihat di cryptocurrency lain dengan sistem perbendaharaan/kepercayaan, seperti Dash, oleh
memulai pembicaraan tentang siapa yang harus dan tidak boleh didanai.
Diskusi pendanaan memaksakan hubungan tujuan jangka panjang dan pendek, serta tujuan sosial mata uang kripto
kontrak, prioritas dan keyakinan dalam penciptaan nilai dengan proposal tertentu. Percakapan ini
berarti bahwa masyarakat terus-menerus mengevaluasi dan memperdebatkan keyakinan mereka terhadap kemungkinan-kemungkinan yang ada
peta jalan.
Kedua, harapan kami adalah Cardano pada akhirnya akan mencakup sistem formal berbasis blockchain untuk
mengusulkan dan memberikan suara pada soft fork dan hard fork. Bitcoin dengan perdebatan ukuran bloknya, Ethereum dengan
fork DAO, dan banyak mata uang kripto lainnya yang telah bertahan lama dan, dalam
kasus yang sering terjadi, argumen yang belum terselesaikan mengenai arah teknis dan moral dari basis kode.
Dapat dan harus dikatakan bahwa banyak dari perbedaan pendapat ini, dan perpecahan di antara keduanya
komunitas yang dihasilkan ketika tindakan diambil, adalah akibat langsung dari kurangnya proses formal
memperdebatkan perubahan.
3 Ini juga dikenal sebagai sistem perbendaharaan
MENGAPA KAMI MEMBANGUN CARDANO
Lisensi Internasional Creative Commons Atribusi 4.0
Halaman 6 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Ke mana kita bisa meyakinkan pengguna Bitcoin untuk mengadopsi Segregated Witness? Bagaimana seharusnya
pengembang inti Ethereum mengukur sentimen komunitas untuk memberikan dana talangan kepada DAO? Jika
perpecahan komunitas, apakah kerusakan mata uang kripto tidak dapat diperbaiki lagi?
Dalam kasus terburuk, wewenang moral untuk bertindak bisa saja diserahkan kepada siapa pun yang memiliki pengembangnya,
hubungan infrastruktur dan uang, bukan harapan terbaik dari sebagian besar masyarakat
komunitas. Terlebih lagi, jika sebagian besar masyarakat tidak dapat diakses atau tidak terlibat karena hal tersebut
terhadap insentif yang buruk, lalu bagaimana seseorang dapat benar-benar mengetahui apakah tindakan mereka sah? 4
Mata uang kripto yang diusulkan seperti Tezos memberikan model yang menarik untuk mengkaji di mana a
protokol cryptocurrency diperlakukan seperti konstitusi yang berisi tiga bagian (Transaksi,
Konsensus dan Jaringan) dengan seperangkat aturan formal dan proses untuk memperbarui konstitusi. Namun
masih banyak pekerjaan yang harus dilakukan mengenai insentif dan bagaimana tepatnya membuat model dan melakukan perubahan
cryptocurrency dengan bahasa formal.
Penggunaan metode formal, spesifikasi yang dapat dimengerti mesin, dan penggabungan perbendaharaan
proses untuk mendapatkan insentif finansial ini sedang dijajaki sebagai jalan yang memungkinkan untuk mendapatkan inspirasi.
Pada akhirnya, yang ada hanyalah kemampuan untuk mengusulkan perubahan protokol secara transparan dan bebas sensor
dengan pemungutan suara berbasis blockchain akan meningkatkan proses, meskipun solusi yang lebih elegan tidak bisa
dirancang.
Mendesain Berlapis – Cardano Lapisan Penyelesaian
Saat merancang protokol dan bahasa yang hebat, seseorang tidak boleh melihat ke masa depan, melainkan melihat ke masa depan masa lalu. Sejarah memberikan banyak contoh ide-ide hebat yang sempurna di atas kertas entah bagaimana tidak bertahan, seperti standar Interkoneksi Sistem Terbuka. Sejarah juga memberikan kecelakaan menyenangkan yang dialami dari TCP/IP ke JavaScript.
Beberapa prinsip yang diambil dari pandangan sejarah adalah sebagai berikut:
1.
Anda tidak dapat memprediksi masa depan, jadi bangunlah ruang gerak
2.
Kompleksitas memang bagus di atas kertas, namun kesederhanaan biasanya menang
3.
Terlalu banyak juru masak merusak kaldu
4.
Sekali suatu standar ditetapkan, maka standar tersebut mungkin akan bertahan, terlepas dari apakah standar tersebut ditetapkan atau tidak
kurang optimal
4 Lihat ketidaktahuan rasional
MENGAPA KAMI MEMBANGUN CARDANO
Lisensi Internasional Creative Commons Atribusi 4.0
Halaman 7 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
5. Ide buruk sebenarnya bisa berkembang menjadi ide yang cukup bagus jika ada kemauan
Cardano adalah sistem keuangan yang menerima sifat sosialnya. Akan ada kebutuhan yang sangat besar untuk fleksibilitas dan kemampuan untuk mengatasi kompleksitas yang sewenang-wenang dalam transaksi pengguna tertentu. Jika Jika berhasil, akan ada kebutuhan akan sumber daya komputasi, penyimpanan, dan jaringan yang sangat besar untuk menampung jutaan transaksi bersamaan.
Namun kita tidak memiliki Robin Hood digital yang terdesentralisasi untuk diambil dari orang-orang kaya dan diberikan kepada mereka masyarakat miskin untuk mencapai jaringan yang adil. Kita juga tidak memiliki kemewahan untuk mempercayai manusia kebajikan untuk berkorban secara altruistik demi kebaikan jaringan yang lebih besar. Oleh karena itu, Cardano's desain meminjam dari TCP/IP konsep pemisahan perhatian.
Blockchain pada akhirnya adalah basis data yang mengurutkan fakta dan peristiwa dengan jaminan cap waktu dan kekekalan. Dalam konteks uang, mereka memerintahkan kepemilikan harta. Menambahkan komputasi kompleks dengan menyimpan dan menjalankan program adalah konsep ortogonal. Apakah kita mau untuk mengetahui seberapa besar nilai yang berpindah dari Alice ke Bob, atau apakah kita ingin terlibat dalam mencari tahu keseluruhan cerita di balik transaksi dan memutuskan berapa banyak yang akan dikirim?
Sangat menggoda untuk memilih yang terakhir seperti yang dilakukan Ethereum karena lebih fleksibel, tapi itu melanggar prinsip desain di atas. Mencari tahu ceritanya berarti satu protokol harus mampu memahami peristiwa sewenang-wenang, skrip transaksi sewenang-wenang, mengizinkan arbitrase masuk kasus penipuan dan bahkan berpotensi membalikkan transaksi ketika informasi baru dibuat tersedia.
Kemudian kita harus membuat keputusan desain yang sulit tentang metadata apa yang akan disimpan untuk masing-masing metadata transaksi. Elemen cerita apa di balik transaksi Alice dan Bob yang relevan? Apakah mereka relevan selamanya? Kapan kita bisa membuang beberapa data? Apakah melakukan hal tersebut melanggar hukum di beberapa negara?
Selain itu, beberapa perhitungan bersifat pribadi. Misalnya saat menghitung rata-rata Gaji seorang pekerja di sebuah kantor, kita tentu tidak serta merta mau membocorkan berapa gaji tiap orangnya membuat. Namun bagaimana jika setiap penghitungan diketahui publik? Bagaimana jika publisitas ini membiaskan eksekusi untuk merusak hasil?
Oleh karena itu, kami telah memilih posisi bahwa akuntansi nilai harus dipisahkan dari akuntansi nilai cerita di balik mengapa nilai tersebut dipindahkan. Dengan kata lain, pemisahan nilai dari komputasi. Pemisahan ini tidak berarti bahwa Cardano tidak akan mendukung smart contracts. Sebaliknya, dengan membuat pemisahan secara eksplisit, hal ini memungkinkan lebih banyak fleksibilitas dalam desain, penggunaan, privasi dan eksekusi smart contracts.
MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 8 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Buku besar nilai disebut Cardano Settlement Layer (CSL). Karena tujuannya adalah untuk mempertanggungjawabkan nilai, peta jalan memiliki tujuan sebagai berikut:
1.
Mendukung dua set bahasa skrip, satu untuk memindahkan nilai dan satu lagi untuk meningkatkan
dukungan protokol overlay
2.
Memberikan dukungan untuk sidechain KMZ untuk ditautkan ke buku besar lainnya
5
3.
Mendukung berbagai jenis tanda tangan termasuk tanda tangan tahan kuantum untuk tingkat yang lebih tinggi
keamanan
4.
Mendukung banyak aset yang dikeluarkan pengguna
5.
Mencapai skalabilitas sejati, yang berarti semakin banyak pengguna bergabung, kemampuan sistem
meningkat
skrip
Dimulai dengan bahasa skrip, transaksi antar alamat dalam buku besar memerlukan beberapa hal berupa naskah untuk dijalankan dan dibuktikan keabsahannya. Idealnya, seseorang tidak ingin Hawa mengaksesnya Uang Alice, dan orang juga tidak ingin naskah yang dirancang dengan buruk secara tidak sengaja mengirimkan nilai kepada orang mati alamat membuat dana tidak dapat diambil kembali.
Sistem seperti Bitcoin menyediakan bahasa skrip yang sangat tidak fleksibel dan kejam yang sulit untuk memprogram transaksi yang dipesan lebih dahulu, dan untuk membaca dan memahami. Namun secara umum kemampuan pemrograman bahasa seperti Solidity menimbulkan kompleksitas yang luar biasa ke dalam sistem dan hanya berguna bagi sejumlah kecil aktor.
Oleh karena itu, kami memilih untuk merancang bahasa baru yang disebut Simon untuk menghormati penciptanya 6 Simon Thompson dan pencipta konsep yang menginspirasinya, Simon Peyton Jones. Simon adalah bahasa khusus domain yang didasarkan pada Menyusun kontrak: sebuah petualangan di bidang finansial rekayasa.
Ide utamanya adalah bahwa transaksi keuangan pada umumnya terdiri dari kumpulan elemen dasar. Jika seseorang menyusun tabel periodik unsur keuangan, maka ia bisa 7 memberikan dukungan untuk serangkaian transaksi gabungan dalam jumlah besar yang akan mencakup sebagian besar, jika tidak semuanya, jenis transaksi umum tanpa memerlukan kemampuan program umum.
5 Segera hadir dalam makalah dari Kiayias, Zindros dan Miller
6 Spesifik akan dirilis dalam spesifikasi yang akan datang. Bahasa lengkap akan didukung di
Rilis Shelley CSL direncanakan pada Q4 tahun 2017
7 Project ACTUS mempunyai penjabaran yang mendalam
MENGAPA KAMI MEMBANGUN CARDANO
Lisensi Internasional Creative Commons Atribusi 4.0
Halaman 9 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Keuntungan utamanya adalah keamanan dan eksekusi dapat dipahami dengan sangat baik. Bukti dapat ditulis untuk menunjukkan kebenaran templat dan menghabiskan ruang eksekusi peristiwa transaksi yang bermasalah, seperti penciptaan uang baru atau transaksi baru kelenturan. Kedua, seseorang dapat meninggalkan ekstensi untuk menambahkan lebih banyak elemen melalui soft fork jika fungsionalitas baru diperlukan.
Meskipun demikian, akan selalu ada kebutuhan untuk menghubungkan CSL ke protokol overlay, keuangan lama sistem, dan server tujuan khusus. Jadi kami telah mengembangkan Plutus sebagai seorang jenderal bahasa tujuan smart contract dan juga DSL tujuan khusus untuk interoperabilitas.
Plutus adalah bahasa fungsional yang diketik berdasarkan konsep dari Haskell, yang dapat digunakan untuk itu tulis skrip transaksi khusus. Untuk CSL, ini akan digunakan untuk transaksi kompleks yang diperlukan tambahkan dukungan untuk lapisan lain yang perlu kita sambungkan, seperti skema sidechains kita.
Rantai samping
Sehubungan dengan sidechains, Cardano akan mendukung protokol baru yang dikembangkan oleh Kiayias, Miller dan Zindros (sidechain KMZ) berdasarkan hasil sebelumnya dari bukti bukti kerja. Yang khusus desain berada di luar cakupan makalah ini; Namun, konsep ini memungkinkan keamanan dan perpindahan dana non-interaktif dari CSL ke Cardano Lapisan Komputasi atau lainnya blockchain mendukung protokol.
Sidechain KMZ adalah kunci untuk merangkum kompleksitas. Buku besar dengan persyaratan peraturan, operasi swasta, bahasa skrip yang kuat, dan masalah khusus lainnya pada dasarnya bersifat hitam kotak ke CSL, namun pengguna CSL akan mendapatkan jaminan tertentu tentang akuntansi dan kemampuan untuk melakukannya menarik kembali dana setelah perhitungan selesai.
Tanda tangan
Untuk memindahkan nilai dari Alice ke Bob dengan aman, Alice perlu membuktikan bahwa dia berhak melakukannya memindahkan dananya. Cara paling langsung dan dapat diandalkan untuk menyelesaikan tugas ini adalah dengan menggunakan publik skema tanda tangan kunci di mana dana dihubungkan ke kunci publik dan Alice mengontrol sebuah kunci pribadi terkait.
Ada ratusan kemungkinan skema dengan parameter dan asumsi keamanan berbeda.
Beberapa mengandalkan masalah matematika yang terhubung dengan kurva elips, sementara yang lain mengandalkannya
terhubung dengan konsep eksotis menggunakan kisi.
MENGAPA KAMI MEMBANGUN CARDANO
Lisensi Internasional Creative Commons Atribusi 4.0
Halaman 10 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Tujuan abstraknya selalu sama. Ada masalah sulit yang tidak dapat diselesaikan kecuali seseorang memiliki pengetahuan rahasia. Dikatakan bahwa pemegang pengetahuan ini adalah pemilik pasangan kunci dan harus menjadi satu-satunya entitas yang memiliki kemampuan untuk menggunakannya.
Ada dua kelompok kekhawatiran yang dihadapi mata uang kripto dalam memilih skema tanda tangan. Pertama, ketahanan keamanan jangka panjang dari skema itu sendiri. Beberapa kriptografi skema yang digunakan pada tahun 1970an dan 1980an seperti DES telah dipatahkan. Periode di mana skema yang diharapkan dapat bertahan harus diputuskan.
Kedua, ada banyak perusahaan, pemerintah dan lembaga lain yang lebih memilih, atau dalam beberapa kasus, mengamanatkan penggunaan skema tertentu. Misalnya, NSA mempertahankan Kumpulan protokol Suite B. Ada standar dari ISO dan bahkan kelompok kerja W3C tentang kriptografi.
Jika mata uang kripto memilih skema tanda tangan tunggal, ia terpaksa menerima skema tersebut dapat dipatahkan suatu saat di masa depan dan setidaknya satu entitas tidak dapat menggunakannya cryptocurrency karena batasan hukum atau industri. Namun mata uang kripto tidak dapat mendukung semuanya skema tanda tangan karena ini mengharuskan setiap klien untuk memahami dan memvalidasi setiap skema.
Untuk Cardano, kami memutuskan untuk memulai dengan menggunakan kriptografi kurva elips, kurva Ed25519 di
tertentu. Kami juga memutuskan untuk menyempurnakan perpustakaan yang ada dengan menambahkan dukungan untuk dompet HD
menggunakan Spesifikasi Dr Dmitry Khovratovich dan Jason Law.
8
Artinya, Cardano akan mendukung lebih banyak skema tanda tangan di masa depan. Secara khusus, kita memang demikian tertarik untuk mengintegrasikan BLISS-B untuk menambahkan tanda tangan tahan komputer kuantum ke sistem kami. Kami juga tertarik untuk menambahkan SECP256k1 untuk meningkatkan interoperabilitas dengan yang lama mata uang kripto seperti Bitcoin.
Cardano telah dirancang dengan ekstensi khusus yang memungkinkan kita menambahkan lebih banyak tanda tangan
skema melalui garpu lunak. Mereka akan ditambahkan sesuai kebutuhan dan selama pembaruan besar yang direncanakan
peta jalan.
9
Aset yang Dikeluarkan Pengguna (UIA)
Pada awal sejarah Bitcoin, protokol dengan cepat dikembangkan untuk memungkinkan pengguna menerbitkan aset yang
mendukung sistem akuntansi Bitcoin untuk melacak beberapa mata uang secara bersamaan.
8 Ini adalah dokumentasi Implementasi Dompet HD Cardano. Kami yakin Cardano adalah yang pertama
cryptocurrency untuk mendukung Dompet HD Ed25519
9 Lihat cardanoroadmap.com
MENGAPA KAMI MEMBANGUN CARDANO
Lisensi Internasional Creative Commons Atribusi 4.0
Halaman 11 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Protokol ini tidak didukung secara asli oleh protokol Bitcoin, namun diimplementasikan melalui peretasan yang cerdas.
Dalam kasus overlay Bitcoin seperti Koin Berwarna dan Mastercoin (sekarang disebut Omni), ringan klien terpaksa bergantung pada server tepercaya. Juga biaya transaksi masih harus dibayar bitcoin. Properti ini digabungkan dengan saluran tunggal untuk pembuatan persetujuan transaksi Bitcoin kurang optimal untuk akuntansi multi-aset.
Dalam kasus Ethereum yang menggunakan standar ERC20, terdapat lebih banyak kekayaan fitur. Namun, biaya transaksi masih membutuhkan ether. Selain itu, jaringan Ethereum mengalami kesulitan menskalakan kebutuhan semua ERC20 tokens yang diterbitkan.
Permasalahan mendasar dapat dipecah menjadi tiga bagian: sumber daya, insentif dan kepedulian. Sehubungan dengan sumber daya, menambahkan mata uang yang sepenuhnya baru ke buku besar yang sama berarti seseorang telah melakukannya dua set UTXO independen (input transaksi yang belum terpakai) berbagi bandwidth, mempool dan ruang blok. Node konsensus bertanggung jawab untuk menyematkan transaksi mata uang ini memerlukan insentif untuk melakukan hal tersebut. Dan tidak semua pengguna mata uang kripto mau atau harus peduli mata uang suatu entitas tertentu.
Mengingat permasalahan ini, manfaatnya sangat besar sebagai token utama dari buku besar multiaset dapat secara efektif berfungsi sebagai jembatan mata uang yang memungkinkan terciptanya pasar yang terdesentralisasi. Istimewa aset tujuan dapat diterbitkan untuk memberikan utilitas tambahan seperti aset yang nilainya stabil Tether atau MakerDAO yang berguna untuk aplikasi peminjaman dan pengiriman uang.
Mengingat tantangannya, Cardano telah mengadopsi pendekatan pragmatis terhadap akuntansi multiaset. Membangun secara bertahap, tantangan pertama adalah merancang infrastruktur yang diperlukan untuk mendukung hal tersebut tuntutan ribuan UIA. Yaitu kemajuan-kemajuan berikut yang diperlukan:
1. Struktur data yang diautentikasi bertujuan khusus untuk memungkinkan pelacakan yang sangat besar UTXO negara bagian
2.
Kemampuan untuk memiliki mempool terdistribusi untuk menampung sejumlah besar transaksi yang tertunda
3.
Partisi dan pos pemeriksaan Blockchain untuk mengizinkan blockchain global yang besar
4.
Skema insentif yang memberikan penghargaan kepada simpul-simpul konsensus karena memasukkan rangkaian yang berbeda
transaksi
5.
Mekanisme berlangganan yang memungkinkan pengguna memutuskan mata uang mana yang ingin mereka lacak
6.
Keamanan yang kuat menjamin bahwa UIA menikmati keamanan serupa dengan aset asli
7.
Dukungan untuk pembuatan pasar terdesentralisasi untuk meningkatkan likuiditas antara UIA dan
utama token
MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 12 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Upaya awal kami untuk menemukan struktur data terotentikasi yang tepat telah menghasilkan hal baru jenis Pohon AVL+ yang dikembangkan bersama oleh Leo Reyzin, IOHK dan Waves. Diperlukan lebih banyak penelitian, namun ini merupakan kemajuan mendasar yang akan disertakan dalam versi Cardano yang lebih baru.
Mempool terdistribusi dapat diimplementasikan menggunakan protokol RAMCloud Universitas Stanford. Eksperimen akan dimulai pada Q3 tahun 2017 untuk mempelajari integrasinya ke dalam lapisan konsensus Cardano.
Topik-topik lainnya saling berhubungan dan dicakup oleh penelitian yang sedang berlangsung. Kami mengharapkan — subjek untuk meneliti hasil — untuk memasukkan protokol ke dalam Cardano untuk UIA selama Basho CSL rilis pada tahun 2018.
Skalabilitas
Sistem terdistribusi terdiri dari sekumpulan komputer (node) yang setuju untuk menjalankan protokol atau
serangkaian protokol untuk mencapai tujuan bersama. Sasaran ini dapat berupa berbagi file seperti yang ditentukan oleh
protokol BitTorrent atau melipat protein menggunakan Folding@Home.
Protokol yang paling efektif mendapatkan sumber daya saat node bergabung dengan jaringan. File yang dihosting oleh
BitTorrent, misalnya, rata-rata dapat diunduh lebih cepat jika banyak rekannya
mengunduhnya secara bersamaan. Kecepatannya meningkat karena rekan-rekan menyediakan sumber daya sementara
juga mengkonsumsinya. Karakteristik inilah yang biasanya dimaksud ketika menyatakan terdistribusi
skala sistem.
Tantangan dalam merancang semua mata uang kripto saat ini adalah bahwa sebenarnya tidak demikian
dirancang agar dapat diskalakan. Blockchain, misalnya, biasanya merupakan daftar tertaut yang hanya dapat ditambahkan
blok. Keamanan dan ketersediaan protokol blockchain bergantung pada banyak node
memiliki salinan lengkap data blockchain. Jadi, satu byte data harus direplikasi
di antara N node. Node tambahan tidak menyediakan sumber daya tambahan.
Hasil ini sama untuk pemrosesan transaksi dan penggosipan pesan secara keseluruhan
sistem. Menambahkan lebih banyak node ke sistem konsensus tidak memberikan tambahan
kekuatan pemrosesan transaksi. Artinya, lebih banyak sumber daya yang harus dikeluarkan untuk melakukan hal yang sama
pekerjaan. Semakin banyak jaringan yang menyampaikan berarti semakin banyak node yang harus meneruskan pesan yang sama untuk mempertahankannya
seluruh jaringan disinkronkan dengan blok terkini.
Mengingat topologi ini, mata uang kripto tidak dapat diperluas ke jaringan global setara dengan jaringan lama
sistem keuangan. Sebaliknya, infrastruktur lama dapat diperluas dan mempunyai skala besar
lebih banyak daya pemrosesan dan penyimpanan. Menambahkan poin tertentu, Bitcoin adalah jaringan yang sangat kecil
dibandingkan dengan rekan-rekan pembayarannya, namun kesulitan untuk mengelola bebannya saat ini.
MENGAPA KAMI MEMBANGUN CARDANO
Lisensi Internasional Creative Commons Atribusi 4.0
Halaman 13 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Sasaran skalabilitas kami untuk Cardano sangat terbantu oleh algoritme konsensus kami. Ouroboros
memungkinkan cara yang terdesentralisasi untuk memilih kuorum simpul konsensus, yang pada gilirannya dapat berjalan lebih banyak
protokol tradisional dikembangkan selama 20 tahun terakhir untuk mengakomodasi kebutuhan besar
penyedia infrastruktur seperti Google dan Facebook.
10
Misalnya, pemilihan kuorum untuk suatu periode berarti kita memiliki kumpulan node yang tepercaya
memelihara buku besar untuk jangka waktu tertentu. Memilih beberapa kuorum secara bersamaan adalah hal yang sepele
dan mempartisi transaksi ke kuorum yang berbeda.
Teknik serupa dapat diterapkan untuk propagasi jaringan dan juga sharding blockchain
dirinya menjadi partisi yang unik. Dalam peta jalan kami saat ini, metode penskalaan akan diterapkan
Ouroboros dimulai pada tahun 2018 dan terus menjadi fokus pada tahun 2019 dan 2020.
Cardano Lapisan Komputasi
Seperti disebutkan sebelumnya, ada dua komponen transaksi: mekanisme pengiriman dan mencatat aliran tokens serta alasan dan kondisi di balik perpindahan tokens. Itu yang terakhir bisa sangat rumit dan melibatkan data berukuran terabyte, banyak tanda tangan, dan khusus peristiwa yang terjadi. Yang terakhir ini juga bisa sangat sederhana dengan nilai dorongan tanda tangan tunggal ke alamat lain.
Tantangan di balik pemodelan alasan dan kondisi aliran nilai adalah bahwa hal tersebut memang benar adanya sangat pribadi bagi entitas yang terlibat dalam cara yang paling tidak terduga. Pelajaran dari hukum kontrak memberikan gambaran yang lebih problematis jika para pelakunya sendiri tidak bisa melakukannya bahkan menyadari bahwa transaksi tersebut tidak sesuai dengan kenyataan komersial. Kami biasanya menyebutnya demikian fenomena “kesenjangan semantik”. 11
Mengapa seseorang harus membangun mata uang kripto dengan mengejar lapisan kompleksitas dan abstraksi yang tiada habisnya? Tampaknya sifat Sisyphean dan naif dalam praktiknya. Selanjutnya setiap abstraksi dianut mempunyai konsekuensi hukum dan keamanan.
Misalnya, ada banyak aktivitas online yang secara umum dianggap ilegal atau dicemooh
seperti perdagangan pornografi anak atau penjualan rahasia negara. Dengan menerapkan yang kuat
10 Ada juga protokol penelitian independen lainnya yang berupaya mencapai tujuan yang sama seperti
Elastico dan Bitcoin-NG
11 Loi Luu dkk. diskusikan kesenjangan ini dalam makalah terbaru mereka tentang Membuat Kontrak Cerdas Lebih Cerdas
MENGAPA KAMI MEMBANGUN CARDANO
Lisensi Internasional Creative Commons Atribusi 4.0
Halaman 14 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
infrastruktur yang terdesentralisasi, kini ada saluran yang menyediakan saluran bagi kegiatan ini untuk terjadi dengan resistensi sensor yang sama dengan yang dinikmati transaksi komersial normal. Secara hukum tidak jelas apakah simpul konsensus jaringan – yang memiliki insentif untuk menjadi lebih terfederasi waktu untuk meningkatkan efisiensi — akan bertanggung jawab atas konten yang mereka host.
Penuntutan terhadap operator Tor, perlakuan brutal terhadap operator Jalur Sutra dan kekurangannya secara keseluruhan kejelasan hukum di balik perlindungan hukum peserta protokol menyisakan jalan yang tidak pasti. Ada tidak ada kekurangan imajinasi tentang apa lagi yang dapat dimungkinkan oleh cryptocurrency yang cukup maju (lihat Cincin Gyges). Apakah masuk akal untuk memaksa semua pengguna mata uang kripto untuk mendukung atau setidaknya memungkinkan tindakan dan perilaku terburuk di web?
Sayangnya, tidak ada jawaban jelas yang memberikan wawasan bagi seorang perancang mata uang kripto. Itu benar lebih banyak tentang memilih posisi dan mempertahankan manfaatnya. Keuntungan yang Cardano dan Bitcoin adalah kami telah memilih untuk memisahkan permasalahan menjadi beberapa lapisan. Dengan Bitcoin, ada Batang bawah. Dengan Cardano, ada Lapisan Komputasi Cardano.
Jenis perilaku kompleks yang memungkinkan tindakan yang diuraikan sebelumnya tidak dapat dijalankan CSL. Mereka memerlukan kemampuan untuk menjalankan program yang ditulis dalam bahasa Turing yang lengkap dan beberapa lainnya bentuk keekonomian gas hingga perhitungan meter. Mereka juga membutuhkan konsensus yang bersedia melakukan hal tersebut memasukkan transaksi di bloknya.
Oleh karena itu, pembatasan fungsi dapat melindungi pengguna secara wajar. Sejauh ini, yang paling mapan pemerintah belum mengambil posisi bahwa penggunaan atau pemeliharaan mata uang kripto adalah sebuah tindakan yang melanggar hukum tindakan ilegal. Oleh karena itu, sebagian besar pengguna harus merasa nyaman memelihara buku besar kemampuannya sebanding dengan sistem pembayaran digital.
Ketika seseorang ingin memperluas kemampuan, ada dua kemungkinan. Ini diaktifkan oleh pribadi kumpulan individu yang memiliki pemikiran serupa dan bersifat sementara (misalnya, permainan poker). Atau, itu diaktifkan oleh buku besar dengan kemampuan yang sebanding seperti Ethereum. Dalam kedua kasus tersebut, kami telah memilih mengalihdayakan acara ke protokol lain.
Dalam kasus peristiwa yang bersifat pribadi dan bersifat sementara, wajar jika kita menghindari paradigma blockchain sepenuhnya, melainkan membatasi upaya menuju perpustakaan protokol MPC tujuan khusus yang bisa dipanggil ketika diinginkan oleh sekelompok peserta yang berpikiran sama. Perhitungan dan aktivitas dikoordinasikan dalam jaringan pribadi dan referensi CSL hanya sebagai papan buletin terpercaya dan a saluran penyampaian pesan bila diperlukan.
Wawasan utama dalam kasus ini adalah adanya persetujuan, enkapsulasi tanggung jawab, dan privasi. CSL adalah digunakan sebagai sarana digital bersama bagi pengguna untuk bertemu dan berkomunikasi — seperti taman yang menjadi tuan rumah a acara pribadi — tetapi tidak menyediakan akomodasi atau fasilitas khusus apa pun. Selain itu, MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 15 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
penggunaan MPC tujuan khusus akan memungkinkan interaksi latensi rendah tanpa memerlukannya blockchain kembung. Dengan demikian, ini meningkatkan skala sistem.
Upaya penelitian Cardano terhadap perpustakaan ini dipusatkan di laboratorium Tokyo Tech kami bersama beberapa bantuan dari ilmuwan luar negeri. Kami menyebut perpustakaan itu “Tartaglia” menurut nama seseorang matematikawan serta sezaman dengan Cardano dan mengharapkan iterasi pertama tersedia pada Q1 tahun 2018.
Dalam kasus kedua, seseorang memerlukan blockchain dengan mesin virtual, satu set node konsensus dan mekanisme untuk memungkinkan komunikasi antara dua rantai. Kami telah memulai proses memformalkan Mesin Virtual Ethereum secara ketat menggunakan K-framework di 12 kemitraan dengan tim dari University of Illinois.
Hasil analisis ini akan menginformasikan cara yang paling optimal untuk merancang replikasi dan akhirnya mesin virtual terdistribusi dengan semantik operasional yang jelas dan jaminan kebenaran yang kuat 13 implementasi dari spesifikasi. Dengan kata lain, VM sebenarnya melakukan apa yang diperintahkan kodenya ini ada hubungannya dengan risiko keamanan yang diminimalkan.
Masih ada pertanyaan yang belum terselesaikan mengenai keekonomian gas yang diusulkan oleh Ethereum dan bagaimana hal itu berkaitan dengan pekerjaan seperti ML yang sadar akan sumber daya Jan Hoffmann dkk dan studi yang lebih luas tentang ML estimasi sumber daya untuk komputasi. Kami juga penasaran dengan tingkat bahasanya independensi mesin virtual. Misalnya, proyek Ethereum telah menyatakan keinginannya untuk transisi dari VM mereka saat ini ke Majelis Web.
Upaya selanjutnya adalah mengembangkan bahasa pemrograman yang masuk akal untuk mengekspresikan stateful kontrak yang akan disebut sebagai layanan oleh aplikasi terdesentralisasi. Untuk tugas ini, kami punya memilih pendekatan yang mendukung soliditas bahasa smart contract warisan untuk tingkat rendah aplikasi jaminan dan mengembangkan bahasa baru yang disebut Plutus untuk jaminan yang lebih tinggi aplikasi yang memerlukan verifikasi formal.
Seperti proyek Zeppelin berbasis soliditas, IOHK juga akan mengembangkan perpustakaan referensi kode Plutus untuk digunakan oleh pengembang aplikasi dalam proyek mereka. Kami juga akan mengembangkan seperangkat alat khusus untuk verifikasi formal yang terinspirasi oleh karya proyek Liquid Haskell UCSD.
Dalam hal konsensus, Ouroboros dirancang dengan cara yang cukup modular untuk mendukung smart contract evaluasi. Oleh karena itu, baik CSL dan CCL akan menggunakan algoritma konsensus yang sama. 12 Diciptakan oleh Profesor Grigore Rosu dkk. al., K adalah kerangka universal untuk kemandirian bahasa semantik yang dapat dieksekusi mesin. Sebelum pekerjaan kami, ini telah digunakan untuk memodelkan C, Java dan JavaScript 13 Artinya, node konsensus yang berbeda menjalankan smart contracts yang berbeda. Juga dikenal sebagai sharding negara MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 16 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Perbedaannya adalah Ouroboros dapat dikonfirmasi untuk mengizinkan baik yang berizin maupun buku besar tanpa izin melalui distribusi token.
Dengan CSL, Ada telah didistribusikan melalui acara yang menghasilkan token kepada pembeli di seluruh Asia yang pada akhirnya akan menjual kembali di pasar sekunder. Artinya algoritma konsensus CSL adalah dikendalikan oleh sekelompok aktor atau delegasi mereka yang beragam dan semakin terdesentralisasi menugaskan. Dengan CCL, dimungkinkan untuk membuat tujuan khusus token yang diadakan oleh delegasi tersebut buku besar yang dapat menjadi entitas yang diatur, sehingga menciptakan buku besar yang diizinkan.
Fleksibilitas dari pendekatan ini memungkinkan berbagai contoh CCL terwujud dengan cara yang berbeda aturan tentang evaluasi transaksi. Misalnya, aktivitas perjudian dapat dibatasi kecuali data KYC/AML hadir hanya dengan memasukkan transaksi non-atribusi ke daftar hitam.
Fokus desain akhir kami adalah menambahkan modul keamanan perangkat keras (HSM) tepercaya ke protokol kami tumpukan. Ini adalah dua keuntungan besar ketika memperkenalkan kemampuan ini ke dalam protokol. Pertama, HSM memberikan peningkatan kinerja yang besar tanpa memperkenalkan keamanan 14 kekhawatiran selain mempercayai vendor. Kedua, melalui penggunaan Sealed Glass Proofs (SGP), HSM dapat memberikan jaminan bahwa data dapat diverifikasi dan kemudian dimusnahkan disalin atau dibocorkan ke pihak luar yang jahat.
Berfokus pada poin kedua, SGP dapat memberikan dampak revolusioner terhadap kepatuhan. Biasanya, ketika konsumen memberikan informasi pengenal pribadi (PII) untuk diautentikasi identitas atau membuktikan hak untuk berpartisipasi, informasi ini diserahkan kepada pihak ketiga yang terpercaya dengan harapannya tidak akan bertindak jahat. Aktivitas ini secara intrinsik terpusat, penyedia data kehilangan kendali atas PII mereka dan juga tunduk pada berbagai peraturan berdasarkan yurisdiksi.
Kemampuan untuk memilih sekumpulan attestor tepercaya dan kemudian menyimpan PII di kantong perangkat keras Artinya, setiap aktor yang memiliki HSM berkemampuan memadai akan mampu memverifikasi fakta tentang seorang aktor dengan cara yang tidak dapat dipalsukan tanpa verifikator mengetahui identitas pelaku. Misalnya, Bob adalah bukan warga negara AS. Alice adalah investor terakreditasi. James adalah pembayar pajak AS dan seseorang harus mengirimkannya laba kena pajak ke rekening X.
Strategi HSM Cardano adalah mencoba menerapkan protokol khusus pada dua berikutnya tahun menggunakan Intel SGX dan ARM Trustzone. Kedua modul dibangun untuk miliaran konsumen perangkat mulai dari laptop hingga ponsel dan tidak memerlukan upaya tambahan dari pihak konsumen untuk melakukannya gunakan. Keduanya juga diperiksa secara ketat, dirancang dengan baik, dan didasarkan pada iterasi bertahun-tahun dari beberapa perusahaan tim keamanan perangkat keras terbesar dan dengan pendanaan terbaik.
14 Lihat http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ dari Cornell Universitas MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 17 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Peraturan
Kenyataan pahit dari semua sistem keuangan modern adalah bahwa ketika mereka berkembang, mereka mengakumulasi kebutuhan, atau setidaknya keinginan untuk regulasi. Hasil ini umumnya disebabkan oleh keruntuhan yang berulang karena kelalaian beberapa pelaku atau komplotan rahasia pelaku di suatu pasar.
Misalnya, Krisis Knickerbocker tahun 1907 yang mengakibatkan pembentukan Federal Reserve Sistem pada tahun 1913 sebagai lender of last resort. Contoh lainnya adalah ekses-ekses yang terjadi pada tahun 1920an Amerika Serikat yang mengakibatkan keruntuhan finansial yang mengerikan, Depresi Besar. Keruntuhan ini menghasilkan pembentukan Komisi Bursa Sekuritas pada tahun 1934 untuk mencegah hal serupa acara atau setidaknya meminta pertanggungjawaban aktor jahat.
Kita bisa saja memperdebatkan perlunya, ruang lingkup, dan kemanjuran regulasi, namun kita tidak bisa menyangkalnya keberadaannya dan semangat pemerintah-pemerintah besar dalam menegakkannya. Namun, itu tantangan yang dihadapi semua regulator seiring globalisasi dan uang tunai menjadi digital memiliki dua sisi.
Pertama, peraturan mana yang harus menjadi yang tertinggi dalam menangani kumpulan yurisdiksi? Gagasan kuno tentang kedaulatan Westphalia mencair ketika ada satu transaksi dapat menjangkau tiga lusin negara dalam waktu kurang dari satu menit. Seharusnya hanya siapa saja yang memegangnya pengaruh geopolitik yang paling besar?
Kedua, kemajuan dalam teknologi privasi telah menciptakan perlombaan senjata digital menjadi semakin sulit bahkan untuk memahami siapa yang telah berpartisipasi dalam suatu transaksi, apalagi yang memiliki penyimpan nilai tertentu. Di dunia dengan aset jutaan dolar dapat dikontrol hanya dengan mnemonik 12 kata yang disimpan secara diam-diam, bagaimana kabarmu 15 menegakkan peraturan yang efektif?
Seperti semua sistem keuangan, protokol Cardano harus memiliki opini dalam desainnya mengenai apa yang ada adil dan masuk akal. Kami telah memilih untuk membagi antara hak individu dan hak a pasar.
Individu harus selalu memiliki akses tunggal terhadap dana mereka tanpa paksaan atau aset sipil penyitaan. Hak ini harus ditegakkan karena tidak semua pemerintah dapat dipercaya untuk tidak melakukan hal tersebut menyalahgunakan kekuasaan kedaulatan mereka demi keuntungan pribadi para politisi korup, seperti yang terlihat di Venezuela dan Zimbabwe. Cryptocurrency harus direkayasa ke denominator terendah.
15 Lihat BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki
MENGAPA KAMI MEMBANGUN CARDANO
Lisensi Internasional Creative Commons Atribusi 4.0
Halaman 18 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Kedua, sejarah tidak boleh dirusak. Blockchain memberikan janji akan kekekalan. Memperkenalkan kekuatan untuk memutar kembali sejarah atau mengubah catatan resmi berarti terlalu banyak hal godaan untuk mengubah masa lalu demi menguntungkan aktor atau pelaku tertentu.
Ketiga, aliran nilai harus tidak dibatasi. Kontrol modal dan tembok buatan lainnya mengurangi hak asasi manusia. Di luar kesia-siaan upaya untuk menegakkannya, secara global 16 perekonomian dengan banyak warga negara di negara-negara kurang berkembang bepergian ke luar yurisdiksi mereka untuk mendapatkan upah yang layak, membatasi aliran modal biasanya berakhir dengan merugikan kelompok termiskin di dunia.
Prinsip-prinsip ini menyatakan, pasar jelas berbeda dari individu. Sedangkan para desainer Cardano percaya pada hak individu, kami juga percaya bahwa pasar mempunyai hak untuk menyatakan secara terbuka syarat dan ketentuannya, dan jika seseorang setuju untuk berbisnis di pasar ini, maka mereka harus berpegang pada standar tersebut demi integritas seluruh sistem.
Tantangannya selalu pada biaya dan kepraktisan penegakan hukum. Kecil, multiyurisdiksi
transaksi terlalu mahal dalam sistem lama untuk memberikan jaminan jalan keluar yang tinggi
jika terjadi penipuan atau perselisihan komersial. Ketika seseorang mengirimkan transfer kawatnya ke
Pangeran Nigeria, biasanya terlalu mahal untuk mencoba mendapatkan kembali dananya.
17
Untuk Cardano, kami merasa dapat berinovasi dalam tiga tingkatan. Pertama, melalui penggunaan smart contracts syarat dan ketentuan hubungan komersial dapat dikontrol dengan lebih baik. Jika semua aset digital dan hanya dapat ditampilkan di CSL, maka terdapat jaminan kuat akan perdagangan bebas penipuan diperoleh.
Kedua, penggunaan HSM untuk memberikan ruang identitas di mana PII tidak bocor namun sudah terbiasa pelaku autentikasi dan kredensial harus menyediakan sistem reputasi global dan memungkinkannya aktivitas yang diatur dengan biaya jauh lebih rendah untuk dilakukan, seperti game online dengan otomatis kepatuhan pajak atau pertukaran terdesentralisasi.
Terakhir, dalam peta jalan Cardano adalah pembuatan peraturan modular DAO yang dapat disesuaikan untuk berinteraksi dengan smart contracts yang ditulis pengguna untuk menambah mutabilitas, konsumen perlindungan dan arbitrase. Ruang lingkup proyek ini akan diuraikan dalam makalah selanjutnya.
16 Sebagai contoh penanggulangan aliran modal, lihat Sistem Perbankan Hawala 17 Lihat Penipuan dengan biaya di muka MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 19 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Apa Inti dari Semua Itu?
Cardano adalah proyek maraton yang melibatkan masukan dari ratusan pemikir paling cerdas
di dalam dan di luar industri cryptocurrency. Ini melibatkan pengulangan yang tak kenal lelah, penggunaan aktif
tinjauan sejawat, dan pencurian ide-ide hebat tanpa malu-malu ketika terungkap.
Bagian selanjutnya masing-masing mencakup aspek fokus tertentu yang telah kami putuskan sebagai inti
komponen proyek kami. Ada pula yang dipilih karena keinginan untuk meningkatkan keseluruhan yang terbaik
praktik ruang sedangkan praktik lainnya khusus untuk evolusi Cardano.
Meskipun tidak ada proyek yang dapat mencakup setiap tujuan atau memuaskan setiap pengguna, harapan kami adalah memberikan visi untuk tujuan tersebut
seperti apa tumpukan keuangan yang berkembang sendiri di yurisdiksi yang tidak memilikinya. Yang terakhir
Kenyataannya cryptocurrency bukanlah bahwa mereka akan mengganggu sistem keuangan lama yang ada.
Sistem keuangan lama selalu mampu menyerap perubahan dan mempertahankan bentuknya
dan fungsi.
Sebaliknya kita harus mencari tempat-tempat yang terlalu mahal untuk menerapkan sistem yang sudah ada
sistem perbankan, di mana banyak orang hidup dengan penghasilan kurang dari beberapa dolar sehari, tidak mempunyai identitas dan identitas yang stabil
kredit tidak mungkin ditemukan.
Di tempat-tempat ini, kekuasaan untuk menggabungkan sistem pembayaran, hak milik, identitas, kredit dan risiko
perlindungan ke dalam satu aplikasi yang berjalan di ponsel tidak hanya berguna, tetapi juga mengubah hidup.
Alasan kami membangun Cardano adalah karena kami merasa mempunyai kesempatan yang sah untuk mewujudkannya — atau
setidaknya maju – visi ini untuk negara berkembang.
Bahkan dalam kegagalan, jika kita dapat mengubah cara mata uang kripto dirancang, dikembangkan, dan didanai,
maka ada pencapaian besar.
Einführung
Eine langfristige Sicht auf die Verbesserung des Designs von Kryptowährungen, damit sie daran arbeiten können
mobile Geräte mit einem angemessenen und sicheren Benutzererlebnis
●
Bringen Sie Stakeholdern den Betrieb und die Wartung ihrer Kryptowährung näher
●
Anerkennung der Notwendigkeit, mehrere Vermögenswerte im selben Hauptbuch zu erfassen
●
Abstrahieren von Transaktionen, um optionale Metadaten einzuschließen, um eine bessere Konformität mit dem zu gewährleisten
Anforderungen von Altsystemen
●
Lernen Sie von den fast 1.000 Altcoins, indem Sie sinnvolle Funktionen nutzen
●
Führen Sie einen standardisierten Prozess ein, der von der Internet Engineering Task Force inspiriert wurde
eine spezielle Grundlage, um das endgültige Protokolldesign festzulegen
●
Entdecken Sie die sozialen Elemente des Handels
●
Finden Sie einen gesunden Mittelweg für die Interaktion der Regulierungsbehörden mit dem Handel
einige von Bitcoin übernommene Grundprinzipien gefährden
Ausgehend von dieser unstrukturierten Reihe von Ideen begannen die Projektleiter, die an Cardano arbeiteten, beides zu erforschen
Kryptowährungsliteratur zu studieren und einen Toolset-Satz von Abstraktionen aufzubauen. Das Ergebnis dieser Forschung ist
IOHKs umfangreiche Papierbibliothek, zahlreiche Umfrageergebnisse wie dieses aktuelle Skript
Sprachübersicht sowie eine Ontologie von Smart Contracts und das Scorex-Projekt. Lektionen
nachgegeben ein Wertschätzung für die Kryptowährung Industrie ungewöhnlich und bei Zeiten
kontraproduktives Wachstum.
Erstens gibt es im Gegensatz zu erfolgreichen Protokollen wie TCP/IP nur wenige Schichten im Design
Kryptowährungen. Es bestand der Wunsch, eine einheitliche Konsensvorstellung zu bewahren
Fakten und Ereignisse werden in einem einzigen Hauptbuch erfasst, unabhängig davon, ob dies sinnvoll ist.
Zum Beispiel hat Ethereum eine enorme Komplexität bei dem Versuch, ein zu werden
Universeller Weltcomputer, leidet jedoch unter trivialen Bedenken, die das System möglicherweise zerstören könnten
Fähigkeit, als Wertaufbewahrungsmittel zu fungieren. Sollte jedermanns Programm ein erstklassiger Bürger sein?
unabhängig von ihrem wirtschaftlichen Wert, den Wartungskosten oder den regulatorischen Konsequenzen?
Zweitens gibt es wenig Wertschätzung für frühere Ergebnisse in der Mainstream-Kryptografieforschung. Für
Beispielsweise hätte der delegierte Proof of Stake von Bitshares einfach und zuverlässig Zufälle generieren können
Zahlen mittels Münzwurf mit garantierter Ausgabeausgabe, eine Technik, die seitdem bekannt ist
in den 1980er Jahren (siehe die wegweisende Arbeit von Rabin und Ben-Or).
Drittens haben die meisten Altcoins (mit einigen bemerkenswerten Ausnahmen wie Tezos) keine hergestellt
Unterkunft für zukünftige Updates. Die Fähigkeit, eine Soft- oder Hard-Fork erfolgreich voranzutreiben, ist entscheidend
zum langfristigen Erfolg jeder Kryptowährung.
Folglich können Unternehmensbenutzer keine Ressourcen im Wert von mehreren Millionen Dollar bereitstellen
Protokolle, bei denen der Fahrplan und die Akteure dahinter kurzlebig, kleinlich oder radikalisiert sind. Da
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 3 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Es muss ein effizienter Prozess sein, durch den sich ein gesellschaftlicher Konsens um eine Vision bilden kann
Weiterentwicklung des zugrunde liegenden Protokolls. Wenn dieser Prozess enorm aufwändig ist, kommt es zur Fragmentierung
könnte die Gemeinschaft auseinanderreißen.
Schließlich, Geld ist letztendlich a sozial Phänomen. Im Bemühen um Anonymisierung und
Als disintermediäre zentrale Akteure haben Bitcoin und seine Zeitgenossen die Notwendigkeit ebenfalls verworfen
stabile Identitäten, Metadaten und Reputation bei kommerziellen Transaktionen. Hinzufügen dieser Daten
Durch zentralisierte Lösungen entfällt die Überprüfbarkeit, globale Verfügbarkeit und Unveränderlichkeit –
Das ist der Sinn der Verwendung eines blockchain.
Ältere Finanzsysteme wie die, die aus SWIFT, FIX und ACH bestehen, sind reich an
Transaktionsmetadaten. Es reicht nicht aus zu wissen, wie viel Wert zwischen Konten verschoben wurde.
Die Regulierung erfordert häufig die Nennung der beteiligten Akteure, Compliance-Informationen und die Berichterstattung
verdächtige Aktivitäten und andere Aufzeichnungen und Aktionen. In manchen Fällen sind die Metadaten umfangreicher
wichtiger als die Transaktion.
Daher liegt der Schluss nahe, dass die Manipulation von Metadaten genauso schädlich sein könnte wie
Fälschen von Währungen oder Umschreiben der Transaktionshistorie. Keine Vorkehrungen für Schauspieler treffen
diejenigen, die diese Bereiche freiwillig einbeziehen wollen, scheinen kontraproduktiv für die Akzeptanz durch den Mainstream zu sein
und Verbraucherschutz.
Das Ende des Aufenthaltes
Die Zusammenfassung unserer prinzipiellen Erkundung des Kryptowährungsraums besteht aus zwei Sammlungen von
Protokolle. Dementsprechend handelt es sich um eine nachweislich sichere, auf Proof-of-Stake [1][2] basierende Kryptowährung namens
Cardano Settlement Layer (CSL) und eine Reihe von Protokollen namens Cardano Computation Layer
(CCL).
Unser Designschwerpunkt liegt darin, die sozialen Aspekte von Kryptowährungen in Schichten zu berücksichtigen
durch die Trennung der Wertbuchhaltung von der komplexen Berechnung und die Berücksichtigung der Anforderungen von
Regulierungsbehörden im Rahmen mehrerer unveränderlicher Grundsätze. Darüber hinaus, wo es sinnvoll ist,
1 Wir versuchen, vorgeschlagene Protokolle durch Peer-Review zu überprüfen und den Code mit dem Formalen zu vergleichen
Spezifikationen.
1 Eine Liste finden Sie im Abschnitt „Verordnung“. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 4 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Nachweis des Einsatzes
Die Verwendung eines Proof of Stake für eine Kryptowährung ist jedoch eine heiß diskutierte Designentscheidung
fügt einen Mechanismus zur Einführung sicherer Abstimmungen hinzu, verfügt über mehr Skalierbarkeit und ermöglicht mehr
Da es sich um exotische Anreizsysteme handelte, entschieden wir uns, diese anzunehmen.
Unser Proof-of-Stake-Protokoll heißt Ouroboros und wurde von extrem entwickelt
talentiertes Team von Kryptografen aus fünf akademischen Institutionen unter der Leitung von Professor Aggelos
2 Kiayias von der University of Edinburgh. Die Kerninnovation, die es mit sich bringt, geht über die erwiesene Sicherheit hinaus
Die Verwendung eines strengen kryptografischen Modells ist ein modulares und flexibles Design, das dies ermöglicht
Zusammenstellung vieler Protokolle zur Verbesserung der Funktionalität.
Diese Modularität ermöglicht Funktionen wie Delegation, Sidechains, abonnierbare Prüfpunkte,
bessere Datenstrukturen für Light-Clients, verschiedene Formen der Zufallszahlengenerierung und sogar
unterschiedliche Synchronisationsannahmen. Wenn sich ein Netzwerk aus Tausenden zu einem entwickelt
Millionen und sogar Milliarden von Benutzern werden auch die Anforderungen ihres Konsensalgorithmus erfüllen
ändern. Daher ist es wichtig, über genügend Flexibilität zu verfügen, um auf diese Veränderungen und damit einhergehend reagieren zu können
zukunftssicher das Herzstück einer Kryptowährung.
Soziale Elemente des Geldes
Kryptowährungen sind ein Paradebeispiel für die soziale Komponente von Geld. Beim Einschränken
Analyse rein auf Technologie, es gibt kaum einen Unterschied zwischen Bitcoin und Litecoin und sogar
weniger zwischen Ethereum und Ethereum Classic. Allerdings sind sowohl Litecoin als auch Ethereum Classic
Sie verfügen neben ihren eigenen über große Marktkapitalisierungen und robuste, dynamische Gemeinschaften
gesellschaftliche Mandate.
Man kann argumentieren, dass ein großer Teil des Wertes einer Kryptowährung von ihrer Community stammt,
die Art und Weise, wie es die Währung nutzt, und sein Ausmaß an Engagement in der Entwicklung der Währung. Fördern
Der Gedanke, Währungen wie Dash hätten sogar Systeme direkt in das Protokoll integriert, um
Beziehen Sie ihre Gemeinschaft in die Entscheidung ein, was bei der Entwicklung und Finanzierung Priorität haben sollte.
2 University of Connecticut, University of Athens, University of Edinburgh, Aarhus University, Tokio Institut für Technologie WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 5 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Die enorme Vielfalt der Kryptowährungen zeugt auch von ihren sozialen Elementen.
Meinungsverschiedenheiten über Philosophie, Geldpolitik oder auch nur zwischen den Kernentwicklern
zu Fragmentierung und Verzweigungen führen. Doch im Gegensatz zu ihren Gegenstücken in Kryptowährungen sind Fiat-Währungen von
Supermächte neigen dazu, politische Veränderungen und lokale Meinungsverschiedenheiten ohne eine Währungskrise zu überstehen
Massenflucht.
Daher scheint es, dass Elemente von Altsystemen fehlen
Kryptowährungsbranche. Wir argumentieren – und haben dies in die Cardano-Roadmap einfließen lassen
Benutzer eines Protokolls benötigen Anreize, um den Gesellschaftsvertrag hinter ihrem Protokoll zu verstehen
haben die Freiheit, Änderungen auf produktive Weise vorzuschlagen. Diese Freiheit erstreckt sich auf jeden
Aspekt eines Wertaustauschsystems, von der Entscheidung, wie Märkte reguliert werden sollen, bis hin zu welchen
Projekte sollen gefördert werden. Dennoch kann es nicht über zentralisierte Akteure vermittelt werden und ist auch nicht erforderlich
eine besondere Qualifikation, die von einer gut ausgestatteten Minderheit übernommen werden könnte.
Cardano wird ein System von Overlay-Protokollen implementieren, die auf CSL aufbauen, um dies zu berücksichtigen
Bedürfnisse seiner Nutzer.
Erstens: Unabhängig vom Erfolg eines Crowdsales zur Bootstrap-Entwicklung werden die Mittel letztendlich bereitgestellt
zerstreuen. Daher wird Cardano einen dezentralen Trust enthalten monoton finanziert
3 Senkung der Inflation und der Transaktionsgebühren.
Jeder Benutzer sollte berechtigt sein, über ein Abstimmungssystem Gelder vom Trust anzufordern
Die Stakeholder von CSL stimmen darüber ab, wer Begünstigter wird. Der Prozess schafft eine produktive
Rückkopplungsschleife, die bei anderen Kryptowährungen mit Treasury-/Trust-Systemen wie Dash beobachtet wird
Beginnen Sie ein Gespräch darüber, wer gefördert werden soll und wer nicht.
Finanzierungsdiskussionen erzwingen eine Beziehung zwischen lang- und kurzfristigen Zielen, dem sozialen Aspekt der Kryptowährung
Vertrag, Prioritäten und der Glaube an die Wertschöpfung mit bestimmten Vorschlägen. Dieses Gespräch
bedeutet, dass die Gemeinschaft ihre Überzeugungen ständig im Hinblick auf das Mögliche evaluiert und debattiert
Straßenkarten.
Zweitens hoffen wir, dass Cardano irgendwann ein formelles, auf blockchain basierendes System enthalten wird
sowohl Soft- als auch Hard Forks vorschlagen und darüber abstimmen. Bitcoin mit seiner Blockgrößendebatte, Ethereum mit
Der DAO-Fork und viele andere Kryptowährungen haben seit langem Bestand und in
Häufige Fälle sind ungelöste Auseinandersetzungen über die technische und moralische Ausrichtung der Codebasis.
Es kann und sollte argumentiert werden, dass viele dieser Meinungsverschiedenheiten und der Bruch der
Gemeinschaft, die entsteht, wenn Maßnahmen ergriffen werden, sind eine direkte Folge fehlender formaler Prozesse für
über Veränderungen diskutieren.
3 Dies wird auch als Treasury-System bezeichnet
WARUM WIR CARDANO BAUEN
Creative Commons Attribution 4.0 Internationale Lizenz
Seite 6 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Wo kann man Bitcoin-Benutzer davon überzeugen, Segregated Witness einzuführen? Wie soll das
Kernentwickler von Ethereum messen die Stimmung der Community für die Rettung des DAO? Wenn die
Community Brüche, ist die Kryptowährung irreparabel beschädigt?
Im schlimmsten Fall könnte die moralische Handlungsbefugnis einfach an denjenigen übergehen, der die Entwickler hat.
Infrastrukturbeziehungen und Geld, nicht die besten Wünsche der überwiegenden Mehrheit der
Gemeinschaft. Darüber hinaus, wenn ein großer Teil der Community aufgrund von Unzugänglichkeit oder mangelndem Engagement nicht erreichbar ist
zu schlechten Anreizen, wie kann man dann wirklich wissen, ob ihre Handlungen legitim sind? 4
Vorgeschlagene Kryptowährungen wie Tezos bieten ein interessantes Modell, um zu untersuchen, wo a
Das Kryptowährungsprotokoll wird wie eine Verfassung behandelt, die aus drei Abschnitten besteht (Transaktion,
Konsens und Netzwerk) mit einer Reihe formeller Regeln und einem Verfahren zur Aktualisierung der Verfassung. Doch
Es gibt noch viel zu tun mit Anreizen und der Frage, wie genau modelliert und verändert werden soll
eine Kryptowährung mit einer formalen Sprache.
Der Einsatz formaler Methoden, maschinenverständlicher Spezifikationen und die Zusammenführung eines Treasury mit
Dieser Prozess für finanzielle Anreize wird als möglicher Weg zur Inspiration untersucht.
Letztendlich geht es nur um die Möglichkeit, eine Protokolländerung auf transparente und zensurfreie Weise vorzuschlagen
mit blockchain-basierter Abstimmung sollte den Prozess verbessern, auch wenn elegantere Lösungen dies nicht können
gestaltet werden.
Entwerfen in Schichten – Cardano Siedlungsschicht
Beim Entwerfen großartiger Protokolle und Sprachen sollte man nicht in die Zukunft blicken, sondern in die Zukunft die Vergangenheit. Die Geschichte bietet eine Vielzahl von Beispielen für großartige Ideen, die auf dem Papier noch perfekt sind irgendwie nicht überlebt haben, wie zum Beispiel die Open Systems Interconnection Standards. Geschichte auch bietet glückliche Zufälle, die von TCP/IP bis JavaScript überdauert haben.
Einige aus historischer Sicht abgeleitete Prinzipien sind die folgenden:
1.
Sie können die Zukunft nicht vorhersagen, also bauen Sie Spielraum ein
2.
Komplexität ist auf dem Papier schön, aber die Einfachheit gewinnt normalerweise
3.
Zu viele Köche verderben den Brei
4.
Sobald ein Standard festgelegt ist, wird er wahrscheinlich bestehen bleiben, unabhängig davon, ob er es ist
suboptimal
4 Siehe rationale Ignoranz
WARUM WIR CARDANO BAUEN
Creative Commons Attribution 4.0 Internationale Lizenz
Seite 7 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
5. Aus schlechten Ideen können tatsächlich ziemlich gute werden, wenn der Wille vorhanden ist
Cardano ist ein Finanzsystem, das seinen sozialen Charakter akzeptiert. Es wird einen enormen Bedarf geben für Flexibilität und die Fähigkeit, beliebige Komplexität in der Transaktion eines bestimmten Benutzers zu bewältigen. Wenn Erfolgreich zu sein, wird ein enormer Bedarf an Rechen-, Speicher- und Netzwerkressourcen bestehen um Millionen gleichzeitiger Transaktionen zu ermöglichen.
Dennoch haben wir keinen digitalen, dezentralen Robin Hood, den wir von den reichen Knoten nehmen und an ihn weitergeben können die Armen, um eine gerechte Vernetzung zu erreichen. Wir haben auch nicht den Luxus, Menschen zu vertrauen Wohltätigkeit zu altruistischem Opfer für das Wohl des Netzwerks. Daher Cardano Design übernimmt das Konzept der Interessenstrennung von TCP/IP.
Blockchains sind letztendlich Datenbanken, die Fakten und Ereignisse mit Garantien ordnen Zeitstempel und Unveränderlichkeit. Im Zusammenhang mit Geld ordnen sie den Besitz von Vermögenswerten an. Hinzufügen Komplexe Berechnungen durch Speichern und Ausführen von Programmen sind ein orthogonales Konzept. Wollen wir Um zu wissen, wie viel Wert Alice an Bob hatte, oder wollen wir uns daran beteiligen, das herauszufinden die ganze Geschichte hinter der Transaktion und die Entscheidung, wie viel gesendet werden soll?
Es ist unglaublich verlockend, Letzteres zu wählen, wie es Ethereum getan hat, weil es flexibler ist, aber es verstößt gegen die oben genannten Designprinzipien. Das Herausfinden der Geschichte bedeutet, dass ein einziges Protokoll erforderlich ist muss in der Lage sein, willkürliche Ereignisse zu verstehen, willkürliche Transaktionen zu programmieren und eine Schlichtung zu ermöglichen Betrugsfälle und möglicherweise sogar Rückabwicklungen von Transaktionen, wenn neue Informationen vorliegen verfügbar.
Dann muss man schwierige Designentscheidungen darüber treffen, welche Metadaten für jeden gespeichert werden sollen Transaktion. Welche Elemente der Geschichte hinter der Transaktion von Alice und Bob sind relevant? Sind Sind sie für immer relevant? Wann können wir einige Daten wegwerfen? Verstößt dies gegen das Gesetz? einige Länder?
Darüber hinaus sind einige Berechnungen privater Natur. Zum Beispiel bei der Berechnung des Durchschnitts Um das Gehalt der Arbeiter in einem Büro zu ermitteln, möchten wir nicht unbedingt bekannt geben, wie viel jede Person verdient macht. Aber was wäre, wenn jede Berechnung öffentlich bekannt wäre? Was ist, wenn diese Werbung die Ausführung beeinflusst? um dem Ergebnis zu schaden?
Daher haben wir die Position gewählt, dass die Bilanzierung des Werts von der getrennt werden sollte Geschichte, warum der Wert verschoben wurde. Mit anderen Worten: Trennung von Wert und Berechnung. Diese Trennung bedeutet nicht, dass Cardano smart contracts nicht unterstützt. Im Gegenteil, Durch die explizite Trennung wird eine deutlich größere Flexibilität bei der Gestaltung, Nutzung und Nutzung ermöglicht. Datenschutz und Ausführung von smart contracts.
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 8 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Das Wertbuch wird Cardano Settlement Layer (CSL) genannt. Denn der Zweck besteht darin, Rechenschaft abzulegen Value hat die Roadmap folgende Ziele:
1.
Unterstützt zwei Sätze von Skriptsprachen, einen zum Verschieben von Werten und einen zum Verbessern
Unterstützung des Overlay-Protokolls
2.
Bieten Sie Unterstützung für KMZ-Sidechains zur Verknüpfung mit anderen Hauptbüchern
5
3.
Unterstützt mehrere Signaturtypen, einschließlich quantenresistenter Signaturen für höhere Signaturen
Sicherheit
4.
Unterstützen Sie mehrere vom Benutzer ausgegebene Assets
5.
Erzielen Sie echte Skalierbarkeit, d. h. je mehr Benutzer beitreten, desto größer werden die Möglichkeiten des Systems
erhöhen
Skripterstellung
Beginnend mit der Skriptsprache erfordern Transaktionen zwischen Adressen in einem Hauptbuch einige Form eines Skripts, das ausgeführt und als gültig erwiesen werden soll. Im Idealfall möchte man nicht, dass Eve darauf zugreift Alices Geld, und man möchte auch nicht, dass ein schlecht gestaltetes Drehbuch versehentlich einen Wert an einen Toten sendet Adresse, wodurch die Gelder unwiederbringlich werden.
Systeme wie Bitcoin bieten eine äußerst unflexible und drakonische Skriptsprache Es ist schwierig, maßgeschneiderte Transaktionen zu programmieren sowie zu lesen und zu verstehen. Doch der General Die Programmierbarkeit von Sprachen wie Solidity bringt eine außerordentliche Komplexität mit sich in das System integriert und sind nur für eine viel kleinere Gruppe von Akteuren nützlich.
Aus diesem Grund haben wir uns entschieden, zu Ehren ihres Schöpfers eine neue Sprache namens Simon zu entwerfen 6 Simon Thompson und der Schöpfer der Konzepte, die ihn inspiriert haben, Simon Peyton Jones. Simon ist eine domänenspezifische Sprache, die auf „Verfassen von Verträgen: ein Abenteuer im Finanzwesen“ basiert Ingenieurwesen.
Die Grundidee besteht darin, dass Finanztransaktionen im Allgemeinen aus einer Sammlung von Transaktionen bestehen Grundelemente. Wenn man ein finanzielles Periodensystem der Elemente zusammenstellt, dann kann man das 7 bieten Unterstützung für eine beliebig große Menge zusammengesetzter Transaktionen, die die meisten, wenn nicht, abdecken alle gängigen Transaktionstypen, ohne dass eine allgemeine Programmierbarkeit erforderlich ist.
5 Demnächst in einem Artikel von Kiayias, Zindros und Miller
6 Einzelheiten werden in einer kommenden Spezifikation veröffentlicht. Die vollständige Sprache wird im unterstützt
Die Veröffentlichung von Shelley CSL ist für das vierte Quartal 2017 geplant
7 Das Projekt ACTUS verfügt über eine ausführliche Ausarbeitung
WARUM WIR CARDANO BAUEN
Creative Commons Attribution 4.0 Internationale Lizenz
Seite 9 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Der Hauptvorteil besteht darin, dass Sicherheit und Ausführung sehr gut verstanden werden können. Beweise kann geschrieben werden, um die Korrektheit von Vorlagen zu zeigen und den Ausführungsraum auszuschöpfen problematische Transaktionsereignisse, wie die Schaffung neuen Geldes aus dem Nichts oder eine Transaktion Formbarkeit. Zweitens kann man Erweiterungen belassen, um über Soft Forks weitere Elemente hinzuzufügen, wenn Neue Funktionalität ist erforderlich.
Allerdings wird es immer einen Bedarf geben, CSL mit Overlay-Protokollen und alten Finanzprotokollen zu verbinden Systeme und Spezialserver. So haben wir Plutus als General entwickelt Zweck smart contract Sprache und auch ein spezieller DSL für Interoperabilität.
Plutus ist eine typisierte funktionale Sprache, die auf Konzepten von Haskell basiert und verwendet werden kann Schreiben Sie benutzerdefinierte Transaktionsskripte. Für CSL wird es für komplexe Transaktionen verwendet, die erforderlich sind Fügen Sie Unterstützung für andere Ebenen hinzu, die wir verbinden müssen, z. B. unser Sidechain-Schema.
Sidechains
In Bezug auf Sidechains wird Cardano ein neues Protokoll unterstützen, das von Kiayias, Miller und entwickelt wurde Zindros (KMZ-Sidechains) basierend auf früheren Ergebnissen von Arbeitsnachweisen. Das Besondere Design geht über den Rahmen dieses Dokuments hinaus; Das Konzept ermöglicht jedoch die sichere und Nicht-interaktive Bewegung von Geldern von CSL zu einer beliebigen Cardano-Berechnungsschicht oder einer anderen blockchain unterstützt das Protokoll.
KMZ-Sidechains sind der Schlüssel zur Kapselung der Komplexität. Bücher mit regulatorischen Anforderungen, Private Operationen, robuste Skriptsprachen und andere spezielle Anliegen sind praktisch schwarz Boxen an CSL übertragen, dennoch erhält der CSL-Benutzer bestimmte Garantien hinsichtlich der Buchhaltung und der Fähigkeit dazu Rückruf der Gelder, sobald die Berechnung abgeschlossen ist.
Unterschriften
Um Werte sicher von Alice zu Bob zu übertragen, muss Alice nachweisen, dass sie dazu berechtigt ist die Gelder verschieben. Der direkteste und zuverlässigste Weg, diese Aufgabe zu erfüllen, ist die Verwendung einer Öffentlichkeit Schlüsselsignaturschema, bei dem Gelder mit einem öffentlichen Schlüssel verbunden sind und Alice einen steuert zugehörigen privaten Schlüssel.
Es gibt Hunderte möglicher Schemata mit unterschiedlichen Sicherheitsparametern und -annahmen.
Einige stützen sich auf mathematische Probleme im Zusammenhang mit elliptischen Kurven, andere dagegen
über Gitter mit exotischen Konzepten verbunden.
WARUM WIR CARDANO BAUEN
Creative Commons Attribution 4.0 Internationale Lizenz
Seite 10 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Das abstrakte Ziel ist immer dasselbe. Es gibt ein schwieriges Problem, das nur gelöst werden kann jemand hat ein geheimes Wissen. Der Inhaber dieses Wissens soll sein Der Eigentümer des Schlüsselpaars und sollte die einzige Entität sein, die die Möglichkeit hat, es zu verwenden.
Es gibt zwei Gruppen von Bedenken, mit denen eine Kryptowährung bei der Wahl eines Signaturschemas konfrontiert ist. Erstens ist da die langfristige Sicherheitsbeständigkeit des Systems selbst. Etwas kryptografisch In den 1970er und 1980er Jahren verwendete Systeme wie DES wurden gebrochen. Der Zeitraum, über den Es muss entschieden werden, welches System voraussichtlich überleben wird.
Zweitens gibt es viele Unternehmen, Regierungen und andere Institutionen, die es vorgezogen haben, oder In einigen Fällen wurde die Verwendung eines bestimmten Schemas vorgeschrieben. Beispielsweise unterhält die NSA die Suite B-Protokollsatz. Es gibt Standards von ISO und sogar W3C-Arbeitsgruppen zur Kryptographie.
Wenn eine Kryptowährung ein Einzelsignaturschema wählt, ist sie gezwungen, dieses Schema zu akzeptieren könnte irgendwann in der Zukunft kaputt gehen und mindestens eine Entität kann sie nicht nutzen Kryptowährung aufgrund gesetzlicher oder branchenspezifischer Beschränkungen. Doch eine Kryptowährung kann nicht jeden unterstützen Signaturschema, da dies erfordern würde, dass jeder Kunde jedes Schema versteht und validiert.
Für Cardano haben wir uns entschieden, mit der Verwendung der elliptischen Kurvenkryptographie zu beginnen, der Ed25519-Kurve in
besonders. Wir haben uns außerdem entschieden, die vorhandenen Bibliotheken um Unterstützung für HD-Wallets zu erweitern
unter Verwendung der Spezifikation von Dr. Dmitry Khovratovich und Jason Law.
8
Allerdings wird Cardano in Zukunft weitere Signaturschemata unterstützen. Insbesondere sind wir es Interesse an der Integration von BLISS-B, um unserem System quantencomputerresistente Signaturen hinzuzufügen. Wir sind auch daran interessiert, SECP256k1 hinzuzufügen, um die Interoperabilität mit Legacy-Lösungen zu verbessern Kryptowährungen wie Bitcoin.
Cardano wurde mit speziellen Erweiterungen entwickelt, die es uns ermöglichen, weitere Signaturen hinzuzufügen
Schemata durch eine Soft Fork. Sie werden nach Bedarf und bei geplanten größeren Aktualisierungen hinzugefügt
die Roadmap.
9
Vom Benutzer ausgegebene Vermögenswerte (UIAs)
Zu Beginn der Geschichte von Bitcoin wurden schnell Protokolle entwickelt, die es Benutzern ermöglichen, Vermögenswerte auszugeben
Huckepack auf dem Buchhaltungssystem von Bitcoin, um mehrere Währungen gleichzeitig zu verfolgen.
8 Dies ist die Dokumentation für die HD Wallet-Implementierung von Cardano. Wir glauben, dass Cardano der erste ist
Kryptowährung zur Unterstützung von Ed25519 HD Wallets
9 Siehe cardanoroadmap.com
WARUM WIR CARDANO BAUEN
Creative Commons Attribution 4.0 Internationale Lizenz
Seite 11 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Diese Protokolle wurden vom Protokoll Bitcoin nicht nativ unterstützt, sondern durch implementiert clevere Hacks.
Im Fall von Bitcoin-Overlays wie Colored Coins und Mastercoin (jetzt Omni genannt), Licht Clients sind gezwungen, sich auf vertrauenswürdige Server zu verlassen. Auch Transaktionsgebühren müssen noch eingezahlt werden Bitcoins. Diese Eigenschaften werden mit der einzigen Pipeline zur Transaktionsgenehmigung kombiniert Bitcoin suboptimal für Multi-Asset-Buchhaltung.
Im Fall Ethereum unter Verwendung des ERC20-Standards gibt es einen größeren Funktionsumfang. Allerdings Für Transaktionsgebühren ist weiterhin Ether erforderlich. Darüber hinaus hat das Netzwerk Ethereum Schwierigkeiten Skalierung auf die Bedürfnisse aller ausgegebenen ERC20 tokens.
Das grundlegende Problem lässt sich in drei Teile unterteilen: Ressourcen, Anreize und Anliegen. In Bezug auf Ressourcen bedeutet das Hinzufügen einer völlig neuen Währung zum gleichen Hauptbuch, dass man sie hat zwei unabhängige UTXO-Sets (nicht ausgegebene Transaktionseingaben), die sich die Bandbreite, den Mempool und teilen Blockraum. Konsensknoten, die für die Einbettung von Transaktionen dieser Währungen verantwortlich sind brauchen einen Anreiz dafür. Und nicht jeder Benutzer einer Kryptowährung wird oder sollte sich darum kümmern die Währung eines bestimmten Unternehmens.
Angesichts dieser Probleme sind die Vorteile als primäres token eines Multiasset-Ledgers enorm kann effektiv als Brückenwährung dienen und eine dezentrale Marktgestaltung ermöglichen. Speziell Zweckmäßige Vermögenswerte könnten ausgegeben werden, um zusätzlichen Nutzen zu bieten, z. B. wertstabile Vermögenswerte Tether oder MakerDAO, die für Kredit- und Überweisungsanträge nützlich sind.
Angesichts der Herausforderungen hat Cardano einen pragmatischen Ansatz für die Multi-Asset-Buchhaltung gewählt. Beim schrittweisen Aufbau besteht die erste Herausforderung darin, die notwendige Infrastruktur zur Unterstützung zu entwerfen Forderungen tausender UIAs. Nötig sind nämlich folgende Weiterentwicklungen:
1. Spezielle authentifizierte Datenstrukturen ermöglichen die Verfolgung sehr großer Datenmengen UTXO Zustand
2.
Die Möglichkeit, über einen verteilten Mempool zu verfügen, der eine große Menge ausstehender Transaktionen speichern kann
3.
Blockchain-Partitionierung und Kontrollpunkte, um eine riesige globale blockchain zu ermöglichen
4.
Ein Anreizsystem, das Konsensknoten dafür belohnt, dass sie verschiedene Gruppen von Knoten einbeziehen
Transaktionen
5.
Ein Abonnementmechanismus, mit dem Benutzer entscheiden können, welche Währungen sie verfolgen möchten
6.
Starke Sicherheit garantiert, dass UIAs eine ähnliche Sicherheit genießen wie das native Asset
7.
Unterstützung für dezentrales Market Making zur Verbesserung der Liquidität zwischen UIA und der
primär token
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 12 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Unsere ersten Bemühungen, die richtige authentifizierte Datenstruktur zu finden, haben zu einem neuen Ergebnis geführt Art des AVL+-Baums, der gemeinsam von Leo Reyzin, IOHK und Waves entwickelt wurde. Weitere Forschung ist erforderlich, Es handelt sich jedoch um eine grundlegende Weiterentwicklung, die in einer späteren Version von Cardano enthalten sein wird.
Ein verteilter Mempool könnte mithilfe des RAMCloud-Protokolls der Stanford University implementiert werden. Im dritten Quartal 2017 werden Experimente beginnen, um die Integration in die Konsensschicht von Cardano zu untersuchen.
Die übrigen Themen sind miteinander verbunden und werden durch laufende Forschung abgedeckt. Wir erwarten – Thema zu Forschungsergebnissen – um ein Protokoll in Cardano für UIAs während des Basho von CSL aufzunehmen Veröffentlichung im Jahr 2018.
Skalierbarkeit
Verteilte Systeme bestehen aus einer Reihe von Computern (Knoten), die sich bereit erklären, ein Protokoll auszuführen oder
Suite von Protokollen, um ein gemeinsames Ziel zu erreichen. Dieses Ziel könnte das Teilen einer Datei gemäß Definition sein
B. das BitTorrent-Protokoll oder das Falten eines Proteins mit Folding@Home.
Die effektivsten Protokolle gewinnen Ressourcen, wenn Knoten dem Netzwerk beitreten. Eine Datei, die von gehostet wird
BitTorrent beispielsweise kann im Durchschnitt viel schneller heruntergeladen werden, wenn viele Peers vorhanden sind
gleichzeitig herunterladen. Die Geschwindigkeit erhöht sich, da die Peers gleichzeitig Ressourcen bereitstellen
konsumiere sie auch. Dieses Merkmal ist das, was man normalerweise meint, wenn man eine Verteilung angibt
Systemwaagen.
Die Herausforderung bei der Gestaltung aller aktuellen Kryptowährungen besteht darin, dass dies tatsächlich nicht der Fall ist
skalierbar konzipiert. Blockchains zum Beispiel sind normalerweise eine nur anhängbare verknüpfte Liste von
Blöcke. Die Sicherheit und Verfügbarkeit eines blockchain-Protokolls hängt von vielen Knoten ab
Besitz einer vollständigen Kopie der blockchain-Daten. Daher muss ein einzelnes Datenbyte repliziert werden
unter N Knoten. Zusätzliche Knoten stellen keine zusätzlichen Ressourcen bereit.
Dieses Ergebnis gilt für die Transaktionsverarbeitung und das gesamte Versenden von Nachrichten
das System. Das Hinzufügen weiterer Knoten zum Konsenssystem bringt keine zusätzlichen Vorteile
Transaktionsverarbeitungsleistung. Es bedeutet lediglich, dass mehr Ressourcen aufgewendet werden müssen, um dasselbe zu erreichen
Arbeit. Mehr Netzwerk-Relaying bedeutet, dass mehr Knoten dieselben Nachrichten weiterleiten müssen, um die Nachrichten aufrechtzuerhalten
gesamtes Netzwerk synchron mit dem aktuellsten Block.
Angesichts dieser Topologie können Kryptowährungen nicht zu einem globalen Netzwerk skalieren, das mit herkömmlichen Kryptowährungen vergleichbar ist
Finanzsysteme. Im Gegensatz dazu ist die Legacy-Infrastruktur skalierbar und verfügt über Größenordnungen
mehr Rechen- und Speicherleistung. Wenn man einen bestimmten Punkt hinzufügt, ist Bitcoin ein sehr kleines Netzwerk
im Vergleich zu seinen Zahlungskollegen, hat jedoch Schwierigkeiten, seine aktuelle Auslastung zu bewältigen.
WARUM WIR CARDANO BAUEN
Creative Commons Attribution 4.0 Internationale Lizenz
Seite 13 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Unsere Skalierbarkeitsziele für Cardano werden durch unseren Konsensalgorithmus erheblich unterstützt. Ouroboros
ermöglicht eine dezentrale Möglichkeit, ein Quorum von Konsensknoten zu wählen, die wiederum mehr ausführen können
Traditionelle Protokolle wurden in den letzten 20 Jahren entwickelt, um den Bedürfnissen großer Unternehmen gerecht zu werden
Infrastrukturanbieter wie Google und Facebook.
10
Beispielsweise bedeutet die Wahl eines Quorums für eine Epoche, dass wir über eine vertrauenswürdige Gruppe von Knoten verfügen
Führen Sie das Hauptbuch für einen bestimmten Zeitraum. Es ist trivial, mehrere Kollegien gleichzeitig zu wählen
und Partitionieren von Transaktionen auf verschiedene Quoren.
Ähnliche Techniken könnten für die Netzwerkausbreitung und auch für das Sharding des blockchain angewendet werden.
unterteilt sich in einzigartige Partitionen. In unserer aktuellen Roadmap werden Skalierungsmethoden angewendet
Ouroboros beginnen im Jahr 2018 und bleiben auch 2019 und 2020 ein Schwerpunkt.
Cardano Berechnungsschicht
Wie bereits erwähnt, gibt es zwei Komponenten einer Transaktion: den Mechanismus zum Senden und zeichnen Sie den Fluss von tokens sowie die Gründe und Bedingungen für die Verschiebung von tokens auf. Die Letztere können beliebig komplex sein und Terabytes an Daten, mehrere Signaturen und Sonderzeichen umfassen auftretende Ereignisse. Letzteres kann auch mit einem einzigen Signatur-Pushing-Wert bemerkenswert einfach sein an eine andere Adresse.
Die Herausforderung bei der Modellierung der Gründe und Bedingungen des Werteflusses besteht darin, dass dies der Fall ist auf unvorhersehbare Weise äußerst persönlich für die beteiligten Einheiten. Lehren aus Das Vertragsrecht zeichnet ein noch problematischeres Bild, während die Akteure selbst dies möglicherweise nicht tun Seien Sie sich sogar darüber im Klaren, dass die Transaktion nicht der kommerziellen Realität entspricht. Wir nennen das im Allgemeinen Phänomen „die semantische Lücke“ . 11
Warum sollte man eine Kryptowährung aufbauen, die einer endlosen Ebene an Komplexität und Abstraktion nachjagt? Es wirkt von Natur aus sisyphusartig und in der Praxis naiv. Darüber hinaus umfasste jede Abstraktion hat sowohl rechtliche als auch sicherheitsrelevante Konsequenzen.
Beispielsweise gibt es im Internet zahlreiche Aktivitäten, die allgemein als illegal gelten oder verachtet werden
etwa der Handel mit Kinderpornografie oder der Verkauf von Staatsgeheimnissen. Durch den Einsatz robuster
10 Es gibt auch andere unabhängige Forschungsprotokolle, die versuchen, das gleiche Ziel zu erreichen, wie z
Elastico und Bitcoin-NG
11 Loi Luu et al. diskutieren diese Lücke in ihrem aktuellen Artikel „Making Smart Contracts Smarter“.
WARUM WIR CARDANO BAUEN
Creative Commons Attribution 4.0 Internationale Lizenz
Seite 14 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Mit der dezentralen Infrastruktur stellt man nun einen Kanal für diese Aktivität bereit den gleichen Zensurwiderstand, den normale kommerzielle Transaktionen genießen. Es ist rechtlich unklar, ob die Konsensknoten des Netzwerks – die den Anreiz haben, sich stärker zusammenzuschließen Zeit, die Effizienz zu fördern – würden für die von ihnen gehosteten Inhalte zur Verantwortung gezogen.
Die strafrechtliche Verfolgung von Tor-Betreibern, die brutale Behandlung des Betreibers von Silk Road und das Fehlen allgemeiner Die rechtliche Klarheit hinter dem rechtlichen Schutz der Protokollteilnehmer hinterlässt einen unsicheren Weg. Es gibt Es mangelt nicht an Vorstellungskraft darüber, was eine ausreichend fortgeschrittene Kryptowährung sonst noch ermöglichen könnte (siehe der Ring von Gyges). Ist es sinnvoll, alle Benutzer einer Kryptowährung zur Unterstützung zu zwingen oder zumindest? die schlimmsten Taten und Verhaltensweisen im Internet ermöglichen?
Leider gibt es keine klaren Antworten, die einem Kryptowährungsdesigner Einblick geben. Es ist mehr darüber, eine Position auszuwählen und ihre Vorzüge zu verteidigen. Der Vorteil, dass sowohl Cardano als auch Bitcoin ist, dass wir uns dafür entschieden haben, Anliegen in Ebenen zu unterteilen. Mit Bitcoin gibt es Wurzelstock. Mit Cardano gibt es die Berechnungsschicht Cardano.
Die Arten komplexer Verhaltensweisen, die die zuvor ausgearbeiteten Handlungen ermöglichen würden, können nicht weitergeführt werden CSL. Sie erfordern die Fähigkeit, Programme auszuführen, die in einer vollständigen Turing-Sprache geschrieben sind Form der Gasökonomie zur Zählerberechnung. Sie erfordern auch Konsensknoten, die dazu bereit sind Nehmen Sie die Transaktionen in ihre Blöcke auf.
Somit könnte eine Funktionseinschränkung die Benutzer einigermaßen schützen. Bisher am meisten etabliert Regierungen haben nicht den Standpunkt vertreten, dass die Verwendung oder Aufrechterhaltung einer Kryptowährung ein Problem darstellt rechtswidrige Handlung. Daher sollte die überwiegende Mehrheit der Benutzer kein Problem damit haben, ein Hauptbuch zu führen in der Leistungsfähigkeit mit einem digitalen Zahlungssystem vergleichbar.
Wenn man die Leistungsfähigkeit erweitern möchte, gibt es zwei Möglichkeiten. Es wird von einem Privaten aktiviert Kollektiv gleichgesinnter Individuen und kurzlebiger Natur (z. B. ein Pokerspiel). Oder, es wird durch ein Hauptbuch mit vergleichbaren Funktionen wie Ethereum ermöglicht. In beiden Fällen haben wir uns entschieden Auslagerung der Ereignisse in ein anderes Protokoll.
Im Falle eines privaten, kurzlebigen Ereignisses ist es sinnvoll, das blockchain-Paradigma zu vermeiden vollständig, sondern beschränken die Bemühungen eher auf eine Bibliothek spezieller MPC-Protokolle, die dies können kann auf Wunsch einer Gruppe gleichgesinnter Teilnehmer aufgerufen werden. Die Berechnungen und Aktivitäten werden in einem privaten Netzwerk koordiniert und beziehen sich auf CSL nur als vertrauenswürdiges Bulletin Board und a Bei Bedarf können Sie auch den Message-Passing-Kanal nutzen.
Die wichtigste Erkenntnis in diesem Fall ist, dass es eine Einwilligung, eine Haftungsabgrenzung und eine Privatsphäre gibt. CSL ist Es wird als digitales Allmende genutzt, in dem sich Benutzer treffen und kommunizieren können – so wie ein Park eine Veranstaltung beherbergen würde private Veranstaltung – bietet jedoch keine besonderen Vorkehrungen oder Erleichterungen. Darüber hinaus WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 15 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Die Verwendung spezieller MPC ermöglicht eine Interaktion mit geringer Latenz, ohne dass dies erforderlich ist blockchain aufgebläht. Dadurch wird die Skalierung des Systems verbessert.
Die Forschungsbemühungen von Cardano für diese Bibliothek sind in unserem Tokyo Tech-Labor zentralisiert einige Unterstützung von Wissenschaftlern im Ausland. Wir nennen die Bibliothek „Tartaglia“, nach einem Kollegen Mathematiker und Zeitgenosse von Cardano und erwarten, dass die erste Iteration verfügbar sein wird im ersten Quartal 2018.
Im zweiten Fall benötigt man einen blockchain mit einer virtuellen Maschine, einer Reihe von Konsensknoten und einen Mechanismus, der die Kommunikation zwischen den beiden Ketten ermöglicht. Wir haben damit begonnen Prozess der rigorosen Formalisierung der virtuellen Maschine Ethereum mithilfe des K-Frameworks in 12 Partnerschaft mit einem Team der University of Illinois.
Das Ergebnis dieser Analyse wird Aufschluss darüber geben, wie ein repliziertes und letztendlich optimalstes Design gestaltet werden kann verteilte virtuelle Maschine mit klarer Betriebssemantik und starken Garantien für die Korrektheit 13 Implementierung aus der Spezifikation. Mit anderen Worten: Die VM tut tatsächlich, was der Code vorgibt Dies hat mit der Minimierung von Sicherheitsrisiken zu tun.
Es gibt immer noch ungelöste Fragen zur Gasökonomie, die von Ethereum vorgeschlagen wird, und zu deren Funktionsweise bezieht sich auf Arbeiten wie das ressourcenbewusste ML von Jan Hoffmann et al. und die umfassendere Untersuchung von Ressourcenschätzung für die Berechnung. Wir sind auch gespannt auf das Sprachniveau Unabhängigkeit der virtuellen Maschine. Beispielsweise hat das Projekt Ethereum den Wunsch geäußert für den Übergang von ihrer aktuellen VM zu Web Assembly.
Der nächste Versuch besteht darin, eine vernünftige Programmiersprache zu entwickeln, um zustandsbehaftet auszudrücken Verträge, die von dezentralen Anwendungen als Dienste aufgerufen werden. Für diese Aufgabe haben wir wählte sowohl den Ansatz zur Unterstützung der alten smart contract-Sprache Solidity als Low Assurance-Anwendungen und Entwicklung einer neuen Sprache namens Plutus für höhere Assurance Anträge, die eine formelle Prüfung erfordern.
Wie das soliditätsbasierte Zeppelin-Projekt wird IOHK auch eine Referenzbibliothek von Plutus-Code entwickeln für Anwendungsentwickler zur Verwendung in ihren Projekten. Wir werden auch ein spezielles Werkzeugset entwickeln zur formalen Verifizierung, inspiriert durch Arbeiten aus dem Liquid Haskell-Projekt der UCSD.
Im Hinblick auf den Konsens wurde Ouroboros ausreichend modular konzipiert, um Unterstützung zu bieten smart contract Auswertung. Daher verwenden sowohl CSL als auch CCL denselben Konsensalgorithmus. 12 Erfunden von Professor Grigore Rosu et. al., K ist ein universeller Rahmen für die Sprachunabhängigkeit Semantik maschinenausführbarer Dateien. Vor unserer Arbeit wurde es zur Modellierung von C, Java und JavaScript verwendet 13 Das bedeutet, dass verschiedene Konsensknoten unterschiedliche smart contracts ausführen. Wird auch als State-Sharding bezeichnet WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 16 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Der Unterschied besteht darin, dass bestätigt werden kann, dass Ouroboros sowohl eine Genehmigung als auch eine Genehmigung erteilt erlaubnislose Hauptbücher über die Verteilung token.
Mit CSL wurde Ada über eine token generierende Veranstaltung an Kunden in ganz Asien vertrieben der schließlich auf einem Sekundärmarkt weiterverkaufen wird. Dies bedeutet, dass der Konsensalgorithmus von CSL ist wird von einer vielfältigen und zunehmend dezentraleren Gruppe von Akteuren oder deren Delegierten kontrolliert weist zu. Mit CCL ist es möglich, einen Sonderzweck token zu erstellen, der von dessen Delegierten gehalten wird Ledger, bei dem es sich um regulierte Unternehmen handeln könnte, wodurch ein zugelassenes Ledger erstellt wird.
Die Flexibilität dieses Ansatzes ermöglicht es, dass verschiedene CCL-Instanzen mit unterschiedlichen Methoden realisiert werden können Regeln zur Bewertung von Transaktionen. Beispielsweise könnten Glücksspielaktivitäten eingeschränkt werden es sei denn, es liegen KYC/AML-Daten vor, indem einfach nicht zugeordnete Transaktionen auf die schwarze Liste gesetzt werden.
Unser letzter Designschwerpunkt liegt auf dem Hinzufügen vertrauenswürdiger Hardware-Sicherheitsmodule (HSM) zu unserem Protokoll Stapel. Dies sind zwei enorme Vorteile bei der Einführung dieser Funktionen in die Protokoll. Erstens sorgen HSMs für enorme Leistungssteigerungen, ohne die Sicherheit zu erhöhen 14 Bedenken, die über das Vertrauen des Anbieters hinausgehen. Zweitens, durch den Einsatz von Sealed Glass Proofs (SGP), HSMs können gewährleisten, dass Daten überprüft und anschließend vernichtet werden können, ohne dass dies der Fall ist kopiert oder an böswillige Außenstehende weitergegeben werden.
Konzentrieren wir uns auf den zweiten Punkt: SGPs könnten einen revolutionären Einfluss auf die Compliance haben. Normalerweise, wenn ein Verbraucher zur Authentifizierung persönlich identifizierbare Informationen (PII) bereitstellt Um Ihre Identität nachzuweisen oder die Teilnahmeberechtigung nachzuweisen, werden diese Informationen an einen vertrauenswürdigen Dritten weitergegeben die Hoffnung, dass es nicht böswillig handelt. Diese Aktivität ist grundsätzlich zentralisiert, der Datenlieferant verliert die Kontrolle über seine personenbezogenen Daten und unterliegt zudem verschiedenen Vorschriften, die auf der Gerichtsbarkeit basieren.
Die Möglichkeit, eine Reihe vertrauenswürdiger Attestierer auszuwählen und dann personenbezogene Daten in einer Hardware-Enklave zu speichern bedeutet, dass jeder Akteur mit einem ausreichend leistungsfähigen HSM in der Lage ist, Fakten über einen Akteur zu überprüfen auf fälschungssichere Weise, ohne dass der Prüfer die Identität des Akteurs kennt. Bob ist zum Beispiel kein US-Bürger. Alice ist eine akkreditierte Investorin. James ist ein US-Steuerzahler und man sollte ihn schicken steuerpflichtige Gewinne auf Konto X.
Die HSM-Strategie von Cardano besteht darin, in den nächsten beiden Fällen die Implementierung spezialisierter Protokolle zu versuchen Jahre mit Intel SGX und ARM Trustzone. Beide Module sind in Milliarden von Verbrauchern verbaut Geräte vom Laptop bis zum Mobiltelefon und erfordern keinen zusätzlichen Aufwand auf Verbraucherseite verwenden. Beide sind außerdem sorgfältig geprüft, gut gestaltet und basieren auf jahrelangen Iterationen einiger von ihnen die größten und bestfinanzierten Hardware-Sicherheitsteams.
14 Siehe http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ von Cornell Universität WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 17 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Verordnung
Die harte Realität aller modernen Finanzsysteme ist, dass sie mit zunehmender Skalierung einen Bedarf anhäufen, oder zumindest ein Wunsch nach Regulierung. Dieses Ergebnis ist im Allgemeinen das Ergebnis wiederkehrender Zusammenbrüche aufgrund der Nachlässigkeit eines Akteurs oder einer Gruppe von Akteuren auf einem Markt.
Beispielsweise führte die Knickerbocker-Krise von 1907 zur Gründung der Federal Reserve System im Jahr 1913 als Kreditgeber der letzten Instanz. Ein weiteres Beispiel sind die Exzesse der 1920er Jahre In den Vereinigten Staaten kam es zu einem schrecklichen Finanzkollaps, der Weltwirtschaftskrise. Dieser Zusammenbruch Um eine ähnliche Entwicklung zu verhindern, wurde 1934 die Securities Exchange Commission gegründet Ereignis verhindern oder zumindest schlechte Akteure zur Verantwortung ziehen.
Man kann vernünftigerweise über die Notwendigkeit, den Umfang und die Wirksamkeit einer Regulierung diskutieren, aber man kann sie nicht leugnen seine Existenz und der Eifer, mit dem große Regierungen es durchgesetzt haben. Allerdings ist die Die Herausforderung, vor der alle Regulierungsbehörden stehen, wenn die Welt globalisiert und Bargeld digital wird, ist zweigleisig.
Erstens: Welche Vorschriften sollten beim Umgang mit einer Sammlung oberste Priorität haben? Gerichtsbarkeiten? Die antiquierte Vorstellung der westfälischen Souveränität schmilzt bei einer einzigen Transaktion kann in weniger als einer Minute drei Dutzend Länder erreichen. Sollte es einfach derjenige sein, der das ausübt größten geopolitischen Einfluss?
Zweitens haben Verbesserungen in der Datenschutztechnologie zu einem digitalen Wettrüsten geführt, wo immer es so sein wird Es wird immer schwieriger, überhaupt nachzuvollziehen, wer an einer Transaktion beteiligt war. geschweige denn, wer einen bestimmten Wertaufbewahrungsmittel besitzt. In einer Welt mit Vermögenswerten in Millionenhöhe kann mit nichts anderem als einer geheim gehaltenen 12-Wörter-Mnemonik kontrolliert werden, wie geht das? 15 wirksame Regulierung durchsetzen?
Wie alle Finanzsysteme muss das Cardano-Protokoll in seinem Design eine Meinung darüber haben, was ist fair und vernünftig. Wir haben uns entschieden, zwischen individuellen Rechten und den Rechten eines zu unterscheiden Marktplatz.
Einzelpersonen sollten immer den alleinigen Zugang zu ihren Geldern haben, ohne Zwang oder zivilrechtliche Vermögenswerte Verfall. Dieses Recht muss durchgesetzt werden, da man nicht darauf vertrauen kann, dass alle Regierungen dies nicht tun missbrauchen ihre souveräne Macht zum persönlichen Vorteil korrupter Politiker, wie in Venezuela zu sehen ist und Simbabwe. Kryptowährungen müssen auf den kleinsten gemeinsamen Nenner gebracht werden.
15 Siehe BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki
WARUM WIR CARDANO BAUEN
Creative Commons Attribution 4.0 Internationale Lizenz
Seite 18 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Zweitens sollte die Geschichte niemals manipuliert werden. Blockchains versprechen Unveränderlichkeit. Die Einführung der Möglichkeit, den Verlauf rückgängig zu machen oder die offizielle Aufzeichnung zu ändern, bringt zu viel mit sich Versuchung, die Vergangenheit zu ändern, um einem oder mehreren bestimmten Akteuren zu helfen.
Drittens sollte der Wertefluss uneingeschränkt sein. Kapitalkontrollen und andere künstliche Mauern Menschenrechte einschränken. Abgesehen von der Sinnlosigkeit des Versuchs, sie durchzusetzen, in einem globalen 16 Wirtschaft, in der viele Bürger in den am wenigsten entwickelten Ländern außerhalb ihres Hoheitsgebiets reisen Um einen existenzsichernden Lohn zu finden, schadet die Einschränkung der Kapitalströme in der Regel den Ärmsten der Welt.
Diese Grundsätze besagten, dass sich Märkte deutlich von Individuen unterscheiden. Während die Designer von Cardano glauben an die Rechte des Einzelnen, wir glauben auch, dass Märkte das Recht haben, offen zu sagen deren Geschäftsbedingungen und wenn eine Einzelperson zustimmt, in diesem Markt Geschäfte zu tätigen, dann Im Interesse der Integrität des gesamten Systems müssen diese Standards eingehalten werden.
Die Herausforderung bestand schon immer in den Kosten und der Durchführbarkeit der Durchsetzung. Klein, multijurisdiktional
Transaktionen sind in Altsystemen einfach zu teuer, um eine hohe Rückgriffssicherheit zu gewährleisten
im Falle eines Betrugs oder eines Handelsstreits. Wenn man seine Überweisung an die sendet
Nigerianischer Prinz, es ist normalerweise zu teuer, zu versuchen, sein Geld zurückzubekommen.
17
Für Cardano glauben wir, dass wir auf drei Ebenen innovativ sein können. Erstens durch die Verwendung von smart contracts die Bedingungen von Geschäftsbeziehungen können besser kontrolliert werden. Wenn alle Vermögenswerte vorhanden sind digital und kann ausschließlich auf CSL ausgedrückt werden, starke Garantien für betrugsfreien Handel können sein gewonnen.
Zweitens die Verwendung von HSMs zur Bereitstellung eines Identitätsraums, in dem personenbezogene Daten nicht verloren gehen, aber trotzdem daran gewöhnt sind Authentifizierungs- und Anmeldeinformationsakteure sollten ein globales Reputationssystem bereitstellen und dies ermöglichen Die Durchführung regulierter Aktivitäten ist viel kostengünstiger, beispielsweise Online-Glücksspiele mit automatisierten Systemen Steuerkonformität oder dezentraler Austausch.
Schließlich ist in der Roadmap von Cardano die Schaffung einer modularen Verordnung DAO vorgesehen, die möglich ist angepasst, um mit vom Benutzer geschriebenen smart contracts zu interagieren, um Veränderlichkeit und Verbraucher hinzuzufügen Schutz und Schlichtung. Der Umfang dieses Projekts wird in einem späteren Artikel dargelegt.
16 Als Beispiel für eine Gegenmaßnahme zum Kapitalfluss siehe das Hawala-Bankensystem 17 Siehe Vorschussbetrug WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 19 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Was ist der Sinn des Ganzen?
Cardano war ein Marathonprojekt, bei dem Hunderte der klügsten Köpfe Feedback erhielten
innerhalb und außerhalb der Kryptowährungsbranche. Es beinhaltet unermüdliches Iteration, die aktive Nutzung von
Peer-Review und schamloser Diebstahl großartiger Ideen, wenn sie aufgedeckt werden.
Die verbleibenden Abschnitte behandeln jeweils einen bestimmten Schwerpunktaspekt, den wir als Kernaspekt eingestuft haben
Bestandteil unseres Projektes. Einige wurden aufgrund des Wunsches ausgewählt, das Gesamtergebnis zu verbessern
Praktiken des Raums, während andere spezifisch für die Entwicklung von Cardano sind.
Obwohl kein Projekt jedes Ziel abdecken oder jeden Benutzer zufriedenstellen kann, ist es unsere Hoffnung, eine Vision dafür zu liefern
wie ein sich selbst entwickelnder Finanzstapel für Jurisdiktionen aussehen sollte, in denen er nicht vorhanden ist. Das Ultimative
Die Realität von Kryptowährungen ist nicht, dass sie die bestehenden alten Finanzsysteme stören werden.
Veraltete Finanzsysteme sind jederzeit in der Lage, Veränderungen zu absorbieren und ihre Form beizubehalten
und Funktion.
Vielmehr sollte man nach Orten suchen, an denen es einfach zu teuer ist, das Vorhandene einzusetzen
Bankensystem, in dem viele von weniger als ein paar Dollar am Tag leben, keine stabile Identität haben und
Kredit ist unmöglich zu finden.
An diesen Orten bündeln sich die Macht eines Zahlungssystems, Eigentumsrechte, Identität, Kredit und Risiko
Schutz in einer einzigen Anwendung, die auf einem Mobiltelefon ausgeführt wird, ist nicht nur nützlich, sondern verändert auch das Leben.
Der Grund, warum wir Cardano bauen, ist, dass wir der Meinung sind, dass wir eine berechtigte Chance haben, etwas zu liefern – oder
zumindest Fortschritte machen – diese Vision für die Entwicklungsländer.
Selbst im Scheitern: Wenn wir die Art und Weise ändern können, wie Kryptowährungen entworfen, weiterentwickelt und finanziert werden,
dann gibt es eine große Leistung.
Sains dan Teknik
Seni Iterasi
Cryptocurrency adalah protokol yang diimplementasikan sebagai perangkat lunak. Protokol sangatlah cerdas percakapan antar peserta. Perangkat lunak pada akhirnya adalah manipulasi data tertentu MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 20 dari 44
IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
tujuan. Namun perbedaan antara perangkat lunak yang solid dan andal serta protokol yang berguna dan aman percakapan mereka sepenuhnya manusiawi.
Perangkat lunak yang baik memerlukan akuntabilitas, persyaratan bisnis yang jelas, proses yang dapat diulang, pengujian menyeluruh dan iterasi yang tak kenal lelah. Perangkat lunak yang bagus juga membutuhkan orang yang cukup berbakat pengembang dengan pengetahuan spesifik domain yang cukup untuk merancang sistem yang dapat sepenuhnya menyelesaikan masalah apa pun yang mereka coba selesaikan.
Adapun protokol yang berguna dan aman, terutama yang melibatkan kriptografi dan didistribusikan sistem, mereka memulai dengan proses yang lebih akademis dan didorong oleh standar. Tinjauan sejawat, tidak ada habisnya perdebatan dan konsep trade-off yang tegas diperlukan untuk memastikan suatu protokol berguna. Namun ini saja tidak cukup, protokol perlu diimplementasikan dan diuji dalam penggunaan di kehidupan nyata.
Tantangan unik dalam industri mata uang kripto adalah dua hal yang sangat berbeda filsafat terkoyak tanpa sintesis Hegelian yang tepat. Tesis kami adalah “langkah mentalitas startup yang cepat dan hancurkan” didorong oleh masa muda, keserakahan, dan semangat. Antitesisnya adalah a pendekatan yang lambat, metodis dan berorientasi akademis yang dimotivasi oleh keinginan untuk memperkuat inovasi ruang kami menjadi ceruk yang bagus dengan pendanaan dan prestise yang besar.
Hasilnya adalah banyak mata uang kripto yang seluruhnya ditentukan hanya pada kertas putih saja relevan dengan CV atau hanya dengan kode yang ditulis dengan tergesa-gesa. Tak satu pun dari sepuluh cryptocurrency teratas saat ini 18 kapitalisasi pasar didasarkan pada protokol yang ditinjau oleh rekan sejawat. Tak satu pun dari sepuluh teratas saat ini cryptocurrency diimplementasikan dari spesifikasi formal.
19
Namun nilai miliaran dolar dipertaruhkan. Setelah diterapkan, mata uang kripto menjadi luar biasa
sulit diubah. Bagaimana pengguna mengetahui bahwa mereka menggunakan sistem yang aman? Bagaimana cara pengguna
tahu bahwa klaim pemasaran itu sah? Bagaimana jika protokol yang diusulkan tidak pernah dapat tercapai
klaimnya?
Kurangnya sintesis dan penghormatan terhadap proses adalah salah satu alasan utama IOHK ingin melakukan hal tersebut
membangun Cardano. Harapan kami adalah mengembangkan proyek referensi yang dapat menjadi contoh
bagaimana melakukan sesuatu dengan cara yang lebih efektif, waras dan jujur.
Tujuannya bukan untuk mengusulkan cara yang benar-benar baru dalam mengembangkan perangkat lunak dan protokol, melainkan untuk mengusulkannya
mengakui bahwa perangkat lunak dan protokol yang hebat sudah ada dan kami dapat meniru kondisinya
yang mengarah pada penciptaan mereka. Kedua, menjadikan kondisi ini diketahui publik dan bersifat open source
mungkin sehingga dapat ditiru untuk kepentingan seluruh bidang. 18 Lihat www.coinmarketcap.com untuk daftar lengkap berdasarkan kapitalisasi pasar 19 Ethereum memiliki spesifikasi semi formal yang dikenal sebagai Kertas Kuning; namun, semantik EVM adalah tidak sepenuhnya ditentukan dan juga tidak cukup untuk implementasi protokol secara penuh. MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 21 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Fakta dan Opini
Kekhawatiran lainnya adalah kapan fakta berakhir dan opini dimulai. Ada ratusan
bahasa pemrograman, lusinan paradigma pembangunan dan lebih dari satu filosofi
manajemen proyek. Dunia akademis penuh dengan tantangan tersendiri yang timbul darinya
jarak dari masalah bisnis dan kepraktisan.
Untuk Cardano, pertama-tama kami berupaya menangkap kekurangan yang nyata dan dapat disepakati secara universal
berguna dari sudut pandang teknik. Misalnya kriptografi dan didistribusikan
sistem keduanya merupakan topik yang sangat terlibat dengan terlalu banyak contoh tentang betapa naifnya tangan
dapat membuat kesalahan yang mengerikan. Oleh karena itu, protokol apa pun yang memerlukan wawasan dari domain ini memerlukannya
untuk dirancang oleh seorang ahli yang diakui dan diserahkan untuk ditinjau oleh para ahli lainnya.
Ouroboros adalah studi kasus pertama kami di bidang ini. Ini dirancang oleh tim kriptografer dengan
sejarah publikasi yang besar, beragam, dan dapat diverifikasi publik. Itu dibangun sesuai standar
proses kriptografi, dengan asumsi keamanan, model dan bukti yang berlawanan. Ini
buktinya diperiksa dengan diserahkan ke konferensi dan juga secara mandiri melalui komputer
20
bukti ditulis dalam Isabelle oleh tim di Universitas Cambridge.
21
Namun upaya ini sendiri tidak memberikan jaminan akan kegunaannya — hanya pemeriksaan keamanan yang ketat
model dengan beberapa asumsi. Agar berguna, seseorang perlu mengimplementasikan dan menguji protokol tersebut.
Pengembang kami telah melakukannya di Haskell dan juga Rust. Pekerjaan ini mengungkapkan upaya yang lebih besar
perlu fokus pada model sinkronisasi, yang mengarah pada penciptaan Ouroboros
Prao.
Seni pengulangan inilah yang menghasilkan protokol-protokol hebat, dengan setiap langkah mengarah pada pembelajaran baru dan
persyaratan untuk memverifikasi ulang kebenaran langkah sebelumnya. Hal ini memakan biaya, waktu, dan biaya yang besar
22 waktu yang sangat membosankan, namun tetap diperlukan untuk memastikan protokol dirancang dengan benar.
Protokol – terutama yang digunakan oleh miliaran orang – tidak berumur pendek dan cepat
berkembang. Sebaliknya, peraturan tersebut dimaksudkan untuk diikuti selama bertahun-tahun hingga beberapa dekade. Tampaknya seluruhnya
Masuk akal bahwa, sebelum membebani dunia dengan sistem keuangan baru yang harus kita jalani
untuk 100 tahun ke depan, kami ingin menuntut kebosanan dan ketelitian dari para desainernya.
20 Makalah yang Diterima Nomor 71 dari Konferensi Kripto Tahunan IACR di California
21 Oleh Kawin Worrasangasilpa di bawah pengawasan Profesor Lawrence Paulson
22 Mengikuti garis singgung demi kesembronoan, kita harus memperhatikan diskusi Profesor Halmos tentang bagaimana caranya
menulis buku pelajaran matematika
MENGAPA KAMI MEMBANGUN CARDANO
Lisensi Internasional Creative Commons Atribusi 4.0
Halaman 22 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Dosa Fungsional
Pindah ke wilayah yang lebih berpendirian keras, alat, bahasa, dan metodologi yang digunakan
pengembangan perangkat lunak lebih merupakan artefak dari pemeliharaan agama daripada kenyataan obyektif. Sumber
kode itu seperti prosa tertulis. Setiap orang mempunyai pendapat tentang apa yang baik - dan apa yang sedang terjadi
dikomunikasikan, kadang-kadang, kurang penting dibandingkan bagaimana hal itu dikomunikasikan.
Kita harus melakukan dosa dengan memilih pihak yang menerima bahwa setidaknya ada satu pihak yang salah
mata seseorang. Namun, setidaknya ada banyak pembenaran di balik pilihan kita.
Protokol yang memungkinkan Cardano diterapkan di Haskell. Antarmuka pengguna
telah dikemas dalam garpu Elektron yang kita sebut Daedalus. Kami telah memilih untuk melakukannya
gunakan model arsitektur web jika memungkinkan, dan untuk database kami, kami memilih nilai kunci
paradigma menggunakan RocksDB.
Dari tingkat komponen, abstraksi ini berarti pemeliharaannya jauh lebih sederhana dan lebih baik
teknologi dapat diganti nanti dengan sedikit usaha, dan tumpukan kita sebagian terikat pada teknologi tersebut
upaya pengembangan Github dan Facebook.
Menggunakan WebGUI memungkinkan kita memanfaatkan React dan mengembangkan fitur front end menggunakan alat
dipahami oleh ratusan ribu pengembang JavaScript. Menggunakan arsitektur web
berarti komponen dapat diperlakukan sebagai layanan dan model keamanannya masuk akal.
Memilih Haskell untuk pengembangan protokol adalah pilihan tersulit. Bahkan secara fungsional
dunia, ada banyak pilihan. Di sisi yang lebih fleksibel dan tidak murni, ada bahasa-bahasa seperti itu
Clojure, Scala dan F#, yang memanfaatkan perpustakaan besar Java dan .Net
ekosistem sambil melestarikan beberapa aspek terbaik dari pemrograman fungsional.
Ada bahasa yang lebih berorientasi akademis seperti Agda dan Idris yang memiliki kesamaan
koneksi ke teknik yang memungkinkan verifikasi kebenaran yang kuat. Namun mereka kekurangan
perpustakaan yang masuk akal dan memiliki pengalaman pengembangan di bawah standar.
Untuk Cardano, pilihannya jatuh ke tangan Ocaml dan Haskell. Ocaml adalah bahasa yang luar biasa
komunitas yang hebat, peralatan yang bagus, pengalaman pengembangan yang masuk akal, dan warisan yang luar biasa di dalamnya
ruang verifikasi formal melalui Coq. Jadi mengapa kami memilih Haskell? 23
23 Ditambah lagi, IOHK sebenarnya mempunyai proyek yang sedang dilaksanakan di Ocaml bernama Qeditas yang kami mewarisi dari nama samaran Bill White MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 23 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Mengapa Haskell?
Protokol yang menyusun Cardano didistribusikan, digabungkan dengan kriptografi dan memerlukan a
tingkat toleransi kesalahan yang tinggi. Pada hari-hari terbaik, masih akan ada aktor-aktor Bizantium yang cacat
pesan dan klien yang salah secara tidak sengaja menyebabkan beberapa bentuk kekacauan pada jaringan.
Pertama, kami menginginkan bahasa yang memiliki sistem tipe yang kuat sehingga kami dapat menggunakan alat dengan mudah
seperti Quickcheck dan teknik yang lebih rumit seperti Jenis Penyempurnaan sambil melakukan a
harapan yang masuk akal akan toleransi kesalahan. Model OTP gaya Erlang memenuhi yang terakhir
sedangkan bahasa seperti Haskell dan Ocaml memenuhi yang pertama.
Dengan diperkenalkannya Cloud Haskell, Haskell mendapatkan banyak keuntungan dari Erlang meskipun tidak
menyerahkan miliknya sendiri. Selain itu, modularitas dan komposisi Haskell memungkinkan kami melakukan hal tersebut
gunakan perpustakaan khusus yang lebih ringan yang disebut Time Warp untuk Cardano.
Kedua, perpustakaan Haskell telah berkembang pesat selama beberapa tahun terakhir berkat kerja kerasnya
entitas komersial seperti Galois, FP Lengkap dan Diketik dengan Baik. Sebagai konsekuensinya, Haskell bisa
digunakan untuk menulis aplikasi produksi.
24
Ketiga, evolusi PureScript yang cepat telah memberikan jembatan yang sangat dibutuhkan ke dunia JavaScript
mirip dengan apa yang diberikan Clojurescript kepada Clojure. Kami berharap PureScript akan menjadi sangat penting
dalam hal membuat Cardano berfungsi di browser dan mengembangkan dompet seluler.
Keempat, sehubungan dengan resolusi ketergantungan, Haskell dalam beberapa tahun terakhir telah menikmati a
upaya sosial dan teknologi yang signifikan yang dipimpin oleh ahli teknologi seperti Michael Snoyman melalui a
platform bernama stackage yang mudah digunakan dan didukung dengan baik oleh FP Complete.
Kelima, selain penyelesaian ketergantungan yang memadai, kami juga bertujuan agar perangkat lunak kami dapat dibangun dengan baik
dapat direproduksi. Dengan kata lain, dengan nilai konfigurasi dan versi ketergantungan yang sama
harus menghasilkan artefak bangunan yang persis sama. Melalui stackage, kami telah menggunakan NixOps
untuk mencapai reproduktifitas dengan sukses besar.
Terakhir, kumpulan talenta pengembang yang berspesialisasi dalam Haskell cukup besar — dibandingkan dengan Haskell
rekan-rekannya – dan cukup terlatih dengan perpaduan yang tepat antara akademis dan industri. Itu juga
bertindak sebagai filter kompetensi karena jarang ditemukan pengembang Haskell berpengalaman yang tidak memilikinya
pengetahuan rinci tentang ilmu komputer.
24 Bryan O'Sullivan memberikan penjelasan yang bagus tentang penggunaan industri Haskell di sini.
MENGAPA KAMI MEMBANGUN CARDANO
Lisensi Internasional Creative Commons Atribusi 4.0
Halaman 24 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Spesifikasi dan Verifikasi Formal
Kekuatan signifikan dalam mengembangkan protokol menggunakan model keamanan yang terbukti benar adalah hal itu memberikan batas jaminan kekuatan musuh. Seseorang diberikan kontrak selama itu protokol diikuti dan buktinya benar, musuh tidak dapat melanggar keamanan properti yang diklaim.
Refleksi yang lebih dalam membuat pernyataan sebelumnya menjadi lebih signifikan. Musuh bisa sewenang-wenang cerdas dan mampu. Mengatakan mereka dikalahkan hanya melalui model matematika adalah hal yang salah luar biasa. Dan tentu saja hal itu tidak sepenuhnya benar.
Realitas memperkenalkan faktor-faktor dan keadaan yang menghalangi utopia keamanan murni dan perilaku yang benar dari yang ada. Implementasinya bisa saja salah. Perangkat keras dapat menimbulkan serangan vektor yang sebelumnya tidak dipertimbangkan. Model keamanan mungkin tidak memadai dan tidak sesuai penggunaan kehidupan nyata.
Diperlukan suatu keputusan mengenai seberapa banyak spesifikasi, ketelitian dan pemeriksaan yang diperlukan untuk a protokol. Misalnya, upaya seperti proyek Mikrokernel SeL4 adalah contoh utama dari semuanya serangan terhadap ambiguitas membutuhkan hampir 200.000 baris kode Isabelle untuk memverifikasi kurang dari 10.000 baris kode C. Namun kernel sistem operasi merupakan infrastruktur penting yang dapat menjadi a kerentanan keamanan yang serius jika tidak diterapkan dengan benar.
Haruskah semua perangkat lunak kriptografi memerlukan upaya yang sangat besar? Atau bisakah seseorang memilih yang lebih sedikit jalur kuat yang menghasilkan hasil yang setara? Juga penting jika protokolnya diimplementasikan dengan sempurna jika lingkungan tempat ia dijalankan terkenal rentan seperti di Windows XP?
Untuk Cardano, kami telah memilih kompromi berikut. Pertama, karena sifat kompleksnya dalam domain kriptografi dan komputasi terdistribusi, buktinya cenderung sangat halus, panjang, rumit dan terkadang cukup teknis. Ini berarti bahwa pengecekan yang dilakukan oleh manusia dapat dilakukan membosankan dan rawan kesalahan. Oleh karena itu, kami percaya bahwa setiap bukti signifikan disajikan dalam warna putih makalah yang ditulis untuk mencakup infrastruktur inti perlu diperiksa mesinnya.
MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 25 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Kedua, untuk memverifikasi kode Haskell agar sesuai dengan kertas putih kita, kita dapat memilih antara dua opsi populer: berinteraksi dengan pemver SMT melalui LiquidHaskell dan menggunakan Isabelle/HOL.
Pemecah SMT (teori modulo kepuasan) menangani masalah pencarian fungsional parameter yang memenuhi persamaan atau pertidaksamaan, atau sebagai alternatif menunjukkan parameter tersebut tidak ada. Seperti yang dibahas oleh De Moura dan Bjørner, kasus penggunaan SMT bermacam-macam, namun kuncinya intinya adalah bahwa teknik ini sangat ampuh dan dapat secara signifikan mengurangi bug dan kesalahan semantik.
Isabelle/HOL, di sisi lain, adalah alat yang lebih ekspresif dan beragam yang dapat digunakan
keduanya menentukan dan memverifikasi implementasi. Isabelle adalah pemecah teorema generik yang bekerja dengannya
konstruksi logika tingkat tinggi, mampu merepresentasikan himpunan dan objek matematika lainnya
digunakan dalam pembuktian. Isabelle sendiri terintegrasi dengan pembuktian Z3 SMT untuk menangani masalah yang melibatkan
kendala seperti itu.
Kedua pendekatan tersebut memberikan nilai dan oleh karena itu kami memutuskan untuk menerapkan keduanya secara bertahap.
Bukti tertulis manusia akan dikodekan di Isabelle untuk memeriksa kebenarannya sehingga memuaskan
persyaratan pemeriksaan mesin kami. Dan kami bermaksud menambahkan Liquid Haskell secara bertahap ke semuanya
kode produksi dalam pelaksanaan Cardano sepanjang tahun 2017 dan 2018.
Sebagai poin terakhir, verifikasi formal hanya akan berfungsi jika spesifikasi yang diverifikasi dari dan peralatan yang tersedia. Salah satu alasan utama memilih Haskell adalah karena ia menyediakan keseimbangan yang tepat antara kepraktisan dan teori. Spesifikasi yang diperoleh dari kertas putih sangat mirip Kode Haskell, dan menghubungkan keduanya jauh lebih mudah daripada melakukannya dengan perintah bahasa.
Masih terdapat kesulitan besar dalam mendapatkan spesifikasi yang tepat dan juga memperbaruinya spesifikasi ketika perubahan seperti peningkatan, perbaikan bug, dan masalah lainnya perlu dilakukan; namun, kenyataan ini tidak mengurangi nilai keseluruhannya. Jika seseorang akan mendapat masalah membangun landasan di atas keamanan yang dapat dibuktikan, maka implementasinya harus seperti apa adanya sebenarnya diusulkan di atas kertas.
Transparansi
Pertanyaan terakhir ketika membahas ilmu dan teknik pengembangan mata uang kripto adalah bagaimana mengatasi transparansi. Keputusan desain tidak bersifat Boolean dan halus pengembang dalam mimpi dan kemudian tiba-tiba menjadi kanon. Mereka berasal dari pengalaman, perdebatan dan pembelajaran dari kesalahan sebelumnya.
MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 26 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Tantangannya adalah proses pembangunan yang benar-benar transparan dapat mempengaruhi diskusi menjadi lebih teatrikal daripada berdasarkan bukti. Ego, upaya untuk memenangkan komunitas, dan ketakutan terdengar bodoh dapat memaksa percakapan menjadi steril dan kontraproduktif.
Selain itu, pihak luar dapat mencoba untuk mengkooptasi pembicaraan dalam upaya untuk memaksa mereka bersinggungan tertentu untuk menjadi satu-satunya topik yang relevan. Setiap orang memiliki sapi suci.
Jadi bagaimana kita bisa menyeimbangkan kebutuhan akan proses pembangunan yang transparan, yang merupakan tanggung jawab pemerintah? komunitas yang telah mempercayakan kemajuan kepada sekelompok pengembang inti, dengan kebutuhan akan kebebasan ekspresi tanpa rasa takut?
Dengan Cardano, kami telah memutuskan untuk menerapkan proses berbasis standar dengan pengawasan terarah. Masyarakat perlu mengetahui bahwa ilmu pengetahuan dan kode etik telah dipikirkan, diperiksa, dan dikaji dengan baik benar-benar menyelesaikan hal-hal yang menurut pengembang dapat mereka lakukan. Untuk mencapai tujuan ini, tinjauan sejawat harus dilakukan sepenuhnya memenuhi komponen sains karena telah dirancang khusus untuk tujuan ini dan telah memberi kita dunia modern.
Untuk kode, topik ini sedikit lebih berpendirian. Untuk Cardano, kami telah memilih untuk mempercayakan Cardano Yayasan yang berfungsi sebagai auditor akhir pekerjaan IOHK. Secara khusus, mereka dipercayakan dengan tugas sebagai berikut:
1.
Tinjauan rutin terhadap kode sumber yang terdapat di Cardano Github untuk memeriksa kualitas,
cakupan tes, komentar yang tepat dan kelengkapan
2.
Tinjau semua dokumentasi Cardano untuk mengetahui kebenaran dan kegunaannya
3.
Memverifikasi klaim bahwa protokol yang dihasilkan oleh para ilmuwan telah diterapkan sepenuhnya
Untuk menyelesaikan tugas ini, IOHK akan menyerahkan laporan rutin dan tepat waktu kepada Yayasan – dan Yayasannya menugaskan – untuk meninjau. Yayasan pada gilirannya akan menerbitkan laporan pengawasan pembangunan kepada Cardano komunitas setidaknya setiap triwulan.
Upaya pertama ini dimaksudkan untuk memulai pembicaraan yang lebih luas tentang bagaimana suatu proyek didesentralisasi mencapai akuntabilitas. Pengawasan pembangunan dari pihak ketiga yang terpercaya merupakan alat yang ampuh untuk mencapai tujuan tersebut memastikan bahwa pengembang berada pada jalur yang benar, namun hal ini tidak cukup untuk menjamin sepenuhnya bahwa proyek akan selalu berhasil.
Untuk itu, setelah perbendaharaan diintegrasikan ke dalam CSL, Yayasan akan mendorong tim pengembangan tambahan untuk membangun klien alternatif berdasarkan formal spesifikasi yang dikembangkan bersama dengan IOHK. Keberagaman pembangunan telah menjadi teknik yang hebat digunakan oleh proyek Ethereum untuk menghindari terbentuknya monokultur berdasarkan serangkaian ide atau pengembang. MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 27 dari 44
IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Sehubungan dengan spesifikasi, ada banyak pengetahuan yang bisa diperoleh dari standar proses diikuti oleh WC3 dan IETF. Pada akhirnya, setiap protokol Cardano terintegrasi memerlukan spesifikasi yang independen dari karya akademis atau kode sumber. Sebaliknya, hal itu perlu dilakukan berada dalam format yang sesuai seperti RFC.
Salah satu prinsip inti Cardano Foundation adalah bertindak sebagai badan standar khusus untuk Cardano protokol dan menjadi tuan rumah percakapan untuk memperbarui, menambah atau mengubah standar yang relevan Cardano. Jika internet (produk standar) melalui IETF dapat mencapai konsensus tentang apa protokol inti harus digunakan, maka masuk akal untuk mengasumsikan bahwa ada badan khusus dapat memfasilitasi hasil yang sama.
Sebagai catatan penutup, menarik untuk mengeksplorasi pemindahan diskusi ini ke entitas yang terdesentralisasi dihosting di blockchain. Konsep ini disebut organisasi otonom yang terdesentralisasi (DAO) dan pekerjaan pendahuluan sedang dilakukan di bidang ini. IOHK akan mengembangkan model referensi DAO untuk entitas yang berinteraksi dengan Cardano untuk digunakan jika diinginkan dan merupakan hak prerogatif Yayasan Cardano untuk memutuskan apakah akan menerapkannya di bawah mandat standar mereka.
Wissenschaft und Technik
Die Kunst der Iteration
Kryptowährungen sind als Software implementierte Protokolle. Protokolle sind einfach intelligent Gespräche zwischen Teilnehmern. Software ist letzten Endes die Manipulation von Daten WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 20 von 44
IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Ziel. Doch der Unterschied zwischen solider, zuverlässiger Software sowie nützlichen, sicheren Protokollen und ihr Gegenteil ist völlig menschlich.
Gute Software braucht Verantwortlichkeit, klare Geschäftsanforderungen, wiederholbare Prozesse, Gründliche Tests und unermüdliche Iteration. Gute Software braucht auch einigermaßen talentierte Leute Entwickler mit ausreichend domänenspezifischem Wissen, um ein System richtig zu entwerfen, das dies vollständig kann jedes Problem lösen, das sie zu lösen versuchen.
Was nützliche und sichere Protokolle betrifft, insbesondere solche, die Kryptographie beinhalten und verteilt sind Systeme beginnen sie in einem eher akademischen und standardisierten Prozess. Peer-Review, endlos Debatten und ein klares Konzept der Kompromisse sind notwendig, um sicherzustellen, dass ein Protokoll nützlich ist. Doch diese Allein reicht nicht aus, Protokolle müssen im realen Einsatz implementiert und getestet werden.
Die einzigartige Herausforderung in der Kryptowährungsbranche besteht darin, dass zwei völlig unterschiedliche sind Philosophien werden ohne eine richtige Hegelsche Synthese verstümmelt. Unsere These ist ein „Umzug „Schnelle und zerbrich Dinge“-Startup-Mentalität, die von Jugend, Gier und Leidenschaft geprägt ist. Die Antithese ist a langsamer, methodischer und akademisch orientierter Ansatz, motiviert durch den Wunsch, das zu festigen Innovationen unseres Raumes in eine schöne Nische zu bringen, die reichlich Geld und Prestige genießt.
Das Ergebnis ist, dass viele Kryptowährungen entweder nur in einem Whitepaper vollständig spezifiziert sind relevant für einen Lebenslauf oder einfach nur durch hastig geschriebenen Code. Keine der aktuellen Top-Ten-Kryptowährungen von 18 Die Marktkapitalisierung basiert auf einem Peer-Review-Protokoll. Keiner der aktuellen zehn Top Kryptowährungen wurden anhand einer formalen Spezifikation implementiert.
19
Dennoch stehen Werte in Milliardenhöhe auf dem Spiel. Einmal eingesetzt, ist eine Kryptowährung äußerst wertvoll
schwer zu ändern. Woher weiß ein Benutzer, dass er ein sicheres System verwendet? Wie funktioniert ein Benutzer
Wissen Sie, dass die Marketingaussagen legitim sind? Was wäre, wenn das vorgeschlagene Protokoll niemals etwas erreichen könnte?
die Ansprüche?
Dieser Mangel an Synthese und Respekt vor dem Prozess ist einer der Hauptgründe, warum IOHK dies wollte
Build Cardano. Unsere Hoffnung war es, ein Referenzprojekt zu entwickeln, das als Beispiel dienen könnte
wie man Dinge effektiver, vernünftiger und ehrlicher macht.
Das Ziel besteht nicht darin, eine völlig neue Art der Software- und Protokollentwicklung vorzuschlagen, sondern darin
erkennen an, dass es bereits großartige Software und Protokolle gibt und wir die Bedingungen nachahmen können
das führte zu ihrer Entstehung. Zweitens, diese Bedingungen öffentlich bekannt zu machen und als Open Source bereitzustellen
möglich, so dass sie zum Nutzen des gesamten Fachgebiets nachgeahmt werden können. 18 Eine umfassende Auflistung nach Marktkapitalisierung finden Sie unter www.coinmarketcap.com 19 Ethereum verfügt über eine halbformale Spezifikation, die als Yellow Paper bekannt ist; Die Semantik von EVM gilt jedoch sind weder vollständig spezifiziert noch für eine vollständige Implementierung des Protokolls ausreichend. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 21 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Fakten und Meinungen
Die andere Sorge betrifft die Frage, wo Fakten enden und Meinungen beginnen. Es gibt Hunderte davon
Programmiersprachen, Dutzende Entwicklungsparadigmen und mehr als eine Philosophie
Projektmanagement. Die akademische Welt ist voller eigener Herausforderungen, die sich daraus ergeben
Distanz zu geschäftlichen Belangen und Praktikabilität.
Für Cardano haben wir zunächst versucht, offensichtliche Mängel zu erfassen, denen allgemein zugestimmt werden kann
aus technischer Sicht nützlich sein. Zum Beispiel Kryptographie und verteilt
Systeme sind beide außerordentlich komplizierte Themen mit viel zu vielen Beispielen dafür, wie naiv die Hände sind
kann schreckliche Fehler machen. Daher benötigt jedes Protokoll Einblicke in diese Domänen
von einem anerkannten Experten entworfen und zur Überprüfung durch andere Experten vorgelegt werden.
Ouroboros ist unsere erste Fallstudie zu diesem Bereich. Es wurde von einem Team von Kryptographen mit entworfen
eine große, vielfältige und öffentlich nachweisbare Publikationsgeschichte. Es wurde nach dem Standard gebaut
Kryptographieverfahren mit Sicherheitsannahmen, einem kontradiktorischen Modell und Beweisen. Diese
Die Beweise wurden durch Einreichung bei Konferenzen überprüft und auch unabhängig per Computer
20
Beweise, die von einem Team der Universität Cambridge in Isabelle verfasst wurden.
21
Diese Arbeit allein bietet jedoch keine Garantie für die Nützlichkeit, sondern lediglich eine strenge Prüfung der Sicherheit
Modell unter Berücksichtigung einiger Annahmen. Um die Nützlichkeit zu gewährleisten, muss das Protokoll implementiert und getestet werden.
Unsere Entwickler haben dies sowohl in Haskell als auch in Rust getan. Diese Arbeit zeigte, dass mehr Aufwand erforderlich ist
musste sich auf das Synchronisationsmodell konzentrieren, was zur Gründung von Ouroboros führte
Praos.
Diese Kunst der Iteration ist es, die großartige Protokolle hervorbringt, wobei jeder Schritt zu neuen Lektionen führt
eine Anforderung, die Richtigkeit des vorherigen Schritts erneut zu überprüfen. Es ist kostspielig, zeitaufwändig und kostengünstig
22 Das ist manchmal wirklich mühsam, dennoch ist es erforderlich, sicherzustellen, dass ein Protokoll korrekt gestaltet ist.
Protokolle – insbesondere solche, die von Milliarden von Menschen genutzt werden sollen – sind nicht nur von kurzer Dauer und schnell
sich weiterentwickeln. Vielmehr sollen sie über Jahre bis Jahrzehnte befolgt werden. Es scheint völlig
Es ist vernünftig, dass wir alle damit leben müssen, bevor wir die Welt mit einem neuen Finanzsystem belasten
Für die nächsten 100 Jahre wollen wir von seinen Designern etwas Langeweile und Strenge verlangen.
20 Angenommenes Papier Nr. 71 der jährlichen Kryptokonferenz der IACR in Kalifornien
21 Von Kawin Worrasangasilpa unter der Leitung von Professor Lawrence Paulson
22 Um der Einfachheit halber einer Tangente zu folgen, sollte man sich die Diskussion von Professor Halmos darüber ansehen, wie das geht
ein Mathe-Lehrbuch schreiben
WARUM WIR CARDANO BAUEN
Creative Commons Attribution 4.0 Internationale Lizenz
Seite 22 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Funktionelle Sünden
Die darin verwendeten Werkzeuge, Sprachen und Methoden bewegen sich in ein eigensinnigeres Gebiet
Softwareentwicklung sind eher Artefakte religiöser Vorsehung als objektive Realität. Quelle
Code ist wie geschriebene Prosa. Jeder hat eine Meinung darüber, was gut ist – und was ist
Was kommuniziert wird, ist manchmal weniger wichtig als die Art und Weise, wie es kommuniziert wird.
Wir müssen die Sünde begehen, uns für eine Seite zu entscheiden und gleichzeitig zu akzeptieren, dass sie in mindestens einer Hinsicht falsch liegen wird
die Augen einer Person. Allerdings gibt es für unsere Wahl zumindest eine umfangreiche Begründung.
Die Protokolle, die Cardano ermöglichen, werden in Haskell implementiert. Die Benutzeroberfläche
wurde in einer Elektronengabel eingekapselt, die wir Daedalus nennen. Wir haben uns dafür entschieden
Verwenden Sie nach Möglichkeit das Webarchitekturmodell, und für unsere Datenbank haben wir uns für einen Schlüsselwert entschieden
Paradigma mit RocksDB.
Auf Komponentenebene bedeutet diese Abstraktion, dass die Wartung wesentlich einfacher und besser ist
Technologie kann später mit geringem Aufwand ersetzt werden, und unser Stack ist teilweise daran gebunden
Entwicklungsbemühungen von Github und Facebook.
Durch die Verwendung einer WebGUI können wir React nutzen und Front-End-Funktionen mithilfe von Tools entwickeln
Hunderttausende JavaScript-Entwickler verstehen es. Verwendung einer Webarchitektur
bedeutet, dass Komponenten als Dienste behandelt werden können und das Sicherheitsmodell sinnvoll ist.
Die Wahl von Haskell für die Protokollentwicklung war die schwierigste Entscheidung. Auch im funktionalen
Welt, es gibt eine große Auswahl. Auf der flexibleren und unreineren Seite gibt es Sprachen wie
Clojure, Scala und F#, die von den riesigen Bibliotheken von Java und .Net profitieren
Ökosysteme unter Beibehaltung einiger der besten Aspekte der funktionalen Programmierung.
Es gibt eher akademisch orientierte Sprachen wie Agda und Idris, die eine ähnliche Bedeutung haben
Verbindung zu Techniken, die eine starke Überprüfung der Korrektheit ermöglichen würden. Dennoch fehlt es ihnen
Sie verfügen über vernünftige Bibliotheken und haben eine unterdurchschnittliche Entwicklungserfahrung.
Für Cardano fiel die Wahl auf Ocaml und Haskell. Ocaml ist eine wunderbare Sprache mit
Eine großartige Community, gute Tools, angemessene Entwicklungserfahrung und ein großartiges Erbe in der
Formaler Verifizierungsraum durch Coq. Warum haben wir uns für Haskell entschieden? 23
23 Hinzu kommt, dass IOHK tatsächlich ein in Ocaml implementiertes Projekt namens Qeditas hat Wir haben vom Pseudonym Bill White geerbt WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 23 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Warum Haskell?
Die Protokolle, aus denen Cardano besteht, sind verteilt, mit Kryptografie gebündelt und erfordern eine
hohe Fehlertoleranz. An den besten Tagen wird es immer noch byzantinische Schauspieler geben, die missgebildet sind
Nachrichten und fehlerhafte Clients verursachen unbeabsichtigt Chaos im Netzwerk.
Erstens wollten wir eine Sprache, die über ein starkes Typsystem verfügt, in dem wir problemlos Werkzeuge verwenden können
wie Quickcheck und ausgefeiltere Techniken wie Refinement Types, während eine
vernünftige Erwartung an Fehlertoleranz. Ein OTP-Modell im Erlang-Stil erfüllt Letzteres
wohingegen Sprachen wie Haskell und Ocaml Ersteres erfüllen.
Mit der Einführung von Cloud Haskell hat Haskell viele Vorteile von Erlang erlangt, obwohl dies nicht der Fall war
das eigene aufgeben. Darüber hinaus hat uns die Modularität und Zusammensetzbarkeit von Haskell dies ermöglicht
Verwenden Sie für Cardano eine leichtere maßgeschneiderte Bibliothek namens Time Warp.
Zweitens haben sich die Bibliotheken von Haskell in den letzten Jahren dank umfangreicher Arbeit stark weiterentwickelt
von kommerziellen Unternehmen wie Galois, FP Complete und Well-Typed. Infolgedessen kann Haskell
zum Schreiben von Produktionsanwendungen verwendet werden.
24
Drittens hat die schnelle Entwicklung von PureScript eine dringend benötigte Brücke zur JavaScript-Welt geschaffen
ähnlich dem, was Clojurescript Clojure gegeben hat. Wir gehen davon aus, dass PureScript besonders wichtig sein wird
wenn es darum geht, Cardano in einem Browser zum Laufen zu bringen und mobile Geldbörsen zu entwickeln.
Viertens hat Haskell in den letzten Jahren im Hinblick auf die Auflösung von Abhängigkeiten einen Erfolg erzielt
Bedeutende soziale und technologische Anstrengungen unter der Leitung von Technologen wie Michael Snoyman durch a
Plattform namens Stackage, die sowohl einfach zu verwenden ist als auch von FP Complete gut unterstützt wird.
Fünftens streben wir danach, dass unsere Software-Builds über eine angemessene Abhängigkeitsauflösung hinausgehen
reproduzierbar. Mit anderen Worten, mit denselben Konfigurationswerten und Abhängigkeitsversionen
sollte genau die gleichen Build-Artefakte erzeugen. Durch Stackage haben wir NixOps verwendet
mit großem Erfolg Reproduzierbarkeit zu erreichen.
Schließlich ist der Talentpool an Entwicklern, die sich auf Haskell spezialisiert haben, recht groß – im Vergleich zu
seine Kollegen – und ziemlich gut ausgebildet mit der richtigen Mischung aus akademischen und industriellen Qualifikationen. Es auch
fungiert als Kompetenzfilter, da es ungewöhnlich ist, erfahrene Haskell-Entwickler ohne Kompetenz zu finden
detaillierte Kenntnisse der Informatik.
24 Bryan O'Sullivan liefert hier einen schönen Vortrag über die industrielle Nutzung von Haskell.
WARUM WIR CARDANO BAUEN
Creative Commons Attribution 4.0 Internationale Lizenz
Seite 24 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Formale Spezifikation und Verifizierung
Eine wesentliche Stärke der Entwicklung eines Protokolls unter Verwendung eines nachweislich korrekten Sicherheitsmodells besteht darin bietet eine garantierte Grenze der gegnerischen Macht. Man erhält einen Vertrag, solange die Wenn das Protokoll befolgt wird und die Beweise korrekt sind, kann der Gegner die Sicherheit nicht verletzen beanspruchte Eigenschaften.
Eine tiefere Überlegung macht die vorherige Behauptung noch bedeutsamer. Gegner können willkürlich sein intelligent und fähig. Zu sagen, dass sie allein durch ein mathematisches Modell besiegt werden, ist falsch außergewöhnlich. Und natürlich ist es nicht ganz richtig.
Die Realität bringt Faktoren und Umstände mit sich, die die Utopie der reinen Sicherheit verhindern richtiges Verhalten aus bestehenden. Implementierungen können falsch sein. Hardware kann Angriffe einleiten bisher unberücksichtigte Vektoren. Das Sicherheitsmodell ist möglicherweise unzureichend und nicht konform Verwendung im wirklichen Leben.
Es bedarf einer Beurteilung darüber, wie viel Spezifikation, Genauigkeit und Kontrolle für eine erforderlich sind Protokoll. Projekte wie das SeL4 Microkernel-Projekt sind beispielsweise ein Paradebeispiel für ein All Unser Angriff auf die Mehrdeutigkeit erfordert fast 200.000 Zeilen Isabelle-Code, um weniger als zu überprüfen 10.000 Zeilen C-Code. Dennoch ist ein Betriebssystemkernel eine kritische Infrastruktur, die eine sein könnte schwerwiegende Sicherheitslücke, wenn sie nicht ordnungsgemäß implementiert wird.
Sollte jede kryptografische Software den gleichen Herkulesaufwand erfordern? Oder kann man weniger wählen Gibt es einen energischen Weg, der zu gleichwertigen Ergebnissen führt? Es spielt auch eine Rolle, ob das Protokoll vorhanden ist Perfekt implementiert, wenn die Umgebung, in der es ausgeführt wird, notorisch anfällig ist, z Windows XP?
Für Cardano haben wir den folgenden Kompromiss gewählt. Erstens aufgrund der Komplexität der In den Bereichen Kryptographie und verteiltes Rechnen sind Beweise in der Regel sehr subtil, lang und kompliziert und manchmal recht technisch. Dies impliziert, dass eine vom Menschen gesteuerte Überprüfung möglich ist mühsam und fehleranfällig. Daher glauben wir, dass jeder wichtige Beweis in einem Weißbuch dargestellt wird Papiere, die zur Abdeckung der Kerninfrastruktur geschrieben wurden, müssen maschinell überprüft werden.
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 25 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Zweitens haben wir die Wahl, den Haskell-Code so zu verifizieren, dass er korrekt mit unseren Whitepapers übereinstimmt zwischen zwei beliebten Optionen: Schnittstelle mit SMT-Prüfern über LiquidHaskell und Verwendung Isabelle/HOL.
SMT-Löser (Erfüllbarkeits-Modulo-Theorien) befassen sich mit dem Problem der Funktionsfindung Parameter, die eine Gleichung oder Ungleichung erfüllen, oder alternativ zeigen, dass solche Parameter existieren nicht. Wie von De Moura und Bjørner erörtert, sind die Anwendungsfälle von SMT vielfältig, aber der Schlüssel ist Der Punkt ist, dass diese Techniken sowohl leistungsstark sind als auch Fehler und Fehler drastisch reduzieren können Semantische Fehler.
Isabelle/HOL hingegen ist ein ausdrucksstärkeres und vielfältigeres Werkzeug, das verwendet werden kann
Beide spezifizieren und überprüfen die Implementierung. Isabelle ist eine generische Theoremlöserin, die mit arbeitet
Logikkonstrukte höherer Ordnung, die Mengen und andere mathematische Objekte darstellen können
in Beweisen verwendet werden. Isabelle selbst lässt sich in den Z3 SMT-Prüfer integrieren, um mit Problemen zu arbeiten
solche Einschränkungen.
Beide Ansätze bieten einen Mehrwert und deshalb haben wir uns entschieden, beide schrittweise zu übernehmen.
Menschliche schriftliche Beweise werden in Isabelle kodiert, um ihre Richtigkeit zu überprüfen und somit zufriedenstellend zu sein
unsere Anforderungen an die Maschinenprüfung. Und wir beabsichtigen, nach und nach Liquid Haskell zu allen hinzuzufügen
Produktionscode in der Implementierung von Cardano in den Jahren 2017 und 2018.
Abschließend lässt sich sagen, dass die formale Verifizierung nur so gut ist wie die Spezifikation, anhand derer und verifiziert wird die verfügbaren Toolsets. Einer der Hauptgründe für die Wahl von Haskell ist, dass es Folgendes bietet richtige Balance zwischen Praxis und Theorie. Aus White Papers abgeleitete Spezifikationen sehen sehr ähnlich aus Haskell-Code, und die Verbindung der beiden ist wesentlich einfacher als mit einem Imperativ Sprache.
Es gibt immer noch enorme Schwierigkeiten, eine korrekte Spezifikation zu erfassen und diese auch zu aktualisieren Angabe, wann Änderungen wie Upgrades, Fehlerbehebungen und andere Anliegen vorgenommen werden müssen; Diese Realität schmälert jedoch in keiner Weise den Gesamtwert. Wenn man sich die Mühe macht Aufbau einer Grundlage auf nachweisbarer Sicherheit, dann sollte die Umsetzung so sein, wie sie war tatsächlich auf dem Papier vorgeschlagen.
Transparenz
Eine letzte Frage bei der Erörterung der Wissenschaft und Technik der Entwicklung einer Kryptowährung lautet: wie man mit Transparenz umgeht. Designentscheidungen sind nicht boolesch und ätherisch Entwickler in Träumen und dann plötzlich zum Kanoniker. Sie basieren auf Erfahrungen, Debatte und Lehren aus früheren Fehlern.
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 26 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Die Herausforderung besteht darin, dass ein völlig transparenter Entwicklungsprozess die Diskussion beeinflussen könnte werden mehr theatralisch als evidenzbasiert. Egos, Versuche, eine Gemeinschaft für sich zu gewinnen, und Angst Dumm zu klingen könnte dazu führen, dass Gespräche steril und kontraproduktiv werden.
Darüber hinaus könnten Außenstehende versuchen, das Gespräch zu vereinnahmen, um sie zu erzwingen bestimmte Tangente zum einzig relevanten Thema werden. Jeder hat eine heilige Kuh.
Wie lässt sich also die Notwendigkeit eines transparenten Entwicklungsprozesses ausgleichen, der dem geschuldet ist? Gemeinschaft, die den Fortschritt einer Gruppe von Kernentwicklern anvertraut hat, die Freiheit brauchen Ausdruck ohne Angst?
Mit Cardano haben wir uns für einen auf Standards basierenden Prozess mit gezielter Aufsicht entschieden. Die Community muss wissen, dass die Wissenschaft und der Code gut durchdacht, überprüft und sind Lösen Sie tatsächlich die Dinge, von denen Entwickler behaupten, dass sie sie tun. Zu diesem Zweck sollte ein Peer-Review durchgeführt werden erfüllt die wissenschaftliche Komponente vollständig, da es speziell für diesen Zweck entwickelt wurde und hat uns die moderne Welt geschenkt.
Was Code betrifft, ist dieses Thema etwas eigensinniger. Für Cardano haben wir uns entschieden, das anzuvertrauen Cardano Foundation fungiert als Abschlussprüfer der Arbeit von IOHK. Insbesondere sind sie betraut mit folgenden Aufgaben:
1.
Regelmäßige Überprüfung des im Github Cardano enthaltenen Quellcodes auf Qualität,
Testabdeckung, korrekte Kommentare und Vollständigkeit
2.
Überprüfung der gesamten Cardano-Dokumentation auf Richtigkeit und Nützlichkeit
3.
Überprüfung der Behauptungen, dass die von den Wissenschaftlern erstellten Protokolle vollständig umgesetzt sind
Um diese Aufgabe zu erfüllen, wird IOHK der Stiftung – und ihren Mitgliedern – regelmäßig und zeitnah Berichte vorlegen weist zu – zur Überprüfung. Die Stiftung wird ihrerseits einen Entwicklungsüberwachungsbericht veröffentlichen Cardano Community mindestens vierteljährlich.
Dieser erste Versuch soll eine breitere Diskussion darüber anstoßen, wie ein dezentrales Projekt funktioniert erreicht Verantwortung. Die Entwicklungsüberwachung durch einen vertrauenswürdigen Dritten ist ein leistungsstarkes Instrument dazu Stellen Sie sicher, dass die Entwickler auf dem richtigen Weg sind. Dies reicht jedoch nicht aus, um vollständig zu garantieren, dass die Das Projekt wird immer liefern.
Aus diesem Grund wird die Stiftung nach der Integration des Finanzministeriums in CSL Förderung leisten zusätzliche Entwicklungsteams, um alternative Clients basierend auf dem Formalen zu erstellen Spezifikationen, die gemeinsam mit IOHK entwickelt wurden. Entwicklungsvielfalt war eine großartige Technik Wird vom Projekt Ethereum verwendet, um die Bildung einer Monokultur um eine einzige Reihe von Ideen herum zu verhindern Entwickler. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 27 von 44
IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Was die Spezifikationen anbelangt, so lässt sich aus den Normen eine Fülle von Erkenntnissen gewinnen Prozess, der vom WC3 und der IETF verfolgt wird. Letztendlich ist jedes Protokoll Cardano integriert erfordert eine Spezifikation, die unabhängig von wissenschaftlicher Arbeit oder Quellcode ist. Vielmehr muss es so sein in einem geeigneten Format vorliegen, z. B. einem RFC.
Eines der Grundprinzipien der Cardano Foundation besteht darin, als Normungsgremium speziell für die zu fungieren Cardano Protokolle und um Gespräche zu führen, um relevante Standards zu aktualisieren, hinzuzufügen oder zu ändern Cardano. Wenn das Internet (ein Produkt von Standards) über die IETF einen Konsens darüber erzielen kann, was Kernprotokolle verwendet werden sollen, kann man durchaus davon ausgehen, dass es sich um eine dedizierte Stelle handelt könnte das gleiche Ergebnis ermöglichen.
Abschließend möchte ich sagen, dass es interessant ist, die Verlagerung dieser Diskussionen in eine dezentrale Einheit zu untersuchen gehostet auf einem blockchain. Dieses Konzept wird als dezentrale autonome Organisation bezeichnet (DAO) und in diesem Bereich sind Vorarbeiten im Gange. IOHK wird ein Referenzmodell DAO entwickeln Entitäten, die eine Schnittstelle zu Cardano haben, können bei Bedarf verwendet werden und es liegt im Vorrecht der Stiftung Cardano zu entscheiden, ob sie es in ihr Normungsmandat aufnehmen wollen.
Interoperabilitas
Miopia Besar
Keuangan dan gagasan perdagangan yang lebih luas pada akhirnya merupakan usaha manusia. Ada yang elegan bahasa, alat yang sangat tepat untuk menangkap maksud, dan teknik yang tak ada habisnya mendapatkan jalan keluar jika terjadi hasil yang buruk serta upaya mencari hukum selama ribuan tahun ekuitas dalam perdagangan. Faktanya, beberapa bentuk penulisan paling awal adalah kontrak komersial.
Namun unsur kemanusiaan tidak dapat dihindari terlepas dari disintermediasi logika, mesin atau penjaga pemerintah yang dipercayakan dengan kekuatan yang mengerikan. Disitulah letak keagungannya miopia cryptocurrency. Mereka sebagian besar terpisah dari realitas kemanusiaan.
Orang membuat kesalahan. Orang-orang berubah pikiran. Orang tidak selalu memahami sepenuhnya hubungan bisnis yang mereka setujui untuk dimasuki. Masyarakat disesatkan dan ditipu. Keadaan berubah pada tingkat individu dan negara bagian yang memerlukan solusi unik. bekerja keras Pada titik ini, sebagian besar kontrak mengandung klausul force majeure.
MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 28 dari 44
IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Namun, mata uang kripto berusaha menghilangkan pemahaman, kasih sayang, dan penilaian manusia sebagai imbalan atas hakim digital yang tidak peduli dan terikat sempurna pada konstitusi tanpa pertimbangan pada keadilan atau hasil. Mengingat manusia selalu berusaha dan akan terus berusaha mengubah peraturan untuk tujuan egois, sungguh menyegarkan untuk memiliki sistem yang tidak dapat dirusak.
Namun apa yang terjadi ketika pengguna perlu memadukan sistem baru ini dengan sistem keuangan tradisional sistem? Apa yang terjadi ketika seseorang perlu hidup di dunia manusia? Misalnya properti hak-hak seperti pendaftaran tanah hidup sepenuhnya di dunia fisik. Bahkan tokenmasih melakukan penataan lahan memerlukan pengakuan terhadap yurisdiksi yang berkuasa.
Untuk memberikan poin lain, sebatang emas tidak bisa bergerak sendiri. Hakim digital dapat memerintahkannya pergerakan, namun tidak dapat memaksanya tanpa manusia yang mengakomodasinya. Oleh karena itu buku besar digital bisa menyimpang dari kenyataan.
Oleh karena itu, seorang perancang protokol perlu memutuskan seberapa banyak realitas manusia yang boleh diizinkan dalam dirinya mata uang kripto. Semakin banyak fleksibilitas, semakin sedikit kesetiaan terhadap sesuatu yang absolut. Itu semakin banyak perlindungan konsumen, semakin banyak mekanisme yang harus ada untuk memberikan rollback, refund dan penyuntingan sejarah.
Bagian ini dan peraturan selanjutnya mencakup pendekatan pragmatis Cardano terhadap topik tersebut. Di dalam hal interoperabilitas, ada dua kelompok besar untuk didiskusikan. Pertama, interoperabilitas dengan sistem keuangan warisan (dunia non-cryptocurrency). Kedua, interoperabilitas dengan pihak lain mata uang kripto.
Warisan
Fintech tidak terdiri dari satu standar atau bahkan bahasa yang sama. Ada yang luar biasa
keragaman dalam pendekatan, entitas yang bertanggung jawab atas penyelesaian dan pembukaan lahan, bisnis
proses, dan domain lain yang terlibat dalam akuntansi, transformasi, dan pergerakan
nilai.
Tidak masuk akal untuk mengatakan bahwa, hanya karena satu teknologi lebih unggul, maka teknologi lainnya lebih unggul
ekosistem entah bagaimana akan mengakui kekalahan dan meningkatkannya. Misalnya masih banyak orang yang menggunakan
Windows XP 16 tahun setelah rilis awal. Keadaan menyedihkan ini setara dengan seseorang
menggunakan Macintosh asli yang dirilis pada tahun 1984 di tahun 2000.
Selain perilaku konsumen, bisnis pada umumnya lebih lambat dalam siklus peningkatannya. Banyak
bank masih menggunakan back end yang ditulis dalam Cobol. Setelah infrastruktur diketahui berfungsi dan terpenuhi
kebutuhan bisnis, biasanya hanya ada sedikit insentif untuk meningkatkan atau menyempurnakan perangkat lunak dan
protokol untuk keuntungan konsumen di luar masalah kepatuhan atau keamanan. MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 29 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Untuk Cardano, pertama-tama kita harus menentukan apa yang dimaksud dengan jembatan lama? Sistem apa,
standar, entitas, dan protokol yang harus kami targetkan untuk memastikan adanya kepastian yang wajar
interoperabilitas? Bisakah jembatan ini difederasi atau didesentralisasi? Atau seperti pertukaran, kan?
menjadi titik utama kegagalan bagi peretas, pemilik yang berniat jahat, atau pembuat kebijakan yang terlalu bersemangat?
Ada tiga kekhawatiran yang harus diatasi. Pertama, representasi informasi dan
keyakinan akan keakuratannya. Kedua, representasi nilai dan kepemilikan terkaitnya. Ketiga,
representasi entitas dan pengguna tertentu serta tingkat kepercayaan agregat terhadap entitas tersebut
entitas.
Agar berguna, informasi dan nilai harus mengalir bebas antara dunia keuangan lama dan dunia keuangan
Cardano. Kemudian hasil-hasilnya perlu ditetapkan dan dicatat untuk membangun reputasi dan landasan
untuk bantuan. Namun hal-hal seperti itu sebagian besar hanya terjadi pada aktor-aktor yang terlibat. Untuk menyandikan
mereka di blockchain akan menjadikannya global dan permanen.
Selain itu, nilai tidak selalu bisa mengalir bebas di dunia warisan. Embargo, sanksi, modal
pengendalian dan tindakan hukum dapat membekukan aset. Agar dapat dioperasikan, seseorang tidak dapat membuat sebuah
selalu buka katup keluar agar nilai bocor.
Terakhir, merek dan reputasi entitas merupakan salah satu landasan komersial hubungan. Miliaran dolar dihabiskan setiap tahun untuk membangun dan memelihara kampanye pemasaran dan merek perbaikan. Jika ada klaim yang bersifat memfitnah, palsu, atau menyesatkan mengenai seseorang atau suatu entitas, maka mereka mempunyai hak untuk mencari bantuan hukum. Namun upaya blockchain untuk melestarikannya secara permanen sejarah.
Seperti pilihan bahasa pemrograman kami, tidak ada solusi ideal untuk diselesaikan oleh Cardano kekhawatiran ini dengan cara yang benar. Sebaliknya, kita harus menyerah pada pendapat yang didukung lagi.
Sehubungan dengan aliran informasi, aliran ini dikenal sebagai aliran data tepercaya. Ia memiliki sumber dan konten. Sumber mempunyai gagasan tentang kredibilitas dan insentif untuk menipu atau mempertahankan kejujuran. Konten dapat dikodekan secara sewenang-wenang.
Mengingat kami bermaksud mendukung perangkat keras tepercaya dalam tumpukan protokol kami, kami memilih untuk melakukannya menjajaki penambahan dukungan untuk Protokol Town Crier yang dibuat oleh Profesor Ari Juel dkk. Dengan asumsi adanya kumpulan sumber data yang kredibel, Town Crier mengizinkan pengikisan web yang aman konten untuk digunakan dalam smart contracts dan aplikasi lainnya.
MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 30 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Daftar sumber bootstrap akan disediakan oleh Emurgo, IOHK dan Cardano Foundation. Nanti daftar ini akan diganti dengan daftar yang dikurasi komunitas menggunakan mekanisme yang berasal dari Cardano sistem perbendaharaan. Harapan kami adalah sistem reputasi dapat terwujud berkat data feed yang baik, sehingga menciptakan umpan balik positif untuk secara bertahap meningkatkan keandalan dan kesetiaan.
Representasi nilai adalah topik yang lebih kompleks. Berbeda dengan informasi - dimana dulunya kebenaran, ketepatan waktu dan kelengkapan ditetapkan, protokol dapat berperilaku dapat diandalkan dan cara deterministik - nilai lebih rumit.
Setelah tokenized, nilai harus berperilaku seperti objek unik. Informasi dapat disalin dan beredar, tetapi token yang mewakili kepemilikan sesuatu (misalnya hak milik kendaraan) tidak mungkin dikloning dan diperdagangkan pada dua buku besar yang berbeda. Tindakan ini secara efektif akan menghancurkan integritas sistem.
Tantangan dalam interoperabilitas warisan ketika berhadapan dengan nilai tokenized adalah kepercayaan asumsi, keandalan, dan kemampuan audit berubah seiring aliran token antar buku besar. Misalnya jika Bob memiliki sejumlah Bitcoin dan kemudian menyimpannya di bursa, lalu Bob kini memilikinya representasi bursa atas Bitcoin miliknya di buku besar mereka. Dalam kasus MtGOX, buku besar mereka melakukannya tidak sesuai dengan kenyataan, menyebabkan pengguna kehilangan segalanya.
Masalahnya semakin rumit dengan perlunya sistem warisan untuk mengenali token yang tinggal di dalamnya sebuah mata uang kripto. Seperti disebutkan sebelumnya, dunia usaha secara historis menolak peningkatan perangkat lunak mereka dan mendukung protokol baru. Situasi ini membuat sulit untuk melihat secara jelas solusi.
Untuk Cardano, harapan terbaik kami adalah memberikan opsi bagi pengguna untuk melampirkan banyak persediaan metadata untuk transaksi mereka dan kemudian menunggu standar industri muncul untuk diterapkan. Beberapa kemajuan telah dicapai dengan kelompok kerja Interledger, upaya seperti R3Cev dan internasional mandat untuk meningkatkan protokol keuangan lama.
Namun, tantangan yang lebih besar tetap ada dalam mengukur dan mengkualifikasi nilai yang dikirim dari sebuah warisan sistem ke buku besar mata uang kripto. Misalnya jika Bob adalah pemilik bank dan mengeluarkan dolar didukung token, maka dia selalu dapat membangun jembatan untuk mengirimkan token miliknya ke buku besar seperti Cardano sebagai aset yang diterbitkan pengguna.
Meskipun Cardano akan melacak kepemilikan dengan tepat dan menyediakan semua fitur yang kami miliki cinta seperti stempel waktu dan kemampuan audit, tidak ada mata uang kripto yang dapat menjadikan Bob seorang bankir yang jujur. Dia selalu mempunyai pilihan untuk menjalankan bank cadangan fraksional dengan tidak menyokong seluruh dolarnya MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 31 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
tokens dengan dolar sungguhan. Penipuan ini tidak dapat dideteksi oleh mata uang kripto kecuali dolar itu sendiri adalah token yang dicatat oleh buku besar digital. 25
Yang terakhir, representasi entitas secara online adalah masalah jaringan klasik yang sudah ada sejak awal hari-hari internet. Universitas, bisnis, departemen pemerintah, dan pengguna sewenang-wenang perlu membangun identitas mereka di beberapa titik.
Untuk mencapai tujuan ini, solusi pragmatis namun terpusat seperti Infrastruktur Kunci Publik web dan Sistem DNS ICANN telah diterapkan. Mengingat kita menikmati web modern, ini solusinya terukur dan praktis. Namun mereka tidak menjawab yang lebih berorientasi komersial pertanyaan tentang keandalan, kepercayaan, dan karakteristik meta lainnya yang diperlukan untuk menentukan jika seseorang ingin berbisnis dengan entitas tersebut.
Tuan rumah pasar multi-sisi seperti eBay telah membangun model bisnis dengan menyediakan beberapa metadata ini bersama dengan kerangka kerja untuk menyelesaikan transaksi. Penilaian tentang kualitas konten, acara, dan bisnis sering kali hanya dipengaruhi oleh rating online dari sumber terpercaya. 26
Bagian dari poin ini yang relevan dengan Cardano adalah pertanyaan tentang sentralisasi reputasi. Salah satu dari tujuan kami untuk Cardano adalah menyediakan simpanan keuangan bagi negara berkembang. Kunci dari upaya ini adalah kemampuan untuk membangun kepercayaan dengan aktor yang belum pernah ditemui.
Kalau satu entitas atau konsorsium entitas menguasai siapa yang diberi label baik atau buruk, bukan organik proses yang berasal dari interaksi aktual dalam komunitas secara keseluruhan, maka entitas ini bisa secara sewenang-wenang memasukkan siapa pun ke dalam daftar hitam atas dugaan dosa apa pun. Kekuatan ini bertentangan dengan nilai-nilai kita sebagai sebuah proyek dan mengalahkan tujuan penggunaan mata uang kripto yang lebih luas.
Untungnya, mekanisme yang sama digunakan dalam pemungutan suara untuk surat suara perbendaharaan, menambahkan sumber ke dalam daftar umpan data tepercaya dan protokol forking dapat digunakan kembali untuk membangun ruang reputasi. Ini adalah sebuah area penelitian terbuka dan harapan kami adalah menyediakan protokol overlay untuk desentralisasi jaringan kepercayaan reputasi pada tahun 2018-2019 setelah lebih banyak elemen mendasar diselesaikan.
Interoperabilitas Mata Uang Kripto
25 Sebaliknya, untuk buku besar digital, bukti cadangan telah diusulkan sebagai cara penyimpanan yang cerdas cryptocurrency hanya bertukar secara jujur. 26 Tarif ini bahkan berdampak pada pembuatan konten itu sendiri. Lihat kisah menarik tentang bagaimana Rotten Tomatoes telah berdampak pada industri film. MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 32 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Beralih dari dunia lama ke buku besar digital terdistribusi, interoperabilitas menjadi jauh lebih sederhana. Setiap buku besar memiliki protokol jaringan, standar komunikasi dan asumsi keamanan tentang algoritma konsensus masing-masing. Hal ini pada gilirannya dapat dengan mudah diukur.
Pergerakan informasi dilakukan dengan menghubungkan ke jaringan asing dan menerjemahkannya pesan. Pergerakan nilai dapat dilakukan melalui sistem relay, perdagangan lintas rantai atom atau melalui skema sidechain yang cerdas. Karena tidak ada operator terpusat, satu representasi entitas lebih membatasi pada metadiskusi kepercayaan pada pengembang, penambang atau beberapa pialang kekuasaan lainnya.
Untuk Cardano, kami mengintegrasikan protokol sidechain baru yang dikembangkan oleh Kiayias, Miller dan Zindros. Ini memberikan cara non-interaktif untuk memindahkan nilai dengan aman antara dua rantai itu mendukung protokol. Mekanisme ini akan menjadi cara utama aliran nilai antara CSL dan a lapisan CCL.
Untuk mata uang kripto lainnya, jembatan federasi harus terbentuk seiring dengan pertumbuhan nilai dan pengguna Cardano dasar. Untuk membantu mempercepat pertumbuhan ini, Cardano SL mendukung versi Plutus yang terbatas skrip interoperabilitas. Transaksi baru akan ditambahkan di Shelley dan rilis CSL selanjutnya khusus untuk memenuhi kebutuhan tersebut.
Labirin Daedalus
Poin-poin mengenai interoperabilitas berasal dari perspektif global. Protokol khusus, baru
jenis transaksi, sistem untuk menilai kredibilitas dan arus informasi tidak dapat dibatasi
hanya satu penjaga gerbang atau pengguna. Sebaliknya mereka harus tersedia bagi siapa saja yang tidak memilikinya
sensor atau tol.
Namun apa yang terjadi jika Cardano tidak mendukung protokol, transaksi, atau aplikasi yang a
pengguna tidak bisa hidup tanpanya? Haruskah kita berada di luar jangkauan? Web juga menghadapi kekhawatiran serupa
selama tahun 1990an.
Ironisnya, web menyediakan dua solusi berbeda yang dapat direplikasi dengan mata uang kripto.
Pengenalan JavaScript memberikan kemampuan program ke situs web mana pun untuk ditambahkan secara sewenang-wenang
fitur. Pengenalan plugin dan ekstensi browser menambahkan kemampuan khusus untuk
pengguna yang ingin menginstalnya. Kedua pendekatan tersebut memberi kita web modern beserta segala keamanannya
kengerian.
MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 33 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Ethereum mengadopsi pendekatan sebelumnya dengan mengizinkan pengguna untuk menyematkan subprotokol di
Ethereum blockchain sebagai smart contracts. Cardano mendukung fitur ini melalui CCL
paradigma. Namun bagaimana dengan ekstensi khusus?
Contoh yang jelas adalah pedagang mata uang kripto. Bayangkan sebuah pasar yang terdesentralisasi,
disebut DM, yang mendukung serangkaian mata uang kripto yang berbeda. Seorang pedagang ingin mengotomatisasi miliknya
strategi yang bertindak pada DM.
Dalam ekosistem yang terfragmentasi, pedagang harus memasang lusinan klien untuk masing-masing ekosistem
cryptocurrency dan kemudian menulis perangkat lunak khusus untuk berbicara dengan setiap klien untuk berkoordinasi
perdagangan otomatis. Jika salah satu klien memperbarui, maka itu dapat merusak perangkat lunak yang dipesan lebih dahulu. Selain itu,
bagaimana jika pedagang ingin menjual perangkat lunaknya?
Terinspirasi dari model ekstensi web, jika antarmuka ke berbagai mata uang kripto bisa
ditarik ke dalam tumpukan web, maka tugas pedagang menjadi jauh lebih mudah. Sebuah universal
antarmuka dapat dibuat. Instalasi adalah satu klik. Distribusi perangkat lunak dapat dimodelkan
setelah toko web Chrome.
Untuk Cardano, kami memutuskan untuk bereksperimen dengan paradigma ini dengan menerapkan referensi kami
ujung depan dompet di Electron. Ini adalah proyek sumber terbuka yang dikelola oleh Github yang menggabungkan
baik Node dan Chrome secara bersamaan. Bentuk Elektron Cardano disebut Daedalus.
Generasi pertama Daedalus akan bertindak sebagai dompet HD dengan dukungan untuk banyak hal yang diharapkan
27 fitur akuntansi dan keamanan yang merupakan standar industri, seperti kata sandi pengeluaran dan
BIP39. Pada generasi selanjutnya Daedalus akan berkembang menjadi kerangka aplikasi dengan toko,
API integrasi universal dan SDK.
Inovasi utamanya adalah kemudahan pengembangan dengan memungkinkan pemrogram menggunakan JavaScript,
HTML5 dan CSS3 untuk membangun aplikasi mereka dan jembatan terpadu untuk lintas aplikasi
komunikasi. Perilaku kompleks seperti kriptografi, pengelolaan jaringan terdistribusi dan
mekanisme basis data dapat diabstraksikan sehingga memungkinkan pengembang fokus hanya pada pengguna
pengalaman dan logika inti aplikasinya.
Karena Daedalus dimaksudkan untuk menjadi kerangka kerja universal, peta jalan dan evolusinya agak berbeda
independen dari Cardano. Selama tahun 2017 keduanya berpasangan erat, namun nantinya Cardano akan adil
aplikasi lain untuk pengguna Daedalus. Kami juga bermaksud menjelajahi fitur-fitur yang sangat unik
seperti layanan manajemen kunci universal yang hanya berjalan di Intel SGX.
27 Yang sudah tersedia di daedaluswallet.io
MENGAPA KAMI MEMBANGUN CARDANO
Lisensi Internasional Creative Commons Atribusi 4.0
Halaman 34 dari 44
IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Pada akhirnya, sebagai perancang protokol, kami tidak dapat memenuhi semua kebutuhan. Harapan kami adalah fleksibilitasnya
yang akan disediakan Daedalus dikombinasikan dengan smart contract stateful yang berjalan di CCL akan memuaskan
yang ditinggalkan oleh keputusan desain kami. Kami juga berharap standar yang lebih baik dapat muncul
mendorong semua cryptocurrency untuk menikmati interoperabilitas dan keamanan yang lebih baik.
Interoperabilität
Die große Myopie
Finanzen und die umfassendere Idee des Handels sind letztendlich ein menschliches Unterfangen. Es gibt elegante Sprachen, äußerst präzise Werkzeuge zum Erfassen von Absichten und endlose Labyrinthe von Techniken dazu Im Falle schlechter Ergebnisse sowie nach jahrtausendelanger Suche nach Rechtsmitteln können wir Regressansprüche geltend machen Gerechtigkeit im Handel. Tatsächlich handelte es sich bei einigen der frühesten Schriftformen um Handelsverträge.
Dennoch kann das menschliche Element trotz der Disintermediation zur Logik nicht gemieden werden. Maschinen oder Regierungswächter, denen schreckliche Kräfte anvertraut sind. Darin liegt das Große Kurzsichtigkeit von Kryptowährungen. Sie sind größtenteils von der menschlichen Realität losgelöst.
Menschen machen Fehler. Menschen ändern ihre Meinung. Die Leute verstehen das nicht immer vollständig Geschäftsbeziehungen, zu deren Eingehen sie sich bereit erklären. Menschen werden in die Irre geführt und betrogen. Die Umstände ändern sich auf individueller und staatlicher Ebene und erfordern einzigartige Lösungen. Ausarbeiten Zu diesem Zeitpunkt enthalten die meisten Verträge Klauseln über höhere Gewalt.
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 28 von 44
IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Kryptowährungen zielen jedoch darauf ab, menschliches Verständnis, Mitgefühl und Urteilsvermögen zu zerstören im Austausch gegen einen gleichgültigen digitalen Richter, der ohne Gegenleistung perfekt an eine Verfassung gebunden ist auf Fairness oder Ergebnis. Angesichts der Tatsache, dass die Menschen es immer versucht haben und es auch weiterhin versuchen werden Wenn man Regeln aus egoistischen Gründen ändert, ist es erfrischend, tatsächlich ein System zu haben, das nicht korrumpiert werden kann.
Aber was passiert, wenn ein Benutzer diese neuen Systeme mit traditionellen Finanzsystemen kombinieren muss? Systeme? Was passiert, wenn man in der menschlichen Welt leben muss? Zum Beispiel Eigentum Rechte wie die Grundbucheintragung leben vollständig in der physischen Welt. Sogar tokenvernichtet das Land immer noch erfordert eine gewisse Anerkennung der geltenden Gerichtsbarkeit.
Um noch einen weiteren Punkt anzuführen: Ein Goldbarren kann sich nicht selbst bewegen. Der digitale Richter kann es befehlen Bewegung, kann sie aber nicht erzwingen, ohne dass der Mensch sich daran anpasst. Daher kann ein digitales Hauptbuch von der Realität abweichen.
Daher muss ein Protokolldesigner entscheiden, wie viel menschliche Realität in seinem Protokoll zugelassen werden soll Kryptowährung. Je mehr Flexibilität, desto weniger Treue zum Absoluten sollte man erwarten. Die Je mehr Verbraucherschutz, desto mehr Mechanismen müssen vorhanden sein, um Rollbacks und Rückerstattungen zu ermöglichen und Bearbeitung der Geschichte.
Dieser und der nächste Abschnitt über Regulierung behandeln den pragmatischen Ansatz von Cardano zu diesem Thema. In Hinsichtlich der Interoperabilität gibt es zwei große Gruppen, die diskutiert werden müssen. Erstens, Interoperabilität mit alte Finanzsysteme (die Welt ohne Kryptowährung). Zweitens, Interoperabilität mit anderen Kryptowährungen.
Vermächtnis
Fintech besteht nicht aus einem einzigen Standard oder gar einer gemeinsamen Sprache. Es ist enorm
Vielfalt in den Ansätzen, die für die Abwicklung und das Clearing verantwortlichen Stellen, das Geschäft
Prozesse und andere Bereiche, die an der Buchhaltung, Transformation und Bewegung von beteiligt sind
Wert.
Es ist unvernünftig zu behaupten, dass nur weil eine Technologie überlegen ist, der Rest der anderen
Das Ökosystem wird sich irgendwie geschlagen geben und aufwerten. Viele Menschen verwenden es zum Beispiel immer noch
Windows XP 16 Jahre nach der Erstveröffentlichung. Dieser traurige Zustand ist für jemanden gleichbedeutend
unter Verwendung des ursprünglichen Macintosh, der 1984 im Jahr 2000 veröffentlicht wurde.
Abgesehen vom Verbraucherverhalten sind Unternehmen in ihrem Upgrade-Zyklus im Allgemeinen sogar noch langsamer. Viele
Banken verwenden immer noch in Cobol geschriebene Backends. Sobald bekannt ist, dass die Infrastruktur funktioniert und erfüllt ist
Geschäftsanforderungen gibt es in der Regel wenig Anreiz, Software zu aktualisieren oder zu verfeinern
Protokolle zum Nutzen eines Verbrauchers, unabhängig von Compliance- oder Sicherheitsbedenken. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 29 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Für Cardano müssen wir zunächst feststellen, was eine Legacy-Brücke überhaupt mit sich bringen würde. Welche Systeme,
Auf welche Standards, Einheiten und Protokolle sollten wir abzielen, um sicherzustellen, dass eine hinreichende Sicherheit besteht
Interoperabilität? Können diese Brücken föderal oder dezentralisiert sein? Oder wie Börsen werden sie es tun
zu zentralen Fehlerquellen für Hacker, böswillige Eigentümer oder übereifrige Regulierungsbehörden werden?
Es gibt drei Bedenken, die angegangen werden müssen. Erstens die Darstellung von Informationen und
Glaube an seine Genauigkeit. Zweitens die Darstellung des Wertes und des damit verbundenen Eigentums. Drittens,
Darstellung von Entitäten und eines bestimmten Benutzers sowie des Gesamtniveaus des Vertrauens in diese
Entitäten.
Um nützlich zu sein, müssen Informationen und Werte frei zwischen der alten Finanzwelt und der Welt fließen
Cardano. Anschließend müssen Ergebnisse ermittelt und aufgezeichnet werden, um Reputation und Bodenständigkeit aufzubauen
für Regress. Dennoch sind solche Dinge meist auf die beteiligten Akteure beschränkt. Zum Verschlüsseln
sie auf einem blockchain würden sie global und dauerhaft machen.
Darüber hinaus kann der Wert in der Legacy-Welt nicht immer frei fließen. Embargos, Sanktionen, Kapital
Kontrollen und gerichtliche Maßnahmen könnten zum Einfrieren von Vermögenswerten führen. Um interoperabel zu sein, kann man keine erstellen
Öffnen Sie immer das Auslassventil, damit kein Wert austritt.
Schließlich sind die Marke und der Ruf von Unternehmen einer der Eckpfeiler des kommerziellen Handelns Beziehungen. Jährlich werden Milliarden von Dollar für die Einrichtung und Aufrechterhaltung von Marketingkampagnen ausgegeben und Reparaturmarken. Wenn verleumderische, falsche oder irreführende Behauptungen über eine natürliche oder juristische Person aufgestellt werden, dann sie haben das Recht, rechtliche Schritte einzuleiten. Doch blockchains versuchen, dauerhaft zu bewahren Geschichte.
Wie bei unserer Wahl der Programmiersprache gibt es auch für die Lösung von Cardano keine ideale Lösung diese Anliegen auf eine allgegenwärtig richtige Art und Weise. Vielmehr müssen wir uns der unterstützten Meinung beugen wieder.
In Bezug auf den Informationsfluss wird dieser Fluss als vertrauenswürdiger Datenfeed bezeichnet. Es hat eine Quelle und Inhalt. Quellen haben eine gewisse Vorstellung von Glaubwürdigkeit und einen Anreiz, zu täuschen oder zu behaupten Ehrlichkeit. Inhalte können beliebig kodiert werden.
Da wir beabsichtigen, vertrauenswürdige Hardware in unserem Protokoll-Stack zu unterstützen, haben wir uns dafür entschieden Erkunden Sie die Hinzufügung von Unterstützung für das Town Crier-Protokoll von Professor Ari Juel et al. Vorausgesetzt das Durch das Vorhandensein eines glaubwürdigen Satzes von Datenquellen ermöglicht Town Crier das sichere Scrapen von Webinhalten Inhalte zur Verwendung in smart contracts und anderen Anwendungen.
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 30 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Eine Bootstrap-Quellenliste wird von Emurgo, IOHK und der Cardano Foundation bereitgestellt. Später Diese Liste wird durch eine von der Community kuratierte Liste ersetzt, die Mechanismen verwendet, die von Cardano abgeleitet sind Finanzsystem. Wir hoffen, dass ein Reputationssystem rund um gute Datenfeeds entstehen kann. Dadurch wird eine positive Rückkopplungsschleife geschaffen, um die Zuverlässigkeit und Wiedergabetreue schrittweise zu verbessern.
Die Darstellung von Werten ist ein komplexeres Thema. Im Gegensatz zu Informationen – wo einmal die Richtigkeit, Aktualität und Vollständigkeit sind gewährleistet, Protokolle können sich zuverlässig verhalten deterministischer Weg – Wert ist empfindlicher.
Nach der tokenisierung sollte sich der Wert wie ein eindeutiges Objekt verhalten. Informationen können kopiert und kopiert werden herumgereicht werden, aber ein token, der das Eigentum an etwas (z. B. einem Fahrzeugtitel) darstellt, kann nicht sein geklont und auf zwei verschiedenen Hauptbüchern gehandelt. Diese Tat würde die Integrität des Staates effektiv zerstören System.
Die Herausforderung bei der Legacy-Interoperabilität beim Umgang mit tokenisierten Werten ist dieses Vertrauen Annahmen, Zuverlässigkeit und Überprüfbarkeit ändern sich, wenn tokens zwischen Hauptbüchern fließen. Zum Beispiel, wenn Bob besitzt einige Bitcoin und deponiert sie dann an einer Börse, dann hat Bob jetzt die Die Darstellung seines Bitcoin durch die Börse in ihrem Hauptbuch. Im Fall von MtGOX war dies bei ihrem Hauptbuch der Fall nicht der Realität entsprechen, was dazu führt, dass die Benutzer alles verlieren.
Das Problem wird dadurch noch komplizierter, dass Legacy-Systeme die darin lebenden tokens erkennen müssen eine Kryptowährung. Wie bereits erwähnt, sind Unternehmen seit jeher resistent gegen Modernisierungen ihre Software und die Unterstützung neuer Protokolle. Diese Situation macht es schwierig, klar zu sehen Lösung.
Für Cardano besteht unsere größte Hoffnung darin, Benutzern die Möglichkeit zu bieten, umfangreiche Metadaten anzuhängen auf ihre Transaktionen zugreifen und dann darauf warten, dass sich Industriestandards herausbilden, in die sie eingreifen können. Einige Fortschritte wurden mit der Interledger-Arbeitsgruppe, Bemühungen wie R3Cev und International erzielt Mandate zur Aktualisierung alter Finanzprotokolle.
Die größere Herausforderung bleibt jedoch die Quantifizierung und Qualifizierung des aus einem Vermächtnis resultierenden Werts System zu einem Kryptowährungs-Ledger. Zum Beispiel, wenn Bob Bankbesitzer ist und einen Dollar ausgibt Wenn er token unterstützt, kann er jederzeit eine Brücke bauen, um seine tokens an ein Hauptbuch wie Cardano zu senden Vom Benutzer ausgegebenes Asset.
Während Cardano den Besitz genau verfolgen und alle Funktionen bereitstellen würde, auf die wir gekommen sind Liebe wie Zeitstempel und Überprüfbarkeit: Keine Kryptowährung kann Bob zu einem ehrlichen Banker machen. Er hat immer die Möglichkeit, eine Teilreservebank zu betreiben, indem er nicht seinen gesamten Dollar absichert WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 31 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
tokens mit echten Dollars. Dieser Betrug kann von keiner Kryptowährung außer dem Dollar erkannt werden selbst war ein token, der von einem digitalen Hauptbuch erfasst wurde. 25
Schließlich ist die Darstellung von Entitäten im Internet ein klassisches Netzwerkproblem, das bis in die Frühzeit zurückreicht Tage des Internets. Universitäten, Unternehmen, Regierungsbehörden und beliebige Benutzer müssen irgendwann ihre Identität feststellen.
Zu diesem Zweck sind pragmatische und dennoch zentralisierte Lösungen wie die Public-Key-Infrastruktur des Internets erforderlich Das DNS-System von ICANN wurde implementiert. Angesichts der Tatsache, dass wir das moderne Web genießen, sind diese Lösungen sind sowohl skalierbar als auch praktisch. Aber sie antworten nicht eher kommerziell orientiert Frage der Zuverlässigkeit, Vertrauenswürdigkeit und anderer zur Bestimmung notwendiger Metamerkmale wenn man mit dem Unternehmen Geschäfte machen möchte.
Mehrseitige Marktplatzanbieter wie eBay haben ein Geschäftsmodell entwickelt, das auf der Bereitstellung einiger Anbieter basiert dieser Metadaten zusammen mit einem Framework zum Abschließen von Transaktionen. Urteile über die Die Qualität von Inhalten, Veranstaltungen und Unternehmen wird oft stark allein von Online-Bewertungen beeinflusst aus vertrauenswürdigen Quellen. 26
Der für Cardano relevante Teil dieses Punktes betrifft die Frage der Zentralisierung der Reputation. Einer von Unser Ziel für Cardano ist es, den Entwicklungsländern eine finanzielle Grundlage zu bieten. Ein Schlüssel zu diesem Bemühen ist die Fähigkeit, Vertrauen zu Schauspielern aufzubauen, die man noch nie getroffen hat.
Wenn ein einzelnes Unternehmen oder ein Konsortium von Unternehmen kontrolliert, wer als gut oder schlecht eingestuft wird, nicht als organisches Unternehmen Wenn ein Prozess aus tatsächlichen Interaktionen in der Gemeinschaft als Ganzes abgeleitet wird, dann könnten diese Entitäten dies tun jemanden willkürlich wegen einer wahrgenommenen Sünde auf die schwarze Liste setzen. Diese Macht steht im Widerspruch zu unseren Werten als Projekt und macht den umfassenderen Sinn der Verwendung einer Kryptowährung zunichte.
Glücklicherweise werden die gleichen Mechanismen bei der Stimmabgabe für das Finanzministerium verwendet, wobei Quellen zu einer Liste hinzugefügt werden Vertrauenswürdige Datenfeeds und die Abzweigung eines Protokolls können wiederverwendet werden, um einen Reputationsraum einzurichten. Es ist ein offenes Forschungsgebiet und unsere Hoffnung ist es, ein Overlay-Protokoll für eine dezentrale Bereitstellung bereitzustellen Reputationsnetz des Vertrauens im Jahr 2018–2019, nachdem weitere grundlegende Elemente geklärt wurden.
Interoperabilität von Kryptowährungen
25 Für digitale Hauptbücher hingegen wurde der Reservenachweis als clevere Aufbewahrungsmethode vorgeschlagen Kryptowährungen werden nur ehrlich ausgetauscht. 26 Diese Tarife wirken sich sogar auf die Erstellung von Inhalten selbst aus. Sehen Sie sich diese interessante Geschichte darüber an, wie Rotten Tomatoes funktioniert hat die Filmindustrie beeinflusst. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 32 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Durch den Übergang von der alten Welt zu verteilten digitalen Hauptbüchern wird die Interoperabilität viel einfacher. Jedes Ledger verfügt über ein Netzwerkprotokoll, Kommunikationsstandards und Sicherheitsannahmen über seinen jeweiligen Konsensalgorithmus. Diese wiederum lassen sich leicht quantifizieren.
Der Informationsfluss wird durch die Verbindung mit dem ausländischen Netzwerk und dessen Übersetzung hergestellt Nachrichten. Die Wertbewegung kann über ein Relaissystem, den atomaren Cross-Chain-Handel, erfolgen oder durch ein cleveres Sidechain-Schema. Da es keinen zentralen Betreiber gibt, einen Die Darstellung von Entitäten beschränkt sich eher auf eine Metadiskussion über das Vertrauen in Entwickler, Miner oder irgendein anderer Powerbroker.
Für Cardano integrieren wir ein neues Sidechain-Protokoll, das von Kiayias, Miller und entwickelt wurde Zindros. Es bietet eine nicht interaktive Möglichkeit, Werte sicher zwischen zwei Ketten zu bewegen Unterstützen Sie das Protokoll. Dieser Mechanismus ist die primäre Art und Weise, wie Werte zwischen CSL und a fließen CCL-Schicht.
Bei anderen Kryptowährungen sollten sich Verbundbrücken bilden, wenn Cardano an Wert und Benutzer wächst Basis. Um dieses Wachstum zu beschleunigen, unterstützt Cardano SL eine eingeschränkte Version von Plutus für Interoperabilitätsskripte. Neue Transaktionen werden in Shelley und späteren Versionen von CSL hinzugefügt speziell auf diese Bedürfnisse einzugehen.
Das Labyrinth von Daedalus
Die Punkte zur Interoperabilität kommen aus einer globalen Perspektive. Spezialisierte Protokolle, neu
Transaktionsarten, Systeme zur Beurteilung der Glaubwürdigkeit und der Informationsfluss können nicht eingeschränkt werden
nur ein einzelner Gatekeeper oder Benutzer. Vielmehr müssen sie für jeden ohne weiteres verfügbar sein
Zensur oder Zölle.
Doch was passiert, wenn Cardano ein Protokoll, eine Transaktion oder eine Anwendung nicht unterstützt, die a
Benutzer kann ohne nicht leben? Sollten wir einfach außerhalb des Geltungsbereichs bleiben? Das Internet war mit einer ähnlichen Sorge konfrontiert
während der 1990er Jahre.
Ironischerweise bietet das Internet zwei verschiedene Lösungen, die mit Kryptowährungen repliziert werden können.
Die Einführung von JavaScript ermöglichte es jeder Website, beliebige Elemente hinzuzufügen
Funktionen. Durch die Einführung von Browser-Plugins und -Erweiterungen wurden benutzerdefinierte Funktionen für hinzugefügt
Benutzer, die bereit sind, sie zu installieren. Beide Ansätze haben uns das moderne Web mit all seiner Sicherheit beschert
Schrecken.
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 33 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Ethereum übernahm den früheren Ansatz, indem es Benutzern ermöglichte, Unterprotokolle einzubetten
Ethereum blockchain als smart contracts. Cardano unterstützt diese Funktion über die CCL
Paradigma. Aber was ist mit benutzerdefinierten Erweiterungen?
Ein anschauliches Beispiel wäre ein Kryptowährungshändler. Stellen Sie sich einen dezentralen Marktplatz vor,
namens DM, das eine Reihe verschiedener Kryptowährungen unterstützt. Ein Händler möchte sein Geschäft automatisieren
Strategien, die auf DM wirken.
In einem fragmentierten Ökosystem müsste der Händler für jeden Client Dutzende installieren
Kryptowährung und schreiben Sie dann individuelle Software, um mit jedem Kunden zu kommunizieren und sich abzustimmen
automatisierte Geschäfte. Wenn ein Client aktualisiert wird, kann dies zu Schäden an der maßgeschneiderten Software führen. Darüber hinaus
Was ist, wenn der Händler die Software verkaufen möchte?
Inspiriert vom Webmodell der Erweiterungen, wenn die Schnittstelle zu verschiedenen Kryptowährungen möglich ist
Wenn die Daten in einen Web-Stack eingefügt werden, wird die Aufgabe des Händlers erheblich einfacher. Ein Universal
Schnittstelle aufgebaut werden kann. Die Installation erfolgt mit einem Klick. Die Verteilung von Software kann modelliert werden
nach dem Chrome-Webshop.
Für Cardano haben wir beschlossen, mit diesem Paradigma zu experimentieren, indem wir unsere Referenz einsetzen
Frontend der Brieftasche auf Electron. Es handelt sich um ein von Github verwaltetes Open-Source-Projekt, das kombiniert
sowohl Node als auch Chrome zusammen. Cardanos Build von Electron heißt Daedalus.
Die erste Generation von Daedalus wird als HD-Wallet fungieren und viele der erwarteten Funktionen unterstützen
27 Buchhaltungs- und Sicherheitsfunktionen, die Industriestandards sind, wie etwa das Ausgeben von Passwörtern und
BIP39. In späteren Generationen wird sich Daedalus zu einem Anwendungsframework mit einem Store entwickeln,
Universelle Integrations-APIs und ein SDK.
Die wichtigsten Neuerungen sind die einfache Entwicklung durch die Möglichkeit für Programmierer, JavaScript zu verwenden.
HTML5 und CSS3 zum Erstellen ihrer Anwendungen und eine einheitliche Brücke für anwendungsübergreifende Anwendungen
Kommunikation. Komplexes Verhalten wie Kryptographie, Verwaltung eines verteilten Netzwerks usw
Datenbankmechanismen können abstrahiert werden, sodass sich der Entwickler ausschließlich auf den Benutzer konzentrieren kann
Erfahrung und die Kernlogik ihrer Anwendung.
Da Daedalus als universelles Framework gedacht ist, ist seine Roadmap und Entwicklung etwas anders
unabhängig von Cardano. Im Jahr 2017 sind sie eng miteinander verbunden, aber später wird Cardano gerecht sein
eine weitere Anwendung für einen Daedalus-Benutzer. Wir beabsichtigen auch, äußerst einzigartige Funktionen zu erkunden
beispielsweise ein universeller Schlüsselverwaltungsdienst, der ausschließlich in Intel SGX ausgeführt wird.
27 Was bereits bei daedaluswallet.io verfügbar ist
WARUM WIR CARDANO BAUEN
Creative Commons Attribution 4.0 Internationale Lizenz
Seite 34 von 44
IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Letztendlich können wir als Protokolldesigner nicht alle Anforderungen erfüllen. Unsere Hoffnung ist, dass die Flexibilität
dass Daedalus in Kombination mit zustandsbehafteten smart contracts, die auf CCL laufen, zufriedenstellend ist
diejenigen, die durch unsere Designentscheidungen ausgelassen wurden. Wir hoffen auch, dass bessere Standards entstehen können
Ermutigen Sie alle Kryptowährungen zu besserer Interoperabilität und Sicherheit.
Peraturan
Dikotomi yang Salah
Meskipun peraturan sering kali berubah-ubah dan misterius, seseorang secara metaforis dapat menyimpulkan sesuatu yang elegan lingkaran narasi para koruptor dan jaksa mereka yang mencari keadilan. Peraturan adalah perangkat dari pembuat hukum. Namun seperti alat-alat lainnya, alat-alat tersebut mungkin masih mentah, tua, atau hanya disalahgunakan.
Cryptocurrency tidak mengubah kondisi manusia atau alur narasi. Akan selalu ada bisa berupa penipuan, aktor jahat, dan hasil buruk meskipun niatnya terbaik. Sementara cryptocurrency dapat menghilangkan penilaian manusia, namun tidak dapat menghilangkan perilaku manusia.
Seorang perancang mata uang kripto harus mengambil keputusan mengenai perangkat apa yang akan ia tawarkan kepada regulator memperbaiki kejadian buruk. Tantangan unik yang dihadapi mata uang kripto adalah produknya kegagalan regulasi dan moneter. 28
Secara budaya, banyak orang di dunia cryptocurrency menganggap tindakan pemerintah korup, tidak kompeten, atau tidak tepat tidak efektif. Oleh karena itu, mereka kurang memiliki rasa hormat, kesabaran atau keinginan untuk mendukung pintu belakang khusus bagi regulator atau penegak hukum untuk memperbaiki kesalahan. Tindakan ini akan menjadi kutukan bagi seluruh tujuan mata uang kripto.
Di sisi lain, jika memperhitungkan kegagalan bursa dan peristiwa bersejarah, lebih dari 10 persennya Bitcoin telah hilang atau dicuri sejak protokol dimulai pada tanggal 3 Januari 2009. Pada tanggal 30 Juni, Pada tahun 2017, nilai yang hilang atau dicuri mencapai sedikit di atas $4 miliar. Dan angka ini tidak diperhitungkan untuk Bitcoin dan token lainnya kalah karena penipuan dan ICO yang bentuknya buruk.
28 Faktanya Satoshi menyematkan judul berikut di Bitcoin Genesis Block yang diambil dari The Times: The Times 03/Jan/2009 Rektor di ambang dana talangan kedua untuk bank MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 35 dari 44
IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Lalu ada masalah privasi. Pada skala makro, nilai mengalir melalui saluran khusus yang diatur, kaya akan metadata dan dipantau secara aktif oleh penegak hukum, pemerintah dan regulator internasional. Ini adalah permainan yang dipahami dengan baik dengan kebocoran hanya terjadi di sisi tunai, yang secara bertahap berkurang seiring dengan beralihnya dunia ke uang digital.
29
Paradigma jika cryptocurrency tidak ada nampaknya akan menjadi dunia yang semakin memperlakukan privasi finansial seperti konten media sosial. Tidak ada dan seseorang tidak dapat memilih untuk tidak ikut serta. Oleh karena itu kita mempunyai dilema yang menghasilkan dikotomi yang nyata.
Seorang perancang mata uang kripto dapat menyerahkan prinsip-prinsipnya dan menyerah pada tuntutan apa pun yang ada di wilayahnya yurisdiksi mereka menempatkan kode mereka, sehingga membahayakan privasi dan integritas mereka pengguna. Atau dia bisa mengadopsi filosofi yang lebih berprinsip, namun anarkis, yang terpisah dari filosofi tersebut praktik dan hukum terbaik saat ini.
Untuk Cardano, kami merasa narasi ini adalah dikotomi palsu yang disebabkan oleh kurangnya imajinasi. Itu kenyataannya sebagian besar pengguna tidak peduli dengan peraturan yang ada di pasar. Biasanya memang begitu khawatir mengenai perubahan mendadak dalam peraturan yang menguntungkan satu atau lebih pelaku. Mereka khawatir tentang kurangnya transparansi mengenai siapa yang mendapat hak istimewa.
Kita perlu membedakan antara hak individu dan hak pasar. Mengingat cryptocurrency memiliki jangkauan global, hak harus berorientasi pada pengguna.
Privasi harus masuk akal dan berada dalam kendali pengguna, bukan penjaga gerbang. Aliran nilai harus tidak dibatasi. Nilai tidak boleh disita secara tiba-tiba tanpa persetujuan.
Dari perspektif pasar, pasar harus transparan tentang penggunaan data, caranya dana akan ditangani di dalam dan setiap orang harus bermain dengan seperangkat aturan yang sama. Selain itu, setelah pengguna menyetujui, maka mereka tidak dapat tiba-tiba berubah pikiran karena ketidaknyamanan. Pihak rekanan juga membutuhkan kepastian.
Namun bagaimana tepatnya seseorang berpindah dari sistem abstrak ke sistem aktual? Apa yang harusnya sesuatu praktis dan legal terlihat seperti? Kami telah membagi solusi kami menjadi tiga kategori: metadata, otentikasi dan kepatuhan serta pasar DAOs.
29 Pembaca sebaiknya mempertimbangkan untuk membeli buku The End of Money karya David Wolman. Ini mencakup gerakan internasional menuju hilangnya uang tunai. MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 36 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Metadata
Tindakan suatu hal seringkali kurang menarik dibandingkan metadata yang mengelilinginya. Untuk Misalnya, mengemudi dari Denver ke Boulder adalah sebuah akting. Mengemudi dari Denver ke Boulder dengan Ferrari 488 dengan rata-rata 120 MPH adalah metadata. Tentu saja ini menyimpulkan pengalaman yang berbeda dari pada a Toyota Prius dengan kecepatan rata-rata 30 MPH.
Transaksi keuangan tidak berbeda. Konteks di sekitar mereka sungguh luar biasa penting bagi ekonom, otoritas pajak, penegak hukum, dunia usaha dan entitas lainnya. Sayangnya dalam sistem berbasis fiat kami saat ini, sebagian besar konsumen tidak pernah melihat betapa kayanya metadata mereka transaksinya atau dengan siapa transaksi tersebut dibagikan. 30
Untuk Cardano, kami memahami bahwa pengguna mungkin memerlukan atau diwajibkan secara hukum untuk berbagi metadata transaksional dengan aktor tertentu seperti otoritas pajak. Namun kami yakin pembagian ini harus dilakukan berada di persetujuan pengguna.
Kami juga percaya bahwa sistem blockchain memiliki kekuatan luar biasa untuk menghilangkan penipuan, pemborosan, dan penyalahgunaan dengan memberikan kemampuan audit, stempel waktu, dan kekekalan. Demikianlah seharusnya beberapa metadata diposting ke Cardano blockchain.
Bagian tersulitnya adalah menemukan keseimbangan yang tepat yang tidak membuat blockchain kita menjadi terlalu substansial kembung. Mengingat kekhawatiran ini, kami memilih pendekatan pragmatis.
Pertama, Daedalus akan mendukung sejumlah besar fitur untuk diberi label selama 12 bulan ke depan transaksi dan aktivitas keuangan. Metadata ini dapat diekspor dan dibagikan sesuai permintaan siapa pun yang dianggap perlu oleh pengguna. Selanjutnya data tersebut dapat dioperasikan oleh tiga pihak aplikasi untuk tujuan khusus domain (misalnya, akuntansi pajak).
Kedua, kami sedang menjajaki penambahan dukungan untuk alamat khusus yang dapat mencakup hashes dan bidang terenkripsi. Struktur ini akan mengizinkan pengguna untuk memposting metadata di blockchain kami tanpa mengungkapkannya secara terbuka. Namun jika dia ingin membagikan datanya, itu akan membawa seluruh kemampuan audit, kekekalan dan kepastian stempel waktu yang dinikmati suatu transaksi.
30 Dalam skala yang lebih makro, penulis Juan Zarate menulis tentang bagaimana data ini digunakan oleh Departemen Keuangan AS Departemen dalam perang melawan terorisme dalam Perang Keuangan. Ini memberikan pandangan komprehensif tentang bagaimana struktur pasar keuangan global saat ini dapat digunakan untuk tujuan geopolitik. MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 37 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Kami telah menerapkan struktur alamat yang berisi bidang atribut. Saat ini digunakan untuk menyimpan salinan terenkripsi struktur pohon dompet HD untuk pemulihan dompet cepat (lihat Dokumentasi Dompet HD). Versi selanjutnya akan menggeneralisasi konstruksi ini.
Otentikasi dan Kepatuhan
Terkait erat dengan transaksi adalah topik hak untuk melakukan transaksi dan kepemilikan dana. Misalnya saja, walaupun dananya cukup untuk membeli sesuatu (untuk misalnya alkohol), mungkin ada batasan dalam pembeliannya (persyaratan usia).
Kepemilikan dan asal dana biasanya merupakan ketentuan dari peraturan kenali pelanggan Anda. Ketika bisnis layanan uang seperti bank atau bursa membuka rekening untuk pelanggan baru, biasanya diperlukan pengumpulan fakta dasar tentang pelanggan dan dari mana dia memperoleh dananya dari.
Tantangan teknologinya adalah dalam proses penyerahannya diperlukan hukum informasi, pengguna yang mengirimkannya tidak memiliki jaminan bagaimana informasi tersebut akan digunakan, disimpan, dan apakah informasi tersebut akan digunakan hancur. Informasi kepatuhan mempunyai nilai komersial. Itu bisa dicuri untuk pencurian identitas atau dijual kembali jika peraturan mengizinkan.
Untuk Cardano, kami ingin berinovasi semaksimal mungkin. Di sisi perangkat lunak protokol, ada tidak memberikan jaminan bahwa penerima informasi kepatuhan akan berperilaku sesuai a ruang lingkup perilaku. Namun, pada sisi perangkat keras dari protokol, dengan menggunakan perangkat keras yang tepercaya, seseorang dapat melakukannya memanfaatkan Intel SGX dan HSM lainnya untuk menegakkan kebijakan tertentu.
Oleh karena itu, kami sedang menjajaki penggunaan Bukti Kaca Tersegel bersamaan dengan kebijakan berbagi untuk mengizinkan penyimpanan transmisi informasi kepatuhan kepada verifikator yang pada gilirannya terpaksa mematuhi kebijakan yang ditransmisikannya. Kami percaya bahwa kedua standar yang seragam dapat muncul dan juga bahwa metode ini akan mengurangi risiko bagi verifikator dengan mencegah hilangnya data pelanggan peretas.
Sebagai akibat dari upaya ini, model berlapis yang kami usulkan untuk Cardano memisahkan nilai dari komputasi juga bisa mendapatkan keuntungan dari pendekatan ini. Jika lapisan komputasi dijalankan dengan diatur entitas (misalnya bursa atau kasino), maka mereka perlu melakukan pemeriksaan kepatuhan dan berpotensi menerapkan kebijakan pajak pada pengguna.
Dengan menggunakan SGP, pengguna dapat mengirim dana beserta informasi identitas pribadi tanpa kekhawatiran bahwa hal itu akan bocor ke internet yang lebih luas atau dipertahankan oleh simpul konsensus MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 38 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
lapisan komputasi. Selanjutnya, lapisan komputasi akan mendapatkan kepastian bagi semua pengguna bertransaksi diautentikasi dan sah.
Paradigma ini juga memungkinkan adanya portabilitas pelanggan antar entitas yang diatur. Pertukaran bisa transfer saldo dan rekening pelanggan secara instan melalui saluran aman ini dan juga — jika kebijakan mengizinkan — berbagi data dengan regulator.
Kami berharap uji beta pertama kami terhadap teknologi ini akan dilakukan pada pertengahan tahun 2018 dengan suatu tujuan menuju integrasi Cardano pada akhir tahun 2018 hingga awal tahun 2019 sambil menunggu hasil penelitian. Garis waktu ini juga mengasumsikan kemampuan untuk berkolaborasi dengan ARM dan Intel agar kode dapat ditandatangani agar dapat dijalankan perangkat keras mereka. 31 Pasar DAOs
Dua bagian sebelumnya membahas pembuatan dan pergerakan informasi dengan asumsi keberadaan beberapa sistem eksternal. Untuk memastikan interoperabilitas lama, fitur-fitur ini akan selalu ada diperlukan, namun hal ini tidak membahas peraturan berbasis blockchain.
Kontrak pintar memungkinkan jenis sistem komersial yang benar-benar baru di mana hubungan berada deterministik, memaksakan diri dan bebas dari ambiguitas. Mereka pada gilirannya dapat digunakan untuk membuat aturan pasar termasuk struktur rumit yang sewenang-wenang seperti arbitrase, pengembalian dana berdasarkan peristiwa, dan pengungkapan fakta dengan syarat khusus.
Kami menyebutnya smart contract struktur yang diberlakukan Marketplace DAOs. Mereka tidak memerlukannya dukungan protokol khusus atau perubahan untuk dimasukkan ke dalam buku besar. Faktanya, mereka bisa saja sepenuhnya dibangun menggunakan kumpulan smart contract yang saling bergantung.
Konsep arsitekturnya adalah merancang kumpulan template komersial yang terinspirasi dari hukum kontrak dan praktik terbaik bisnis. Templat ini dapat ditransfer ke milik pengembang smart contract untuk menerapkan standar khusus di pasar.
Misalnya, pengembang ingin menerbitkan ERC20 token di CCL untuk melakukan crowdsale. SEBUAH Marketplace DAO dapat didirikan khusus untuk crowdsales beserta syarat dan ketentuannya diparameterisasi atau bahkan ditegakkan oleh standar sukarela atau hukum. Hal-hal seperti pengembalian uang, realokasi dana atau pembekuan pembayaran dapat diwariskan dalam ERC20 pengembang kontrak.
31 Lihat Kebijakan Lisensi Komersial Intel SGX MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 39 dari 44
IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Upaya ini memungkinkan kita melakukan diskusi makro tentang bagaimana seharusnya pasar dikendalikan untuk menjamin perlindungan konsumen. Kedua, kita bisa membahas bagaimana memodelkan transaksi dalam a cara untuk secara otomatis memastikan perlindungan hukum dan hak-hak dalam yurisdiksi tertentu, seperti New Hampshire.
Bekerja sama dengan Cardano Foundation, IOHK dan entitas lainnya, proyek Cardano akan menciptakan perpustakaan referensi Marketplace DAOs untuk digunakan oleh smart contract pengembang. Harapan kami adalah itu pasar asuransi dan regulasi dapat terbentuk di sekitar DAO ini dan hal tersebut akan terjadi berkembang sendiri berdasarkan hasil.
Verordnung
Die falsche Dichotomie
So launenhaft und geheimnisvoll die Regulierung oft sein kann, kann man metaphorisch auf eine Eleganz schließen Erzählschleife über die Korrupten und ihre Staatsanwälte, die Gerechtigkeit suchen. Vorschriften sind das Werkzeug von der Gesetzesbringer. Aber wie alle Werkzeuge können sie primitiv, alt oder einfach falsch verwendet sein.
Kryptowährungen haben weder die menschliche Verfassung noch den Erzählkreislauf verändert. Das wird es immer geben Trotz bester Absichten kann es sich um Betrügereien, schlechte Akteure und schreckliche Ergebnisse handeln. Während Kryptowährungen können menschliches Urteilsvermögen beseitigen, sie können menschliches Verhalten jedoch nicht beseitigen.
Ein Kryptowährungsentwickler muss Stellung dazu beziehen, welches Toolkit er der Regulierungsbehörde anbieten wird Korrigieren Sie schlechte Ereignisse. Die einzigartige Herausforderung für Kryptowährungen besteht darin, dass sie ein Produkt davon sind Regulierungs- und Währungsversagen. 28
Kulturell gesehen halten viele in Kryptowährungen staatliches Handeln für korrupt, unfähig oder unwirksam. Daher haben sie wenig Respekt, Geduld oder Lust, eine spezielle Hintertür zu unterstützen für einen Regulierer oder einen Gesetzeshüter, um Unrecht zu korrigieren. Diese Tat würde dem gesamten Zweck widersprechen Kryptowährungen.
Zählt man dagegen Börsenausfälle und historische Ereignisse, so sind es mehr als 10 Prozent Bitcoin ist seit Beginn des Protokolls am 3. Januar 2009 verloren gegangen oder gestohlen worden. Stand: 30. Juni Im Jahr 2017 beläuft sich der verlorene oder gestohlene Wert auf etwas mehr als 4 Milliarden US-Dollar. Und diese Zahl berücksichtigt nicht für Bitcoin und andere tokens, die durch Betrug und schlecht gestaltete ICOs verloren gegangen sind.
28 Tatsächlich hat Satoshi im Bitcoin Genesis Block die folgende Schlagzeile aus The Times eingebettet: The Times 03.01.2009 Kanzlerin steht kurz vor der zweiten Bankenrettung WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 35 von 44
IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Dann ist da noch das Thema Privatsphäre. Auf der Makroebene fließt der Wert über spezialisierte Kanäle die reguliert sind, reich an Metadaten sind und von Strafverfolgungsbehörden und Regierungen aktiv überwacht werden und internationale Regulierungsbehörden. Es handelt sich um ein wohlverstandenes Spiel, bei dem Lecks nur auf der Seite auftreten Die Bargeldseite des Geschäfts, die mit der Umstellung der Welt auf digitales Geld allmählich abnimmt.
29
Das Paradigma, wenn es keine Kryptowährungen gäbe, wäre eine Welt, in der zunehmend gehandelt wird Finanzielle Privatsphäre wie Social-Media-Inhalte. Es gibt keine und man kann sich nicht abmelden. Daher wir ein Dilemma haben, das zu einer scheinbaren Dichotomie führt.
Ein Kryptowährungsentwickler kann Prinzipien aufgeben und allen Anforderungen seiner Region nachgeben Die Gerichtsbarkeit legt ihren Kodex fest und gefährdet dadurch deren Privatsphäre und Integrität Benutzer. Oder er kann eine prinzipientreuere, aber anarchistischere Philosophie übernehmen, die sich von ihr distanziert aktuelle Best Practices und Gesetze.
Was Cardano betrifft, glauben wir, dass diese Erzählung eine falsche Dichotomie ist, die durch einen Mangel an Vorstellungskraft hervorgerufen wird. Die Die Realität ist, dass sich die meisten Benutzer keine Sorgen um die für Märkte geltenden Regeln machen. Das sind sie normalerweise besorgt über plötzliche Änderungen der Regeln zum Nutzen eines oder mehrerer Akteure. Sie sind besorgt über mangelnde Transparenz darüber, wer besondere Privilegien erhält.
Wir müssen zwischen individuellen und Marktrechten unterscheiden. Angesichts der Tatsache, dass Kryptowährungen eine Aufgrund der globalen Reichweite müssen die Rechte so benutzerorientiert wie möglich sein.
Der Datenschutz sollte angemessen sein und der Kontrolle des Benutzers und nicht eines Gatekeepers unterliegen. Der Wertefluss sollte uneingeschränkt sein. Der Wert sollte ohne Zustimmung nicht plötzlich verfallen.
Aus Marktsicht muss der Markt transparent sein, was die Nutzung und die Art der Datennutzung angeht Die Gelder werden intern verwaltet und jeder muss sich an die gleichen Regeln halten. Darüber hinaus Sobald der Benutzer zugestimmt hat, kann er seine Meinung nicht plötzlich ändern Unannehmlichkeiten. Auch die Gegenparteien brauchen Sicherheit.
Doch wie gelangt man genau vom Abstrakten zum tatsächlichen System? Was soll etwas praktisch und legal aussehen? Wir haben unsere Lösung in drei Kategorien unterteilt: Metadaten, Authentifizierung und Compliance sowie Marktplatz DAOs.
29 Der Leser sollte darüber nachdenken, sich ein Exemplar von David Wolmans „The End of Money“ zu besorgen. Es umfasst die internationale Bewegung zum Verschwinden von Bargeld. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 36 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Metadaten
Die Handlung einer Sache kann oft weniger interessant sein als die sie umgebenden Metadaten. Für Beispielsweise ist die Fahrt von Denver nach Boulder eine Tat. Mit einem Ferrari von Denver nach Boulder fahren 488 bei einem Durchschnitt von 120 MPH sind Metadaten. Dies lässt sicherlich auf eine andere Erfahrung schließen als in einem Toyota Prius mit durchschnittlich 30 Meilen pro Stunde.
Finanztransaktionen sind nicht anders. Der sie umgebende Kontext ist außergewöhnlich wichtig für Wirtschaftswissenschaftler, Steuerbehörden, Strafverfolgungsbehörden, Unternehmen und andere Einrichtungen. Leider In unserem aktuellen Fiat-basierten System sehen die meisten Verbraucher nie, wie reich an Metadaten ihr System ist Transaktionen sind oder mit wem sie geteilt werden. 30
Für Cardano erkennen wir an, dass Benutzer möglicherweise eine Weitergabe benötigen oder gesetzlich dazu verpflichtet sind Transaktionsmetadaten mit bestimmten Akteuren wie Steuerbehörden. Aber wir glauben, dass dieses Teilen notwendig ist erfolgen mit Zustimmung des Benutzers.
Wir glauben auch, dass blockchain-Systeme enorme Möglichkeiten haben, Betrug, Verschwendung usw. zu beseitigen Missbrauch durch Bereitstellung von Überprüfbarkeit, Zeitstempel und Unveränderlichkeit. So sollten einige Metadaten sein Gepostet am Cardano blockchain.
Der schwierige Teil besteht darin, ein richtiges Gleichgewicht zu finden, das unseren blockchain nicht zu erheblich verurteilt aufblähen. Aus diesem Grund haben wir einen pragmatischen Ansatz gewählt.
Erstens wird Daedalus in den nächsten 12 Monaten eine große Auswahl an Funktionen unterstützen, die es zu kennzeichnen gilt Transaktionen und Finanzaktivitäten. Diese Metadaten können exportiert und bei Bedarf mit anderen geteilt werden wen auch immer der Benutzer für notwendig hält. Darüber hinaus können die Daten von drei Parteien verarbeitet werden Anwendungen für domänenspezifische Zwecke (z. B. Steuerbuchhaltung).
Zweitens prüfen wir die Möglichkeit, Unterstützung für spezielle Adressen hinzuzufügen, die hashes und enthalten können verschlüsselte Felder. Diese Struktur würde es einem Benutzer ermöglichen, ohne Metadaten auf unserem blockchain zu posten es öffentlich preiszugeben. Aber wenn sie die Daten weitergeben möchte, wären sie vollständig überprüfbar. Unveränderlichkeit und Zeitstempelsicherheit, die eine Transaktion genießt.
30 Auf einer eher makroökonomischen Ebene schreibt der Autor Juan Zarate darüber, wie diese Daten vom US-Finanzministerium verwendet werden Abteilung im Krieg gegen den Terrorismus im Krieg des Finanzministeriums. Es bietet einen umfassenden Überblick darüber, wie die Die derzeitige Struktur der globalen Finanzmärkte kann für geopolitische Zwecke genutzt werden. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 37 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Wir haben bereits eine Adressstruktur bereitgestellt, die ein Attributfeld enthält. Es ist derzeit wird verwendet, um eine verschlüsselte Kopie der HD-Wallet-Baumstruktur für eine schnelle Wallet-Wiederherstellung zu speichern (siehe HD Wallet-Dokumentation). Spätere Versionen werden diese Konstruktion verallgemeinern.
Authentifizierung und Compliance
Eng verbunden mit Transaktionen sind die Themen des Rechts zum Vornehmen von Geschäften und der Eigentum an Geldern. Während beispielsweise genügend Mittel vorhanden sind, um etwas zu kaufen (z B. Alkohol), könnte es Einschränkungen beim Kauf geben (Altersvoraussetzungen).
Eigentum und Herkunft der Gelder unterliegen in der Regel den Bestimmungen der „Know Your Customer“-Bestimmungen. Wenn ein Gelddienstleistungsunternehmen wie eine Bank oder eine Börse ein Konto für einen neuen Kunden eröffnet, In der Regel ist es erforderlich, grundlegende Informationen über den Kunden und den Ort, an dem er sein Geld erworben hat, zu sammeln von.
Die technologische Herausforderung besteht darin, dass im Prozess der Einreichung dies gesetzlich vorgeschrieben ist Der Benutzer, der diese Informationen sendet, hat keine Garantie dafür, wie diese verwendet, gespeichert und ob sie jemals gespeichert werden zerstört. Compliance-Informationen sind wirtschaftlich wertvoll. Es könnte wegen Identitätsdiebstahls gestohlen werden oder weiterverkauft, sofern die Vorschriften dies zulassen.
Für Cardano wollen wir so viel wie möglich innovativ sein. Auf der Softwareseite der Protokolle ist kaum eine Garantie dafür, dass sich der Empfänger von Compliance-Informationen innerhalb einer Frist verhält Umfang des Verhaltens. Auf der Hardwareseite von Protokollen ist dies jedoch durch die Verwendung vertrauenswürdiger Hardware möglich Nutzen Sie Intel SGX und andere HSMs, um bestimmte Richtlinien durchzusetzen.
Daher prüfen wir die Verwendung von versiegelten Glasbeweisdokumenten zusammen mit einer Weitergaberichtlinie, um den Safe zu ermöglichen Übermittlung von Konformitätsinformationen an einen Prüfer, der wiederum zur Einhaltung gezwungen ist Richtlinien, unter denen es übertragen wurde. Wir glauben, dass sowohl einheitliche Standards entstehen könnten als auch Außerdem wird diese Methode das Risiko für Prüfer verringern, indem sie den Verlust von Kundendaten verhindert Hacker.
Als Konsequenz dieser Bemühungen schlagen wir das Schichtenmodell vor, das den Wert von Cardano trennt Auch die Berechnung kann von diesem Ansatz profitieren. Wenn die Berechnungsschicht reguliert ausgeführt wird Unternehmen (z. B. Börsen oder Casinos), dann müssten sie Compliance-Prüfungen durchführen und möglicherweise Steuerrichtlinien gegenüber Benutzern durchsetzen.
Mithilfe von SGPs kann der Benutzer neben persönlich identifizierbaren Informationen auch Geld senden, ohne dies zu tun Bedenken, dass es in das breitere Internet gelangt oder von den Konsensknoten der geschützt wird WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 38 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Berechnungsschicht. Darüber hinaus würde die Berechnungsschicht Gewissheit erlangen, dass alle Benutzer Transaktionen sind authentifiziert und legitim.
Dieses Paradigma ermöglicht auch die Portabilität von Kunden zwischen regulierten Unternehmen. Der Austausch könnte Übertragen Sie Guthaben und Konten für Kunden sofort über diese sicheren Kanäle und außerdem – Sofern die Richtlinien dies zulassen, geben Sie Daten an die Aufsichtsbehörden weiter.
Wir gehen davon aus, dass unser erster Betatest dieser Technologie Mitte 2018 mit einem Ziel durchgeführt wird in Richtung Cardano-Integration Ende 2018 bis Anfang 2019, abhängig von den Forschungsergebnissen. Diese Zeitleiste setzt außerdem die Fähigkeit voraus, mit ARM und Intel zusammenzuarbeiten, um den Code für die Ausführung signieren zu lassen ihre Hardware. 31 Marktplatz DAOs
In den beiden vorherigen Abschnitten wurde die Generierung und Übertragung von Informationen unter der Annahme behandelt Existenz eines externen Systems. Um die Legacy-Interoperabilität sicherzustellen, werden diese Funktionen immer verwendet notwendig sein, aber sie befassen sich nicht mit der auf blockchain basierenden Regulierung.
Intelligente Verträge ermöglichen eine völlig neue Art von Geschäftssystem, in dem Beziehungen stattfinden deterministisch, selbstverstärkend und frei von Mehrdeutigkeiten. Sie können wiederum zur Erstellung von Regeln verwendet werden Marktplätze einschließlich beliebig komplexer Strukturen wie Schiedsverfahren, ereignisgesteuerte Rückerstattungen, und Offenlegung von Tatsachen unter besonderen Bedingungen.
Wir nennen diese smart contract erzwungenen Strukturen Marktplatz DAOs. Sie erfordern nicht weder spezielle Protokollunterstützung noch Veränderbarkeit zur Einbettung in das Hauptbuch. Tatsächlich können sie es völlig sein erstellt unter Verwendung einer Sammlung voneinander abhängiger smart contracts.
Das architektonische Konzept besteht darin, eine Sammlung kommerzieller Vorlagen zu entwerfen, die davon inspiriert sind Vertragsrecht und bewährte Geschäftspraktiken. Diese Vorlagen können in die Vorlagen eines Entwicklers eingebunden werden smart contract, um bestimmte Standards auf dem Markt durchzusetzen.
Angenommen, ein Entwickler möchte einen ERC20 token auf CCL ausgeben, um einen Crowdsale durchzuführen. A Der Marktplatz DAO könnte speziell für Crowdsales und dessen Geschäftsbedingungen eingerichtet werden parametrisiert oder sogar durch freiwillige oder gesetzliche Standards durchgesetzt werden. Dinge wie Rückerstattungen, Eine Neuzuweisung von Mitteln oder ein Einfrieren von Zahlungen könnte im ERC20 des Entwicklers vererbt werden Vertrag.
31 Siehe kommerzielle Intel SGX-Lizenzrichtlinie WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 39 von 44
IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Dieser Aufwand ermöglicht es uns, eine Makrodiskussion darüber zu führen, wie ein Markt kontrolliert werden sollte um den Verbraucherschutz zu gewährleisten. Zweitens können wir diskutieren, wie Transaktionen in a modelliert werden Möglichkeit, Rechtsschutz und Rechte innerhalb bestimmter Gerichtsbarkeiten automatisch sicherzustellen, wie z New Hampshire.
In Zusammenarbeit mit der Cardano Foundation, IOHK und anderen Einrichtungen wird das Cardano-Projekt eine erstellen Referenzbibliothek von Marketplace-DAOs für smart contract-Entwickler zur Verwendung. Das ist unsere Hoffnung Versicherungs- und Regulierungsmärkte können sich rund um diese DAOs bilden und das wird auch so sein sich auf der Grundlage der Ergebnisse selbst weiterentwickeln.
Keberlanjutan
Sebuah perendaman ke dalam itu mata uang kripto daerah hasil banyak konseptual kontradiksi.
Mata uang kripto dirancang agar sulit diubah, namun seperti semua teknologi, mata uang kripto perlu diubah
perubahan untuk mengatasi kelemahan dan kemajuan desain. Blockchain dimaksudkan untuk mencegah
sentralisasi, namun memerlukan aktor yang kuat untuk memimpin perubahan atau mempertahankan kode etik.
Mungkin pengalaman yang paling membuat frustrasi muncul ketika ada banyak kekurangan yang jelas terlihat
Para pemangku kepentingan sepakat bahwa hal ini perlu diperbaiki, namun konsensus tidak dapat muncul untuk menentukan langkah ke depan.
Perdebatan ukuran blok Bitcoin kini telah menjadi isu aktif selama lebih dari dua tahun. Setiap hari,
transaksi berjumlah lebih dari satu miliar dolar tertunda karena jaringan berada pada kapasitas puncak.
Jika mengubah parameter sederhana — bahkan dengan adanya solusi sementara — tidak dapat dilakukan
terkoordinasi, lalu bagaimana perusahaan dan pemerintah bisa merasa nyaman berinvestasi miliaran dolar
dolar untuk membangun infrastruktur di atas sistem ini? Dalam hal ini, bagaimana pun bisa
pertaruhan bisnis terhadap risiko strategis dari pengintegrasian protokol bebas akuntabilitas adalah hal yang tidak bisa dilakukan
melakukan peningkatan desain yang rasional?
Melihat kembali sejarah, evolusi internet mengikuti pola serupa
perubahan sederhana seperti transisi dari IPv4 ke IPv6 membutuhkan waktu puluhan tahun untuk diwujudkan. Namun ada
kontras yang kuat antara teknologi blockchain dan internet yang sangat mereka ikuti
gaya perwalian yang berbeda.
Internet adalah proyek militer yang tumbuh dari DARPA menjadi lingkaran akademis yang kuat
dukungan pemerintah dan sekelompok penjaga awal yang jelas. Internet tumbuh di bawah
kondisi non-komersial tanpa intrik pengaruh perusahaan yang berusaha melakukannya
MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 40 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
memonopoli jaringan. Faktanya, e-commerce tersebut melanggar AUP NSF hingga dicabut
Pada saat dunia usaha mempunyai kemewahan untuk mengkomersialkan internet, sudah ada a
seperangkat standar, prinsip, dan penganut penginjilan yang kuat. Hal ini tidak menghentikan perusahaan sejenis
AOL dan Microsoft mencoba membangun taman dinding dan menciptakan teknologi eksklusif seperti
AktifX. Landasan ini tidak menghentikan aktor generasi berikutnya seperti Google untuk terus berupaya
agenda mereka sendiri mengingat basis pengguna dan kapitalisasi mereka yang sangat besar.
Dengan segerombolan pencari sewa aktor dari pedagang hingga penambang, cryptocurrency adalah yang terbaik
32 ekosistem yang bermotif komersial. Dengan adanya landasan ini, evolusi perwalian
cryptocurrency telah menghasilkan optimalisasi seputar kepentingan pribadi.
Misalnya, penambangan tanpa validasi mulai lebih sering terjadi karena meningkatkan kinerja penambang
margin keuntungan, namun hal ini sama sekali mengabaikan seluruh tujuan dan kegunaan penambangan. Pertambangan
sentralisasi telah terjadi dengan hanya segelintir aktor yang mengendalikan mayoritas negara
kekuatan Bitcoin hash.
Seperti internet, mata uang kripto memerlukan konsensus untuk berubah. Tapi bila begitu cepat
sentralisasi kekuasaan kepada segelintir broker terjadi, apa jadinya bila tidak ada perubahan
nyaman bagi mereka?
Berbeda dengan internet, bootstrapping pada sebagian besar mata uang kripto tidak dilakukan secara altruistik
sarana non-komersial atau akademis. Sejak awal, beberapa kelompok berupaya mendapatkan keuntungan dan
ada perantara kekuasaan yang ditugaskan untuk membantu memastikan keuntungan tersebut.
Pendirian sentralisasi adalah kenyataan yang harus dihadapi setiap mata uang kripto dalam evolusinya. Kami
tidak dapat sepenuhnya menghindari hal ini, namun setidaknya harus mencoba merancang desentralisasi secara bertahap.
Untuk Cardano, kami memikirkan dengan cermat faktor apa saja yang mendorong sentralisasi dan apa saja
teknik bisa diterapkan untuk mendorong protokol kami agar secara bertahap dipublikasikan
infrastruktur seperti web.
Kami sepenuhnya akui itu jumlah desentralisasi adalah keduanya tidak mungkin dan mungkin bahkan
kontraproduktif. Namun faktor-faktor tertentu dapat didorong untuk menghasilkan sistem yang lebih seimbang.
Pertama, sementara penyimpanan dana crowdsale yang terpusat memungkinkan terjadinya pembangunan yang gesit dan cepat
protokol pada masa-masa awal, pada akhirnya pendanaan harus didiversifikasi dan kecepatannya
32 Lihat link untuk informasi lebih lanjut mengenai istilah ini MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 41 dari 44IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
pembangunan perlu dihentikan ke kecepatan yang lebih sistematis dan disengaja. Setelah poin ini,
pendanaan perlu menghindari bias budaya, bahasa dan geografis.
Kedua, ketika masyarakat menjadi lebih tahu tentang sifat dasar dari hal tersebut
teknologi cryptocurrency, keputusan tentang peta jalan tidak dapat dipusatkan pada satu set
pengembang inti atau yayasan. Perlu ada metode berbasis blockchain untuk mengusulkan,
pemeriksaan, dan memberlakukan perubahan pada protokol.
Ketiga, insentif di balik mempertahankan Cardano SL blockchain harus diselaraskan secara langsung
dengan keinginan agregat semua pengguna. Kita tidak bisa mengizinkan komplotan rahasia yang terdiri dari aktor-aktor khusus untuk melakukan hal tersebut
muncullah orang-orang yang independen dari kehendak masyarakat luas.
Untuk prinsip pertama, kami memilih untuk mengintegrasikan sistem perbendaharaan ke Cardano. Untuk
kedua, kami akan menerapkan proses formal untuk mengusulkan Cardano Proposal Perbaikan melalui a
sistem yang dikoordinasikan oleh CSL itu sendiri. Untuk yang ketiga, kami yakin Ouroboros memberikan kesan elegan
solusi.
Rincian lebih lanjut dapat diberikan mengenai topik-topik di atas, namun topik-topik tersebut sangat luas dan luas
di luar cakupan makalah survei. Desain mekanisme adalah salah satu yang paling rumit dan
bidang akademis yang saling bergantung dengan teori yang tidak lengkap dan tidak ada model kanonik yang kuat
pada.
Sebaliknya, pendekatan berbasis sains yang dijelaskan di bagian dua sangat bermanfaat bagi kita di sini. Veritas IOHK
tim bekerja dalam kemitraan dengan sekelompok peneliti dari Universitas Lancaster di bawah
arahan Profesor Bingsheng Zhang untuk mengembangkan model perbendaharaan referensi Cardano. Dengan
Untuk tujuan integrasi pada tahun 2018, kami mengharapkan publikasi khusus yang ditinjau oleh rekan sejawat pada akhir tahun
Untuk deskripsi formal dan pemeriksaan perubahan pada protokol mata uang kripto, topik ini adalah
paling tidak dipahami karena memerlukan gagasan ontologis serta mekanisme untuk memberi insentif
partisipasi luas. Mungkin suatu bentuk proses demokrasi perwakilan dapat muncul atau
penggunaan umpan balik yang cair untuk memberikan pemungutan suara yang lebih rasional.
Kami berharap penelitian ke arah ini akan menghabiskan sebagian besar keterlibatan formal IOHK dalam hal ini
pengembangan Cardano . Sebagai titik awal, kami akan menyebarkannya di samping perbendaharaan referensi
33 memodelkan beberapa mekanisme untuk mendapatkan persetujuan. Diperlukan studi lebih lanjut untuk mendapatkan kepastian
solusi.
33 IOHK dipertahankan untuk membangun Cardano hingga akhir tahun 2020 MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 42 dari 44
IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Terakhir, upaya untuk meningkatkan insentif bagi Ouroboros diawasi oleh Profesor Elias
Koutsoupias dari Universitas Oxford. Setelah dasar kriptografi Ouroboros adalah
diperkuat bersamaan dengan semua pekerjaan skalabilitas yang diperlukan, studi yang lebih luas tentang obligasi, penalti, dan eksotik
insentif akan ditambahkan ke protokol referensi.
Nachhaltigkeit
Ein Eintauchen hinein die Kryptowährung Bereich Erträge viele konzeptionell Widersprüche.
Kryptowährungen sind so konzipiert, dass sie schwer zu ändern sind, aber wie alle Technologien müssen sie geändert werden
Änderung, um Designfehler und Fortschritte zu beheben. Blockchains sollen verhindern
Zentralisierung erfordern jedoch starke Akteure, die Änderungen leiten oder den Code pflegen.
Die vielleicht frustrierendste Erfahrung entsteht, wenn es offensichtliche Mängel gibt, die am häufigsten vorkommen
Die Stakeholder sind sich einig, dass sie korrigiert werden müssen, es kann jedoch kein Konsens über den weiteren Weg erzielt werden.
Die Blockgrößendebatte von Bitcoin ist nun schon seit mehr als zwei Jahren ein aktives Thema. Täglich,
Transaktionen im Gesamtwert von über einer Milliarde US-Dollar stehen aus, da das Netzwerk auf dem Höhepunkt seiner Kapazitätsauslastung ist.
Wenn die Änderung eines einfachen Parameters – selbst wenn temporäre Lösungen vorhanden sind – nicht möglich ist
koordiniert, wie können sich Unternehmen und Regierungen dann wohl fühlen, wenn sie Milliarden von Euro investieren?
Geld in den Aufbau einer Infrastruktur auf diesen Systemen stecken? Wie kann das überhaupt jemand tun?
Unternehmen setzen das strategische Risiko ein, rechenschaftsfreie Protokolle zu integrieren, die dies nicht können
rationale Design-Upgrades durchführen?
Blickt man zurück in die Geschichte, verlief die Entwicklung des Internets sogar einem ähnlichen Muster
Es dauert Jahrzehnte, bis einfache Änderungen wie der Übergang von IPv4 zu IPv6 umgesetzt werden. Dennoch gibt es eine
starker Kontrast zwischen blockchain-Technologie und dem Internet, da sie einem sehr folgen
unterschiedlicher Betreuungsstil.
Das Internet war ein militärisches Projekt, das sich aus der DARPA heraus zu starken akademischen Kreisen entwickelte
Unterstützung durch die Regierung und eine klar definierte Gruppe von Erstverwaltern. Das Internet wuchs unter
nicht-kommerzielle Bedingungen, ohne dass die Machenschaften unternehmerischer Einflussnahme dies versuchen
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 40 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
das Netzwerk monopolisieren. Tatsächlich verstieß E-Commerce bis zu seiner Aufhebung im Jahr 2010 gegen die NSF-AUP
Als Unternehmen den Luxus hatten, das Internet zu kommerzialisieren, gab es bereits ein
starke Reihe von Standards, Prinzipien und evangelistischen Anhängern. Dies hat Unternehmen nicht davon abgehalten
AOL und Microsoft versuchen, Wall Gardens zu errichten und proprietäre Technologien zu entwickeln
ActiveX. Diese Grundlage hat Akteure der nächsten Generation wie Google nicht davon abgehalten, Druck auszuüben
Angesichts ihrer enormen Benutzerbasis und Kapitalisierung haben sie ihre eigenen Pläne.
Mit Schwärmen von Mietsuchenden Für Akteure vom Händler bis zum Bergmann sind Kryptowährungen das Nonplusultra
32 kommerziell motivierte Ökosysteme. Auf dieser Grundlage entwickelte sich die Verwahrung von
Kryptowährungen haben zu einer Optimierung im Hinblick auf Eigeninteressen geführt.
Validierungsloses Mining kommt beispielsweise immer häufiger vor, da es die Fähigkeiten eines Miners verbessert
Gewinnspanne, doch dies lässt den gesamten Zweck und Nutzen des Bergbaus völlig außer Acht. Bergbau
Es hat bereits eine Zentralisierung stattgefunden, wobei nur eine Handvoll Akteure die Mehrheit kontrollieren
Bitcoins hash Macht.
Wie das Internet erfordern auch Kryptowährungen einen Konsens, um sich zu ändern. Aber wenn so schnell
Eine Zentralisierung der Macht auf eine Handvoll Makler findet statt, was bei Veränderungen nicht der Fall ist
bequem für sie?
Im Gegensatz zum Internet erfolgt das Bootstrapping der meisten Kryptowährungen nicht altruistisch
nicht-kommerzieller oder akademischer Art. Von Anfang an versucht eine Gruppe, Gewinne zu erzielen und
Es gibt Machtmakler, die dabei helfen sollen, diese Gewinne sicherzustellen.
Die Gründungszentralisierung ist eine Realität, der sich jede Kryptowährung in ihrer Entwicklung stellen muss. Wir
kann sich dem nicht völlig entziehen, sollte aber zumindest versuchen, eine schrittweise Dezentralisierung zu konzipieren.
Für Cardano haben wir sorgfältig darüber nachgedacht, welche Faktoren die Zentralisierung fördern und was
Techniken könnte angewendet werden, um die schrittweise Veröffentlichung unseres Protokolls zu fördern
Infrastruktur wie das Internet.
Wir vollständig zugeben das insgesamt Dezentralisierung ist beides unmöglich und vielleicht sogar
kontraproduktiv. Dennoch können bestimmte Faktoren gefördert werden, um ein ausgewogeneres System zu schaffen.
Erstens ermöglicht die zentrale Verwahrung von Crowdsale-Fonds eine agile und schnelle Entwicklung
des Protokolls in den frühen Tagen, schließlich muss die Finanzierung diversifiziert werden und die Geschwindigkeit der
32 Weitere Informationen zu diesem Begriff finden Sie unter dem Link WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 41 von 44IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Die Entwicklung muss sich auf ein systematischeres und bewussteres Tempo zurückziehen. Diesem Punkt folgend,
Bei der Finanzierung müssen kulturelle, sprachliche und geografische Vorurteile vermieden werden.
Zweitens, wenn die Community besser über die zugrunde liegende Natur des Problems informiert wird
Aufgrund der Technologie der Kryptowährung können Entscheidungen über die Roadmap nicht zentralisiert werden
Kernentwickler oder Stiftung. Es muss eine blockchain-basierte Methode zum Vorschlagen vorhanden sein,
Überprüfung und Umsetzung von Änderungen am Protokoll.
Drittens müssen die Anreize für die Aufrechterhaltung der Cardano SL blockchain direkt aufeinander abgestimmt sein
mit den Gesamtwünschen aller Benutzer. Das können wir einer Kabale spezialisierter Akteure nicht erlauben
Es entstehen Menschen, die unabhängig vom Willen der größeren Gemeinschaft sind.
Als erstes Prinzip haben wir uns für die Integration eines Treasury-Systems in Cardano entschieden. Für die
Zweitens werden wir einen formellen Prozess einsetzen, um Cardano Verbesserungsvorschläge durch a vorzuschlagen
System, das von CSL selbst koordiniert wird. Für den dritten glauben wir, dass Ouroboros eine elegante Lösung bietet
Lösung.
Zu den oben genannten Themen könnten detailliertere Angaben gemacht werden, sie sind jedoch für sich genommen umfangreich
über den Rahmen einer Umfragearbeit hinausgehen. Das Mechanismusdesign ist eines der kompliziertesten und kompliziertesten
voneinander abhängige akademische Bereiche mit unvollständiger Theorie und keinem soliden kanonischen Modell
auf.
Vielmehr leistet uns hier unser wissenschaftsbasierter Ansatz, der in Abschnitt zwei beschrieben wurde, gute Dienste. Veritas von IOHK
Das Team arbeitet im Rahmen der Partnerschaft mit einer Gruppe von Forschern der Lancaster University zusammen
Anweisung von Professor Bingsheng Zhang, das Referenz-Treasury-Modell von Cardano zu entwickeln. Mit
Als Ziel der Integration im Jahr 2018 erwarten wir bis Ende 2018 eine eigene, von Experten begutachtete Veröffentlichung
Zur formellen Beschreibung und Überprüfung von Änderungen an einem Kryptowährungsprotokoll finden Sie dieses Thema
Dies wird am wenigsten verstanden, da es sowohl ontologische Vorstellungen als auch einen Anreizmechanismus erfordert
breite Beteiligung. Vielleicht könnte eine Form eines repräsentativen demokratischen Prozesses entstehen oder
Verwendung von flüssigem Feedback, um eine rationalere Abstimmung zu ermöglichen.
Wir gehen davon aus, dass die Forschung in dieser Richtung den größten Teil der formellen Beteiligung des IOHK an der Forschung in Anspruch nehmen wird
Entwicklung von Cardano . Als Ausgangspunkt werden wir neben dem Referenz-Treasury bereitstellen
33 Modellieren Sie mehrere Mechanismen zur Einholung der Einwilligung. Für eine endgültige Aussage sind weitere Untersuchungen erforderlich
Lösung.
33 IOHK wird bis Ende 2020 mit dem Bau von Cardano beauftragt WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 42 von 44
IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Schließlich wird die Arbeit zur Verbesserung der Anreize für Ouroboros von Professor Elias betreut
Koutsoupias von der Universität Oxford. Nach den kryptografischen Grundlagen von Ouroboros
zusammen mit allen erforderlichen Skalierbarkeitsarbeiten eine umfassendere Untersuchung von Anleihen, Strafen und Exoten verfestigt
Anreize werden dem Referenzprotokoll hinzugefügt.
Kesimpulan
Mata uang kripto lebih dari sekadar gabungan protokol, kode sumber, dan utilitasnya. Hal ini pada akhirnya adalah a sistem sosial yang menginspirasi, memungkinkan dan menghubungkan orang. Frustrasi oleh banyak pihak tindakan, kegagalan dan ingkar janji dari protokol sebelumnya, kami bertekad untuk membangun sesuatu yang lebih baik.
Proses ini tidak sederhana dan kami tidak pernah yakin bisa menyelesaikannya. Protokol sosial terus berjalan berubah tanpa batas seiring dengan perubahan manusia dan masyarakat. Agar berguna, kami ingin menjebak kekuatan evolusi dan porting ke Cardano.
Evolusi tidak dipandu oleh satu tangan atau rancangan besar. Ini adalah proses yang terinspirasi oleh kebetulan oleh kesalahan dan masalah yang tak ada habisnya. Cardano berupaya menjadi perwujudan digital dari proses ini — cukup sehat untuk mampu bertahan di pasar saat ini dan cukup adaptif untuk berevolusi memenuhi kebutuhan kebutuhan masa depan.
Bagian sebelumnya memberikan gambaran singkat tentang bagaimana kami mencapai tujuan ini. Kami telah dengan tekun mencoba mengenali bias kognitif, belajar dari sejarah dan mengikuti dengan ketat proses. Kami telah mencoba menyeimbangkan kebutuhan akan perkembangan pesat dengan metode formal secara tradisional tidak bisa bergerak cepat.
Merupakan suatu keistimewaan yang luar biasa untuk memulai perjalanan ini. Dalam dua tahun terakhir, kami telah melakukannya telah mengembangkan protokol proof-of-stake yang terbukti aman, merekrut pasukan kecil Haskell pengembang dan menjadikan pengembangan Cardano menjadi perhatian banyak ilmuwan berbakat.
Saat kita berpindah dari laboratorium ke sistem yang diterapkan di alam liar, akan ada rasa sakit yang semakin besar, namun harapan kami adalah masa depan Cardano dapat diringkas dalam satu bentuk antropomorfis kalimat. Cardano adalah seorang pemimpi pragmatis yang belajar dari orang yang lebih tua, merupakan warga negara yang baik dalam lingkungannya komunitas, dan selalu menemukan cara untuk membayar tagihannya.
MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 43 dari 44
IOHK | MENGAPA KAMI MEMBANGUN CARDANO | 28/06/2017
Kami tidak dapat mengetahui masa depan, namun kami senang dapat berupaya menjadikan masa depan lebih baik bagi semua orang. Terima kasih telah membaca. MENGAPA KAMI MEMBANGUN CARDANO Lisensi Internasional Creative Commons Atribusi 4.0 Halaman 44 dari 44
Abschluss
Eine Kryptowährung ist mehr als die Summe ihrer Protokolle, ihres Quellcodes und ihres Nutzens. Es ist letztlich ein soziales System, das Menschen inspiriert, befähigt und verbindet. Frustriert von der vielen Hälfte Maßnahmen, Misserfolge und gebrochene Versprechen früherer Protokolle machten wir uns daran, etwas Besseres zu schaffen.
Dieser Prozess ist weder einfach, noch haben wir jemals geglaubt, dass er abgeschlossen werden kann. Die sozialen Protokolle bleiben bestehen sich auf unbestimmte Zeit verändern, wenn sich Menschen und Gesellschaft verändern. Um nützlich zu sein, wollen wir die Macht von einfangen evolution und portieren Sie es in Cardano.
Die Evolution wird nicht von einer einzelnen Hand oder einem großen Plan geleitet. Es ist ein durch Zufall inspirierter Prozess durch endlose Fehler und Probleme. Cardano möchte die digitale Verkörperung dieses Prozesses sein – fit genug, um auf den Märkten von heute bestehen zu können, und anpassungsfähig genug, um sich entsprechend weiterzuentwickeln die Bedürfnisse der Zukunft.
Die vorherigen Abschnitte geben einen kurzen Überblick darüber, wie wir dieses Ziel erreicht haben. Wir Ich habe fleißig versucht, kognitive Vorurteile zu erkennen, aus der Geschichte zu lernen und einem rigorosen Prinzip zu folgen Prozess. Wir haben versucht, die Notwendigkeit einer schnellen Entwicklung mit formalen Methoden in Einklang zu bringen kann sich traditionell nicht schnell bewegen.
Es war ein außerordentliches Privileg, diese Reise anzutreten. In den letzten zwei Jahren haben wir hat bereits ein nachweislich sicheres proof-of-stake-Protokoll entwickelt und eine kleine Armee von Haskell rekrutiert Entwickler und machte die Entwicklung von Cardano zum Anliegen vieler talentierter Wissenschaftler.
Wenn wir vom Labor zu einem in der Wildnis eingesetzten System übergehen, wird es Wachstumsschwierigkeiten geben, aber wir hoffen, dass die Zukunft von Cardano in einer einzigen anthropomorphisierten Form zusammengefasst werden kann Satz. Cardano ist ein pragmatischer Träumer, der von seinen Älteren lernt und ein guter Bürger in seinem Leben ist Gemeinschaft und findet immer einen Weg, ihre Rechnungen zu bezahlen.
WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 43 von 44
IOHK | WARUM WIR CARDANO BAUEN | 28.06.2017
Wir können die Zukunft nicht kennen, aber wir freuen uns, dass wir versuchen, sie für alle besser zu machen. Danke fürs Lesen. WARUM WIR CARDANO BAUEN Creative Commons Attribution 4.0 Internationale Lizenz Seite 44 von 44