Justification de la conception de Cardano

Oleh Charles Hoskinson and IOHK · 2017

🇺🇸 English (Asli)

🇫🇷 Français (Terjemahan)

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.

Introduction

Une vision à long terme de l’amélioration de la conception des crypto-monnaies afin qu’elles puissent fonctionner appareils mobiles avec une expérience utilisateur raisonnable et sécurisée ● Rapprocher les parties prenantes des opérations et de la maintenance de leur cryptomonnaie ● Reconnaître la nécessité de comptabiliser plusieurs actifs dans le même grand livre ● Extraire les transactions pour inclure des métadonnées facultatives afin de mieux se conformer aux besoins des systèmes existants ● Apprendre de près de 1 000 altcoins en adoptant des fonctionnalités qui ont du sens ● Adopter un processus axé sur les normes inspiré de l'Internet Engineering Task Force en utilisant une fondation dédiée pour verrouiller la conception finale du protocole
● Explorez les éléments sociaux du commerce
● Trouver un juste milieu permettant aux régulateurs d’interagir avec le commerce sans compromettre certains principes fondamentaux hérités de Bitcoin

À partir de cet ensemble d'idées non structurées, les directeurs travaillant sur Cardano ont commencé à explorer

littérature sur les crypto-monnaies et pour construire un ensemble d'outils d'abstractions. Le résultat de cette recherche est

La vaste bibliothèque d'articles de l'IOHK, de nombreux résultats d'enquête tels que ce récent script

aperçu du langage ainsi qu'une ontologie de contrats intelligents et le projet Scorex. Leçons

cédé un appréciation pour le crypto-monnaie l'industrie inhabituel et à fois

croissance contreproductive.

Premièrement, contrairement aux protocoles à succès tels que TCP/IP, la conception des protocoles comporte peu de couches.

crypto-monnaies. Il y a eu une volonté de préserver une notion unique de consensus autour

les faits et les événements enregistrés dans un seul grand livre, que cela ait ou non un sens.

Par exemple, Ethereum a rencontré une énorme complexité en tentant de devenir un

ordinateur mondial universel, mais souffre de problèmes insignifiants qui pourraient détruire le système.

capacité à fonctionner comme une réserve de valeur. Le programme de chacun devrait-il être un citoyen de première classe

quelles que soient sa valeur économique, son coût de maintenance ou ses conséquences réglementaires ?

Deuxièmement, les résultats antérieurs de la recherche cryptographique traditionnelle sont peu appréciés. Pour

Par exemple, la preuve de participation déléguée de Bitshares aurait pu générer facilement et de manière fiable des

nombres utilisant le tirage au sort avec une livraison de sortie garantie, qui est une technique connue depuis

les années 1980 (voir l’article fondateur de Rabin et Ben-Or).

Troisièmement, la plupart des altcoins (à quelques exceptions notables telles que Tezos) n’ont apporté aucune contribution.

hébergement pour les futures mises à jour. La capacité de pousser avec succès une fourche souple ou dure est essentielle

au succès à long terme de toute cryptomonnaie.

En corollaire, les utilisateurs d'entreprise ne peuvent pas consacrer des millions de dollars de ressources à

des protocoles dont la feuille de route et les acteurs qui les sous-tendent sont éphémères, mesquins ou radicalisés. Là

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 3 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

doit être un processus efficace grâce auquel un consensus social peut se former autour d’une vision pour

faire évoluer le protocole sous-jacent. Si ce processus est extrêmement lourd, la fragmentation

pourrait briser la communauté.

Enfin, argent est finalement un social phénomène. Dans le but d'anonymiser et

acteurs centraux désintermédiaires, Bitcoin et ses contemporains ont également écarté la nécessité de

identités, métadonnées et réputation stables dans les transactions commerciales. Ajouter ces données

grâce à des solutions centralisées, supprime l'auditabilité, la disponibilité mondiale et l'immuabilité -

c’est tout l’intérêt d’utiliser un blockchain.

Les systèmes financiers existants tels que ceux composés de SWIFT, FIX et ACH sont riches en

métadonnées transactionnelles. Il ne suffit pas de connaître la quantité de valeur transférée entre les comptes,

la réglementation nécessite souvent l'attribution des acteurs impliqués, des informations de conformité, des rapports

activité suspecte et autres enregistrements et actions. Dans certains cas, les métadonnées sont plus

important que la transaction.

Il semble donc raisonnable de déduire que la manipulation des métadonnées pourrait être aussi préjudiciable que

contrefaire de la monnaie ou réécrire l’historique des transactions. Ne faire aucun accommodement pour les acteurs

qui souhaitent inclure volontairement ces domaines semble contre-productif pour une adoption généralisée

et la protection des consommateurs.

Fin du séjour

L'agrégation de notre exploration raisonnée de l'espace des crypto-monnaies est constituée de deux collections de

protocoles. Respectivement, une crypto-monnaie basée sur une preuve de participation prouvée sécurisée [1][2] appelée le

Cardano Settlement Layer (CSL) et un ensemble de protocoles appelés Cardano Computation Layer

(CCL).

Notre objectif de conception est de prendre en compte les aspects sociaux des crypto-monnaies, en les construisant en couches

en séparant la comptabilisation de la valeur du calcul complexe et en répondant aux besoins de

régulateurs dans le cadre de plusieurs principes immuables. De plus, lorsque cela est raisonnable,

1 nous essayons d'examiner les protocoles proposés par le biais d'un examen par les pairs et de vérifier le code par rapport aux protocoles formels.

spécifications.

1 Voir la section Réglementation pour la liste POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 4 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Preuve de participation

L’utilisation d’une preuve de mise pour une crypto-monnaie est un choix de conception très controversé, mais parce qu’elle

ajoute un mécanisme pour introduire un vote sécurisé, a une plus grande capacité d'évolutivité et permet plus de

des programmes d'incitation exotiques, nous avons décidé de les adopter.

Notre protocole de preuve d'enjeu s'appelle Ouroboros et il a été conçu par un

équipe talentueuse de cryptographes de cinq institutions universitaires dirigée par le professeur Aggelos

2 Kiayias de l'Université d'Édimbourg. L'innovation fondamentale qu'il apporte au-delà de sa sécurité éprouvée

L'utilisation d'un modèle cryptographique rigoureux est une conception modulaire et flexible qui permet

composition de nombreux protocoles pour améliorer les fonctionnalités.

Cette modularité permet des fonctionnalités telles que la délégation, les sidechains, les points de contrôle abonnables,

de meilleures structures de données pour les clients légers, différentes formes de génération de nombres aléatoires et même

différentes hypothèses de synchronisation. À mesure qu'un réseau se développe, passant de milliers à

des millions, voire des milliards d'utilisateurs, les exigences de son algorithme de consensus seront également

changer. Il est donc essentiel de disposer de suffisamment de flexibilité pour s'adapter à ces changements et ainsi

pérenniser le cœur d’une crypto-monnaie.

Éléments sociaux de l'argent

Les crypto-monnaies sont un excellent exemple de la composante sociale de l’argent. Lors de la restriction

analyse uniquement à la technologie, il y a peu de différence entre Bitcoin et Litecoin et même

moins entre Ethereum et Ethereum Classic. Pourtant, Litecoin et Ethereum Classic

maintenir de grandes capitalisations boursières et des communautés robustes et dynamiques ainsi que leurs propres

mandats sociaux.

On peut affirmer qu’une grande partie de la valeur d’une cryptomonnaie provient de sa communauté,

la manière dont il utilise la monnaie et son niveau d’engagement dans l’évolution de la monnaie. Poursuivre

l'idée, des monnaies telles que Dash ont même intégré des systèmes directement dans le protocole pour

impliquer leur communauté dans le choix de ce qui devrait être une priorité à développer et à financer.

2 Université du Connecticut, Université d’Athènes, Université d’Édimbourg, Université d’Aarhus, Tokyo Institut de technologie POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 5 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

La grande diversité des crypto-monnaies témoigne également de leurs éléments sociaux.

Désaccords sur la philosophie, la politique monétaire ou même simplement entre les principaux développeurs

conduire à la fragmentation et aux fourches. Pourtant, contrairement à leurs homologues cryptomonnaies, les monnaies fiduciaires de

Les superpuissances ont tendance à survivre aux changements politiques et aux désaccords locaux sans crise monétaire ou

exode massif.

Il semble donc que certains éléments des systèmes existants soient absents du système.

industrie de la crypto-monnaie. Nous soutenons – et avons inculqué dans la feuille de route Cardano – que

les utilisateurs d’un protocole ont besoin d’incitations pour comprendre le contrat social derrière leur protocole et

avoir la liberté de proposer des changements de manière productive. Cette liberté s'étend à tous

aspect d'un système d'échange de valeurs, depuis la décision sur la manière dont les marchés doivent être réglementés jusqu'à quel

les projets devraient être financés. Pourtant, cela ne peut pas être négocié par des acteurs centralisés ni nécessiter

un titre spécial qui pourrait être coopté par une minorité bien financée.

Cardano mettra en œuvre un système de protocoles de superposition construits sur CSL pour s'adapter aux

besoins de ses utilisateurs.

Premièrement, quel que soit le succès d’une vente participative visant à amorcer le développement, les fonds finiront par

se dissiper. Par conséquent, Cardano inclura une confiance décentralisée financé de manière monotone

3 diminution de l’inflation et des frais de transaction.

Tout utilisateur devrait être éligible pour demander des fonds à la fiducie par un système de vote et le

les parties prenantes de CSL votent pour savoir qui devient bénéficiaire. Le processus crée un environnement productif

boucle de rétroaction observée dans d'autres crypto-monnaies dotées de systèmes de trésorerie/fiducie, tels que Dash, par

entamer une conversation sur qui devrait et ne devrait pas être financé.

Les discussions sur le financement imposent une relation entre les objectifs à long et à court terme, l’aspect social de la crypto-monnaie.

contrat, les priorités et la croyance en la création de valeur avec des propositions particulières. Cette conversation

signifie que la communauté évalue et débat constamment de ses croyances par rapport à d'éventuelles

feuilles de route.

Deuxièmement, nous espérons que Cardano inclura à terme un système formel basé sur blockchain pour

proposer et voter sur les soft et hard forks. Bitcoin avec son débat sur la taille des blocs, Ethereum avec

le fork DAO, et de nombreuses autres crypto-monnaies ont duré longtemps et, en

cas fréquents, disputes non résolues sur l'orientation technique et morale de la base de code.

On peut et devrait affirmer que bon nombre de ces désaccords et la fracture du

communauté qui résulte lorsque des mesures sont prises, sont le résultat direct d’un manque de processus formels pour

débattre du changement.
3 C'est ce qu'on appelle également un système de trésorerie POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 6 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Où peut-on convaincre les utilisateurs de Bitcoin d’adopter le témoignage séparé ? Comment le

Les principaux développeurs de Ethereum mesurent-ils le sentiment de la communauté en faveur du sauvetage de DAO ? Si le

Fractures communautaires, la crypto-monnaie est-elle endommagée de manière irréparable ?

Dans le pire des cas, l’autorité morale d’agir pourrait simplement revenir à celui qui détient les développeurs,

relations infrastructurelles et argent, pas les meilleurs vœux de la grande majorité des

communauté. De plus, si une grande partie de la communauté est inaccessible ou désengagée en raison

aux mauvaises incitations, alors comment savoir vraiment si leurs actes sont légitimes ? 4

Les crypto-monnaies proposées telles que Tezos fournissent un modèle intéressant pour examiner où un

Le protocole de cryptomonnaie est traité comme une constitution contenant trois sections (Transaction,

Consensus et réseau) avec un ensemble de règles formelles et un processus pour mettre à jour la constitution. Pourtant

il reste beaucoup de travail à faire en matière d'incitations et sur la manière exacte de modéliser et de changer

une cryptomonnaie avec un langage formel.

L'utilisation de méthodes formelles, de spécifications compréhensibles par machine et la fusion d'une trésorerie avec

ce processus d’incitations financières est exploré comme piste d’inspiration possible.

En fin de compte, juste la possibilité de proposer un changement de protocole de manière transparente et sans censure.

avec le vote basé sur blockchain devrait améliorer le processus, même si des solutions plus élégantes ne peuvent pas

être conçu.

Conception en couches – Cardano Couche de règlement

Lors de la conception de protocoles et de langages performants, il ne faut pas regarder vers l'avenir, mais plutôt vers le passé. L'histoire fournit une litanie d'exemples de grandes idées qui sont parfaites sur le papier, mais d'une manière ou d'une autre, n'ont pas survécu, comme les normes d'interconnexion des systèmes ouverts. L'histoire aussi fournit des accidents heureux qui ont duré de TCP/IP à JavaScript.

Certains principes extraits d’une vision historique sont les suivants :

1. Vous ne pouvez pas prédire l’avenir, alors prévoyez une marge de manœuvre
2. La complexité est belle sur le papier, mais la simplicité l'emporte généralement 3. Trop de cuisiniers gâchent le bouillon 4. Une fois qu’une norme est établie, elle restera probablement en vigueur, qu’elle soit ou non. sous-optimal 4 Voir l'ignorance rationnelle
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 7 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

5. Les mauvaises idées peuvent en fait se transformer en de très bonnes idées s'il y a de la volonté

Cardano est un système financier qui accepte sa nature sociale. Il y aura un énorme besoin pour la flexibilité et la capacité de gérer la complexité arbitraire de la transaction d’un utilisateur particulier. Si pour réussir, il faudra d’énormes ressources de calcul, de stockage et de réseau pour gérer des millions de transactions simultanées.

Pourtant, nous n’avons pas de Robin des Bois numérique et décentralisé à prendre aux nœuds riches et à donner aux les pauvres afin de parvenir à un réseau équitable. Nous n'avons pas non plus le luxe de faire confiance aux humains bienfaisance à sacrifier de manière altruiste pour le plus grand bien du réseau. Par conséquent, Cardano Le design emprunte à TCP/IP le concept de séparation des préoccupations.

Les blockchains sont en fin de compte des bases de données ordonnant des faits et des événements avec des garanties sur horodatages et immuabilité. Dans le contexte de l’argent, ils ordonnent la propriété des actifs. Ajout le calcul complexe en stockant et en exécutant des programmes est un concept orthogonal. Voulons-nous pour savoir quelle valeur est passée d'Alice à Bob, ou voulons-nous nous impliquer dans la détermination de toute l'histoire derrière la transaction et décider du montant à envoyer ?

Il est incroyablement tentant de choisir cette dernière comme l'a fait Ethereum car elle est plus flexible, mais cela viole les principes de conception ci-dessus. Comprendre l'histoire signifie qu'un seul protocole doit être capable de comprendre des événements arbitraires, de scripter des transactions arbitraires, de permettre l'arbitrage dans cas de fraude et même potentiellement d'annulation de transactions lorsque de nouvelles informations sont fournies disponible.

Il faut ensuite prendre des décisions de conception difficiles quant aux métadonnées à stocker pour chaque transaction. Quels éléments de l’histoire derrière la transaction entre Alice et Bob sont pertinents ? Sont sont-ils pertinents pour toujours ? Quand pouvons-nous jeter certaines données ? Cela viole-t-il la loi en certains pays ?

De plus, certains calculs sont de nature privée. Par exemple, lors du calcul de la moyenne salaire des ouvriers d'un bureau, on ne voudrait pas forcément divulguer combien chaque personne fait. Et si chaque calcul était rendu public ? Et si cette publicité biaisait l'exécution afin de nuire au résultat ?

Ainsi, nous avons choisi la position selon laquelle la comptabilité de la valeur doit être séparée de la l'histoire derrière la raison pour laquelle la valeur a été déplacée. En d’autres termes, séparation de la valeur du calcul. Cette séparation ne signifie pas que Cardano ne prendra pas en charge les smart contract. Au contraire, en rendant la séparation explicite, elle permet une plus grande flexibilité dans la conception, l'utilisation, confidentialité et exécution des smart contracts.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 8 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Le grand livre de valeurs est appelé Cardano Settlement Layer (CSL). Comme le but est de rendre compte valeur, la feuille de route a les objectifs suivants :

1. Prend en charge deux ensembles de langages de script, un pour déplacer la valeur et un autre pour améliorer prise en charge du protocole de superposition
2. Fournir la prise en charge des sidechains KMZ pour établir des liens avec d'autres registres 5 3. Prend en charge plusieurs types de signatures, y compris les signatures résistantes quantiques pour des performances supérieures. sécurité
4. Prise en charge des actifs émis par plusieurs utilisateurs 5. Atteindre une véritable évolutivité, c'est-à-dire qu'à mesure que davantage d'utilisateurs se joignent, les capacités du système augmenter

Script

En commençant par le langage de script, les transactions entre adresses dans un grand livre nécessitent quelques forme d'un script à exécuter et à prouver sa validité. Idéalement, on ne voudrait pas qu'Ève ait accès L'argent d'Alice, et on ne voudrait pas non plus qu'un script mal conçu envoie accidentellement de la valeur à un mort. adresse rendant les fonds irrécupérables.

Des systèmes tels que Bitcoin fournissent un langage de script extrêmement rigide et draconien qui Il est difficile de programmer des transactions sur mesure, ainsi que de les lire et de les comprendre. Pourtant le général la programmabilité de langages tels que Solidity introduit une complexité extraordinaire dans le système et ne sont utiles qu’à un ensemble beaucoup plus restreint d’acteurs.

Nous avons donc choisi de concevoir un nouveau langage appelé Simon en l'honneur de son créateur 6 Simon Thompson et le créateur des concepts qui l'ont inspiré, Simon Peyton Jones. Simon est un langage spécifique à un domaine basé sur Composer des contrats : une aventure en finance ingénierie.

L'idée principale est que les transactions financières sont généralement composées d'un ensemble de éléments fondateurs. Si l’on rassemble un tableau périodique des éléments financiers, alors on peut 7 fournir un support pour un ensemble arbitrairement large de transactions composées qui couvriront la plupart, sinon tous, types de transactions courants sans nécessiter de programmabilité générale.

5 Bientôt disponible dans un article de Kiayias, Zindros et Miller 6 Les détails seront publiés dans une prochaine spécification. La langue complète sera prise en charge dans le Sortie de Shelley CSL prévue pour le quatrième trimestre 2017 7 Le projet ACTUS a une élaboration approfondie
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 9 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Le principal avantage est que la sécurité et l’exécution peuvent être extrêmement bien comprises. Preuves peut être écrit pour montrer l'exactitude des modèles et épuiser l'espace d'exécution de des événements de transaction problématiques, tels que la création de nouvelle monnaie à partir de rien ou une transaction malléabilité. Deuxièmement, on peut laisser des extensions pour ajouter plus d'éléments via des soft forks si une nouvelle fonctionnalité est requise.

Cela dit, il sera toujours nécessaire de connecter CSL aux protocoles superposés, aux systèmes financiers existants. systèmes et serveurs spéciaux. Ainsi, nous avons développé Plutus à la fois comme un langage smart contract à usage spécifique ainsi qu'un DSL à usage spécial pour l'interopérabilité.

Plutus est un langage fonctionnel typé basé sur les concepts de Haskell, qui peut être utilisé pour écrire des scripts de transactions personnalisés. Pour CSL, il sera utilisé pour les transactions complexes nécessaires à ajoutez la prise en charge d'autres couches que nous devons connecter, telles que notre schéma de sidechains.

Chaînes latérales

En ce qui concerne les sidechains, Cardano prendra en charge un nouveau protocole développé par Kiayias, Miller et Zindros (sidechains KMZ) basé sur les résultats antérieurs des preuves de travail. Le particulier la conception dépasse le cadre de cet article ; cependant, le concept permet une sécurité et mouvement non interactif de fonds de CSL vers n’importe quelle couche de calcul Cardano ou autre blockchain prenant en charge le protocole.

Les sidechains KMZ sont la clé pour encapsuler la complexité. Des grands livres aux exigences réglementaires, les opérations privées, les langages de script robustes et autres préoccupations particulières sont effectivement noires boîtes à CSL, mais l'utilisateur de CSL bénéficiera de certaines garanties en matière de comptabilité et de capacité à rappeler les fonds une fois le calcul terminé.

Signature

Afin de transférer en toute sécurité de la valeur d'Alice à Bob, Alice doit prouver qu'elle a le droit de déplacer les fonds. La manière la plus directe et la plus fiable d'accomplir cette tâche est d'utiliser un système de signature de clé dans lequel les fonds sont connectés à une clé publique et Alice contrôle une clé privée associée.

Il existe des centaines de schémas possibles avec différents paramètres et hypothèses de sécurité. Certains s'appuient sur des problèmes mathématiques liés aux courbes elliptiques, tandis que d'autres sont connecté à des concepts exotiques à l’aide de treillis.
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 10 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Le but abstrait est toujours le même. Il existe un problème difficile qui ne peut être résolu que si quelqu'un a une connaissance secrète. On dit que le détenteur de ce savoir est le propriétaire de la paire de clés et doit être la seule entité habilitée à l'utiliser.

Il existe deux groupes de préoccupations auxquelles une crypto-monnaie est confrontée lors du choix d’un schéma de signature. Premièrement, il y a la durabilité à long terme du système lui-même en matière de sécurité. Certains cryptographiques les programmes utilisés dans les années 1970 et 1980, comme le DES, ont été brisés. La période sur laquelle il faut décider si le projet devrait survivre.

Deuxièmement, de nombreuses entreprises, gouvernements et autres institutions ont préféré, ou dans certains cas, imposait le recours à un système particulier. Par exemple, la NSA maintient le Ensemble de protocoles Suite B. Il existe des normes des groupes de travail ISO et même du W3C sur la cryptographie.

Si une cryptomonnaie choisit un schéma de signature unique, elle est obligée d’accepter que ce schéma pourrait être brisé à un moment donné dans le futur et au moins une entité ne peut pas utiliser le crypto-monnaie en raison de restrictions légales ou industrielles. Pourtant, une crypto-monnaie ne peut pas prendre en charge tout système de signature, car cela exigerait que chaque client comprenne et valide chaque système.

Pour Cardano, nous avons décidé de commencer par utiliser la cryptographie à courbe elliptique, la courbe Ed25519 dans particulier. Nous avons également décidé d'améliorer les bibliothèques existantes en ajoutant la prise en charge des portefeuilles HD. en utilisant les spécifications du Dr Dmitry Khovratovich et Jason Law.
8

Cela dit, Cardano prendra en charge davantage de systèmes de signature à l'avenir. En particulier, nous sommes intéressé à intégrer BLISS-B pour ajouter des signatures résistantes aux ordinateurs quantiques à notre système. Nous souhaitons également ajouter SECP256k1 pour améliorer l'interopérabilité avec les systèmes existants. crypto-monnaies telles que Bitcoin.

Cardano a été conçu avec des extensions spéciales qui nous permettront d'ajouter plus de signature schémas via un soft fork. Ils seront ajoutés au fur et à mesure des besoins et lors des mises à jour majeures prévues dans la feuille de route.
9

Actifs émis par l'utilisateur (UIA)

Au début de l'histoire de Bitcoin, des protocoles ont été rapidement développés pour permettre aux utilisateurs d'émettre des actifs qui s'est appuyé sur le système comptable de Bitcoin afin de suivre plusieurs devises simultanément. 8 Il s'agit de la documentation relative à la mise en œuvre du portefeuille HD de Cardano. Nous pensons que Cardano est le premier crypto-monnaie pour prendre en charge les portefeuilles Ed25519 HD
9 Voir cardanoroadmap.com
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 11 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Ces protocoles n'étaient pas supportés nativement par le protocole Bitcoin, mais implémentés via des astuces astucieuses.

Dans le cas des superpositions Bitcoin telles que Coloured Coins et Mastercoin (maintenant appelé Omni), la lumière les clients sont obligés de s'appuyer sur des serveurs de confiance. De plus, les frais de transaction doivent toujours être payés des bitcoins. Ces propriétés, combinées au pipeline unique d'approbation des transactions, font Bitcoin sous-optimal pour la comptabilité multi-actifs.

Dans le cas Ethereum utilisant la norme ERC20, il y a plus de richesse en fonctionnalités. Cependant, les frais de transaction nécessitent toujours de l'éther. De plus, le réseau Ethereum rencontre des difficultés s'adapter aux besoins de tous les ERC20 token émis.

Le problème fondamental peut être divisé en trois parties : les ressources, les incitations et les préoccupations. En ce qui concerne les ressources, ajouter une devise entièrement nouvelle au même grand livre signifie que l'on a deux ensembles indépendants UTXO (entrées de transaction non dépensées) partageant la bande passante, le pool de mémoire et bloquer l'espace. Nœuds de consensus responsables de l'intégration des transactions de ces devises besoin d’une incitation pour le faire. Et tous les utilisateurs de crypto-monnaie ne s’en soucieront pas ou ne devraient pas s’en soucier. la devise d’une entité particulière.

Compte tenu de ces problèmes, les avantages sont énormes en tant que principal token d'un grand livre multi-actifs peut effectivement servir de monnaie relais permettant une tenue de marché décentralisée. Spécial des actifs à cet effet pourraient être émis pour fournir une utilité supplémentaire, telle que des actifs à valeur stable comme Tether ou MakerDAO qui sont utiles pour les applications de prêt et de transfert de fonds.

Compte tenu des défis, Cardano a adopté une approche pragmatique de la comptabilité multi-actifs. En construisant par étapes, le premier défi consiste à concevoir l'infrastructure nécessaire pour soutenir le demandes de milliers d’UIA. À savoir, les avancées suivantes sont nécessaires :

1. Structures de données authentifiées à usage spécial pour permettre le suivi d'un très grand nombre UTXO état

2. La possibilité d'avoir un pool de mémoire distribué pour contenir un vaste ensemble de transactions en attente
3. Partitionnement de la blockchain et points de contrôle pour permettre un énorme blockchain global 4. Un système d'incitation qui récompense les nœuds de consensus pour avoir inclus différents ensembles de opérations 5. Un mécanisme d'abonnement qui permet aux utilisateurs de décider quelles devises ils souhaitent suivre
6. Une sécurité renforcée garantit que les UIA bénéficient d'une sécurité similaire à celle de l'actif natif. 7. Soutien à la tenue de marché décentralisée pour améliorer la liquidité entre l'UIA et le primaire token

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 12 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Nos efforts préliminaires pour trouver la bonne structure de données authentifiées ont abouti à une nouvelle type d’arbre AVL+ développé conjointement par Leo Reyzin, IOHK et Waves. Des recherches supplémentaires sont nécessaires, mais il s'agit d'une avancée fondamentale qui sera incluse dans une version ultérieure de Cardano.

Un pool de mémoire distribué pourrait être implémenté à l’aide du protocole RAMCloud de l’Université de Stanford. Les expériences débuteront au troisième trimestre 2017 pour étudier son intégration dans la couche consensus de Cardano.

Les sujets restants sont interconnectés et couverts par des recherches en cours. Nous nous attendons — sous réserve aux résultats de la recherche — pour inclure un protocole dans Cardano pour les UIA lors du Basho du CSL sortie en 2018.

Évolutivité

Les systèmes distribués sont composés d'un ensemble d'ordinateurs (nœuds) acceptant d'exécuter un protocole ou

suite de protocoles pour atteindre un objectif commun. Cet objectif pourrait être de partager un fichier tel que défini par

le protocole BitTorrent ou plier une protéine à l'aide de Folding@Home.

Les protocoles les plus efficaces gagnent des ressources à mesure que les nœuds rejoignent le réseau. Un fichier hébergé par

BitTorrent, par exemple, peut être téléchargé beaucoup plus rapidement en moyenne si de nombreux pairs sont connectés.

en le téléchargeant simultanément. La vitesse augmente car les pairs fournissent des ressources tout en

les consommer également. Cette caractéristique est ce que l'on entend généralement lorsqu'on énonce une distribution distribuée.

échelles du système.

Le défi avec la conception de toutes les crypto-monnaies actuelles est qu’elles ne le sont pas réellement.

conçu pour être évolutif. Les blockchains, par exemple, sont généralement une liste chaînée de

blocs. La sécurité et la disponibilité d'un protocole blockchain reposent sur de nombreux nœuds

possédant une copie complète des données blockchain. Ainsi, un seul octet de données doit être répliqué

parmi N nœuds. Les nœuds supplémentaires ne fournissent pas de ressources supplémentaires.

Ce résultat est le même pour le traitement des transactions et les commérages de messages tout au long du processus.

le système. L'ajout de nœuds supplémentaires au système de consensus ne fournit pas d'informations supplémentaires.

puissance de traitement des transactions. Cela signifie simplement que davantage de ressources doivent être dépensées pour faire de même

travail. Plus de relais réseau, ce qui signifie que davantage de nœuds doivent transmettre les mêmes messages pour conserver le

tout le réseau en synchronisation avec le bloc le plus récent.

Compte tenu de cette topologie, les crypto-monnaies ne peuvent pas s'adapter à un réseau mondial comparable à celui des crypto-monnaies existantes.

systèmes financiers. En revanche, l’infrastructure existante est évolutive et présente des ordres de grandeur pour

plus de puissance de traitement et de stockage. En ajoutant un point spécifique, Bitcoin est un très petit réseau

par rapport à ses pairs en matière de paiement, mais a du mal à gérer sa charge actuelle.
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 13 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Nos objectifs d'évolutivité pour Cardano sont grandement aidés par notre algorithme de consensus. Ouroboros

permet une manière décentralisée d'élire un quorum de nœuds de consensus, qui à leur tour peuvent gérer plus de

protocoles traditionnels développés au cours des 20 dernières années pour répondre aux besoins des grands

des fournisseurs d'infrastructures tels que Google et Facebook.
10

Par exemple, l’élection d’un quorum pour une époque signifie que nous disposons d’un ensemble de nœuds de confiance pour

conserver le grand livre pendant une période de temps déterminée. Il est trivial d’élire plusieurs quorums simultanément

et diviser les transactions en différents quorums.

Des techniques similaires pourraient être appliquées pour la propagation du réseau et également pour le partage du blockchain

lui-même en partitions uniques. Dans notre feuille de route actuelle, les méthodes de mise à l'échelle seront appliquées à

Ouroboros à partir de 2018 et continue d’être une priorité en 2019 et 2020.

Cardano Couche de calcul

Comme mentionné précédemment, une transaction comporte deux éléments : le mécanisme d'envoi et enregistrez le flux des token et les raisons ainsi que les conditions du déplacement des token. Le ce dernier peut être arbitrairement complexe et impliquer des téraoctets de données, des signatures multiples et des informations spéciales. événements survenus. Ce dernier peut également être remarquablement simple avec une seule valeur de poussée de signature à une autre adresse.

Le défi que pose la modélisation des raisons et des conditions du flux de valeur est qu’elles sont immensément personnel aux entités impliquées de la manière la plus imprévisible. Leçons de le droit des contrats dresse un tableau encore plus problématique dans lequel les acteurs eux-mêmes pourraient ne pas sachez même que la transaction ne correspond pas à la réalité commerciale. On appelle généralement cela phénomène « le fossé sémantique ». 11

Pourquoi devrait-on créer une crypto-monnaie en poursuivant une couche infinie de complexité et d’abstraction ? Cela semble de nature sisyphéenne et naïf dans la pratique. De plus, chaque abstraction embrassait a des conséquences à la fois juridiques et sécuritaires.

Par exemple, il existe de nombreuses activités en ligne qui sont universellement considérées comme illégales ou méprisées. comme le trafic de pédopornographie ou la vente de secrets d'État. En déployant des solutions robustes 10 Il existe également d’autres protocoles de recherche indépendants tentant d’atteindre le même objectif, tels que Elastico et Bitcoin-NG
11 Loi Luu et al. discutent de cette lacune dans leur récent article intitulé Rendre les contrats intelligents plus intelligents POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 14 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

infrastructure décentralisée, on fournit désormais un canal pour que cette activité se produise avec le la même résistance à la censure dont bénéficient les transactions commerciales normales. Il n'est pas clair sur le plan juridique si les nœuds de consensus du réseau – qui ont intérêt à devenir davantage fédérés il est temps de promouvoir l’efficacité – seraient tenus responsables du contenu qu’ils hébergent.

Poursuites contre les opérateurs de Tor, traitement brutal de l’opérateur de Silk Road et absence de la clarté juridique derrière les protections juridiques des participants au protocole laisse un chemin incertain. Il y a il ne manque pas d'imagination quant à ce qu'une crypto-monnaie suffisamment avancée pourrait permettre d'autre (voir l'Anneau de Gygès). Est-il raisonnable de forcer tous les utilisateurs d’une crypto-monnaie à l’approuver ou du moins permettre les pires actes et comportements du web ?

Malheureusement, il n’existe pas de réponses claires qui puissent donner un aperçu à un concepteur de crypto-monnaie. C'est il s'agit davantage de choisir un poste et de défendre son mérite. L'avantage que Cardano et Bitcoin est que nous avons choisi de séparer les préoccupations en plusieurs couches. Avec Bitcoin, il y a Porte-greffe. Avec Cardano, il existe la couche de calcul Cardano.

Les types de comportements complexes qui permettraient les actes élaborés précédemment ne peuvent pas s’appliquer CSL. Ils nécessitent la capacité d'exécuter des programmes écrits dans un langage complet de Turing et certains forme d'économie du gaz au calcul des compteurs. Ils nécessitent également des nœuds de consensus disposés à inclure les transactions dans leurs blocs.

Ainsi, une restriction de fonctionnalité pourrait raisonnablement protéger les utilisateurs. Jusqu'à présent, les plus établis les gouvernements n’ont pas adopté la position selon laquelle l’utilisation ou la maintenance d’une crypto-monnaie est une acte illégal. Par conséquent, la grande majorité des utilisateurs devraient être à l’aise avec la tenue d’un grand livre comparable en capacité à un système de paiement numérique.

Lorsqu’on souhaite étendre les capacités, il existe deux possibilités. Il est activé par un privé collectif d'individus partageant les mêmes idées et de nature éphémère (par exemple, une partie de poker). Ou bien, ce est activé par un registre de capacités comparables à Ethereum. Dans les deux cas, nous avons choisi externaliser les événements vers un autre protocole.

Dans le cas d’un événement privé et éphémère, il est raisonnable d’éviter le paradigme blockchain entièrement, mais plutôt restreindre les efforts vers une bibliothèque de protocoles MPC à usage spécial qui peuvent être invoqué lorsque cela est souhaité par un groupe de participants partageant les mêmes idées. Les calculs et les activités sont coordonnés dans un réseau privé et font référence à CSL uniquement en tant que babillard de confiance et canal de transmission de messages si nécessaire.

L’idée clé dans ce cas est qu’il y a consentement, encapsulation de la responsabilité et respect de la vie privée. CSL est être utilisé comme un espace commun numérique permettant aux utilisateurs de se rencontrer et de communiquer – comme un parc hébergerait un événement privé – mais ne fournit aucun hébergement ou animation spécial. De plus, POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 15 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

l'utilisation d'un MPC spécial permettra une interaction à faible latence sans avoir besoin de blockchain ballonnements. Ainsi, cela améliore l’échelle du système.

Les efforts de recherche de Cardano concernant cette bibliothèque sont centralisés dans notre laboratoire Tokyo Tech avec une certaine aide de scientifiques étrangers. Nous appelons la bibliothèque « Tartaglia » en hommage à un camarade mathématicien ainsi que contemporain de Cardano et nous nous attendons à ce que la première itération soit disponible au premier trimestre 2018.

Dans le deuxième cas, il faut un blockchain avec une machine virtuelle, un ensemble de nœuds de consensus et un mécanisme pour permettre la communication entre les deux chaînes. Nous avons commencé le processus de formalisation rigoureuse de la machine virtuelle Ethereum à l'aide du framework K dans 12 partenariat avec une équipe de l’Université de l’Illinois.

Le résultat de cette analyse éclairera la manière la plus optimale de concevoir un modèle répliqué et éventuellement machine virtuelle distribuée avec une sémantique opérationnelle claire et de fortes garanties de bon fonctionnement 13 mise en œuvre à partir de la spécification. En d’autres termes, la VM fait réellement ce que le code lui dit. cela a à voir avec les risques de sécurité minimisés.

Il reste encore des questions non résolues sur l’économie du gaz proposée par Ethereum et sur la manière dont elle se rapporte à des travaux tels que le ML conscient des ressources de Jan Hoffmann et al et à l’étude plus large de estimation des ressources pour le calcul. Nous sommes également curieux du niveau de langue indépendance de la machine virtuelle. Par exemple, le projet Ethereum a exprimé le désir pour la transition de leur VM actuelle vers Web Assembly.

Le prochain effort consiste à développer un langage de programmation raisonnable pour exprimer contrats qui seront appelés comme services par les applications décentralisées. Pour cette tâche, nous avons choisi à la fois l'approche consistant à prendre en charge l'héritage smart contract langage Solidity pour les faibles applications d'assurance et développement d'un nouveau langage appelé Plutus pour une assurance supérieure les demandes nécessitant une vérification formelle.

Comme le projet Zeppelin basé sur la solidité, IOHK développera également une bibliothèque de référence de code Plutus que les développeurs d'applications peuvent utiliser dans leurs projets. Nous développerons également un ensemble d'outils spécialisés pour une vérification formelle inspirée des travaux du projet Liquid Haskell de l’UCSD.

En termes de consensus, Ouroboros a été conçu de manière suffisamment modulaire pour prendre en charge Évaluation smart contract. Par conséquent, CSL et CCL partageront le même algorithme de consensus. 12 Inventé par le professeur Grigore Rosu et. al., K est un cadre universel pour les langages indépendants sémantique exécutable par machine. Avant nos travaux, il a été utilisé pour modéliser C, Java et JavaScript 13 Cela signifie que différents nœuds de consensus exécutent différents smart contracts. Également connu sous le nom de partitionnement d’État POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 16 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

La différence est qu'Ouroboros peut être confirmé pour autoriser à la fois les utilisateurs autorisés et les utilisateurs autorisés. registres sans autorisation via la distribution token.

Avec CSL, Ada a été distribuée par un événement générateur de token aux acheteurs dans toute l'Asie qui finira par revendre sur un marché secondaire. Cela signifie que l’algorithme de consensus de CSL est contrôlé par un ensemble d’acteurs diversifiés et de plus en plus décentralisés ou par leurs délégués attribue. Avec CCL, il est possible de créer un but spécial token détenu par les délégués de ce grand livre qui pourraient être des entités réglementées, créant ainsi un grand livre autorisé.

La flexibilité de cette approche permet à différentes instances de CCL de se matérialiser avec différents règles relatives à l'évaluation des transactions. Par exemple, les activités de jeu pourraient être restreintes à moins que les données KYC/AML ne soient présentes simplement en mettant sur liste noire les transactions non attribuées.

Notre conception finale se concentre sur l'ajout de modules de sécurité matériels (HSM) fiables à notre protocole. pile. Ce sont là deux énormes avantages lorsqu’on introduit ces capacités dans le protocole. Premièrement, les HSM améliorent considérablement les performances sans introduire de sécurité. 14 préoccupations au-delà de la confiance dans le vendeur. Deuxièmement, grâce à l'utilisation d'épreuves en verre scellé (SGP), Les HSM peuvent garantir que les données peuvent être vérifiées puis détruites sans être copié ou divulgué à des tiers malveillants.

En ce qui concerne le deuxième point, les PSC pourraient avoir un impact révolutionnaire en matière de conformité. Habituellement, lorsqu'un consommateur fournit des informations personnelles identifiables (PII) pour authentifier identité ou prouver le droit de participer, ces informations sont transmises à un tiers de confiance avec en espérant qu'il n'agira pas de manière malveillante. Cette activité est intrinsèquement centralisée, le fournisseur de données perd le contrôle de ses informations personnelles et est également soumis à diverses réglementations basées sur la juridiction.

La possibilité de sélectionner un ensemble d'attestations de confiance, puis de stocker les informations personnelles dans une enclave matérielle signifie que tout acteur disposant d'un HSM suffisamment compétent sera en mesure de vérifier les faits sur un acteur de manière infalsifiable sans que le vérificateur connaisse l'identité de l'acteur. Par exemple, Bob est pas un citoyen américain. Alice est une investisseur qualifié. James est un contribuable américain et il faut envoyer bénéfices imposables sur le compte X.

La stratégie HSM de Cardano consistera à tenter de mettre en œuvre des protocoles spécialisés au cours des deux prochaines années. années d'utilisation d'Intel SGX et d'ARM Trustzone. Les deux modules sont intégrés à des milliards de consommateurs appareils, des ordinateurs portables aux téléphones portables, et ne nécessitent aucun effort supplémentaire de la part du consommateur pour utiliser. Les deux sont également soigneusement vérifiés, bien conçus et basés sur des années d'itération de certains des les équipes de sécurité matérielle les plus importantes et les mieux financées.

14 Voir http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ de Cornell Université POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 17 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Règlement

La dure réalité de tous les systèmes financiers modernes est qu’à mesure qu’ils évoluent, ils accumulent un besoin, ou du moins une volonté de régulation. Ce résultat est généralement le résultat d’effondrements récurrents en raison de la négligence d'un acteur ou d'une cabale d'acteurs sur un marché.

Par exemple, la crise Knickerbocker de 1907 a abouti à la création de la Réserve fédérale. Système en 1913 comme prêteur en dernier ressort. Un autre exemple est celui des excès des années 1920 dans le aux États-Unis qui a entraîné un terrible effondrement financier, la Grande Dépression. Cet effondrement a donné lieu à la création de la Securities Exchange Commission en 1934 afin d'empêcher un phénomène similaire. événement ou au moins demander des comptes aux mauvais acteurs.

On peut raisonnablement débattre de la nécessité, de la portée et de l’efficacité d’une réglementation, mais on ne peut nier son existence et le zèle avec lequel les principaux gouvernements l’ont appliqué. Cependant, le Le défi auquel tous les régulateurs sont confrontés à mesure que le monde se mondialise et que les espèces deviennent numériques est à deux volets.

Premièrement, quel ensemble de réglementations devrait être suprême lorsqu’il s’agit d’un ensemble de juridictions ? La notion désuète de souveraineté westphalienne fond lorsqu’une seule transaction peut toucher trois douzaines de pays en moins d’une minute. Devrait-il simplement s'agir de celui qui détient le pouvoir la plus grande influence géopolitique ?

Deuxièmement, les améliorations apportées aux technologies de protection de la vie privée ont créé une course aux armements numériques. il devient de plus en plus difficile de comprendre qui a participé à une transaction, et encore moins à qui appartient une réserve de valeur particulière. Dans un monde où des millions de dollars d'actifs peut être contrôlé avec rien de plus qu'un mnémonique secret de 12 mots, comment pouvez-vous 15 appliquer une réglementation efficace ?

Comme tous les systèmes financiers, le protocole Cardano doit avoir une opinion dans sa conception sur ce qui est juste et raisonnable. Nous avons choisi de diviser entre les droits individuels et les droits d'un marché.

Les individus devraient toujours avoir un accès exclusif à leurs fonds, sans contrainte ni patrimoine civil. confiscation. Ce droit doit être appliqué car on ne peut pas faire confiance à tous les gouvernements pour ne pas abuser de leur pouvoir souverain pour le gain personnel de politiciens corrompus, comme on le voit au Venezuela et le Zimbabwe. Les crypto-monnaies doivent être conçues selon le plus petit dénominateur commun.

15 Voir BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 18 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Deuxièmement, l’histoire ne devrait jamais être altérée. Les blockchains offrent une promesse d’immuabilité. L’introduction du pouvoir de faire reculer l’histoire ou de modifier les documents officiels introduit trop de choses tentation de changer le passé afin de bénéficier à un ou plusieurs acteurs en particulier.

Troisièmement, le flux de valeur ne doit pas être restreint. Contrôles des capitaux et autres murs artificiels diminuer les droits de l’homme. En dehors de la futilité de tenter de les faire respecter , dans un contexte mondial 16 économie avec de nombreux citoyens des pays les moins développés voyageant en dehors de leur juridiction Pour trouver un salaire décent, restreindre les flux de capitaux finit généralement par nuire aux plus pauvres du monde.

Ces principes énoncés, les marchés sont nettement différents des individus. Alors que les concepteurs de Cardano croit aux droits individuels, nous pensons également que les marchés ont le droit de déclarer ouvertement leurs termes et conditions, et si un individu accepte de faire des affaires sur ce marché, alors ils doivent être tenus de respecter ces normes dans l’intérêt de l’intégrité de l’ensemble du système.

Le défi a toujours été le coût et l’aspect pratique de l’application des lois. Petit, multijuridictionnel les transactions sont tout simplement trop coûteuses dans les systèmes existants pour fournir une garantie élevée de recours en cas de fraude ou de litige commercial. Lorsqu'on envoie son virement bancaire au Prince nigérian, il est généralement trop coûteux d’essayer de récupérer ses fonds.
17

Pour Cardano, nous pensons pouvoir innover à trois niveaux. Premièrement, grâce à l'utilisation de smart contracts les termes et conditions des relations commerciales peuvent être mieux contrôlés. Si tous les actifs sont numérique et peut être exprimé uniquement sur CSL, de solides garanties de commerce sans fraude peuvent être gagné.

Deuxièmement, l'utilisation de HSM pour fournir un espace d'identité dans lequel les informations personnelles ne sont pas divulguées mais sont néanmoins utilisées pour les acteurs d’authentification et d’accréditation devraient fournir un système de réputation mondial et permettre activités réglementées à moindre coût, telles que les jeux en ligne avec systèmes automatisés conformité fiscale ou échanges décentralisés.

Enfin, dans la feuille de route de Cardano figure la création d’une réglementation modulaire DAO qui peut être personnalisé pour interagir avec les smart contract écrits par l'utilisateur afin d'ajouter de la mutabilité, du consommateur protection et arbitrage. La portée de ce projet sera décrite dans un article ultérieur.

16 Comme exemple de contre-mesure aux flux de capitaux, voir le Hawala Banking System 17 Voir Arnaque aux frais d'avance POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 19 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Quel est le but de tout cela ?

Cardano a été un projet marathon impliquant les commentaires de centaines d'esprits les plus brillants

à l’intérieur et à l’extérieur de l’industrie des crypto-monnaies. Cela implique une itération inlassable, l'utilisation active de

l'examen par les pairs et le vol éhonté de bonnes idées lorsqu'elles sont découvertes.

Les sections restantes couvrent chacune un aspect particulier que nous avons décidé de considérer comme un élément central.

composante de notre projet. Certains ont été sélectionnés en raison du désir d'améliorer le meilleur d'ensemble.

pratiques de l’espace alors que d’autres sont spécifiques à l’évolution de Cardano.

Bien qu'aucun projet ne puisse couvrir tous les objectifs ou satisfaire tous les utilisateurs, notre espoir est de fournir une vision pour

à quoi devrait ressembler une pile financière auto-évolutive pour les juridictions qui en sont dépourvues. L'ultime

La réalité des crypto-monnaies n’est pas qu’elles perturberont les systèmes financiers existants.

Les systèmes financiers traditionnels sont toujours capables d’absorber le changement et de conserver leur forme

et fonction.

Il faudrait plutôt se tourner vers les endroits où il est tout simplement trop coûteux de déployer les systèmes existants.

système bancaire, où beaucoup vivent avec moins de quelques dollars par jour, n'ont pas d'identité stable et

le crédit est impossible à trouver.

Dans ces lieux, le pouvoir de regrouper système de paiement, droits de propriété, identité, crédit et risque

la protection dans une seule application exécutée sur un téléphone portable n’est pas seulement utile, elle change la vie.

La raison pour laquelle nous construisons Cardano est que nous pensons que nous avons une chance légitime de livrer - ou

au moins faire progresser cette vision du monde en développement.

Même en cas d’échec, si nous pouvons changer la façon dont les cryptomonnaies sont conçues, évoluées et financées,

alors il y a une grande réussite.

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.

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.

Sciences et ingénierie

L'art de l'itération

Les crypto-monnaies sont des protocoles implémentés sous forme de logiciels. Les protocoles sont tout simplement intelligents conversations entre participants. Le logiciel est en fin de compte la manipulation de données compte tenu de certaines POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 20 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

objectif. Pourtant, la différence entre un logiciel solide et fiable et des protocoles et protocoles utiles et sécurisés leur conversation est complètement humaine.

Un bon logiciel nécessite des responsabilités, des exigences commerciales claires, des processus reproductibles, des tests approfondis et des itérations infatigables. Un bon logiciel a également besoin de personnes raisonnablement talentueuses développeurs ayant suffisamment de connaissances spécifiques au domaine pour concevoir correctement un système capable de pleinement résoudre le problème qu’ils tentent de résoudre.

Quant aux protocoles utiles et sécurisés, notamment ceux impliquant la cryptographie et les protocoles distribués systèmes, ils commencent par un processus plus académique et axé sur les normes. Examen par les pairs, sans fin des débats et une conception ferme des compromis sont nécessaires pour garantir l’utilité d’un protocole. Pourtant ces ne suffisent pas à eux seuls, les protocoles doivent être mis en œuvre et testés en situation réelle.

Le défi unique dans le secteur des cryptomonnaies réside dans le fait que deux cryptomonnaies complètement différentes les philosophies sont mutilées sans une synthèse hégélienne appropriée. Notre thèse est un « mouvement vite et casse les choses »mentalité de startup motivée par la jeunesse, la cupidité et la passion. L'antithèse est une approche lente, méthodique et orientée académiquement motivée par le désir de solidifier le innovations de notre espace dans une niche agréable bénéficiant d'un financement et d'un prestige suffisants.

Le résultat est que de nombreuses crypto-monnaies sont entièrement spécifiées sur un livre blanc uniquement. pertinent pour un CV ou simplement par un code écrit à la hâte. Aucune des dix principales crypto-monnaies actuelles par 18 la capitalisation boursière est basée sur un protocole évalué par les pairs. Aucun des dix meilleurs actuels les crypto-monnaies ont été implémentées à partir d'une spécification formelle.

Pourtant, des milliards de dollars sont en jeu. Une fois déployée, une cryptomonnaie est extrêmement

difficile à changer. Comment un utilisateur sait-il qu’il utilise un système sécurisé ? Comment un utilisateur

savez-vous que les allégations marketing sont légitimes ? Et si le protocole proposé ne parvenait jamais à atteindre

les revendications ?

Ce manque de synthèse et de respect du processus est l'une des principales raisons pour lesquelles IOHK a voulu

construire Cardano. Notre espoir était de développer un projet de référence qui servirait d'exemple de

comment faire les choses de manière plus efficace, saine et honnête.

Le but n'est pas de proposer une manière totalement nouvelle de développer des logiciels et des protocoles, mais plutôt de

reconnaître que d'excellents logiciels et protocoles existent déjà et que nous pouvons imiter les conditions

qui a conduit à leur création. Deuxièmement, rendre ces conditions publiques et open source si

possible afin qu'ils puissent être imités au profit de l'ensemble du domaine. 18 Voir www.coinmarketcap.com pour une liste complète par capitalisation boursière 19 Ethereum a une spécification semi-formelle connue sous le nom de Livre jaune ; cependant, la sémantique EVM est pas entièrement spécifiés ni suffisants pour une mise en œuvre complète du protocole. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 21 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Faits et opinions

L’autre préoccupation concerne la question de savoir où finissent les faits et où commence l’opinion. Il y en a des centaines

langages de programmation, des dizaines de paradigmes de développement et plus d'une philosophie sur

gestion de projet. Le monde universitaire est confronté à ses propres défis découlant de son

distance des préoccupations commerciales et de l’aspect pratique.

Pour Cardano, nous avons d'abord tenté de capturer les lacunes évidentes qui peuvent être universellement acceptées.

être utile d’un point de vue technique. Par exemple, la cryptographie et la distribution

les systèmes sont tous deux des sujets extraordinairement complexes avec beaucoup trop d'exemples montrant à quel point des mains naïves

peut commettre d’horribles erreurs. Par conséquent, tout protocole nécessitant un aperçu de ces domaines nécessite

être conçu par un expert reconnu et soumis à l’examen d’autres experts.

Ouroboros est notre première étude de cas dans ce domaine. Il a été conçu par une équipe de cryptographes avec

un historique de publication vaste, diversifié et publiquement vérifiable. Il a été construit selon la norme

processus de cryptographie, avec des hypothèses de sécurité, un modèle contradictoire et des preuves. Ces

les épreuves ont été vérifiées par soumission à des conférences et aussi de manière autonome par ordinateur

20 épreuves rédigées en Isabelle par une équipe de l'Université de Cambridge.
21

Pourtant, ce travail à lui seul ne fournit aucune garantie d'utilité - juste une vérification rigoureuse d'un élément de sécurité.

modèle étant donné certaines hypothèses. Pour être utile, il faut implémenter et tester le protocole.

Nos développeurs l'ont fait à la fois en Haskell et en Rust. Ce travail a révélé que davantage d'efforts

Il fallait se concentrer sur le modèle de synchronisation, ce qui a conduit à la création d'Ouroboros

Praos.

Cet art de l'itération est ce qui produit d'excellents protocoles, chaque étape menant à de nouvelles leçons et

une obligation de revérifier l'exactitude de l'étape précédente. C'est coûteux, cela prend du temps et, à

22 des moments vraiment fastidieux, mais il est nécessaire de garantir qu'un protocole est correctement conçu.

Les protocoles – en particulier ceux destinés à être utilisés par des milliards de personnes – ne sont pas de courte durée et ne durent pas longtemps.

évoluant. Ils sont plutôt destinés à être suivis pendant des années, voire des décennies. Il semble entièrement

Il est raisonnable de penser qu'avant d'imposer au monde un nouveau système financier, nous devons tous vivre avec

pour les 100 prochaines années, nous voulons exiger de ses concepteurs un peu d'ennui et de rigueur.

20 Article accepté numéro 71 de la conférence annuelle sur la cryptographie de l'IACR en Californie
21 Par Kawin Worrasangasilpa sous la direction du professeur Lawrence Paulson
22 En suivant une tangente par souci de légèreté, il convient d’observer la discussion du professeur Halmos sur la manière de écrire un manuel de mathématiques POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 22 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Péchés fonctionnels

En évoluant vers un territoire plus opiniâtre, les outils, langages et méthodologies utilisés dans

le développement de logiciels est plus le fruit d’une providence religieuse que d’une réalité objective. Origine

le code est comme la prose écrite. Tout le monde a une opinion sur ce qui est bien – et sur ce qui l’est

la communication est parfois moins importante que la manière dont elle est communiquée.

Nous devons commettre le péché de choisir un camp en acceptant qu'il aura tort dans au moins un

les yeux de la personne. Cependant, il existe au moins un large corpus de justifications derrière notre choix.

Les protocoles rendant Cardano possible sont en cours d'implémentation dans Haskell. L'interface utilisateur

a été encapsulé dans une branche d'Electron que nous appelons Dédale. Nous avons choisi de

utilisez le modèle architectural Web lorsque cela est possible, et pour notre base de données, nous avons opté pour une clé-valeur

paradigme utilisant RocksDB.

Au niveau des composants, cette abstraction signifie que la maintenance est beaucoup plus simple, meilleure

la technologie peut être remplacée plus tard avec peu d'effort, et que notre pile est en partie liée au

efforts de développement de Github et Facebook.

L'utilisation d'une WebGUI nous permet d'exploiter React et de développer des fonctionnalités frontales à l'aide d'outils

compris par des centaines de milliers de développeurs JavaScript. Utiliser une architecture Web

signifie que les composants peuvent être traités comme des services et que le modèle de sécurité est judicieux.

Choisir Haskell pour le développement du protocole a été le choix le plus difficile. Même dans le fonctionnel

monde, les choix sont nombreux. Du côté plus flexible et impur, il existe des langages comme

Clojure, Scala et F#, qui bénéficient des énormes bibliothèques de Java et du .Net

écosystèmes tout en préservant certains des meilleurs aspects de la programmation fonctionnelle.

Il existe des langues plus académiques telles que l'Agda et l'Idris qui ont un lien étroit avec

connexion à des techniques qui permettraient une vérification rigoureuse de l’exactitude. Pourtant, ils manquent

bibliothèques raisonnables et ont une expérience de développement médiocre.

Pour Cardano, le choix s'est porté sur Ocaml et Haskell. Ocaml est un langage merveilleux avec

une grande communauté, de bons outils, une expérience de développement raisonnable et un grand héritage dans le

espace de vérification formelle via Coq . Alors pourquoi avons-nous choisi Haskell ? 23

23 Ajoutant à ce point, IOHK a effectivement un projet en cours de mise en œuvre en Ocaml appelé Qeditas qui nous avons hérité du pseudonyme Bill White POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 23 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Pourquoi Haskell ?

Les protocoles qui composent Cardano sont distribués, livrés avec de la cryptographie et nécessitent un

haut degré de tolérance aux pannes. Dans les plus beaux jours, il y aura encore des acteurs byzantins, malformés

messages et clients défectueux provoquant involontairement une certaine forme de ravages sur le réseau.

Premièrement, nous voulions un langage bénéficiant d'un système de typage solide dans lequel nous pourrions facilement utiliser des outils.

telles que Quickcheck et des techniques plus élaborées telles que les types de raffinement tout en ayant un

attente raisonnable de tolérance aux pannes. Un modèle OTP de style Erlang satisfait ce dernier

alors que des langages comme Haskell et Ocaml satisfont au premier.

Avec l'introduction de Cloud Haskell, Haskell a bénéficié de nombreux avantages d'Erlang sans pour autant

abandonner les siens. De plus, la modularité et la composabilité de Haskell nous ont permis de

utilisez une bibliothèque sur mesure plus légère appelée Time Warp pour Cardano.

Deuxièmement, les bibliothèques de Haskell ont considérablement évolué au cours des dernières années grâce à un travail approfondi.

d'entités commerciales comme Galois, FP Complete et Well-Typed. En conséquence, Haskell peut

être utilisé pour écrire des applications de production.
24

Troisièmement, l’évolution rapide de PureScript a fourni un pont indispensable vers le monde JavaScript.

semblable à ce que Clojurescript a donné à Clojure. Nous pensons que PureScript sera particulièrement important

lorsqu'il s'agit de faire fonctionner Cardano dans un navigateur et de développer des portefeuilles mobiles.

Quatrièmement, en ce qui concerne la résolution des dépendances, Haskell a bénéficié ces dernières années d'une

un effort social et technologique important mené par des technologues comme Michael Snoyman à travers un

plate-forme appelée stackage qui est à la fois facile à utiliser et bien prise en charge par FP Complete.

Cinquièmement, au-delà d'une résolution adéquate des dépendances, nous visons à ce que nos versions logicielles soient

reproductible. En d'autres termes, avec les mêmes valeurs de configuration et versions de dépendances, il

devrait produire exactement les mêmes artefacts de construction. Grâce au stackage, nous utilisons NixOps

pour atteindre la reproductibilité avec beaucoup de succès.

Enfin, le vivier de talents des développeurs spécialisés dans Haskell est raisonnablement important, comparé à

ses pairs – et assez bien formé avec la bonne combinaison de diplômes universitaires et industriels. C'est aussi

agit comme un filtre de compétences car il est rare de trouver des développeurs Haskell expérimentés sans

connaissance approfondie de l'informatique.
24 Bryan O'Sullivan propose ici un exposé intéressant sur l'utilisation industrielle de Haskell.
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 24 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Spécification formelle et vérification

L’un des points forts du développement d’un protocole utilisant un modèle de sécurité dont l’exactitude a été prouvée réside dans le fait qu’il fournit une limite garantie de la puissance adverse. On donne un contrat qui, aussi longtemps que le le protocole est suivi et les preuves sont correctes, l'adversaire ne peut pas violer la sécurité propriétés revendiquées.

Une réflexion plus approfondie rend l’affirmation antérieure encore plus significative. Les adversaires peuvent être arbitrairement intelligent et capable. Dire qu’ils sont vaincus uniquement grâce à un modèle mathématique est extraordinaire. Et bien sûr, ce n’est pas entièrement vrai.

La réalité introduit des facteurs et des circonstances qui empêchent l'utopie de la sécurité pure et comportement correct par rapport à l'existant. Les implémentations peuvent être erronées. Le matériel peut introduire une attaque vecteurs jusqu’alors inconsidérés. Le modèle de sécurité peut être insuffisant et ne pas être conforme aux utilisation réelle.

Il faut faire preuve de jugement quant au degré de spécification, de rigueur et de vérification requis pour un protocole. Par exemple, des projets tels que le projet SeL4 Microkernel sont un excellent exemple d'une approche globale. un assaut contre l'ambiguïté nécessitant près de 200 000 lignes de code Isabelle pour vérifier moins de 10 000 lignes de code C. Pourtant, un noyau de système d'exploitation est une infrastructure critique qui pourrait être un grave vulnérabilité de sécurité s’il n’est pas correctement mis en œuvre.

Tous les logiciels cryptographiques devraient-ils nécessiter le même effort herculéen ? Ou peut-on choisir un moins une voie vigoureuse qui produit des résultats équivalents ? Est-il également important que le protocole soit parfaitement mis en œuvre si l'environnement dans lequel il s'exécute est notoirement vulnérable, comme sur WindowsXP ?

Pour Cardano, nous avons choisi le compromis suivant. Premièrement, en raison de la nature complexe du domaines de la cryptographie et de l'informatique distribuée, les preuves ont tendance à être très subtiles, longues, compliqué et parfois assez technique. Cela implique que la vérification humaine peut être fastidieux et sujet aux erreurs. Par conséquent, nous pensons que toute preuve significative présentée dans un blanc le papier rédigé pour couvrir l’infrastructure de base doit être vérifié par machine.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 25 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Deuxièmement, pour vérifier le code Haskell afin qu'il corresponde correctement à nos livres blancs, nous pouvons choisir entre deux options populaires : s'interfacer avec les prouveurs SMT via LiquidHaskell et utiliser Isabelle/HOL.

Les solveurs SMT (théories de satisfiabilité modulo) traitent le problème de la recherche de fonctionnalités paramètres qui satisfont une équation ou une inéquation, ou bien montrant que ces paramètres n'existent pas. Comme l’expliquent De Moura et Bjørner, les cas d’utilisation du SMT sont variés, mais la clé Le fait est que ces techniques sont à la fois puissantes et peuvent réduire considérablement les bugs et erreurs sémantiques.

Isabelle/HOL, en revanche, est un outil plus expressif et diversifié qui peut être utilisé pour

à la fois spécifier et vérifier la mise en œuvre. Isabelle est une résolveuse de théorèmes génériques travaillant avec

constructions logiques d'ordre supérieur, capables de représenter des ensembles et d'autres objets mathématiques pour

être utilisé dans les preuves. Isabelle elle-même s'intègre au prouveur Z3 SMT pour travailler sur des problèmes impliquant

de telles contraintes.

Les deux approches apportent de la valeur et nous avons donc décidé de les adopter toutes deux par étapes.

Les preuves écrites humaines seront codées dans Isabelle pour vérifier leur exactitude, satisfaisant ainsi

notre exigence de vérification de la machine. Et nous avons l'intention d'ajouter progressivement Liquid Haskell à tous

code de production dans la mise en œuvre de Cardano tout au long de 2017 et 2018.

Enfin, la qualité de la vérification formelle dépend de la spécification à partir de laquelle on vérifie et les ensembles d’outils disponibles. L'une des principales raisons du choix de Haskell est qu'il offre la juste équilibre entre praticité et théorie. Les spécifications dérivées des livres blancs ressemblent beaucoup à code Haskell, et connecter les deux est considérablement plus facile que de le faire avec un impératif langue.

Il reste encore d'énormes difficultés à capturer une spécification appropriée et à mettre à jour les spécification lorsque des modifications telles que des mises à niveau, des corrections de bogues et d'autres problèmes doivent être apportées ; cependant, cette réalité ne diminue en rien la valeur globale. Si l'on a du mal à construisant une base sur une sécurité prouvable, alors la mise en œuvre devrait être ce qui était effectivement proposé sur papier.

Transparence

Une dernière question lorsque l’on discute de la science et de l’ingénierie liées au développement d’une crypto-monnaie est comment aborder la transparence. Les décisions de conception ne sont ni booléennes ni éthérées. développeurs dans les rêves et puis devient soudainement canon. Ils sont issus de l'expérience, débat et les leçons tirées des erreurs passées.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 26 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Le défi est qu’un processus de développement totalement transparent pourrait influencer les discussions deviennent plus théâtrales que fondées sur des preuves. Egos, tentatives de conquête d’une communauté et peur avoir l’air stupide pourrait rendre les conversations stériles et contre-productives.

En outre, des étrangers pourraient tenter de récupérer la conversation dans le but de forcer leur opinion. tangente particulière pour devenir le seul sujet pertinent. Tout le monde a une vache sacrée.

Alors, comment concilier la nécessité d’un processus de développement transparent, dû à la communauté qui a confié le progrès à un ensemble de développeurs principaux, avec le besoin de liberté d'expression sans crainte ?

Avec Cardano, nous avons décidé d'adopter un processus axé sur les normes avec une surveillance dirigée. La communauté doit savoir que la science et le code sont bien pensés, vérifiés et résolvez réellement les choses que les développeurs prétendent faire. À cette fin, l'examen par les pairs devrait satisfaire pleinement au volet scientifique puisqu’il a été conçu spécifiquement à cet effet et nous a donné le monde moderne.

Pour le code, ce sujet est un peu plus opiniâtre. Pour Cardano, nous avons choisi de confier le La Fondation Cardano servira d’auditeur final du travail de l’IOHK. Ils sont notamment chargés avec les missions suivantes :

1. Examen régulier du code source contenu dans le Cardano Github pour en vérifier la qualité, couverture des tests, commentaires appropriés et exhaustivité
2. Examen de toute la documentation Cardano pour en vérifier l'exactitude et l'utilité
3. Vérifier les affirmations selon lesquelles les protocoles produits par les scientifiques sont pleinement mis en œuvre

Pour accomplir cette tâche, l'IOHK soumettra des rapports réguliers et opportuns à la Fondation – et à ses assigne – à réviser. La Fondation publiera à son tour un rapport de surveillance du développement au Cardano communauté au moins une fois par trimestre.

Ce premier effort vise à lancer une conversation plus large sur la manière dont un projet décentralisé parvient à la responsabilisation. La supervision du développement par un tiers de confiance est un outil puissant pour garantir que les développeurs sont sur la bonne voie, mais cela ne suffit pas à garantir complètement que le le projet sera toujours à la hauteur.

C'est pour cette raison qu'après l'intégration de la trésorerie à CSL, la Fondation encouragera des équipes de développement supplémentaires pour construire des clients alternatifs basés sur le formel spécifications développées conjointement avec IOHK. La diversité du développement a été une excellente technique utilisé par le projet Ethereum pour éviter la formation d'une monoculture autour d'un seul ensemble d'idées ou développeurs. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 27 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

En ce qui concerne les spécifications, il existe une richesse de connaissances à tirer des normes processus suivi par le WC3 et l’IETF. Au final, chaque protocole Cardano intègre nécessite une spécification indépendante du travail académique ou du code source. Il faut plutôt être dans un format approprié tel qu'un RFC.

L’un des principes fondamentaux de la Fondation Cardano est d’agir en tant qu’organisme de normalisation spécifiquement pour le Cardano protocoles et pour héberger des conversations pour mettre à jour, ajouter ou modifier les normes pertinentes pour Cardano. Si Internet (un produit de normes) via l'IETF peut parvenir à un consensus sur ce protocoles de base doivent être utilisés, il est alors tout à fait raisonnable de supposer qu'un organisme dédié pourrait faciliter le même résultat.

En guise de conclusion, il est intéressant d'envisager de déplacer ces discussions vers une entité décentralisée. hébergé sur un blockchain. Ce concept est appelé organisation autonome décentralisée (DAO) et des travaux préliminaires sont en cours dans ce domaine. IOHK développera un modèle de référence DAO pour entités interfacées avec Cardano à utiliser si vous le souhaitez et c'est la prérogative de la Fondation Cardano décider s'il convient de l'adopter dans le cadre de leur mandat de normalisation.

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.

Interopérabilité

La grande myopie

La finance et l’idée plus large du commerce sont en fin de compte une entreprise humaine. Il existe des élégants langages, des outils extrêmement précis pour capturer l'intention et des labyrinthes infinis de techniques pour obtenir des recours en cas de mauvais résultats ainsi que des milliers d'années de lois cherchant l'équité dans le commerce. En fait, certaines des premières formes d’écriture étaient des contrats commerciaux.

Pourtant, l'élément humain ne peut être évité, indépendamment de la désintermédiation vers la logique, des machines ou des sentinelles gouvernementales dotées de pouvoirs terribles. C'est là que réside le grand myopie des crypto-monnaies. Ils sont pour la plupart coupés de la réalité humaine.

Les gens font des erreurs. Les gens changent d’avis. Les gens ne comprennent pas toujours pleinement relations d'affaires qu'ils acceptent d'établir. Les gens sont induits en erreur et fraudés. Les circonstances changent au niveau individuel et national et nécessitent des solutions uniques. Travaillant sur ce point, la plupart des contrats contiennent des clauses de force majeure.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 28 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Cependant, les crypto-monnaies cherchent à éliminer la compréhension, la compassion et le jugement humains. en échange d'un juge numérique indifférent, parfaitement lié à une constitution sans contrepartie à l’équité ou au résultat. Étant donné que les humains ont toujours essayé et continueront d'essayer de changer les règles à des fins égoïstes, il est rafraîchissant d’avoir un système qui ne peut pas être corrompu.

Mais que se passe-t-il lorsqu'un utilisateur a besoin de combiner ces nouveaux systèmes avec des systèmes financiers traditionnels ? systèmes ? Que se passe-t-il lorsque l’on doit vivre dans le monde humain ? Par exemple, la propriété les droits tels que l’enregistrement foncier vivent entièrement dans le monde physique. Même tokenizing la terre encore nécessite une certaine reconnaissance de la juridiction en place.

Pour ajouter un autre point, un lingot d’or ne peut pas bouger tout seul. Le juge numérique peut commander son mouvement, mais ne peut pas le forcer sans que les humains ne s’y adaptent. Un registre numérique peut donc dérive de la réalité.

Ainsi, un concepteur de protocole doit décider dans quelle mesure la réalité humaine doit être autorisée dans son cadre. crypto-monnaie. Plus il y a de flexibilité, moins on peut s’attendre à une fidélité à l’absolu. Le plus les consommateurs sont protégés, plus il doit exister de mécanismes pour fournir des annulations, des remboursements et édition de l'histoire.

Cette section et la suivante sur la réglementation couvrent l’approche pragmatique de Cardano sur le sujet. Dans En termes d'interopérabilité, il y a deux grands groupes à discuter. Premièrement, l'interopérabilité avec systèmes financiers existants (le monde sans crypto-monnaie). Deuxièmement, l'interopérabilité avec d'autres crypto-monnaies.

Héritage

La Fintech n’est pas composée d’un seul standard ni même d’un langage commun. Il y a énormément

diversité des approches, des entités responsables du règlement-livraison et de la compensation, des

processus et autres domaines impliqués dans la comptabilité, la transformation et le mouvement des

valeur.

Il n'est pas raisonnable de suggérer que, simplement parce qu'une technologie est supérieure, le reste des technologies

l’écosystème admettra d’une manière ou d’une autre sa défaite et s’améliorera. Par exemple, beaucoup de gens utilisent encore

Windows XP 16 ans après la version initiale. Ce triste état de choses équivaut à quelqu'un

en utilisant le Macintosh original sorti en 1984 en 2000.

Mis à part le comportement des consommateurs, les entreprises sont généralement encore plus lentes dans leur cycle de mise à niveau. Beaucoup

les banques utilisent toujours des back-ends écrits en Cobol. Une fois que l’on sait que l’infrastructure fonctionne et répond

exigences de l'entreprise, il y a généralement peu d'incitation à mettre à niveau ou à affiner les logiciels et

protocoles pour le bénéfice du consommateur en dehors des problèmes de conformité ou de sécurité. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 29 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Pour Cardano, nous devons d’abord établir ce qu’impliquerait un pont hérité ? Quels systèmes,

normes, entités et protocoles devrions-nous cibler pour garantir qu’il existe une certitude raisonnable de

interopérabilité ? Ces ponts peuvent-ils être fédérés ou décentralisés ? Ou comme les échanges, le feront-ils

deviennent-ils des points de défaillance centraux pour les pirates informatiques, les propriétaires malveillants ou les régulateurs trop zélés ?

Il y a trois préoccupations auxquelles il faut répondre. Premièrement, la représentation de l'information et

croyance en son exactitude. Deuxièmement, la représentation de la valeur et sa propriété associée. Troisièmement,

représentation des entités et d’un utilisateur particulier aux côtés du niveau global de confiance dans ces

entités.

Pour être utiles, l’information et la valeur doivent circuler librement entre le monde financier traditionnel et

Cardano. Ensuite, les résultats doivent être établis et enregistrés pour bâtir une réputation et des fondements.

pour recours. Pourtant, de telles choses sont pour la plupart limitées aux acteurs impliqués. Pour encoder

les sur un blockchain les rendrait globaux et permanents.

De plus, la valeur ne peut pas toujours circuler librement dans le monde traditionnel. Embargos, sanctions, capitaux

les contrôles et les poursuites judiciaires pourraient geler les avoirs. Pour être interopérable, on ne peut pas créer un

ouvrez toujours la vanne d'échappement pour que la valeur fuie.

Enfin, la marque et la réputation des entités constituent l’une des pierres angulaires de la stratégie commerciale. relations. Des milliards de dollars sont dépensés chaque année en campagnes de marketing pour établir, maintenir et marques de réparation. Si des allégations diffamatoires, fausses ou trompeuses sont faites au sujet d'une personne ou d'une entité, alors ils ont le droit de recourir à la justice. Pourtant, la tentative de blockchain de préserver en permanence histoire.

Comme notre choix de langage de programmation, il n'existe pas de solution idéale pour Cardano résoudre ces préoccupations d’une manière omniprésente et correcte. Nous devons plutôt céder à une opinion étayée encore une fois.

En ce qui concerne le flux d'informations, ce flux est appelé flux de données fiables. Il a une source et le contenu. Les sources ont une certaine notion de crédibilité et sont incitées à tromper ou à maintenir honnêteté. Le contenu peut être arbitrairement codé.

Étant donné que nous avons l'intention de prendre en charge du matériel fiable dans notre pile de protocoles, nous avons choisi de envisagez d’ajouter la prise en charge du protocole des crieurs publics du professeur Ari Juel et al. En supposant que existence d'un ensemble crédible de sources de données, Town Crier permet le scraping sécurisé des données Web contenu à utiliser dans smart contracts et d’autres applications.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 30 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Une liste bootstrap de sources sera fournie par Emurgo, IOHK et la Fondation Cardano. Plus tard cette liste sera remplacée par une liste organisée par la communauté utilisant des mécanismes dérivés de ceux de Cardano système de trésorerie. Notre espoir est qu'un système de réputation puisse se matérialiser autour de bons flux de données, créant ainsi une boucle de rétroaction positive pour améliorer progressivement la fiabilité et la fidélité.

La représentation de la valeur est un sujet plus complexe. Contrairement à l'information — où une fois le la véracité, l'actualité et l'exhaustivité sont établies, les protocoles peuvent se comporter de manière fiable et manière déterministe – la valeur est plus délicate.

Une fois tokenized, la valeur doit se comporter comme un objet unique. Les informations peuvent être copiées et transmis, mais un token représentant la propriété de quelque chose (par exemple un titre de véhicule) ne peut pas être clonés et négociés sur deux registres différents. Cet acte détruirait effectivement l'intégrité du système.

Le défi de l'interopérabilité héritée lorsqu'il s'agit de valeur tokenisée est que la confiance les hypothèses, la fiabilité et l'auditabilité changent à mesure que les token circulent entre les grands livres. Par exemple, si Bob possède des Bitcoin et les dépose ensuite sur un échange, puis Bob a maintenant le représentation par la bourse de son Bitcoin sur leur grand livre. Dans le cas de MtGOX, leur grand livre a fait pas conforme à la réalité, faisant tout perdre aux utilisateurs.

Le problème est encore compliqué par la nécessité pour les systèmes existants de reconnaître les token vivant dans une crypto-monnaie. Comme mentionné précédemment, les entreprises sont historiquement réticentes à se moderniser. leurs logiciels et prenant en charge de nouveaux protocoles. Cette situation fait qu'il est difficile d'y voir clair solution.

Pour Cardano, notre meilleur espoir est de fournir aux utilisateurs la possibilité de joindre une riche quantité de métadonnées. à leurs transactions, puis attendent que les normes de l'industrie émergent pour s'y conformer. Certains des progrès ont été réalisés avec le groupe de travail Interledger, des efforts comme R3Cev et la communauté internationale mandats pour mettre à niveau les anciens protocoles financiers.

Cependant, le plus grand défi reste de quantifier et de qualifier la valeur envoyée par un système hérité. système à un registre de crypto-monnaie. Par exemple, si Bob est propriétaire d'une banque et émet un dollar soutenu token, alors il peut toujours construire un pont pour envoyer ses token vers un grand livre comme Cardano en tant que actif émis par l'utilisateur.

Alors que Cardano suivrait la propriété avec précision et fournirait toutes les fonctionnalités auxquelles nous sommes parvenus amour comme l’horodatage et l’auditabilité, aucune crypto-monnaie ne peut faire de Bob un banquier honnête. Il a toujours la possibilité de gérer une banque à réserves fractionnaires en ne garantissant pas la totalité de son dollar. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 31 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

tokens avec de vrais dollars. Cette fraude ne peut être détectée par une cryptomonnaie que si le dollar lui-même était un token comptabilisé par un grand livre numérique. 25

Enfin, la représentation des entités en ligne est un problème de réseau classique remontant au début jours d'Internet. Universités, entreprises, ministères et tout utilisateur arbitraire besoin d’établir leur identité à un moment donné.

À cette fin, des solutions pragmatiques mais centralisées telles que l’infrastructure à clé publique du Web et Le système DNS de l’ICANN a été mis en œuvre. Étant donné que nous apprécions le Web moderne, ces les solutions sont à la fois évolutives et pratiques. Mais ils ne répondent pas à une problématique plus commerciale question de fiabilité, de fiabilité et d'autres méta-caractéristiques nécessaires à la détermination si l'on veut faire affaire avec l'entité.

Les hébergeurs de marchés multifacettes comme eBay ont construit un modèle commercial en fournissant certains de ces métadonnées ainsi qu'un cadre pour réaliser les transactions. Les jugements sur la qualité du contenu, des événements et des entreprises est souvent profondément influencée uniquement par les évaluations en ligne provenant de sources fiables. 26

La partie de ce point pertinente pour Cardano est une question de centralisation de la réputation. L'un des notre objectif pour Cardano est de fournir une pile financière au monde en développement. Une clé de cet effort est la capacité d’établir la confiance avec des acteurs qu’on n’a jamais rencontrés.

Si une seule entité ou un consortium d’entités contrôle qui est étiqueté comme bon ou mauvais, ce n’est pas une entité biologique. processus dérivé d’interactions réelles dans la communauté dans son ensemble, alors ces entités pourraient mettre arbitrairement sur liste noire quiconque pour tout péché perçu. Ce pouvoir est contraire à nos valeurs en tant que projet et va à l’encontre du point plus large de l’utilisation d’une crypto-monnaie.

Heureusement, les mêmes mécanismes utilisés pour voter pour les bulletins de vote du Trésor, ajoutant des sources à une liste de les flux de données fiables et la création d'un protocole peuvent être réutilisés pour établir un espace de réputation. C'est un domaine de recherche ouvert et notre espoir est de fournir un protocole de superposition pour un système décentralisé réseau de confiance de réputation en 2018-2019 après que des éléments plus fondamentaux aient été réglés.

Interopérabilité des cryptomonnaies

25 En revanche, pour les registres numériques, la preuve de réserve a été proposée comme un moyen astucieux de conserver la crypto-monnaie n'échange que de manière honnête. 26 Ces tarifs impactent même la création de contenu elle-même. Voir cette histoire d'intérêt sur la façon dont Rotten Tomatoes a eu un impact sur l’industrie cinématographique. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 32 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

En passant du monde traditionnel aux registres numériques distribués, l’interopérabilité devient beaucoup plus simple. Chaque grand livre dispose d'un protocole réseau, de normes de communication et d'hypothèses de sécurité. sur son algorithme de consensus respectif. Ceux-ci peuvent à leur tour être facilement quantifiés.

Le mouvement de l'information est établi en se connectant au réseau étranger et en traduisant son messages. Le mouvement de la valeur peut être effectué via un système de relais, le commerce atomique en chaîne ou via un système intelligent de sidechains. Comme il n'existe pas d'opérateur centralisé, un la représentation des entités se limite davantage à une métadiscussion sur la confiance dans les développeurs, les mineurs ou un autre courtier en puissance.

Pour Cardano, nous intégrons un nouveau protocole sidechain développé par Kiayias, Miller et Zindros. Il fournit un moyen non interactif de déplacer de la valeur en toute sécurité entre deux chaînes qui soutenir le protocole. Ce mécanisme sera le principal moyen par lequel la valeur circulera entre CSL et un Couche CCL.

Pour les autres crypto-monnaies, des ponts fédérés devraient se former à mesure que Cardano augmente en valeur et en nombre d'utilisateurs. socle. Pour aider à accélérer cette croissance, Cardano SL prend en charge une version restreinte de Plutus pour scripts d'interopérabilité. De nouvelles transactions seront ajoutées dans les versions Shelley et ultérieures de CSL. spécifiquement pour répondre à ces besoins.

Le labyrinthe de Dédale

Les points sur l’interopérabilité viennent d’une perspective globale. Protocoles spécialisés, nouveaux

les types de transactions, les systèmes permettant d’évaluer la crédibilité et le flux d’informations ne peuvent pas être étendus à

juste un seul gardien ou utilisateur. Ils doivent plutôt être facilement accessibles à toute personne sans

censure ou péages.

Mais que se passe-t-il lorsque Cardano ne prend pas en charge un protocole, une transaction ou une application qu'un

l'utilisateur ne peut pas vivre sans ? Devons-nous simplement être hors de portée ? Le Web est confronté à une préoccupation similaire

au cours des années 1990.

Ironiquement, le Web propose deux solutions différentes qui peuvent être répliquées avec les crypto-monnaies.

L'introduction de JavaScript a fourni la possibilité de programmer n'importe quel site Web pour ajouter des

fonctionnalités. L'introduction de plugins et d'extensions de navigateur a ajouté des fonctionnalités personnalisées pour

utilisateurs prêts à les installer. Les deux approches nous ont donné le Web moderne avec toute sa sécurité

horreurs.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 33 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Ethereum a adopté l'ancienne approche en permettant aux utilisateurs d'intégrer des sous-protocoles sur le

Ethereum blockchain comme smart contracts. Cardano prend en charge cette fonctionnalité via le CCL

paradigme. Mais qu’en est-il des extensions personnalisées ?

Un exemple éclairant serait celui d’un trader de crypto-monnaie. Imaginez un marché décentralisé,

appelé DM, qui prend en charge un ensemble de différentes crypto-monnaies. Un commerçant souhaite automatiser son

stratégies agissant sur DM.

Dans un écosystème fragmenté, le commerçant devrait installer des dizaines de clients pour chaque

crypto-monnaie, puis écrire un logiciel personnalisé pour parler à chaque client afin de coordonner

échanges automatisés. Si un client met à jour, cela pourrait endommager le logiciel sur mesure. De plus,

que se passe-t-il si le commerçant souhaite vendre le logiciel ?

Inspiré du modèle web des extensions, si l'interface avec diverses crypto-monnaies peut être

intégré dans une pile Web, la tâche du commerçant devient alors considérablement plus facile. Un universel

une interface peut être établie. L'installation se fait en un clic. La distribution des logiciels peut être modélisée

après la boutique en ligne Chrome.

Pour Cardano, nous avons décidé d'expérimenter ce paradigme en déployant notre référence

l’avant du portefeuille sur Electron. Il s'agit d'un projet open source maintenu par Github qui combine

Node et Chrome ensemble. La version d'Electron de Cardano s'appelle Daedalus.

La première génération de Dédale agira comme un portefeuille HD avec prise en charge de nombreux éléments attendus

27 fonctionnalités de comptabilité et de sécurité qui sont des normes de l'industrie, telles que les mots de passe de dépenses et

BIP39. Dans les générations suivantes, Daedalus deviendra un framework d'application avec un magasin,

des API d'intégration universelles et un SDK.

Les principales innovations sont la facilité de développement en permettant aux programmeurs d'utiliser JavaScript,

HTML5 et CSS3 pour construire leurs applications et un pont unifié pour les applications croisées

communications. Comportements complexes tels que la cryptographie, la gestion d'un réseau distribué et

les mécanismes de base de données peuvent être abstraits, permettant ainsi au développeur de se concentrer uniquement sur l'utilisateur

expérience et la logique fondamentale de leur application.

Comme Daedalus est destiné à être un framework universel, sa feuille de route et son évolution sont quelque peu

indépendant de Cardano. En 2017, ils sont étroitement couplés, mais plus tard Cardano ne sera que

une autre application pour un utilisateur de Daedalus. Nous avons également l'intention d'explorer des fonctionnalités extrêmement uniques

comme un service universel de gestion de clés fonctionnant uniquement dans Intel SGX.

27 Qui est déjà disponible sur daedaluswallet.io
POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 34 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

En fin de compte, en tant que concepteurs de protocoles, nous ne pouvons pas répondre à tous les besoins. Nous espérons que la flexibilité

que Daedalus fournira, combiné avec des smart contract avec état fonctionnant sur CCL, satisfera

ceux laissés de côté par nos décisions de conception. Nous espérons également que de meilleures normes pourront émerger pour

encourager toutes les crypto-monnaies à bénéficier d’une meilleure interopérabilité et sécurité.

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.

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.

Règlement

La fausse dichotomie

Aussi mercurielle et obscure que puisse être la réglementation, on peut métaphoriquement en déduire une élégante boucle narrative des corrompus et de leurs procureurs en quête de justice. Les réglementations sont la boîte à outils de le législateur. Mais comme tous les outils, ils peuvent être rudimentaires, vieux ou simplement mal utilisés.

Les crypto-monnaies n’ont pas changé la condition humaine ni la boucle narrative. Il y aura toujours être des escroqueries, de mauvais acteurs et des résultats terribles malgré les meilleures intentions. Tandis que les crypto-monnaies peuvent supprimer le jugement humain, elles ne peuvent pas supprimer le comportement humain.

Un concepteur de cryptomonnaie doit prendre position sur la boîte à outils qu’il proposera au régulateur. corriger les mauvais événements. Le défi unique auquel les crypto-monnaies sont confrontées est qu’elles sont le produit de échec réglementaire et monétaire. 28

Culturellement, de nombreux acteurs des crypto-monnaies considèrent l’action du gouvernement comme corrompue, incompétente ou inefficace. Par conséquent, ils ont peu de respect, de patience ou de désir d’approuver une porte dérobée spéciale. pour un régulateur ou un homme de loi de réparer les torts. Cet acte serait contraire à l'objectif même de crypto-monnaies.

En revanche, en comptant les échecs de change et les événements historiques, plus de 10 pour cent des Bitcoin a été perdu ou volé depuis le début du protocole le 3 janvier 2009. Au 30 juin, En 2017, la valeur perdue ou volée s'élève à un peu plus de 4 milliards de dollars. Et ce chiffre ne tient pas compte pour Bitcoin et autres token perdus à cause d'escroqueries et d'ICO mal formées.

28 En fait, Satoshi a intégré dans le bloc Genesis Bitcoin le titre suivant tiré du Times : The Times 03/jan/2009 La chancelière sur le point d'effectuer un deuxième plan de sauvetage des banques POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 35 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Ensuite, il y a la question de la vie privée. À l’échelle macro, la valeur circule via des canaux spécialisés qui sont réglementés, riches en métadonnées et activement surveillés par les forces de l'ordre, les gouvernements et les régulateurs internationaux. Il s'agit d'un jeu bien compris dans lequel les fuites se produisent uniquement sur le l’aspect cash des affaires, qui diminue progressivement à mesure que le monde s’oriente vers la monnaie numérique.

Si les cryptomonnaies n’existaient pas, le paradigme serait celui d’un monde qui traite de plus en plus la confidentialité financière comme le contenu des médias sociaux. Il n’y en a pas et on ne peut pas s’en retirer. C'est pourquoi nous se trouvent face à un dilemme qui donne lieu à une apparente dichotomie.

Un concepteur de crypto-monnaie peut abandonner ses principes et céder à toutes les exigences de son environnement local. la juridiction impose leur code, compromettant ainsi la confidentialité et l'intégrité de leurs utilisateurs. Ou il peut adopter une philosophie plus fondée sur des principes, mais anarchiste, qui se sépare de meilleures pratiques et lois actuelles.

Pour Cardano, nous pensons que ce récit est une fausse dichotomie provoquée par un manque d’imagination. Le la réalité est que la plupart des utilisateurs ne se soucient pas des règles existantes pour les marchés. Ils sont généralement préoccupés par les changements soudains des règles au profit d’un ou de plusieurs acteurs. Ils sont inquiets sur le manque de transparence quant à savoir qui bénéficie de privilèges spéciaux.

Nous devons faire la distinction entre les droits individuels et les droits du marché. Étant donné que les crypto-monnaies ont un portée mondiale, les droits doivent être aussi orientés utilisateur que possible.

La confidentialité doit être raisonnable et sous le contrôle de l’utilisateur, et non comme un contrôleur d’accès. Le flux de valeur devrait être sans restriction. La valeur ne devrait pas faire l’objet d’une confiscation soudaine sans consentement.

Du point de vue du marché, celui-ci doit être transparent quant à l'utilisation des données, à la manière dont les fonds seront gérés à l’intérieur et tout le monde doit respecter les mêmes règles. De plus, une fois que l'utilisateur a donné son consentement, il ne peut pas soudainement changer d'avis en raison de inconvénient. Les contreparties ont également besoin de certitude.

Mais comment passer exactement de l’abstrait à un système réel ? Que devrait faire quelque chose à quoi ressemble-t-il à la fois pratique et juridique ? Nous avons divisé notre solution en trois catégories : les métadonnées, l'authentification et la conformité ainsi que les DAOs du marché.

29 Le lecteur devrait envisager de se procurer un exemplaire de The End of Money de David Wolman. Il couvre le mouvement international vers la disparition des espèces. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 36 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Métadonnées

L’acte de quelque chose peut souvent être moins intéressant que les métadonnées qui l’entourent. Pour Par exemple, conduire de Denver à Boulder est un acte. Conduire de Denver à Boulder en Ferrari 488 à une moyenne de 120 MPH sont des métadonnées. Cela implique certainement une expérience différente de celle d'un Toyota Prius à une moyenne de 30 MPH.

Les transactions financières ne sont pas différentes. Le contexte qui les entoure est extraordinairement important pour les économistes, les autorités fiscales, les forces de l’ordre, les entreprises et d’autres entités. Malheureusement Dans notre système actuel basé sur la monnaie fiduciaire, la plupart des consommateurs ne voient jamais à quel point leurs métadonnées sont riches. sont les transactions ou avec qui elles sont partagées. 30

Pour Cardano, nous reconnaissons que les utilisateurs pourraient avoir besoin ou sont légalement tenus de partager métadonnées transactionnelles avec certains acteurs comme les autorités fiscales. Mais nous pensons que ce partage doit être avec le consentement de l’utilisateur.

Nous pensons également que les systèmes blockchain ont un énorme pouvoir pour éliminer la fraude, le gaspillage et abus en fournissant l’auditabilité, l’horodatage et l’immuabilité. Ainsi, certaines métadonnées devraient être posté sur le Cardano blockchain.

Le plus difficile est de trouver un juste équilibre qui ne condamne pas notre blockchain à des difficultés substantielles. ballonner. Face à cette préoccupation, nous avons choisi une approche pragmatique.

Premièrement, Daedalus prendra en charge au cours des 12 prochains mois un large éventail de fonctionnalités permettant d'étiqueter transactions et activités financières. Ces métadonnées peuvent être exportées et partagées à la demande avec celui que l'utilisateur juge nécessaire. De plus, les données peuvent être exploitées par des tiers applications à des fins spécifiques à un domaine (par exemple, comptabilité fiscale).

Deuxièmement, nous envisageons d'ajouter la prise en charge d'adresses spéciales pouvant inclure des hashes et champs cryptés. Cette structure permettrait à un utilisateur de publier des métadonnées sur notre blockchain sans le révélant publiquement. Mais si elle veut partager les données, elles auront toute la possibilité d'être auditées, l'immuabilité et la sécurité d'horodatage dont bénéficie une transaction.

30 À une échelle plus macro, l'auteur Juan Zarate écrit sur la manière dont ces données sont utilisées par le Trésor américain. Département dans la guerre contre le terrorisme dans la guerre du Trésor. Il offre une vision globale de la manière dont La structure actuelle des marchés financiers mondiaux peut être utilisée à des fins géopolitiques. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 37 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Nous avons déjà déployé une structure d'adresse qui contient un champ d'attribut. C'est actuellement utilisé pour stocker une copie cryptée de la structure des arborescences de portefeuille HD pour une récupération rapide du portefeuille (voir Documentation du portefeuille HD). Les versions ultérieures généraliseront cette construction.

Authentification et conformité

Les thèmes du droit d'effectuer des transactions et de la propriété des fonds. Par exemple, même s’il y a suffisamment de fonds pour acheter quelque chose (par exemple exemple l'alcool), il pourrait y avoir des restrictions sur son achat (conditions d'âge).

La propriété et l'origine des fonds dépendent généralement de la connaissance des réglementations relatives à vos clients. Lorsqu'une entreprise de services monétaires comme une banque ou une bourse ouvre un compte pour un nouveau client, il est généralement nécessaire de recueillir des informations de base sur le client et sur l'endroit où il a acquis ses fonds. de.

Le défi technologique est que, dans le processus de soumission de cette obligation légale informations, l'utilisateur qui les envoie n'a aucune garantie sur la manière dont elles seront utilisées, stockées et si elles seront un jour détruit. Les informations de conformité ont une valeur commerciale. Il pourrait être volé pour usurpation d'identité ou revendu là où la réglementation le permet.

Pour Cardano, nous souhaitons innover le plus possible. Du côté logiciel des protocoles, il y a est peu susceptible de garantir que le destinataire des informations de conformité se comportera dans les limites d'un portée de la conduite. Cependant, du côté matériel des protocoles, en utilisant du matériel fiable, on peut exploitez Intel SGX et d’autres HSM pour appliquer certaines politiques.

Nous étudions donc l'utilisation d'épreuves en verre scellé parallèlement à une politique de partage pour permettre la sécurité. transmission des informations de conformité à un vérificateur qui, à son tour, est contraint de se conformer aux politiques dans lesquelles il a été transmis. Nous pensons que des normes uniformes pourraient émerger et également que cette méthode réduira les risques pour les vérificateurs en empêchant la perte de données client de les pirates.

En corollaire à cet effort, le modèle en couches que nous proposons pour Cardano séparant la valeur de le calcul peut également bénéficier de cette approche. Si la couche de calcul est gérée par des entités (par exemple des bourses ou des casinos), elles devraient alors effectuer des contrôles de conformité et potentiellement appliquer une politique fiscale aux utilisateurs.

Grâce aux SGP, l'utilisateur peut envoyer des fonds accompagnés d'informations personnellement identifiables sans crainte qu'il ne s'infiltre dans l'Internet au sens large ou qu'il ne soit préservé par les nœuds de consensus du POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 38 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

couche de calcul. De plus, la couche de calcul aurait la certitude que tous les utilisateurs les transactions sont authentifiées et légitimes.

Ce paradigme permet également la portabilité des clients entre entités réglementées. Les échanges pourraient transférer instantanément les soldes et les comptes des clients via ces canaux sécurisés et également : là où les politiques le permettent, partagez des données avec les régulateurs.

Nous prévoyons de réaliser notre premier test bêta de cette technologie à la mi-2018 dans le but vers l’intégration de Cardano fin 2018 ou début 2019 en attendant les résultats de la recherche. Cette chronologie suppose également la possibilité de collaborer avec ARM et Intel afin de faire signer le code pour qu'il puisse s'exécuter leur matériel. 31 Marché DAOs

Les deux sections précédentes couvraient la génération et le mouvement des informations en supposant que existence d’un système externe. Pour garantir l'interopérabilité existante, ces fonctionnalités seront toujours être nécessaire, mais ils ne traitent pas de la réglementation basée sur blockchain.

Les contrats intelligents permettent un tout nouveau type de système commercial dans lequel les relations sont déterministe, autonome et sans ambiguïté. Ils peuvent à leur tour être utilisés pour créer des règles pour des marchés incluant des structures arbitrairement complexes telles que l'arbitrage, les remboursements événementiels, et la révélation de faits dans des conditions particulières.

Nous appelons ces smart contract structures appliquées Marketplace DAOs. Ils ne nécessitent pas prise en charge de protocole spécial ni mutabilité à intégrer dans le grand livre. En fait, ils peuvent être totalement construit à l’aide d’une collection de smart contract interdépendants.

Le concept architectural consiste à concevoir une collection de modèles commerciaux inspirés de droit des contrats et bonnes pratiques commerciales. Ces modèles peuvent être intégrés dans le logiciel d'un développeur. smart contract pour appliquer des normes spécifiques sur le marché.

Par exemple, supposons qu'un développeur souhaite émettre un ERC20 token sur CCL pour effectuer une vente participative. Un La place de marché DAO pourrait être créée spécifiquement pour les ventes participatives et ses termes et conditions paramétrés ou même appliqués par des normes volontaires ou juridiques. Des choses telles que les remboursements, la réaffectation des fonds ou le gel des paiements pourraient être hérités de l’ERC20 du développeur contrat.

31 Voir la politique de licence commerciale Intel SGX POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 39 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Cet effort nous permet d'avoir une discussion macro sur la manière dont un marché devrait être contrôlé. afin d'assurer la protection des consommateurs. Deuxièmement, nous pouvons discuter de la façon de modéliser les transactions dans un moyen d'assurer automatiquement la protection juridique et les droits au sein de juridictions spécifiques, telles que New Hampshire.

En collaboration avec la Fondation Cardano, l'IOHK et d'autres entités, le projet Cardano créera un bibliothèque de référence de Marketplace DAOs que les développeurs smart contract peuvent utiliser. Notre espoir est que les marchés de l'assurance et de la réglementation peuvent se former autour de ces DAO et qu'ils seront auto-évolutif en fonction des résultats.

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.

Durabilité

Un plongée dans le crypto-monnaie zone rendements beaucoup conceptuel contradictions.

Les cryptomonnaies sont conçues pour être difficiles à modifier, mais, comme toute technologie, elles doivent

changement pour corriger les défauts de conception et les progrès. Les blockchains visent à empêcher

centralisation, mais nécessitent des acteurs forts pour diriger les changements ou maintenir le code.

L’expérience la plus frustrante survient peut-être lorsqu’il existe des lacunes évidentes que la plupart des

les parties prenantes conviennent qu’il faut corriger cette situation, mais aucun consensus ne peut émerger sur la voie à suivre.

Le débat sur la taille des blocs de Bitcoin est désormais un sujet actif depuis plus de deux ans. Quotidiennement,

des transactions totalisant plus d'un milliard de dollars sont en attente car le réseau est au maximum de sa capacité.

Si la modification d'un paramètre simple — même en présence de solutions temporaires — ne peut être

coordonnée, alors comment les entreprises et les gouvernements peuvent-ils se sentir à l’aise en investissant des milliards de dollars ?

des dollars pour construire une infrastructure au-dessus de ces systèmes ? D’ailleurs, comment peut-on

les entreprises parient sur le risque stratégique d’intégrer des protocoles exempts de responsabilité qui ne peuvent pas

apporter des améliorations de conception rationnelles ?

Si l’on regarde l’histoire, l’évolution d’Internet a suivi un schéma similaire, avec même

des changements simples comme la transition d’IPv4 à IPv6 prennent des décennies à être réalisés. Il existe pourtant un

fort contraste entre la technologie blockchain et Internet dans la mesure où ils suivent une approche très

un style de garde différent.

Internet était un projet militaire qui est né de la DARPA et s'est répandu dans les cercles universitaires avec une forte influence.

le soutien du gouvernement et un ensemble bien défini de dépositaires initiaux. Internet s'est développé sous

conditions non commerciales sans les machinations de l’influence des entreprises qui tentent de

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 40 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

monopoliser le réseau. En fait, le commerce électronique a violé la NSF AUP jusqu'à ce qu'elle soit abrogée en

Au moment où les entreprises ont eu le luxe de commercialiser Internet, il existait déjà un

un ensemble solide de normes, de principes et d’adhérents évangéliques. Cela n'a pas empêché des entreprises comme

AOL et Microsoft d'essayer de construire des jardins muraux et de créer des technologies propriétaires comme

ActiveX. Cette fondation n’a pas empêché les acteurs de la nouvelle génération comme Google de pousser

leurs propres agendas étant donné leurs énormes bases d’utilisateurs et leurs capitalisations.

Avec des essaims de loyers en quête acteurs, des traders aux mineurs, les crypto-monnaies sont l'ultime

32 écosystèmes à motivation commerciale. Compte tenu de ce fondement, l'évolution de la tutelle de

les crypto-monnaies ont abouti à une optimisation autour de l’intérêt personnel.

Par exemple, le minage sans validation commence à se produire plus fréquemment car il améliore les compétences du mineur.

marge bénéficiaire, mais cela ignore complètement le but et l’utilité de l’exploitation minière. Exploitation minière

la centralisation s’est déjà produite avec seulement une poignée d’acteurs contrôlant la majorité des

La puissance hash de Bitcoin.

Comme Internet, les crypto-monnaies nécessitent un consensus pour changer. Mais quand si rapide

Lorsque la centralisation du pouvoir se produit entre les mains d’une poignée de courtiers, que se passe-t-il lorsque le changement n’est pas apporté ?

cela leur convient-il ?

Contrairement à Internet, le démarrage de la plupart des crypto-monnaies ne se fait pas de manière altruiste.

moyens non commerciaux ou académiques. Dès leur création, certains groupes cherchent à réaliser des gains et

des courtiers en pouvoir sont chargés d’aider à garantir ces gains.

La centralisation fondatrice est une réalité à laquelle chaque cryptomonnaie doit faire face dans son évolution. Nous

ne peut pas y échapper complètement, mais devrait au moins essayer de concevoir autour d’une décentralisation progressive.

Pour Cardano, nous avons soigneusement réfléchi aux facteurs qui favorisent la centralisation et à ce qui

techniques pourrait être appliqué pour inciter notre protocole à devenir progressivement public

infrastructure comme le Web.

Nous entièrement admettre que total décentralisation est les deux impossible et peut-être même

contre-productif. Pourtant, certains facteurs peuvent être encouragés pour produire un système plus équilibré.

Premièrement, même si la garde centralisée des fonds de vente participative permet un développement agile et rapide

du protocole au début, le financement devra éventuellement se diversifier et la vitesse de mise en œuvre

32 Voir le lien pour plus d'informations sur ce terme POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 41 sur 44IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

le développement doit revenir à un rythme plus systématique et délibéré. Suite à ce point,

le financement doit éviter les préjugés culturels, linguistiques et géographiques.

Deuxièmement, à mesure que la communauté est mieux informée sur la nature sous-jacente du

technologie de la crypto-monnaie, les décisions concernant la feuille de route ne peuvent pas être centralisées dans un ensemble de

développeurs principaux ou fondation. Il doit y avoir une méthode basée sur blockchain pour proposer,

vérification et adoption de modifications au protocole.

Troisièmement, les incitations derrière le maintien du Cardano SL blockchain doivent être directement alignées

avec les désirs globaux de tous les utilisateurs. Nous ne pouvons pas permettre qu'une cabale d'acteurs spécialisés

émergent et sont indépendants de la volonté de la communauté dans son ensemble.

Pour le premier principe, nous avons choisi d'intégrer un système de trésorerie dans Cardano. Pour le

Deuxièmement, nous déploierons un processus formel pour proposer des propositions d'amélioration Cardano via un

système coordonné par CSL lui-même. Pour le troisième, nous pensons qu'Ouroboros offre un cadre élégant

solution.

De plus amples détails pourraient être fournis sur les sujets ci-dessus, mais ils sont vastes en eux-mêmes et

au-delà du cadre d’un document d’enquête. La conception des mécanismes est l’une des plus complexes et

domaines universitaires interdépendants avec une théorie incomplète et aucun modèle canonique solide

sur.

Notre approche scientifique décrite dans la deuxième section nous sert plutôt ici. Veritas de l'IOHK

L'équipe travaille en partenariat avec un groupe de chercheurs de l'Université de Lancaster sous le

direction du professeur Bingsheng Zhang pour développer le modèle de trésorerie de référence de Cardano. Avec

l’objectif d’intégration en 2018, nous attendons une publication dédiée à comité de lecture d’ici la fin de

Pour une description formelle et le contrôle des modifications apportées à un protocole de cryptomonnaie, cette rubrique est la

moins compris car il nécessite à la fois des notions ontologiques ainsi qu'un mécanisme pour inciter

une large participation. Peut-être qu'une certaine forme de processus démocratique représentatif pourrait émerger ou

utilisation de la rétroaction liquide pour fournir un vote plus rationnel.

Nous nous attendons à ce que la recherche dans cette direction consomme la majeure partie de l’implication formelle de l’IOHK dans le

développement de Cardano . Dans un premier temps, nous déploierons aux côtés de la trésorerie de référence

33 modéliser plusieurs mécanismes pour recueillir le consentement. Une étude plus approfondie est nécessaire pour une décision définitive

solution.

33 IOHK sont retenus pour construire Cardano jusqu'à fin 2020 POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 42 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Enfin, les travaux visant à améliorer les incitations pour les Ouroboros sont supervisés par le professeur Elias.

Koutsoupias de l'Université d'Oxford. Après que les fondements cryptographiques d’Ouroboros soient

solidifié parallèlement à tous les travaux d'évolutivité requis, une étude plus large des obligations, des pénalités et des éléments exotiques

des incitations seront ajoutées au protocole de référence.

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

Conclusion

Une crypto-monnaie est bien plus que la somme de ses protocoles, de son code source et de son utilitaire. C'est finalement un système social qui inspire, permet et connecte les gens. Frustré par les nombreuses moitiés mesures, échecs et promesses non tenues des protocoles passés, nous avons décidé de construire quelque chose de mieux.

Ce processus n’est pas simple et nous n’avons jamais cru qu’il puisse se terminer. Les protocoles sociaux se poursuivent changeant indéfiniment à mesure que les gens et la société changent. Pour être utile, nous voulons piéger le pouvoir de revolution et portez-le dans Cardano.

L’évolution n’est pas guidée par une seule main ou par un grand dessein. C'est un processus de hasard inspiré par des erreurs et des problèmes sans fin. Cardano cherche à être l'incarnation numérique de ce processus — suffisamment en forme pour pouvoir survivre aux marchés d'aujourd'hui et suffisamment adaptatif pour évoluer pour répondre les besoins du futur.

Les sections précédentes donnent un bref aperçu de la manière dont nous avons approché cet objectif. Nous ont essayé avec diligence de reconnaître les préjugés cognitifs, d'apprendre de l'histoire et de suivre une approche rigoureuse processus. Nous avons essayé d'équilibrer la nécessité d'un développement rapide avec des méthodes formelles qui ne peut traditionnellement pas agir rapidement.

Ce fut un privilège extraordinaire de se lancer dans ce voyage. Au cours des deux dernières années, nous avons déjà développé un protocole proof-of-stake dont la sécurité a été prouvée, a recruté une petite armée de Haskell développeurs et a fait du développement de Cardano la préoccupation de nombreux scientifiques talentueux.

À mesure que nous passons du laboratoire à un système déployé dans la nature, il y aura des difficultés de croissance, mais notre espoir est que l’avenir de Cardano puisse être résumé dans un seul tableau anthropomorphisé. phrase. Cardano est un rêveur pragmatique qui apprend de ses aînés, est un bon citoyen dans son communauté et trouve toujours un moyen de payer ses factures.

POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 43 sur 44

IOHK | POURQUOI NOUS CONSTRUISONS CARDANO | 28/06/2017

Nous ne pouvons pas connaître l’avenir, mais nous sommes heureux d’essayer de le rendre meilleur pour tout le monde. Merci d'avoir lu. POURQUOI NOUS CONSTRUISONS CARDANO Licence internationale Creative Commons Attribution 4.0 Page 44 sur 44