الأساس المنطقي لتصميم كاردانو

giriiş

Üzerinde çalışabilmeleri için kripto para birimlerinin tasarımını iyileştirmeye yönelik uzun vadeli bir bakış Makul ve güvenli bir kullanıcı deneyimi sunan mobil cihazlar ● Paydaşları kripto para birimlerinin operasyonlarına ve bakımına yaklaştırmak ● Aynı defterde birden fazla varlığın muhasebeleştirilmesi ihtiyacını kabul etmek ● Daha iyi uyum sağlamak amacıyla isteğe bağlı meta verileri içerecek şekilde işlemlerin soyutlanması eski sistemlerin ihtiyaçları ● Mantıklı özellikleri benimseyerek yaklaşık 1000 altcoinden bilgi edinmek ● kullanarak İnternet Mühendisliği Görev Gücünden ilham alan standartlara dayalı bir süreci benimseyin. son protokol tasarımını kilitlemek için özel bir temel
● Ticaretin sosyal unsurlarını keşfedin
● Düzenleyicilerin ticaretle etkileşime girmesi için sağlıklı bir orta yol bulun. Bitcoin'den devralınan bazı temel ilkelerden ödün verilmesi

Cardano üzerinde çalışan müdürler, bu yapılandırılmamış fikir dizisinden her ikisini de keşfetmeye başladı.

kripto para birimi literatürü ve soyutlamalardan oluşan bir araç seti oluşturmak. Bu araştırmanın çıktısı

IOHK'nın kapsamlı makale kütüphanesi, bu son komut dosyası gibi çok sayıda anket sonucu

dile genel bakışın yanı sıra Akıllı Sözleşmelerin Ontolojisi ve Scorex projesi. Dersler

verim bir takdir için the kripto para birimi endüstrinin sıradışı ve en kez

verimsiz büyüme.

Birincisi, TCP/IP gibi başarılı protokollerin aksine, tasarımında çok az katmanlama vardır.

kripto para birimleri. etrafında tek bir fikir birliği kavramını koruma arzusu olmuştur.

Mantıklı olup olmadığına bakılmaksızın tek bir deftere kaydedilen gerçekler ve olaylar.

Örneğin, Ethereum, bir olmaya çalışırken muazzam bir karmaşıklığa yüklenmiştir.

evrensel dünya bilgisayarı, ancak sistemin işleyişini potansiyel olarak yok edebilecek önemsiz endişelerden muzdarip

bir değer deposu olarak çalışabilme yeteneği. Herkesin programı birinci sınıf vatandaş olmalı mı?

ekonomik değeri, bakım maliyeti veya düzenleyici sonuçları ne olursa olsun?

İkincisi, ana akım kriptografi araştırmalarında önceki sonuçlara çok az değer veriliyor. için

örneğin, Bitshares'in yetkilendirilmiş Hisse Kanıtı kolayca ve güvenilir bir şekilde rastgele oluşturulabilirdi

beri bilinen bir teknik olan, garantili çıktı teslimatı ile yazı tura atma kullanan sayılar

1980'ler (Rabin ve Ben-Or'un ufuk açıcı makalesine bakınız).

Üçüncüsü, çoğu altcoin (Tezos gibi birkaç dikkate değer istisna hariç) herhangi bir işlem yapmadı.

gelecekteki güncellemeler için konaklama. Yumuşak veya sert çatalı başarılı bir şekilde itme yeteneği çok önemlidir

herhangi bir kripto para biriminin uzun vadeli başarısına.

Sonuç olarak, kurumsal kullanıcılar milyonlarca dolar değerindeki kaynağı taahhüt edemezler.

yol haritasının ve arkasındaki aktörlerin geçici, önemsiz veya radikal olduğu protokoller. Orada

NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 3 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

bir vizyon etrafında toplumsal fikir birliğinin oluşabileceği etkili bir süreç olması gerekmektedir.

Temel protokolün geliştirilmesi. Bu süreç son derece külfetli ise, parçalanma

toplumu parçalayabilir.

Son olarak, para öyle sonuçta bir sosyal fenomen. Anonimleştirme çabası içinde ve

aracısız merkezi aktörler, Bitcoin ve çağdaşları da bu ihtiyacı bir kenara attılar.

ticari işlemlerde istikrarlı kimlikler, meta veriler ve itibar. Bu verileri ekleme

merkezi çözümler aracılığıyla denetlenebilirliği, küresel kullanılabilirliği ve değişmezliği ortadan kaldırır —

blockchain kullanmanın asıl amacı budur.

SWIFT, FIX ve ACH'den oluşan eski finansal sistemler,

işlemsel meta veriler. Hesaplar arasında ne kadar değer taşındığını bilmek yeterli değil,

Düzenleme genellikle ilgili aktörlerin atıflarını, uyumluluk bilgilerini, raporlamayı gerektirir.

şüpheli etkinlik ve diğer kayıtlar ve eylemler. Bazı durumlarda meta veriler daha fazladır.

işlemden daha önemlidir.

Bu nedenle meta veri manipülasyonunun zararlı olabileceği sonucunu çıkarmak mantıklı görünüyor.

sahte para birimi veya işlem geçmişinin yeniden yazılması. Oyunculara yer yok

Bu alanları gönüllü olarak dahil etmek isteyenlerin ana akım benimsemeye zarar verdiği görülüyor

ve tüketicinin korunması.

Sojourn'un Sonu

Kripto para birimi alanına ilişkin ilkeli araştırmamızın birleşimi iki koleksiyondan oluşur:

protokoller. Buna göre, güvenli olduğu kanıtlanabilen bir Hisse Kanıtı [1][2] tabanlı kripto para birimi olarak adlandırılan

Cardano Yerleşim Katmanı (CSL) ve Cardano Hesaplama Katmanı adı verilen bir dizi protokol

(CCL).

Tasarım vurgumuz, kripto para birimlerinin sosyal yönlerini karşılamak, katmanlar halinde inşa etmektir.

değer muhasebesini karmaşık hesaplamalardan ayırarak ve

düzenleyiciler çeşitli değişmez ilkeler kapsamındadır. Ayrıca, mantıklı olduğu yerde,

1 önerilen protokolleri akran değerlendirmesi yoluyla incelemeye ve kodu resmi olarak kontrol etmeye çalışıyoruz

özellikler.

1 Liste için Düzenleme bölümüne bakın NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 4 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Hisse Kanıtı

Using proof of stake for a cryptocurrency is a hotly debated design choice, however because it

adds a mechanism to introduce secure voting, has more capacity to scale, and permits more

exotic incentive schemes, we decided to embrace it.

Hisse kanıtı protokolümüz Ouroboros olarak adlandırılmaktadır ve son derece profesyonel bir ekip tarafından tasarlanmıştır.

Profesör Aggelos liderliğindeki beş akademik kurumdan yetenekli kriptograf ekibi

2 Edinburgh Üniversitesi'nden Kiayias. Güvenliği kanıtlanmış olmanın ötesinde getirdiği temel yenilik

Titiz bir kriptografik model kullanan modüler ve esnek bir tasarım,

composition of many protocols to enhance functionality.

Bu modülerlik, delegasyon, yan zincirler, abone olunabilir kontrol noktaları gibi özelliklere izin verir.

Hafif istemciler için daha iyi veri yapıları, farklı rastgele sayı oluşturma biçimleri ve hatta

farklı senkronizasyon varsayımları. Bir ağ binlerce kişiden oluşan bir yapıya dönüştükçe

Milyonlarca ve hatta milyarlarca kullanıcı, fikir birliği algoritmasının gereksinimleri de

değiştirin. Bu nedenle, bu değişikliklere uyum sağlayacak yeterli esnekliğe sahip olmak hayati önem taşımaktadır ve dolayısıyla

Bir kripto para biriminin geleceğe yönelik kalbi.

Paranın Sosyal Unsurları

Kripto para birimleri paranın sosyal bileşeninin en iyi örneğidir. Kısıtlarken

yalnızca teknolojiye dayalı analiz yapıldığında, Bitcoin ile Litecoin arasında çok az fark vardır ve hatta

Ethereum ile Ethereum Klasik arasında daha az. Ancak hem Litecoin hem de Ethereum Klasik

Kendi topluluklarının yanı sıra büyük piyasa kapitalizasyonlarını ve sağlam, dinamik toplulukları sürdürmek

sosyal zorunluluklar.

Bir kripto para biriminin değerinin büyük bir kısmının topluluğundan kaynaklandığı iddia edilebilir.

para birimini kullanma şekli ve para biriminin gelişimine katılım düzeyi. İlerleme

Hatta Dash gibi para birimlerinin sistemleri doğrudan protokole entegre ettiği düşünülüyor.

Neyin geliştirilmesi ve finanse edilmesinin öncelikli olması gerektiğine karar verme konusunda topluluklarını dahil edin.

2 Connecticut Üniversitesi, Atina Üniversitesi, Edinburgh Üniversitesi, Aarhus Üniversitesi, Tokyo Teknoloji Enstitüsü NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 5 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Kripto para birimlerinin geniş çeşitliliği aynı zamanda sosyal unsurlarına da kanıt sağlıyor.

Felsefe, para politikası ve hatta sadece çekirdek geliştiriciler arasındaki anlaşmazlıklar

parçalanmaya ve çatallanmaya yol açar. Ancak kripto para birimi muadillerinin aksine, fiat para birimleri

Süper güçler siyasi değişimlerden ve yerel anlaşmazlıklardan herhangi bir para krizi ya da para krizi olmadan hayatta kalma eğilimindedirler.

kitlesel göç.

Bu nedenle, eski sistemlerin bazı unsurlarının eksik olduğu görülmektedir.

kripto para endüstrisi. Biz iddia ediyoruz ve Cardano yol haritasına da şunu telkin ettik:

Bir protokolün kullanıcıları, protokollerinin ardındaki sosyal sözleşmeyi anlamak için teşviklere ihtiyaç duyarlar ve

Verimli bir şekilde değişiklik önerme özgürlüğüne sahiptir. Bu özgürlük herkesi kapsar

Değer değişim sisteminin bir yönü, piyasaların nasıl düzenlenmesi gerektiğine karar vermekten,

projelere fon sağlanmalı. Ancak merkezi aktörler aracılığıyla aracılık edilemez ve

iyi finanse edilen bir azınlık tarafından seçilebilecek bazı özel yeterlilikler.

Cardano, CSL'nin üzerine inşa edilmiş bir yer paylaşımı protokolleri sistemi uygulayacaktır.

kullanıcılarının ihtiyaçlarını karşılıyor.

İlk olarak, geliştirmeyi ön yüklemeye yönelik kitlesel satışın başarısı ne olursa olsun, fonlar eninde sonunda

dağılmak. Dolayısıyla Cardano merkezi olmayan bir güven içerecektir monoton olarak finanse edilen

3 Enflasyonun ve işlem ücretlerinin düşürülmesi.

Herhangi bir kullanıcı, bir oylama sistemi aracılığıyla vakıftan fon talep etme hakkına sahip olmalıdır ve

CSL'nin paydaşları kimin yararlanıcı olacağına oy verir. Süreç üretken bir süreç yaratır

Dash gibi hazine/güven sistemlerine sahip diğer kripto para birimlerinde görülen geri bildirim döngüsü

Kimin finanse edilmesi ve edilmemesi gerektiği konusunda bir konuşma başlatmak.

Finansman tartışmaları, kripto para biriminin sosyal yapısı olan uzun ve kısa vadeli hedefler arasındaki ilişkiyi zorluyor

sözleşme, öncelikler ve değer yaratma inancını belirli önerilerle ortaya koyuyor. Bu konuşma

Topluluğun inançlarını olası durumlara karşı sürekli olarak değerlendirdiği ve tartıştığı anlamına gelir.

yol haritaları.

İkincisi, umudumuz Cardano'nin eninde sonunda resmi, blockchain tabanlı bir sistem içermesidir.

Hem yumuşak hem de sert çatallar önerin ve oy verin. Bitcoin blok boyutu tartışmasıyla, Ethereum ile

DAO çatalı ve diğer birçok kripto para birimi uzun süredir varlığını sürdürüyor ve

sık karşılaşılan vakalar, kod tabanının teknik ve ahlaki yönüne ilişkin çözülmemiş tartışmalar.

Bu anlaşmazlıkların çoğunun ve ilişkilerin kırılmasının olduğu ileri sürülebilir ve ileri sürülmelidir.

Eyleme geçildiğinde ortaya çıkan topluluk, resmi süreçlerin eksikliğinin doğrudan bir sonucudur.

değişimi tartışıyor.
3 Bu aynı zamanda hazine sistemi olarak da bilinir. NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 6 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Bitcoin kullanıcıyı Ayrı Tanıklığı benimsemeye ikna etmek için nereye başvurmalı? nasıl olmalı

Ethereum'in çekirdek geliştiricileri, DAO'yi kurtarmak için topluluğun duyarlılığını ölçüyor mu? Eğer

topluluk kırılıyor, kripto para birimi onarılamayacak kadar hasar gördü mü?

En kötü durumlarda, ahlaki eylem yetkisi geliştiricilere sahip olan kişiye devredilebilir.

altyapı ilişkileri ve para, halkın büyük çoğunluğunun en iyi dileği değil

topluluk. Ayrıca, toplumun büyük bir kısmına erişilemiyorsa veya

kötü teşviklere karşı, o zaman kişi eylemlerinin meşru olup olmadığını gerçekten nasıl bilebilir? 4

Tezos gibi önerilen kripto para birimleri, bir varlığın nerede olduğunu incelemek için ilginç bir model sunuyor.

kripto para protokolü üç bölümden oluşan bir anayasa gibi ele alınır (İşlem,

Konsensüs ve Ağ) anayasayı güncellemeye yönelik bir dizi resmi kural ve süreç içerir. Henüz

teşviklerle ve tam olarak nasıl modellenip değiştirileceğiyle ilgili yapılması gereken çok iş var

resmi bir dile sahip bir kripto para birimi.

Resmi yöntemlerin kullanımı, makine tarafından anlaşılabilen spesifikasyonlar ve bir hazinenin birleştirilmesi

Mali teşviklere yönelik bu süreç, ilham almanın olası yolları olarak araştırılıyor.

Sonuçta şeffaf, sansürsüz bir şekilde bir protokol değişikliği önerme yeteneği

blockchain tabanlı oylamayla, daha zarif çözümler sağlanamasa bile süreç iyileştirilmelidir

tasarlanmalıdır.

Katmanlarda Tasarım – Cardano Yerleşim Katmanı

Harika protokoller ve diller tasarlarken geleceğe bakmak yerine, geleceğe bakmak gerekir. geçmiş. Tarih, kağıt üzerinde mükemmel olan harika fikirlerin bir dizi örneğini sunar, ancak Açık Sistemler Ara Bağlantı standartları gibi bir şekilde ayakta kalamamıştır. Tarih de TCP/IP'den JavaScript'e kadar süren mutlu kazalar sağlar.

Tarihsel bakış açısından çıkarılan bazı ilkeler şunlardır:

1. Geleceği tahmin edemezsiniz, bu yüzden hareket alanı yaratın
2. Karmaşıklık kağıt üzerinde güzeldir ancak basitlik genellikle kazanır 3. Çok fazla aşçı suyu bozuyor 4. Bir standart belirlendikten sonra, ister öyle olsun ister olmasın, muhtemelen kalıcı olacaktır. optimalin altında 4 Bkz. rasyonel cehalet
NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 7 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

5. Eğer irade varsa, kötü fikirler aslında oldukça iyi fikirlere dönüşebilir

Cardano sosyal doğasını kabul eden bir finansal sistemdir. Çok büyük ihtiyaç olacak esneklik ve belirli bir kullanıcının işlemindeki keyfi karmaşıklığı ele alma yeteneği için. Eğer başarılı olursa muazzam hesaplama, depolama ve ağ kaynaklarına ihtiyaç duyulacaktır. Milyonlarca eşzamanlı işlemi barındıracak şekilde.

Ancak zengin düğümlerden alıp başkalarına verebileceğimiz dijital, merkezi olmayan bir Robin Hood'umuz yok. Adil bir ağ oluşturmak için yoksullar. İnsana güvenme lüksümüz de yok Ağın daha büyük iyiliği için fedakarca fedakarlık yapma yardımseverliği. Bu nedenle, Cardano tasarım, kaygıların ayrılması kavramını TCP/IP'den ödünç alır.

Blok zincirleri, nihai olarak, garantili gerçekleri ve olayları sipariş eden veritabanlarıdır. zaman damgaları ve değişmezlik. Para bağlamında varlıkların mülkiyetini emrederler. Ekleme Programların saklanması ve çalıştırılması yoluyla karmaşık hesaplama, ortogonal bir kavramdır. istiyor muyuz? Alice'ten Bob'a ne kadar değer geçtiğini bilmek mi istiyoruz, yoksa bunu anlamaya dahil olmak mı istiyoruz? işlemin arkasındaki tüm hikayeyi ve ne kadar göndereceğinize karar vermeyi mi düşünüyorsunuz?

Ethereum'un yaptığı gibi ikincisini seçmek inanılmaz derecede cazip çünkü daha esnek. ancak yukarıdaki tasarım ilkelerini ihlal ediyor. Hikayeyi anlamak, tek bir protokolün kullanılması anlamına gelir keyfi olayları anlayabilmeli, keyfi işlemleri yazabilmeli, tahkime izin verebilmelidir dolandırıcılık vakaları ve hatta yeni bilgiler elde edildiğinde potansiyel olarak ters işlemler mevcut.

Daha sonra her biri için hangi meta verinin saklanacağı konusunda zor tasarım kararları vermek gerekir. işlem. Alice ve Bob'un alışverişinin ardındaki hikayenin hangi unsurları konuyla alakalı? öyle mi sonsuza kadar alakalılar mı? Bazı verileri ne zaman çöpe atabiliriz? Bunu yapmak yasayı ihlal ediyor mu? bazı ülkeler?

Ayrıca, bazı hesaplamalar doğası gereği özeldir. Örneğin ortalamayı hesaplarken Bir ofiste çalışan işçilerin maaşlarının her bir kişinin ne kadar olduğunu mutlaka sızdırmak istemeyiz yapar. Peki ya her hesaplama kamuya açıksa? Ya bu tanıtım infazı önlüyorsa sonuca zarar vermek için mi?

Bu nedenle değer muhasebesinin değer muhasebesinden ayrılması gerektiği pozisyonunu seçtik. değerin neden taşındığının arkasındaki hikaye. Başka bir deyişle, değerin hesaplamadan ayrılması. Bu ayrım Cardano'nin smart contracts'yi desteklemeyeceği anlamına gelmez. Tam tersine, Ayrımı açık hale getirerek tasarımda, kullanımda, kullanımda önemli ölçüde daha fazla esnekliğe izin verir. smart contracts'nin gizliliği ve yürütülmesi.

NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 8 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Değer defterine Cardano Yerleşim Katmanı (CSL) adı verilir. Amaç hesap vermek olduğu için değere göre yol haritası aşağıdaki hedeflere sahiptir:

1. Biri değeri taşımak ve diğeri geliştirmek için olmak üzere iki komut dosyası dilini destekleyin kaplama protokolü desteği
2. Diğer defterlere bağlanmak için KMZ yan zincirlerine destek sağlayın 5 3. Daha yüksek düzeyde kuantum dirençli imzalar da dahil olmak üzere birden fazla imza türünü destekleyin güvenlik
4. Kullanıcı tarafından verilen birden fazla varlığı destekleyin 5. Daha fazla kullanıcı katıldıkça sistemin yeteneklerinin artması anlamına gelen gerçek ölçeklenebilirliğe ulaşın artış

Komut dosyası oluşturma

Komut dosyası dilinden başlayarak, bir defterdeki adresler arasındaki işlemler bazı şeyleri gerektirir. yürütülecek ve geçerliliği kanıtlanacak bir komut dosyası biçimi. İdeal durumda, Havva'nın erişmesi istenmez. Alice'in parası, kimse kötü tasarlanmış bir senaryonun yanlışlıkla ölü bir kişiye değer göndermesini istemez. parayı geri alınamaz hale getiren adres.

Bitcoin gibi sistemler son derece esnek olmayan ve acımasız bir kodlama dili sağlar. ısmarlama işlemleri programlamak, okuyup anlamak zordur. Yine de genel Solidity gibi dillerin programlanabilirliği olağanüstü miktarda karmaşıklığa neden olur sisteme dahil edilir ve yalnızca çok daha küçük bir grup aktör için faydalıdır.

Bu nedenle yaratıcısının anısına Simon adında yeni bir dil tasarlamayı seçtik. 6 Simon Thompson ve ona ilham veren konseptlerin yaratıcısı Simon Peyton Jones. Simon Sözleşme oluşturmayı temel alan alana özgü bir dil: finansal alanda bir macera mühendislik.

Ana fikir, finansal işlemlerin genellikle bir dizi işlemden oluşmasıdır. temel unsurlar. Eğer kişi elementlerin finansal periyodik tablosunu oluşturursa, o zaman 7 olmasa da çoğunu kapsayacak, keyfi olarak geniş bir bileşik işlemler kümesi için destek sağlamak genel programlanabilirlik gerektirmeden tüm ortak işlem türleri.

5 Yakında Kiayias, Zindros ve Miller'dan bir makaleyle karşınızda olacağız 6 Spesifikasyonlar gelecek spesifikasyonda yayınlanacaktır. Tam dil şu şekilde desteklenecektir: Shelley CSL'nin 2017 yılının 4. çeyreğinde piyasaya sürülmesi planlanıyor 7 ACTUS Projesi derinlemesine bir incelemeye sahiptir
NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 9 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Birincil avantaj, güvenlik ve uygulamanın son derece iyi anlaşılabilmesidir. Kanıtlar Şablonların doğruluğunu göstermek ve yürütme alanını tüketmek için yazılabilir. Havadan yeni para yaratılması veya işlem yapılması gibi sorunlu işlem olayları dövülebilirlik. İkincisi, yumuşak çatallar yoluyla daha fazla öğe eklemek için uzantılarda bırakılabilir. yeni işlevsellik gerekiyor.

Bununla birlikte, CSL'yi yer paylaşımlı protokollere, eski finansal araçlara bağlamaya her zaman ihtiyaç duyulacaktır. sistemler ve özel amaçlı sunucular. Böylece Plutus'u hem genel hem de genel olarak geliştirdik. amaç smart contract dili ve ayrıca birlikte çalışabilirlik için özel amaçlı bir DSL.

Plutus, Haskell'in kavramlarına dayanan, yazılı bir işlevsel dildir. özel işlem komut dosyaları yazın. CSL için gerekli olan karmaşık işlemlerde kullanılacaktır. Yan zincir şemamız gibi bağlamamız gereken diğer katmanlar için destek ekleyin.

Yan Zincirler

Yan zincirlerle ilgili olarak Cardano, Kiayias, Miller ve tarafından geliştirilen yeni bir protokolü destekleyecektir. Zindros (KMZ yan zincirleri), iş kanıtlarının kanıtlarından elde edilen önceki sonuçlara dayanmaktadır. özel tasarım bu makalenin kapsamı dışındadır; ancak konsept güvenli ve Fonların CSL'den herhangi bir Cardano Hesaplama Katmanına veya başka bir yere etkileşimli olmayan hareketi blockchain protokolü destekliyor.

KMZ yan zincirleri karmaşıklığı özetlemenin anahtarıdır. Mevzuat gereksinimleri olan defterler, özel operasyonlar, güçlü kodlama dilleri ve diğer özel konular aslında siyahtır Kutuları CSL'ye gönderebilirsiniz, ancak CSL kullanıcısı muhasebe ve hesaplama tamamlandıktan sonra fonları geri çağırın.

İmzalar

Değerin Alice'ten Bob'a güvenli bir şekilde aktarılması için Alice'in aşağıdaki haklara sahip olduğunu kanıtlaması gerekir: fonları hareket ettirin. Bu görevi gerçekleştirmenin en doğrudan ve güvenilir yolu halka açık bir ağ kullanmaktır. Fonların ortak bir anahtara bağlandığı ve Alice'in bir anahtarı kontrol ettiği anahtar imza şeması ilişkili özel anahtar.

Farklı güvenlik parametreleri ve varsayımlarına sahip yüzlerce olası şema vardır. Bazıları eliptik eğrilerle bağlantılı matematik problemlerine dayanırken diğerleri kafesler kullanarak egzotik kavramlara bağlanır.
NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 10 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Soyut hedef her zaman aynıdır. çözülmediği sürece çözülemeyecek zor bir sorun var birinin gizli bir bilgisi var. Bu bilginin sahibi olduğu söyleniyor anahtar çiftinin sahibidir ve onu kullanma yetkisine sahip olan tek varlık olmalıdır.

Bir kripto para biriminin imza şeması seçerken karşılaştığı iki grup endişe vardır. Birincisi, programın kendisinin uzun vadeli güvenlik dayanıklılığı vardır. Bazı kriptografik 1970'lerde ve 1980'lerde kullanılan DES gibi şemalar bozuldu. Üzerinden geçen dönem planın hayatta kalması beklenmelidir, buna karar verilmelidir.

İkincisi, tercih eden veya tercih eden birçok işletme, hükümet ve diğer kurum var. bazı durumlarda belirli bir planın kullanılmasını zorunlu kıldı. Örneğin NSA, Suite B protokol seti. Kriptografi konusunda ISO ve hatta W3C çalışma gruplarının standartları vardır.

Bir kripto para birimi tek bir imza şeması seçerse bu şemayı kabul etmek zorunda kalır. gelecekte bir noktada bozulabilir ve en az bir kuruluş bu özelliği kullanamaz. Yasal veya sektörel kısıtlamalar nedeniyle kripto para birimi. Ancak bir kripto para birimi her şeyi destekleyemez imza şeması, çünkü bu her müşterinin her şemayı anlamasını ve doğrulamasını gerektirir.

Cardano için eliptik eğri kriptografisini (Ed25519 eğrisi) kullanarak başlamaya karar verdik. özellikle. Ayrıca HD cüzdanlar için destek ekleyerek mevcut kütüphaneleri geliştirmeye karar verdik. Dr Dmitry Khovratovich ve Jason Law'un Spesifikasyonunu kullanarak.
8

Bununla birlikte, Cardano gelecekte daha fazla imza düzenini destekleyecektir. Özellikle biz sistemimize kuantum bilgisayarına dayanıklı imzalar eklemek için BLISS-B'yi entegre etmekle ilgileniyoruz. Ayrıca eski sürümlerle birlikte çalışabilirliği geliştirmek için SECP256k1'i eklemekle de ilgileniyoruz Bitcoin gibi kripto para birimleri.

Cardano daha fazla imza eklememize olanak sağlayacak özel uzantılarla tasarlandı şemaları yumuşak bir çatal aracılığıyla gerçekleştirir. Gerektiğinde ve planlanan büyük güncellemeler sırasında eklenecekler. yol haritası.
9

Kullanıcı Tarafından Verilen Varlıklar (UIA'lar)

Bitcoin tarihinin başlarında, kullanıcıların varlıkları yayınlamasına olanak tanıyan protokoller hızla geliştirildi. Aynı anda birden fazla para birimini takip etmek için Bitcoin'nın muhasebe sistemini kullandı. 8 Bu, Cardano'nin HD Cüzdan Uygulamasına ilişkin belgelerdir. Cardano'nin ilk olduğuna inanıyoruz Ed25519 HD Cüzdanlarını desteklemek için kripto para birimi
9 Bkz.cardanoroadmap.com
NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 11 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Bu protokoller yerel olarak Bitcoin protokolü tarafından desteklenmiyordu, ancak aracılığıyla uygulandı akıllıca hileler.

Colored Coins ve Mastercoin (artık Omni olarak adlandırılıyor) gibi Bitcoin katmanlar durumunda, hafif istemciler güvenilir sunuculara güvenmek zorunda kalıyor. Ayrıca işlem ücretlerinin hala ödenmesi gerekiyor bitcoinler. Bu özellikler, işlem onayı için tek bir işlem hattıyla birleştiğinde Bitcoin çoklu varlık muhasebesi için idealin altında.

ERC20 standardını kullanan Ethereum durumunda daha fazla özellik zenginliği vardır. Ancak, işlem ücretleri hâlâ eter gerektiriyor. Ayrıca Ethereum ağı zorluk yaşıyor yayınlanan tüm ERC20 token'lerin ihtiyaçlarına göre ölçeklendirme.

Temel sorun üç bölüme ayrılabilir: kaynaklar, teşvikler ve endişe. Kaynaklarla ilgili olarak, aynı deftere tamamen yeni bir para birimi eklemek, kişinin sahip olduğu anlamına gelir. bant genişliğini, bellek havuzunu ve hafızayı paylaşan iki bağımsız UTXO (harcanmamış işlem girişleri) seti alanı bloke edin. Bu para birimlerinin işlemlerinin yerleştirilmesinden sorumlu fikir birliği düğümleri Bunun için bir teşvike ihtiyaç var. Ve bir kripto para biriminin her kullanıcısı bunu önemsemez veya umursamamalıdır. belirli bir varlığın para birimi.

Bu sorunlar göz önüne alındığında, çoklu varlık defterinin birincil token olması nedeniyle faydaları muazzamdır Merkezi olmayan piyasa yapımına olanak tanıyan bir köprü para birimi olarak etkili bir şekilde hizmet verebilir. Özel gibi değer istikrarlı varlıklar gibi ek fayda sağlamak için amaçlı varlıklar ihraç edilebilir. Ödünç verme ve havale uygulamaları için yararlı olan Tether veya MakerDAO.

Zorluklar göz önüne alındığında, Cardano çoklu varlık muhasebesine yönelik pragmatik bir yaklaşım benimsemiştir. Aşamalar halinde inşa ederken ilk zorluk, inşaatı destekleyecek gerekli altyapıyı tasarlamaktır. binlerce UIA'nın talebi. Yani aşağıdaki ilerlemeler gereklidir:

1. Çok büyük bir verinin izlenmesine izin veren, özel amaçlı, doğrulanmış veri yapıları UTXO durumu

2. Çok sayıda bekleyen işlemi tutmak için dağıtılmış bir bellek havuzuna sahip olma yeteneği
3. Büyük bir küresel blockchain'ye izin vermek için Blockchain bölümlemesi ve kontrol noktaları 4. Farklı kümeleri dahil ettikleri için fikir birliği düğümlerini ödüllendiren bir teşvik planı işlemler 5. Kullanıcıların hangi para birimlerini takip etmek istediklerine karar vermelerine olanak tanıyan bir abonelik mekanizması
6. Güçlü güvenlik, UIA'ların yerel varlıkla benzer güvenlikten yararlanmasını garanti eder 7. UIA ile AB arasındaki likiditeyi artırmak için merkezi olmayan piyasa yapımına destek birincil token

NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 12 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Doğru, kimliği doğrulanmış veri yapısını bulmaya yönelik ön çabalarımız yeni bir sonuçla sonuçlandı. Leo Reyzin, IOHK ve Waves tarafından ortaklaşa geliştirilen AVL+ Ağacı türü. Daha fazla araştırmaya ihtiyaç vardır, ancak bu, Cardano'nin daha sonraki bir sürümüne dahil edilecek temel bir ilerlemedir.

Dağıtılmış bir bellek havuzu, Stanford Üniversitesi'nin RAMCloud protokolü kullanılarak uygulanabilir. Cardano'nin fikir birliği katmanına entegrasyonunu incelemek için deneyler 2017 yılının 3. çeyreğinde başlayacak.

Geri kalan konular birbiriyle bağlantılıdır ve devam eden araştırmalar kapsamındadır. Bekliyoruz - konu sonuçları araştırmak için — CSL Basho'su sırasında UIA'lar için Cardano'ya bir protokol eklemek 2018'de piyasaya sürüldü.

Ölçeklenebilirlik

Dağıtılmış sistemler, bir protokolü çalıştırmayı kabul eden bir dizi bilgisayardan (düğümlerden) oluşur veya

Ortak bir hedefe ulaşmak için protokol paketi. Bu hedef şu şekilde tanımlandığı şekilde bir dosyayı paylaşmak olabilir:

BitTorrent protokolünü kullanarak veya Folding@Home kullanarak bir proteini katlayarak.

En etkili protokoller, düğümler ağa katıldıkça kaynak kazanır. Tarafından barındırılan bir dosya

Örneğin BitTorrent, birden fazla eşin bağlı olduğu durumlarda ortalama olarak çok daha hızlı indirilebilir.

eş zamanlı olarak indiriyoruz. Hız artar çünkü eşler kaynak sağlarken

onları da tüketiyor. Bu özellik, dağıtılmış bir durum ifade edilirken tipik olarak kastedilen şeydir.

sistem ölçekleri.

Mevcut tüm kripto para birimlerinin tasarımındaki zorluk, bunların aslında

ölçeklenebilir olacak şekilde tasarlanmıştır. Örneğin blok zincirleri genellikle yalnızca eklenen bağlantılı bir listedir.

bloklar. blockchain protokolünün güvenliği ve kullanılabilirliği birçok düğüme bağlıdır

blockchain verilerinin tam kopyasına sahip olmak. Bu nedenle, tek bir baytlık verinin kopyalanması gerekir

N düğümler arasında. Ek düğümler ek kaynak sağlamaz.

Bu sonuç, işlem süreci ve işlem boyunca mesajların dedikodusu için de aynıdır.

sistem. Konsensüs sistemine daha fazla düğüm eklemek ek bir şey sağlamaz

işlem işleme gücü. Bu sadece aynı şeyi yapmak için daha fazla kaynağın harcanması gerektiği anlamına gelir

iş. Daha fazla ağ aktarımı, daha fazla düğümün aynı mesajları iletmesi gerektiği anlamına gelir.

tüm ağ en güncel blokla senkronize olur.

Bu topoloji göz önüne alındığında, kripto para birimleri eski ağlarla aynı düzeyde küresel bir ağa ölçeklenemez

finansal sistemler. Bunun tersine, eski altyapı ölçeklenebilir ve büyüklüğe sahiptir.

daha fazla işlem ve depolama gücü. Belirli bir nokta eklendiğinde, Bitcoin çok küçük bir ağdır

ödeme emsallerine göre, ancak mevcut yükünü yönetmekte zorlanıyor.
NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 13 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Cardano için ölçeklenebilirlik hedeflerimize, fikir birliği algoritmamız büyük ölçüde yardımcı oluyor. Ouroboros

Konsensüs düğümlerinin yeterli çoğunluğunu seçmek için merkezi olmayan bir yola izin verir ve bu da daha fazla çalışabilir

Büyük işletmelerin ihtiyaçlarını karşılamak için son 20 yılda geliştirilen geleneksel protokoller

Google ve Facebook gibi altyapı sağlayıcıları.
10

Örneğin, bir dönem için yeterli çoğunluğun seçilmesi, güvenilir bir düğüm kümesine sahip olduğumuz anlamına gelir.

defteri belirli bir süre boyunca saklayın. Aynı anda birden fazla yetersayıyı seçmek önemsizdir

ve işlemleri farklı yetersayılara bölmek.

Ağ yayılımı ve blockchain parçalanması için de benzer teknikler uygulanabilir.

kendisini benzersiz bölümlere ayırır. Mevcut yol haritamızda ölçeklendirme yöntemleri uygulanacaktır.

Ouroboros 2018'de başlayacak ve 2019 ve 2020'de odak noktası olmaya devam edecek.

Cardano Hesaplama Katmanı

Daha önce de belirtildiği gibi, bir işlemin iki bileşeni vardır: gönderme mekanizması ve tokens akışını ve tokens hareketinin arkasındaki koşulların yanı sıra nedenleri de kaydedin. ikincisi keyfi olarak karmaşık olabilir ve terabaytlarca veri, birden fazla imza ve özel bilgiler içerebilir. meydana gelen olaylar. İkincisi, tek bir imza itme değeriyle son derece basit olabilir başka bir adrese.

Değer akışının nedenlerini ve koşullarını modellemenin ardındaki zorluk, bunların en öngörülemeyen şekillerde dahil olan varlıklar için son derece kişisel. Şundan alınan dersler: Sözleşme hukuku, aktörlerin kendilerinin de bunu yapamayacakları daha da sorunlu bir tablo çiziyor. hatta işlemin ticari gerçekliğe uymadığının farkında olun. Genelde buna diyoruz “anlamsal boşluk” olgusu. 11

Neden sonsuz bir karmaşıklık ve soyutlama katmanını kovalayan bir kripto para birimi oluşturulmalıdır? Doğası gereği Sisifosvari, pratikte ise saf görünüyor. Ayrıca her bir soyutlama hem hukuki hem de güvenlik açısından sonuçları vardır.

Örneğin, evrensel olarak yasa dışı kabul edilen veya küçümsenen çok sayıda çevrimiçi etkinlik vardır. çocuk pornografisi ticareti veya devlet sırlarının satışı gibi. Sağlam konuşlandırarak 10 Aynı amaca ulaşmaya çalışan başka bağımsız araştırma protokolleri de vardır: Elastico ve Bitcoin-NG
11 Loi Luu ve ark. Akıllı Sözleşmeleri Daha Akıllı Hale Getirme başlıklı son makalelerinde bu boşluğu tartışın NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 14 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

merkezi olmayan altyapı, artık bu aktivitenin gerçekleşmesi için bir kanal sağlıyor. normal ticari işlemlerde görülen sansür direncinin aynısı. Yasal olarak belirsiz olup olmadığı ağın fikir birliği düğümleri - bunlar üzerinde daha fazla federal olma teşviki var Verimliliği artırma zamanı — barındırdıkları içerikten sorumlu tutulacaklardır.

Tor operatörlerine yönelik kovuşturma, İpek Yolu operatörüne yönelik acımasız muamele ve genel olarak denetim eksikliği Protokol katılımcılarının hukuki korumalarının ardındaki hukuki netlik belirsiz bir yol bırakıyor. var Yeterince gelişmiş bir kripto para biriminin başka neler yapabileceğine dair hayal gücü eksikliği yok (bkz. Gyges Yüzüğü). Bir kripto para biriminin tüm kullanıcılarını onaylamaya zorlamak mantıklı mıdır, yoksa en azından Web'deki en kötü eylemleri ve davranışları mümkün kılıyor musunuz?

Ne yazık ki, bir kripto para birimi tasarımcısına fikir verecek net bir cevap yok. öyle bir pozisyon seçme ve onun değerini savunma hakkında daha fazla bilgi. Hem Cardano hem de Bitcoin endişeleri katmanlara ayırmayı seçmiş olmamızdır. Bitcoin ile var Anaç. Cardano ile Cardano Hesaplama Katmanı vardır.

Daha önce ayrıntılı olarak açıklanan eylemlerin gerçekleşmesini sağlayacak karmaşık davranış türleri, CSL. Turing'in tam dilinde yazılmış programları çalıştırma becerisine sahip olmaları gerekir. Gaz ekonomisinin sayaç hesaplaması biçimi. Ayrıca istekli fikir birliği düğümlerine de ihtiyaç duyarlar. işlemleri bloklarına dahil edin.

Bu nedenle, bir işlevsellik kısıtlaması kullanıcıları makul ölçüde koruyabilir. Şu ana kadar en yerleşik hükümetler, bir kripto para biriminin kullanımının veya bakımının bir zorunluluk olduğu pozisyonunu almamıştır. yasa dışı eylem. Bu nedenle, kullanıcıların büyük çoğunluğu, bir defter tutma konusunda rahat olmalıdır. Yetenek açısından dijital ödeme sistemiyle karşılaştırılabilir.

Yeteneği genişletmek istendiğinde iki olasılık vardır. Özel bir kişi tarafından etkinleştirilir benzer düşüncelere sahip bireylerden oluşan bir topluluk ve doğası gereği geçicidir (örneğin bir poker oyunu). Veya, o Ethereum ile karşılaştırılabilir yeteneklere sahip bir defter tarafından etkinleştirilir. Her iki durumda da seçtik olayları başka bir protokole devretmek.

Özel, geçici bir olay söz konusu olduğunda blockchain paradigmasından kaçınmak mantıklıdır tamamen, ancak daha ziyade özel amaçlı MPC protokollerinden oluşan bir kitaplığa yönelik çabaları sınırlandırır. Benzer düşüncelere sahip bir grup katılımcı tarafından istendiğinde çağrılabilir. Hesaplamalar ve aktiviteler özel bir ağda koordine edilir ve CSL'ye yalnızca güvenilir bir bülten panosu ve Gerektiğinde mesaj aktarma kanalı.

Bu davadaki temel anlayış, rızanın, sorumluluğun kapsanmasının ve mahremiyetin var olduğudur. CSL: kullanıcıların buluşup iletişim kurabileceği bir dijital ortak alan olarak kullanılıyor; tıpkı bir parkın bir parka ev sahipliği yapması gibi. özel etkinlik - ancak herhangi bir özel konaklama veya kolaylık sağlamaz. Ayrıca, NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 15 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

özel amaçlı MPC'nin kullanılması, düşük gecikmeli etkileşimi mümkün kılacaktır. blockchain şişkinlik. Böylece sistemin ölçeğini artırır.

Cardano'nin bu kütüphaneye yönelik araştırma çabaları Tokyo Tech laboratuvarımızda merkezileştirilmiştir. yurtdışındaki bilim adamlarından bazı yardımlar. Kütüphaneye bir arkadaşımızın isminden dolayı “Tartaglia” adını veriyoruz. Cardano'nin çağdaşı ve matematikçisiyiz ve ilk yinelemenin hazır olmasını bekliyoruz 2018 yılının 1. çeyreğinde.

İkinci durumda, bir sanal makineye, bir dizi konsensüs düğümüne sahip bir blockchain gerekir ve iki zincir arasındaki iletişimi sağlayacak bir mekanizma. Biz başlattık Ethereum Sanal Makineyi K-çerçevesini kullanarak titizlikle resmileştirme süreci 12 Illinois Üniversitesi'nden bir ekiple ortaklık.

Bu analizin sonucu, kopyalanmış ve nihai olarak bir tasarımın en uygun yolunu bildirecektir. Açık operasyonel anlamlara ve güçlü doğru garantilere sahip dağıtılmış sanal makine 13 spesifikasyonundan uygulama. Başka bir deyişle VM aslında kodun söylediğini yapar güvenlik risklerinin en aza indirilmesiyle ilgilidir.

Ethereum tarafından önerilen gaz ekonomisi ve bunun nasıl yapıldığına ilişkin hâlâ çözülmemiş sorular var. Jan Hoffmann ve arkadaşlarının kaynak odaklı ML'si ve daha geniş bir çalışma gibi çalışmalarla ilgilidir. hesaplama için kaynak tahmini. Dil seviyesini de merak ediyoruz sanal makinenin bağımsızlığı. Örneğin, Ethereum projesi bu isteğini dile getirdi mevcut VM'lerinden Web Assembly'ye geçiş için.

Bir sonraki çaba, durum bilgisini ifade etmek için makul bir programlama dili geliştirmektir. merkezi olmayan uygulamalar tarafından hizmet olarak adlandırılacak sözleşmeler. Bu görev için elimizde hem eski smart contract dilini destekleme yaklaşımını seçti güvence uygulamaları ve daha yüksek güvence için Plutus adında yeni bir dilin geliştirilmesi Resmi doğrulama gerektiren uygulamalar.

Sağlamlık temelli Zeppelin projesi gibi IOHK da Plutus kodunun referans kütüphanesini geliştirecek uygulama geliştiricilerinin projelerinde kullanmaları için. Ayrıca özel bir araç seti de geliştireceğiz UCSD'nin Liquid Haskell projesindeki çalışmalardan ilham alan resmi doğrulama için.

Fikir birliği açısından Ouroboros, destek sağlamak için yeterince modüler bir şekilde tasarlandı. smart contract değerlendirme. Dolayısıyla hem CSL hem de CCL aynı fikir birliği algoritmasını paylaşacaktır. 12 Profesör Grigore Rosu ve diğerleri tarafından icat edilmiştir. al., K dilden bağımsız evrensel bir çerçevedir makinede çalıştırılabilir anlambilim. Çalışmamızdan önce C, Java ve JavaScript'i modellemek için kullanılıyordu. 13 Farklı fikir birliği düğümlerinin farklı smart contract'ları çalıştırdığı anlamına gelir. Durum paylaşımı olarak da bilinir NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 16 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Aradaki fark, Ouroboros'un hem izinli hem de izinli olduğu teyit edilebilmesidir. token dağıtımı yoluyla izinsiz defterler.

Ada, CSL ile token üreten bir etkinlik aracılığıyla Asya'daki alıcılara dağıtıldı sonunda ikincil piyasada yeniden satış yapacak. Bu, CSL'nin fikir birliği algoritmasının çeşitli ve giderek daha merkezi olmayan aktörler veya onların yetkilendirdiği aktörler tarafından kontrol ediliyor atar. CCL ile o ülkenin delegeleri tarafından tutulan özel bir amaç token oluşturmak mümkündür Düzenlenebilir varlıklar olabilecek defter, böylece izin verilen bir defter oluşturulur.

Bu yaklaşımın esnekliği, farklı CCL örneklerinin farklı şekillerde hayata geçirilmesine olanak tanır. İşlemlerin değerlendirilmesine ilişkin kurallar. Örneğin kumar faaliyetleri kısıtlanabilir KYC/AML verileri mevcut olmadığı sürece yalnızca ilişkilendirilmemiş işlemlerin kara listeye alınmasıyla.

Son tasarım odağımız, güvenilir donanım güvenlik modüllerini (HSM) protokolümüze eklemektir yığın. Bunlar, bu yetenekleri sisteme dahil ederken iki büyük avantajdır. protokol. İlk olarak, HSM'ler güvenlik getirmeden performansta büyük artışlar sağlıyor 14 Satıcıya güvenmenin ötesinde endişeler. İkincisi, Mühürlü Cam Provaların (SGP) kullanılmasıyla, HSM'ler, verilerin doğrulanabileceğine ve daha sonra onaylanmadan imha edilebileceğine dair güvence sağlayabilir. kötü niyetli yabancılara kopyalandı veya sızdırıldı.

İkinci noktaya odaklanacak olursak, SGP'lerin uyum üzerinde devrim niteliğinde bir etkisi olabilir. Normalde bir tüketici, kimliğini doğrulamak için kişisel olarak tanımlanabilir bilgileri (PII) sağladığında kimliği veya katılım hakkını kanıtlayan bilgiler, güvenilir bir üçüncü tarafa iletilir. kötü niyetli davranmayacağını umuyoruz. Bu aktivite doğası gereği merkezileştirilmiştir, veri sağlayıcı PII üzerindeki kontrolünü kaybeder ve aynı zamanda yargı yetkisine dayalı çeşitli düzenlemelere tabidir.

Bir dizi güvenilir onaylayıcı seçme ve ardından kişisel bilgileri bir donanım bölgesinde depolama yeteneği yeterince yetenekli HSM'ye sahip herhangi bir aktörün, bir aktör hakkındaki gerçekleri doğrulayabileceği anlamına gelir Doğrulayıcının aktörün kimliğini bilmesine gerek kalmadan taklit edilemez bir şekilde. Örneğin Bob ABD vatandaşı değil. Alice akredite bir yatırımcıdır. James ABD vergi mükellefidir ve biri göndermelidir vergiye tabi karlar X hesabına aktarılır.

Cardano'in HSM stratejisi, önümüzdeki iki dönemde özel protokolleri uygulamaya çalışmak olacak Yıllarca Intel SGX ve ARM Trustzone'u kullandım. Her iki modül de milyarlarca tüketiciye yerleştirilmiştir dizüstü bilgisayarlardan cep telefonlarına kadar tüm cihazlarda kullanılabilir ve tüketici tarafında ek bir çaba gerektirmez. kullanın. Her ikisi de yoğun bir şekilde incelenmiş, iyi tasarlanmış ve bazılarının yıllar süren yinelemelerine dayanmaktadır. en büyük ve en iyi finanse edilen donanım güvenliği ekipleri.

14 Bkz. Cornell'den http://hackingdistributed.com/2016/12/22/scaling-bitcoin-with-secure-hardware/ Üniversite NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 17 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Düzenleme

Tüm modern finansal sistemlerin sert gerçeği, ölçeklendikçe bir ihtiyacın birikmesidir. ya da en azından düzenleme arzusu. Bu sonuç genellikle tekrarlayan çöküşlerin sonucudur. Bir pazardaki bazı aktörlerin veya aktörler grubunun ihmali nedeniyle.

Örneğin, 1907'deki Knickerbocker Krizi, Federal Rezerv'in kurulmasıyla sonuçlandı. Sistem 1913'te son çare olarak borç veren olarak kuruldu. Bir başka örnek de 1920'li yıllardaki aşırılıklardır. Amerika Birleşik Devletleri'nin korkunç bir finansal çöküşüyle sonuçlanan Büyük Buhran. Bu çöküş Benzer bir durumun önlenmesi amacıyla 1934'te Menkul Kıymetler Borsası Komisyonu'nun kurulması sağlandı. olaydan sorumlu tutun veya en azından kötü aktörleri sorumlu tutun.

Düzenlemenin gerekliliği, kapsamı ve etkililiği makul bir şekilde tartışılabilir ancak inkar edilemez. varlığı ve büyük hükümetlerin bunu uygulama çabası. Ancak, Dünya küreselleştikçe ve nakit dijitalleştikçe tüm düzenleyicilerin karşılaştığı zorluklar iki yönlüdür.

Birincisi, bir dizi veriyle uğraşırken hangi düzenleme dizisinin üstün olması gerektiğidir. yetki alanları? Tek bir işlem gerçekleştiğinde eski Vestfalya egemenliği kavramı eriyip gidiyor bir dakikadan kısa sürede üç düzine ülkeye dokunabilir. Sadece onu kullanan kişi mi olmalı? en fazla jeopolitik etki?

İkincisi, gizlilik teknolojisindeki gelişmeler dijital bir silahlanma yarışı yarattı. Bir işleme kimin katıldığını anlamak bile giderek zorlaşıyor, kimin belirli bir değer deposuna sahip olduğu ise çok daha azdır. Milyonlarca dolarlık varlığın olduğu bir dünyada gizlice tutulan 12 kelimelik bir anımsatıcıdan başka hiçbir şeyle kontrol edilemiyor, bunu nasıl yapıyorsunuz? 15 Etkili düzenlemeyi uygulamak mı?

Tüm finansal sistemler gibi, Cardano protokolünün de tasarımında ne olduğu konusunda bir fikri olmalıdır. adil ve makul. Bireysel haklar ile bir bireyin hakları arasında ayrım yapmayı seçtik. pazar yeri.

Bireyler, herhangi bir zorlama ya da sivil varlığa maruz kalmadan fonlarına her zaman tek erişime sahip olmalıdır. müsadere. Bu hakkın uygulanması zorunludur çünkü tüm hükümetlere bu hakkın uygulanmaması konusunda güvenilemez. Venezüella'da görüldüğü gibi, yozlaşmış politikacıların kişisel çıkarları için egemenlik güçlerini kötüye kullanmak ve Zimbabve. Kripto para birimleri en düşük ortak paydaya göre tasarlanmalıdır.

15 Bkz. BIP39 https://github.com/bitcoin/bips/blob/master/bip-0039.mediawiki
NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 18 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

İkincisi, tarih hiçbir zaman tahrif edilmemelidir. Blok zincirleri değişmezlik vaadi sağlar. Tarihi geri alma veya resmi kayıtları değiştirme yetkisinin getirilmesi çok fazla şey getirir Belirli bir aktöre veya aktörlere fayda sağlamak amacıyla geçmişi değiştirme eğilimi.

Üçüncüsü, değer akışı sınırsız olmalıdır. Sermaye kontrolleri ve diğer yapay duvarlar insan haklarını azaltır. Bunları küresel ölçekte uygulamaya çalışmanın beyhudeliği dışında 16 En az gelişmiş ülkelerdeki birçok vatandaşın kendi yetki alanlarının dışına seyahat ettiği ekonomi Yaşanabilecek bir ücret bulmak için sermaye akışını kısıtlamak genellikle dünyanın en yoksullarına zarar vermekle sonuçlanır.

Bu ilkelerde belirtilen, piyasalar bireylerden belirgin biçimde farklıdır. Tasarımcılar ise Cardano bireysel haklara inanırız, aynı zamanda piyasaların açıkça beyan etme hakkına sahip olduğuna da inanırız. şart ve koşulları ve eğer bir kişi bu pazarda iş yapmayı kabul ederse, o zaman tüm sistemin bütünlüğü açısından bu standartlara bağlı kalmaları gerekir.

Zorluk her zaman uygulamanın maliyeti ve pratikliği olmuştur. Küçük, çok yargılı işlemler eski sistemlerde yüksek rücu güvencesi sağlayamayacak kadar pahalıdır dolandırıcılık veya ticari anlaşmazlık durumunda. Biri banka havalesini bankaya gönderdiğinde Nijeryalı Prens, birinin parasını geri almaya çalışmak genellikle çok pahalıdır.
17

Cardano için üç düzeyde yenilik yapabileceğimizi düşünüyoruz. Öncelikle smart contracts kullanımıyla ticari ilişkilerin şart ve koşulları daha iyi kontrol edilebilir. Tüm varlıklar ise dijital ve yalnızca CSL'de ifade edilebildiğinden, sahtekarlıktan uzak ticaretin güçlü garantileri sağlanabilir. kazandı.

İkincisi, PII'nin sızdırılmadığı ancak henüz kullanılmaya başlandığı bir kimlik alanı sağlamak için HSM'lerin kullanılması. Kimlik doğrulama ve kimlik doğrulama aktörleri küresel bir itibar sistemi sağlamalı ve otomatikleştirilmiş çevrimiçi oyunlar gibi, çok daha düşük maliyetli, düzenlemeye tabi faaliyetlerin gerçekleştirilmesi vergi uyumu veya merkezi olmayan borsalar.

Son olarak, Cardano'nin yol haritası, DAO adlı modüler bir düzenlemenin oluşturulmasıdır. Değişkenlik, tüketici eklemek amacıyla smart contracts yazan kullanıcıyla etkileşim kuracak şekilde özelleştirilmiş koruma ve tahkim. Bu projenin kapsamı daha sonraki bir makalede özetlenecektir.

16 Sermaye akışına karşı bir önlem örneği olarak bkz. Hawala Bankacılık Sistemi 17 Bkz. Peşin Ücretli Dolandırıcılık NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 19 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Bütün bunların amacı nedir?

Cardano yüzlerce parlak beyinden gelen geri bildirimleri içeren bir maraton projesi oldu

Kripto para endüstrisinin içinde ve dışında. Yorulmak bilmeden yinelemeyi, aktif kullanımını içerir.

akran değerlendirmesi ve ortaya çıktığında harika fikirlerin utanmazca çalınması.

Geri kalan bölümlerin her biri, temel olduğuna karar verdiğimiz odak noktasının belirli bir yönünü kapsar

projemizin bir bileşeni. Bazıları genel olarak en iyiyi geliştirme arzusu nedeniyle seçildi

mekan uygulamaları, diğerleri ise Cardano'nin evrimine özgüdür.

Hiçbir proje her hedefi kapsayamaz veya her kullanıcıyı tatmin edemezken, umudumuz

Kendi kendine gelişen bir finansal yığının, bunların bulunmadığı yetki alanları için nasıl görünmesi gerektiği. Nihai

Kripto para birimlerinin gerçekliği, mevcut eski finansal sistemleri bozacakları değildir.

Eski finansal sistemler her zaman değişimi özümseme ve formlarını koruma kapasitesine sahiptir

ve işlevi.

Bunun yerine, mevcut olanı yerleştirmenin çok pahalı olduğu yerlere bakılmalıdır.

Birçoğunun günde birkaç dolardan az parayla yaşadığı bankacılık sisteminin istikrarlı bir kimliği yok ve

kredi bulmak imkansızdır.

Bu yerlerde ödeme sistemini, mülkiyet haklarını, kimliği, krediyi ve riski bir araya getirme gücü

Korumanın cep telefonunda çalışan tek bir uygulamaya dönüştürülmesi yalnızca yararlı olmakla kalmaz, aynı zamanda yaşamı değiştirir.

Cardano oluşturmamızın nedeni, teslim etme konusunda meşru bir şansımız olduğunu hissetmemizdir - veya

en azından ilerlemek - gelişmekte olan dünyaya yönelik bu vizyon.

Başarısızlıkta bile kripto para birimlerinin tasarlanma, geliştirilme ve finanse edilme şeklini değiştirebilirsek,

o zaman büyük bir başarı var.

Bilim ve Mühendislik

Yineleme Sanatı

Kripto para birimleri yazılım olarak uygulanan protokollerdir. Protokoller gerçekten akıllıdır katılımcılar arasındaki konuşmalar. Yazılım sonuçta verilerin belirli bir oranda manipülasyonudur. NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 20 / 44

IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

amaç. Ancak sağlam, güvenilir yazılım ile kullanışlı, güvenli protokoller ve sohbetleri tamamen insanidir.

İyi yazılım hesap verebilirliğe, açık iş gereksinimlerine, tekrarlanabilir süreçlere ihtiyaç duyar. kapsamlı testler ve yorulmak bilmeyen yinelemeler. İyi yazılım aynı zamanda makul derecede yetenek gerektirir tam olarak yapabilen bir sistemi doğru şekilde tasarlamak için yeterli alana özgü bilgiye sahip geliştiriciler Hangi sorunu çözmeye çalışıyorlarsa çözsünler.

Yararlı ve güvenli protokollere gelince, özellikle kriptografi ve dağıtılmış protokolleri içerenler sistemlerde daha akademik ve standartlara dayalı bir süreçle başlıyorlar. Akran değerlendirmesi, sonsuz Bir protokolün yararlı olmasını sağlamak için tartışmalar ve sağlam bir ödünleşim kavramı gereklidir. Yine de bunlar Tek başına yeterli değildir, protokollerin gerçek hayatta kullanılarak uygulanması ve test edilmesi gerekir.

Kripto para endüstrisindeki benzersiz zorluk, tamamen farklı iki felsefeler uygun bir Hegelci sentez olmadan birbirine karışıyor. Bizim tezimiz bir “hareket gençlik, açgözlülük ve tutku tarafından yönlendirilen hızlı ve kırın” startup zihniyeti. Antitezi bir Sağlamlaştırma arzusuyla motive edilen yavaş, metodik ve akademik odaklı bir yaklaşım Alanımızın yeniliklerini bol miktarda fon ve prestije sahip güzel bir niş haline getiriyoruz.

Sonuç olarak, birçok kripto para birimi ya tamamen bir beyaz kağıt üzerinde tamamen belirtilir CV ile alakalı veya sadece aceleyle yazılan kodla. Şu anki en iyi on kripto para biriminden hiçbiri 18 piyasa kapitalizasyonu emsal incelemeli bir protokole dayanmaktadır. Şu anki en iyi ondan hiçbiri kripto para birimleri resmi bir spesifikasyondan uygulamaya konuldu.

19

Ancak milyarlarca dolarlık değer tehlikede. Bir kez konuşlandırıldığında, bir kripto para birimi fazlasıyla

değiştirmek zor. Kullanıcı güvenli bir sistem kullandığını nasıl anlar? Bir kullanıcı nasıl

pazarlama iddialarının meşru olduğunu biliyor musunuz? Ya önerilen protokol hiçbir zaman başarıya ulaşamazsa?

iddialar?

Bu sentez eksikliği ve sürece saygı, IOHK'nun bunu yapmak istemesinin temel nedenlerinden biridir.

Cardano oluştur. Umudumuz örnek teşkil edecek bir referans proje geliştirmekti.

işlerin daha etkili, aklı başında ve dürüst bir şekilde nasıl yapılacağı.

Amaç tamamen yeni bir yazılım ve protokol geliştirme yöntemi önermek değil, daha ziyade

harika yazılım ve protokollerin zaten mevcut olduğunu ve koşulları taklit edebileceğimizi kabul edin

bu onların yaratılmasına yol açtı. İkincisi, bu koşulları kamuya açık hale getirmek ve gerekiyorsa açık kaynak haline getirmek

tüm alanın yararına taklit edilebilmeleri mümkündür. 18 Piyasa değerine göre kapsamlı bir liste için www.coinmarketcap.com adresini ziyaret edin 19 Ethereum, Sarı Kağıt olarak bilinen yarı resmi bir spesifikasyona sahiptir; ancak EVM anlambilimi tam olarak belirtilmemiştir ve protokolün tam olarak uygulanması için yeterli değildir. NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 21 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Gerçekler ve Görüşler

Diğer bir endişe ise gerçeklerin nerede bitip kanaatin nerede başladığıdır. Yüzlerce var

programlama dilleri, onlarca geliştirme paradigması ve birden fazla felsefe

proje yönetimi. Akademik dünya, kendi yapısından kaynaklanan kendi zorluklarıyla doludur.

iş kaygılarından uzaklık ve pratiklik.

Cardano için öncelikle evrensel olarak kabul edilebilecek bariz eksiklikleri yakalamaya çalıştık

mühendislik açısından faydalı olacaktır. Örneğin, kriptografi ve dağıtılmış

sistemlerin her ikisi de olağanüstü derecede karmaşık konulardır ve saf ellerin ne kadar naif olduğuna dair çok fazla örnek vardır.

korkunç hatalar yapabilir. Bu nedenle, bu alanlardan içgörü gerektiren herhangi bir protokolün

Tanınmış bir uzman tarafından tasarlanmalı ve diğer uzmanların incelemesine sunulmalıdır.

Ouroboros bu alandaki ilk vaka çalışmamızdır. Kriptograflardan oluşan bir ekip tarafından tasarlandı.

geniş, çeşitli ve kamuya açık olarak doğrulanabilir bir yayın geçmişi. Standarda uygun olarak inşa edildi

Güvenlik varsayımları, çekişmeli bir model ve kanıtlarla birlikte kriptografi süreci. Bunlar

Kanıtlar konferanslara sunularak kontrol edildi ve ayrıca bağımsız olarak bilgisayar aracılığıyla

20 Cambridge Üniversitesi'ndeki bir ekip tarafından Isabelle'de yazılan kanıtlar.
21

Ancak bu çalışma tek başına hiçbir yararlılık garantisi vermez; sadece sıkı bir güvenlik kontrolü yapılır.

Bazı varsayımlar verilen model. Faydalı olması için protokolün uygulanması ve test edilmesi gerekir.

Geliştiricilerimiz bunu hem Haskell'de hem de Rust'ta yaptı. Bu çalışma daha fazla çaba sarf edildiğini ortaya çıkardı

Ouroboros'un yaratılmasına yol açan senkronizasyon modeline odaklanılması gerekiyordu

Praos.

Bu yineleme sanatı, her adımın yeni derslere yol açtığı harika protokoller üreten şeydir.

önceki adımın doğruluğunun yeniden doğrulanması gerekliliği. Pahalı, zaman alıcı ve

22 Bu bazen gerçekten sıkıcı olabilir ancak bir protokolün doğru şekilde tasarlandığından emin olmak gerekir.

Protokoller - özellikle milyarlarca insan tarafından kullanılacak olanlar - kısa ömürlü değildir ve hızlıdır

gelişiyor. Aksine, yıllarca hatta onlarca yıl boyunca takip edilmeleri amaçlanıyor. Tamamen görünüyor

Dünyayı yeni bir finansal sistemle doldurmadan önce hepimizin birlikte yaşamak zorunda olması makul.

önümüzdeki 100 yıl boyunca tasarımcılarından biraz bıkkınlık ve titizlik talep etmek istiyoruz.

20 IACR'nin Kaliforniya'daki Yıllık Kripto Konferansının 71 Numaralı Kabul Edilen Makalesi
21 Kawin Worrasangasilpa tarafından Profesör Lawrence Paulson gözetiminde
22 Hafiflik adına bir teğeti takip etmek için Profesör Halmos'un nasıl yapılacağına dair tartışması izlenmelidir. matematik ders kitabı yaz NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 22 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Fonksiyonel Günahlar

Daha fazla fikir sahibi olunan alana geçildiğinde, kullanılan araçlar, diller ve metodolojiler

yazılım geliştirme, nesnel gerçeklikten ziyade dini takdirin eseridir. Kaynak

kod yazılı düzyazı gibidir. Herkesin neyin iyi olduğu ve neyin iyi olduğu konusunda bir fikri vardır.

Bazen nasıl iletildiği, nasıl iletildiğinden daha az önemlidir.

En azından bir konuda yanlış olacağını kabul ederek bir taraf seçme günahına girmeliyiz.

kişinin gözleri. Ancak seçimimizin arkasında en azından geniş bir gerekçeler külliyatı var.

Cardano'yi mümkün kılan protokoller Haskell'de uygulanıyor. Kullanıcı arayüzü

Daedalus adını verdiğimiz bir Elektron çatalının içinde kapsüllenmiştir. Biz bunu seçtik

Mümkün olan yerlerde web mimari modelini kullanın ve veritabanımız için anahtar/değer çiftini tercih ettik

RocksDB'yi kullanan paradigma.

Bileşen düzeyinden bakıldığında bu soyutlama, bakımın çok daha basit, daha iyi olduğu anlamına gelir

teknolojinin daha sonra çok az bir çabayla ikame edilebileceğini ve yığınımızın kısmen

Github ve Facebook'un geliştirme çabaları.

WebGUI kullanmak, React'tan yararlanmamıza ve araçları kullanarak ön uç özellikleri geliştirmemize olanak tanır

yüzbinlerce JavaScript geliştiricisi tarafından anlaşıldı. Bir web mimarisi kullanma

bileşenlerin hizmet olarak değerlendirilebileceği ve güvenlik modelinin mantıklı olduğu anlamına gelir.

Protokol geliştirme için Haskell'i seçmek en zor seçimdi. İşlevsel olarak bile

dünyada çok sayıda seçenek var. Daha esnek ve saf olmayan tarafta ise şöyle diller var:

Java ve .Net'in muazzam kütüphanelerinden yararlanan Clojure, Scala ve F#

işlevsel programlamanın en iyi yönlerinden bazılarını korurken ekosistemler.

Agda ve Idris gibi daha akademik odaklı diller var

doğruluğun güçlü bir şekilde doğrulanmasına izin verecek tekniklerle bağlantı. Yine de eksikler

makul kütüphaneler ve ortalamanın altında bir geliştirme deneyimine sahip.

Cardano için seçim Ocaml ve Haskell'e kaldı. Ocaml harika bir dildir

harika bir topluluk, iyi araçlar, makul geliştirme deneyimi ve sektörde büyük bir miras

Coq aracılığıyla resmi doğrulama alanı. Peki neden Haskell'i seçtik? 23

23 Bu noktaya ek olarak, IOHK'nun aslında Ocaml'da Qeditas adında uygulanmakta olan bir projesi var. takma adımız Bill White'dan miras aldık NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 23 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Neden Haskell?

Cardano'yi oluşturan protokoller dağıtılır, kriptografiyle paketlenir ve

yüksek derecede hata toleransı. En iyi günlerde hâlâ hatalı biçimlendirilmiş Bizans aktörleri olacak

mesajlar ve hatalı istemciler istemeden ağda bir tür tahribata neden olur.

Öncelikle araçları kolaylıkla kullanabileceğimiz, güçlü bir yazım sistemine sahip bir dil istedik.

Quickcheck gibi ve İyileştirme Türleri gibi daha ayrıntılı teknikler

Hata toleransına ilişkin makul beklenti. Erlang tarzı bir OTP modeli ikincisini karşılıyor

oysa Haskell ve Ocaml gibi diller ilkini tatmin ediyor.

Cloud Haskell'in piyasaya sürülmesiyle Haskell, Erlang'ın birçok avantajını elde etti.

kendi kendine teslim olmak. Ayrıca Haskell'in modülerliği ve şekillendirilebilirliği bize şunları yapmamızı sağladı:

Cardano için Time Warp adlı daha hafif, ısmarlama bir kitaplık kullanın.

İkincisi, Haskell'in kütüphaneleri, kapsamlı çalışmalar sayesinde son birkaç yılda büyük ölçüde gelişti.

Galois, FP Complete ve Well-Typed gibi ticari kuruluşların. Sonuç olarak Haskell şunları yapabilir:

üretim uygulamaları yazmak için kullanılabilir.
24

Üçüncüsü, PureScript'in hızlı gelişimi, JavaScript dünyasına çok ihtiyaç duyulan bir köprü sağladı

Clojurescript'in Clojure'a verdiği şeye benzer. PureScript'in özellikle önemli olmasını bekliyoruz

Cardano'in bir tarayıcıda çalışmasını sağlamak ve mobil cüzdanlar geliştirmek söz konusu olduğunda.

Dördüncüsü, bağımlılık çözümüyle ilgili olarak Haskell son birkaç yılda

Michael Snoyman gibi teknoloji uzmanlarının öncülük ettiği önemli sosyal ve teknolojik çabalar

hem kullanımı kolay hem de FP Complete tarafından iyi desteklenen, stackage adı verilen platform.

Beşincisi, yeterli bağımlılık çözümlemesinin ötesinde, yazılım yapılarımızın

tekrarlanabilir. Başka bir deyişle, aynı yapılandırma değerleri ve bağımlılık sürümleriyle

tamamen aynı yapı eserlerini üretmelidir. Yığınlama yoluyla NixOps kullanıyoruz

Tekrarlanabilirliği büyük bir başarıyla elde etmek.

Son olarak, Haskell'de uzmanlaşmış geliştiricilerin yetenek havuzu oldukça büyüktür.

akranları - ve akademik ve sektör bilgilerinin doğru karışımıyla oldukça iyi eğitimli. Aynı zamanda

olmadan deneyimli Haskell geliştiricilerini bulmak nadir olduğundan, bir yeterlilik filtresi görevi görür.

Bilgisayar bilimi hakkında ayrıntılı bilgi.
24 Bryan O'Sullivan burada Haskell'in endüstriyel kullanımı hakkında güzel bir konuşma yapıyor.
NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 24 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Resmi Şartname ve Doğrulama

Doğruluğu kanıtlanabilir bir güvenlik modeli kullanarak bir protokol geliştirmenin önemli bir gücü, düşman gücünün garantili bir sınırını sağlar. Birine bir sözleşme verilir ki, Protokol takip ediliyor ve deliller doğruysa, düşman güvenliği ihlal edemez iddia edilen mülkler.

Daha derinlemesine düşünmek, önceki iddiayı daha da anlamlı hale getirir. Düşmanlar keyfi olabilir zeki ve yetenekli. Sadece matematiksel bir modelle mağlup olduklarını söylemek olağanüstü. Ve elbette bu tamamen doğru değil.

Gerçeklik, saf güvenlik ütopyasını engelleyen faktörleri ve koşulları ortaya çıkarır ve mevcut olandan doğru davranış. Uygulamalar yanlış olabilir. Donanım saldırılara neden olabilir vektörler daha önce dikkate alınmamıştı. Güvenlik modeli yetersiz olabilir ve standartlara uygun olmayabilir. gerçek hayatta kullanım.

Bir proje için ne kadar spesifikasyon, titizlik ve kontrolün talep edildiğine ilişkin bir karara ihtiyaç vardır. protokol. Örneğin, SeL4 Microkernel projesi gibi çabalar, her şeyin en iyi örneğidir. Daha azını doğrulamak için neredeyse 200.000 satırlık Isabelle kodu gerektiren belirsizliğe saldırı 10.000 satır C kodu. Ancak bir işletim sistemi çekirdeği kritik bir altyapıdır. Düzgün uygulanmadığı takdirde ciddi güvenlik açığı ortaya çıkabilir.

Tüm kriptografik yazılımlar aynı Herkülvari çabayı mı gerektirmeli? Veya daha azını seçebilir miyiz? eşdeğer sonuçlar üreten güçlü bir yol var mı? Ayrıca protokolün olup olmadığı da önemli mi? İçinde çalıştığı ortam, örneğin aşağıdaki gibi herkesin bildiği gibi savunmasızsa mükemmel bir şekilde uygulanır: Windows XP'mi?

Cardano için aşağıdaki uzlaşmayı seçtik. İlk olarak, karmaşık doğası nedeniyle Kriptografi ve dağıtılmış hesaplama alanlarında, kanıtlar genellikle çok incelikli, uzun ve karmaşık ve bazen oldukça tekniktir. Bu, insan odaklı kontrolün yapılabileceği anlamına gelir. sıkıcı ve hataya açık. Bu nedenle beyaz renkte sunulan her önemli kanıtın Temel altyapıyı kapsayacak şekilde yazılan kağıdın makine tarafından kontrol edilmesi gerekir.

NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 25 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

İkinci olarak, Haskell kodunu doğrulamak ve teknik incelemelerimize doğru bir şekilde karşılık gelmesini sağlamak için şunları seçebiliriz: iki popüler seçenek arasında: LiquidHaskell aracılığıyla SMT doğrulayıcılarla arayüz oluşturmak ve Isabelle/HOL.

SMT (tatmin edilebilirlik modülo teorileri) çözücüleri, işlevsel bulma sorunuyla ilgilenir. bir denklemi veya eşitsizliği karşılayan veya alternatif olarak bu tür parametrelerin olduğunu gösteren parametreler yok. De Moura ve Bjørner tarafından tartışıldığı gibi, SMT'nin kullanım durumları çeşitlidir ancak anahtar Önemli olan şu ki, bu teknikler hem güçlüdür hem de hataları önemli ölçüde azaltabilir ve anlamsal hatalar.

Öte yandan Isabelle/HOL, daha etkileyici ve çeşitli bir araçtır.

hem uygulamayı belirtir hem de doğrular. Isabelle, aşağıdakilerle çalışan genel bir teorem çözücüdür:

kümeleri ve diğer matematiksel nesneleri temsil edebilen yüksek dereceli mantık yapıları

delillerde kullanılabilir. Isabelle'in kendisi Z3 SMT kanıtlayıcıyla entegre olarak aşağıdakilerle ilgili sorunlarla çalışır:

bu tür kısıtlamalar.

Her iki yaklaşım da değer sağlar ve bu nedenle her ikisini de aşamalı olarak benimsemeye karar verdik.

İnsan tarafından yazılan kanıtlar, doğruluğunu kontrol etmek ve böylece tatmin edici olmak için Isabelle'de kodlanacak

makine kontrol gereksinimimiz. Ve Liquid Haskell'i yavaş yavaş hepsine eklemeyi planlıyoruz.

Cardano'nin 2017 ve 2018 boyunca uygulanmasındaki üretim kodu.

Son bir nokta olarak, resmi doğrulama yalnızca kişinin doğruladığı spesifikasyon kadar iyidir ve mevcut araç setleri. Haskell'i seçmenin başlıca nedenlerinden biri, Pratiklik ve teorinin doğru dengesi. Teknik incelemelerden elde edilen spesifikasyonlar birbirine çok benziyor Haskell kodu ve ikisini birbirine bağlamak, bunu zorunlulukla yapmaktan çok daha kolaydır dil.

Uygun bir spesifikasyonun yakalanması ve aynı zamanda güncellenmesi konusunda hala büyük zorluklar bulunmaktadır. yükseltmeler, hata düzeltmeleri ve diğer endişeler gibi değişikliklerin ne zaman yapılması gerektiğinin belirtilmesi; ancak bu gerçek hiçbir şekilde toplam değeri azaltmaz. Eğer biri sorun yaşayacaksa kanıtlanabilir güvenlik üzerine bir temel oluşturmak, o zaman uygulama şu şekilde olmalıdır: aslında kağıt üzerinde teklif edildi.

Şeffaflık

Kripto para birimi geliştirme bilimi ve mühendisliğini tartışırken son soru şu: şeffaflığın nasıl ele alınacağı. Tasarım kararları Boolean ve ruhani değildir; rüyalardaki geliştiriciler ve sonra aniden kanon haline geliyorlar. Deneyimlerden elde edilirler, tartışma ve önceki hatalardan öğrenilen dersler.

NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 26 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Buradaki zorluk, tamamen şeffaf bir geliştirme sürecinin tartışmayı etkileyebilmesidir. kanıta dayalı olmaktan çok teatral hale geldi. Egolar, bir topluluğu kazanma çabaları ve korku aptalca görünmek, konuşmaları kısır ve verimsiz hale getirmeye zorlayabilir.

Dahası, dışarıdakiler kendi çıkarlarını zorlamak amacıyla konuşmayı kendi bünyesine dahil etmeye çalışabilirler. belirli bir teğetin ilgili tek konu haline gelmesi. Herkesin kutsal bir ineği vardır.

Peki şeffaf bir geliştirme sürecine olan ihtiyaç nasıl dengelenebilir? Özgürlüğe ihtiyaç duyan, ilerlemeyi bir dizi çekirdek geliştiriciye emanet eden topluluk korkusuzca ifade etme?

Cardano ile, yönlendirilmiş gözetim ile standartlara dayalı bir süreci benimsemeye karar verdik. Topluluğun bilimin ve kuralların iyi düşünülmüş, kontrol edilmiş ve geliştirilmiş olduğunu bilmesi gerekiyor. aslında geliştiricilerin yaptıklarını iddia ettiği şeyleri çözüyorlar. Bu amaçla hakem incelemesi yapılmalıdır. Bu amaç için özel olarak tasarlandığı için bilim bileşenini tamamen karşılar ve bize modern dünyayı verdi.

Kod açısından bu konu biraz daha görüşlüdür. Cardano için, Cardano Vakfı, IOHK'nun çalışmalarının son denetçisi olarak görev yapacak. Özellikle kendilerine emanet edilen aşağıdaki görevlerle:

1. Kaliteyi kontrol etmek için Cardano Github'da bulunan kaynak kodunun düzenli olarak incelenmesi, test kapsamı, doğru yorumlar ve eksiksizlik
2. Doğruluk ve kullanışlılık açısından tüm Cardano belgelerinin incelenmesi
3. Bilim adamlarının ürettiği protokollerin tam olarak uygulandığı iddialarının doğrulanması

Bu görevi gerçekleştirmek için IOHK, Vakfa ve onun vakfına düzenli ve zamanında raporlar sunacaktır. atar – gözden geçirmek için. Vakıf da bir kalkınma gözetim raporu yayınlayacak. Cardano topluluğuyla en az üç ayda bir.

Bu ilk çaba, merkezi olmayan bir projenin nasıl yapılacağına dair daha geniş bir tartışma başlatmayı amaçlıyor. sorumluluk kazanır. Güvenilir bir üçüncü tarafın geliştirme gözetimi, aşağıdakileri gerçekleştirmek için güçlü bir araçtır: Geliştiricilerin doğru yolda olduğundan emin olun ancak bu, tam olarak garanti etmek için yeterli değildir. proje her zaman teslim edecektir.

Bu nedenle hazine CSL'ye entegre edildikten sonra Vakıf teşvik edecektir. resmi temellere dayalı alternatif müşteriler oluşturmak için ek geliştirme ekipleri IOHK ile ortaklaşa geliştirilen spesifikasyonlar. Geliştirme çeşitliliği harika bir teknik olmuştur Ethereum projesi tarafından tek bir fikir kümesi etrafında monokültürün oluşmasını önlemek için kullanılır veya geliştiriciler. NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 27 / 44

IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Spesifikasyonlara ilişkin olarak standartlardan elde edilecek zengin bir bilgi birikimi vardır. WC3 ve IETF tarafından takip edilen süreç. Sonuçta her protokol Cardano entegre olur akademik çalışmadan veya kaynak kodundan bağımsız bir spesifikasyon gerektirir. Daha doğrusu buna ihtiyaç var RFC gibi uygun bir formatta olmalıdır.

Cardano Vakfının temel ilkelerinden biri, özellikle aşağıdakiler için standartlar organı olarak hareket etmektir: Cardano protokolleri ve ilgili standartları güncellemek, eklemek veya değiştirmek için görüşmelere ev sahipliği yapmak Cardano. İnternet (standartların bir ürünü) IETF aracılığıyla ne olduğu konusunda fikir birliğine varabilirse çekirdek protokoller kullanılacaksa, bu durumda özel bir organın kullanılacağını varsaymak tümüyle makul olacaktır. aynı sonucu kolaylaştırabilir.

Kapanış notu olarak, bu tartışmaları merkezi olmayan bir kuruluşa taşımayı araştırmak ilginçtir. blockchain üzerinde barındırılıyor. Bu kavrama merkezi olmayan özerk organizasyon denir (DAO) ve bu alanda ön çalışmalar yapılıyor. IOHK, aşağıdakiler için bir referans DAO modeli geliştirecek İstenirse Cardano ile arayüz oluşturan varlıklar kullanılabilir ve bu Cardano Vakfının ayrıcalığıdır kendi standartlarının yetkileri kapsamında bunu benimseyip benimsemeyeceğine karar vermek.

Birlikte çalışabilirlik

Büyük Miyopi

Finans ve daha geniş anlamda ticaret fikri, sonuçta insani bir çabadır. Zarif var diller, amacı yakalamak için son derece hassas araçlar ve amacı gerçekleştirmek için sonsuz teknikler labirenti Binlerce yıllık kanunların yanı sıra, kötü sonuçlar olması durumunda başvurulabilecek Ticarette eşitlik. Aslında en eski yazı biçimlerinden bazıları ticari sözleşmelerdi.

Ancak mantığa aracılık yapılmasa da insan unsurundan kaçınılamaz. korkunç güçlerle donatılmış makineler veya hükümet nöbetçileri. Büyük şey orada yatıyor kripto para birimlerinin miyopisi. Çoğunlukla insan gerçekliğinden kopmuşlardır.

İnsanlar hata yapar. İnsanlar fikirlerini değiştirir. İnsanlar her zaman tam olarak anlamazlar girmeyi kabul ettikleri iş ilişkileri. İnsanlar yanıltılıyor, dolandırılıyor. Bireysel ve eyalet düzeyinde koşullar, benzersiz çözümler gerektiren şekilde değişir. sıkıcı Bu noktada çoğu sözleşmede mücbir sebep maddeleri yer almaktadır.

NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 28 / 44

IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Ancak kripto para birimleri insan anlayışını, şefkatini ve muhakemesini bir kenara atmaya çalışıyor umursamaz bir dijital yargıcın karşılığında hiçbir değerlendirmeye tabi olmaksızın bir anayasaya mükemmel şekilde bağlı adalet veya sonuç için. İnsanların her zaman denediği ve denemeye devam edeceği göz önüne alındığında Kuralları bencil amaçlarla değiştirmek, aslında bozulamayacak bir sisteme sahip olmak canlandırıcıdır.

Ancak bir kullanıcının bu yeni sistemleri geleneksel finansal sistemlerle harmanlaması gerektiğinde ne olur? sistemler? İnsanoğlunun dünyasında yaşaması gerektiğinde ne olur? Örneğin, mülkiyet Tapu tescili gibi haklar tamamen fiziki dünyada yaşamaktadır. Hatta tokenaraziyi yeniden düzenlemeye devam ediyorum görevdeki yargı yetkisinin bir miktar tanınmasını gerektirir.

Başka bir noktayı belirtmek gerekirse, bir külçe altın kendi kendine hareket edemez. Dijital yargıç kendi kararını verebilir hareket edebilir, ancak insanlar uyum sağlamadan onu zorlayamazsınız. Dolayısıyla bir dijital defter şunları yapabilir: gerçeklikten uzaklaşmak.

Bu nedenle bir protokol tasarımcısının, kendi yaklaşımında insan gerçekliğine ne kadar izin verilmesi gerektiğine karar vermesi gerekir. kripto para birimi. Ne kadar fazla esneklik olursa, mutlak olana o kadar az sadakat beklenmelidir. Daha fazla tüketici koruması, geri alma ve para iadesi sağlayacak daha fazla mekanizmanın mevcut olması gerekir ve tarihin düzenlenmesi.

Düzenlemeyle ilgili bu bölüm ve bir sonraki bölüm Cardano'nin konuya pragmatik yaklaşımını kapsamaktadır. içinde Birlikte çalışabilirlik açısından tartışılacak iki geniş grup vardır. İlk olarak, birlikte çalışabilirlik eski finansal sistemler (kripto para birimi olmayan dünya). İkincisi, diğerleriyle birlikte çalışabilirlik kripto para birimleri.

Eski

Fintech tek bir standarttan, hatta ortak bir dilden oluşmuyor. Muazzam bir şey var

yaklaşımlardaki çeşitlilik, takas ve takastan sorumlu kuruluşlar, iş

süreçleri ve muhasebe, dönüşüm ve hareketle ilgili diğer alanlar

değer.

Sadece bir teknoloji üstün diye diğerlerinin de üstün olduğunu ileri sürmek mantıksızdır.

ekosistem bir şekilde yenilgiyi kabul edecek ve yükselecektir. Örneğin, birçok kişi hala kullanıyor

Windows XP'nin ilk sürümünden 16 yıl sonra. Bu üzücü durum birine eşdeğerdir

1984 yılında 2000 yılında piyasaya sürülen orijinal Macintosh'u kullanıyor.

Tüketici davranışı bir yana, işletmelerin yükseltme döngüsü genellikle daha da yavaştır. Birçok

bankalar hala Cobol'da yazılan arka uçları kullanıyor. Altyapının çalıştığı bilindiğinde ve karşılandığında

iş gereksinimleri nedeniyle yazılımı yükseltmek veya iyileştirmek için genellikle çok az teşvik vardır ve

Uyumluluk veya güvenlik endişeleri dışında tüketicinin yararına olan protokoller. NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 29 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Cardano için öncelikle eski bir köprünün neleri içereceğini belirlememiz gerekiyor. Hangi sistemler,

makul bir kesinlik olmasını sağlamak için standartları, birimleri ve protokolleri hedeflemeli miyiz?

birlikte çalışabilirlik? Bu köprüler birleştirilebilir mi yoksa merkezileştirilmeyebilir mi? Veya takaslar gibi olacaklar

become central points of failure for hackers, malicious owners or overzealous regulators?

Ele alınması gereken üç endişe var. İlk olarak bilginin temsili ve

doğruluğuna olan inanç. İkincisi, değerin temsili ve onunla ilişkili mülkiyet. Üçüncüsü,

kuruluşların temsili ve belirli bir kullanıcının yanı sıra bu tür kuruluşlara olan toplam güven düzeyi

varlıklar.

Yararlı olabilmesi için bilgi ve değerin eski finans dünyası ile dünya arasında serbestçe akması gerekir.

Cardano. Daha sonra itibar ve zemin oluşturmak için sonuçların oluşturulması ve kaydedilmesi gerekir.

başvuru için. Yet such things are mostly scoped in nature to the actors involved. Kodlamak

them on a blockchain would make them global and permanent.

Dahası, değer eski dünyada her zaman serbestçe akamaz. Ambargolar, yaptırımlar, sermaye

kontroller ve adli işlemler varlıkları dondurabilir. Birlikte çalışabilmek için bir kişi oluşturamaz.

Değerin sızması için daima kaçış vanasını açın.

Finally, the brand and reputation of entities is one of the cornerstones of commercial ilişkiler. Pazarlama kampanyalarının kurulması, sürdürülmesi için her yıl milyarlarca dolar harcanıyor ve tamir markaları. If libelous, false or misleading claims are made about a person or entity, then hukuki yollara başvurma hakları vardır. Yet blockchains attempt to permanently preserve tarih.

Programlama dili seçimimiz gibi, Cardano için de çözülecek ideal bir çözüm yok Bu kaygılar her yerde doğru bir şekilde dile getirilmektedir. Aksine, desteklenen görüşe boyun eğmeliyiz tekrar.

With respect to the flow of information, this flow is known as a trusted data feed. Bir kaynağı var ve içerik. Sources have some notion of credibility and incentive to deceive or maintain dürüstlük. İçerik keyfi olarak kodlanabilir.

Given that we intend on supporting trusted hardware in our protocol stack, we have chosen to explore adding support for Professor Ari Juel et al.’s Town Crier Protocol. Varsayarak existence of a credible set of data sources, Town Crier permits the secure scraping of web content for use in smart contracts and other applications.

NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 30 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Kaynakların bir önyükleme listesi Emurgo, IOHK ve Cardano Vakfı tarafından sağlanacaktır. Daha sonra bu listenin yerini, Cardano'den türetilen mekanizmaları kullanan, topluluk tarafından seçilen bir liste alacak. hazine sistemi. Umudumuz, iyi veri beslemeleri etrafında bir itibar sisteminin hayata geçebilmesidir. böylece güvenilirliği ve aslına uygunluğu kademeli olarak artırmak için olumlu bir geri bildirim döngüsü yaratılır.

Değerin temsili daha karmaşık bir konudur. Bilginin aksine - bir zamanlar doğruluk, zamanlılık ve tamlık sağlanırsa, protokoller güvenilir ve deterministik yol - değer daha hassastır.

tokenized kez, değer benzersiz bir nesne gibi davranmalıdır. Bilgi kopyalanabilir ve elden ele dolaşıyor, ancak bir şeyin (bir araç unvanı diyelim) sahipliğini temsil eden token olamaz klonlandı ve iki farklı defterde işlem gördü. Bu eylem, devletin bütünlüğünü etkili bir şekilde yok edecektir. sistem.

tokenized değeriyle uğraşırken eski birlikte çalışabilirlikteki zorluk, güvendir tokens'nin defterler arasında akışı arttıkça varsayımlar, güvenilirlik ve denetlenebilirlik değişir. Örneğin, eğer Bob'un bir miktar Bitcoin'si var ve bunları bir borsaya yatırıyor, ardından Bob artık borsanın kendi defterindeki Bitcoin temsili. MtGOX durumunda, defterleri şunu yaptı: gerçeğe uymaması, kullanıcıların her şeyini kaybetmesine neden olur.

Sorun, eski sistemlerin burada yaşayan token'leri tanıma ihtiyacı nedeniyle daha da karmaşık hale geliyor. bir kripto para birimi. Daha önce de belirtildiği gibi, işletmeler tarihsel olarak yükseltmeye dirençlidir yazılımları ve yeni protokolleri destekliyorlar. Bu durum net bir şekilde görmeyi zorlaştırıyor çözüm.

Cardano için en iyi umudumuz kullanıcılara zengin bir meta veri kaynağı ekleme seçeneği sunmaktır işlemlerine bağlanın ve ardından bağlanmak için endüstri standartlarının ortaya çıkmasını bekleyin. Bazıları Interledger çalışma grubu, R3Cev gibi çalışmalar ve uluslararası çalışmalarla ilerleme kaydedildi eski finansal protokolleri yükseltmeyi zorunlu kılıyor.

Ancak, eski bir mirastan gönderilen değerin ölçülmesi ve nitelendirilmesi konusundaki daha büyük zorluk devam etmektedir. sistemi bir kripto para birimi defterine aktarın. Örneğin Bob bir banka sahibiyse ve bir dolar basıyorsa token destekliyse, token'lerini Cardano gibi bir deftere göndermek için her zaman bir köprü oluşturabilir. kullanıcı tarafından verilen varlık.

Cardano ise sahipliği tam olarak takip edecek ve şu ana kadar ulaştığımız tüm özellikleri sağlayacak Zaman damgası ve denetlenebilirlik gibi sevgilere rağmen hiçbir kripto para birimi Bob'u dürüst bir bankacı yapamaz. Dolarının tamamını desteklemeyerek her zaman kısmi bir rezerv bankası işletme seçeneğine sahiptir. NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 31 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

tokens gerçek dolar ile. Bu dolandırıcılık, dolar olmadığı sürece bir kripto para birimi tarafından tespit edilemez. kendisi dijital defter tarafından muhasebeleştirilen bir token idi. 25

Son olarak, varlıkların çevrimiçi temsili, geçmişi çok eskilere dayanan klasik bir ağ sorunudur. internet günleri. Üniversiteler, işletmeler, devlet daireleri ve keyfi kullanıcılar bir noktada kimliklerini oluşturmaları gerekir.

Bu amaçla, webin Açık Anahtar Altyapısı ve ICANN'in DNS sistemi uygulandı. Modern webden keyif aldığımız göz önüne alındığında, bunlar Çözümler hem ölçeklenebilir hem de pratiktir. Ancak daha ticari odaklı bir soruya cevap vermiyorlar belirlemek için gerekli güvenilirlik, güvenilirlik ve diğer meta özellikler sorunu kişi kuruluşla iş yapmak istiyorsa.

eBay gibi çok taraflı pazaryeri sunucuları, bazı hizmetlerin sağlanması üzerine bir iş modeli oluşturmuştur. Bu meta verilerin yanı sıra işlemleri tamamlamak için bir çerçeve. Hakkındaki yargılar içeriğin, etkinliklerin ve işletmelerin kalitesi genellikle yalnızca çevrimiçi derecelendirmelerden derinden etkilenir güvenilir kaynaklardan. 26

Bu maddenin Cardano ile ilgili kısmı itibarın merkezileştirilmesi meselesidir. Bir tanesi Cardano için hedeflerimiz gelişmekte olan dünyaya finansal bir yığın sağlamaktır. Bu çabanın anahtarı hiç tanışmadığınız aktörlerle güven kurabilme yeteneğidir.

Kimin iyi veya kötü olarak etiketleneceğini organik değil, tek bir kuruluş veya kuruluşlardan oluşan bir konsorsiyum kontrol ediyorsa Bir bütün olarak toplumdaki gerçek etkileşimlerden türetilen bir süreç varsa, o zaman bu varlıklar Algılanan herhangi bir günah nedeniyle herhangi birini keyfi olarak kara listeye alın. Bu güç proje olarak değerlerimize aykırıdır. ve bir kripto para birimi kullanmanın daha geniş amacını ortadan kaldırır.

Neyse ki, hazine oylamalarında kullanılan mekanizmaların aynıları, kaynakları listeye ekliyor. güvenilir veri beslemeleri ve bir protokolün çatallanması, bir itibar alanı oluşturmak için yeniden kullanılabilir. Bu bir açık araştırma alanı ve umudumuz, merkezi olmayan bir platform için bir katman protokolü sağlamaktır. Daha temel unsurların yerleşmesinden sonra 2018-2019'da itibar güven ağı.

Kripto Para Birlikte Çalışabilirliği

25 Öte yandan, dijital defterler için rezerv kanıtı, saklamanın akıllıca bir yolu olarak önerilmiştir. kripto para birimi yalnızca dürüst alışveriş yapar. 26 Bu oranlar içeriğin oluşturulmasını bile etkiliyor. Rotten Tomatoes'un nasıl olduğuyla ilgili bu ilgi çekici hikayeye bakın sinema sektörünü etkiledi. NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 32 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Eski dünyadan dağıtılmış dijital defterlere geçiş, birlikte çalışabilirlik çok daha basit hale geliyor. Her defterin bir ağ protokolü, iletişim standartları ve güvenlik varsayımları vardır. ilgili fikir birliği algoritması hakkında. Bunlar da kolayca ölçülebilir.

Bilginin hareketi yabancı ağa bağlanılarak ve tercüme edilerek sağlanır. mesajlar. Değerin hareketi bir aktarma sistemi, atomik çapraz zincir ticareti aracılığıyla yapılabilir. veya akıllı bir yan zincir şeması aracılığıyla. Merkezi bir operatör bulunmadığından tek bir varlıkların temsili daha çok geliştiricilere, madencilere veya başka bir güç komisyoncusu.

Cardano için Kiayias, Miller ve tarafından geliştirilen yeni bir yan zincir protokolünü entegre ediyoruz. Zindros. Değeri iki zincir arasında güvenli bir şekilde taşımanın etkileşimli olmayan bir yolunu sağlar. protokolü destekliyoruz. Bu mekanizma, CSL ile bir CSL arasında değer akışının birincil yolu olacaktır. CCL katmanı.

Diğer kripto para birimleri için, Cardano değeri ve kullanıcı sayısı arttıkça birleşik köprüler oluşturulmalıdır baz. Bu büyümeyi hızlandırmaya yardımcı olmak amacıyla Cardano SL, Plutus'un kısıtlı bir sürümünü destekler. birlikte çalışabilirlik komut dosyaları. Shelley'e ve CSL'nin sonraki sürümlerine yeni işlemler eklenecek özellikle bu ihtiyaçları karşılamak için.

Daedalus'un Labirenti

Birlikte çalışabilirlik ile ilgili hususlar küresel bir perspektiften gelmektedir. Özel protokoller, yeni

işlem türleri, güvenilirliği ve bilgi akışını değerlendirmeye yönelik sistemler aşağıdakilerin kapsamına alınamaz:

yalnızca tek bir kapı denetleyicisi veya kullanıcı. Bunun yerine, herhangi bir bilgiye sahip olmayan herkesin kolaylıkla erişebilmesi gerekir.

sansür veya geçiş ücretleri.

Ancak Cardano bir protokolü, işlemi veya uygulamayı desteklemediğinde ne olur?

kullanıcı onsuz yaşayamaz mı? Kapsam dışında mı olmalıyız? Web de benzer bir endişeyle karşı karşıya kaldı

1990'larda.

İronik bir şekilde web, kripto para birimleriyle kopyalanabilecek iki farklı çözüm sunuyor.

JavaScript'in tanıtımı, herhangi bir web sitesine isteğe bağlı eklemeler yapmak için programlanabilirlik sağladı.

Özellikler. Tarayıcı eklentileri ve uzantılarının tanıtılması, aşağıdakiler için özel yetenekler ekledi:

bunları yüklemek isteyen kullanıcılar. Her iki yaklaşım da bize tüm güvenliğinin yanı sıra modern web'i de kazandırdı

dehşet.

NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 33 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Ethereum, kullanıcıların alt protokolleri sunucuya yerleştirmesine izin vererek önceki yaklaşımı benimsedi.

Ethereum blockchain, smart contracts olarak. Cardano bu özelliği CCL aracılığıyla destekler

paradigma. Peki ya özel uzantılar?

Açıklayıcı bir örnek, bir kripto para tüccarı olabilir. Merkezi olmayan bir pazar yeri hayal edin,

DM adı verilen ve bir dizi farklı kripto para birimini destekleyen. Bir tüccar kendi işlemlerini otomatikleştirmek istiyor

DM'ye etki eden stratejiler.

Parçalanmış bir ekosistemde tüccarın her biri için düzinelerce müşteri kurması gerekir.

kripto para birimini kullanın ve ardından koordinasyon sağlamak için her müşteriyle konuşmak üzere özel yazılım yazın

otomatik ticaret. Bir istemcinin güncellenmesi, özel yazılımın bozulmasına neden olabilir. Ayrıca,

ya tüccar yazılımı satmak isterse?

Çeşitli kripto para birimlerine arayüz oluşturulabiliyorsa, uzantıların web modelinden ilham alınmıştır.

bir web yığınına çekildiğinde tüccarın görevi önemli ölçüde kolaylaşır. Evrensel

arayüz oluşturulabilir. Kurulum tek tıklamayla yapılır. Yazılımın dağıtımı modellenebilir

Chrome web mağazasından sonra.

Cardano için referansımızı dağıtarak bu paradigmayı denemeye karar verdik

Cüzdanın ön ucu Electron'da. Github tarafından sürdürülen ve birleştiren açık kaynaklı bir projedir.

hem Düğüm hem de Chrome birlikte. Cardano'nin Electron yapısının adı Daedalus'tur.

Daedalus'un ilk nesli beklenenlerin çoğunu destekleyen bir HD cüzdan görevi görecek

27 harcama parolaları ve parolalar gibi endüstri standardı olan muhasebe ve güvenlik özellikleri

BIP39. Daha sonraki nesillerde Daedalus, bir mağazaya sahip bir uygulama çerçevesine dönüşecek,

evrensel entegrasyon API'leri ve bir SDK.

Temel yenilikler, programcıların JavaScript kullanmasına izin vererek geliştirme kolaylığıdır.

Uygulamalarını oluşturmak için HTML5 ve CSS3 ve çapraz uygulamalar için birleşik bir köprü

iletişim. Kriptografi, dağıtılmış bir ağı yönetme ve

veritabanı mekaniği soyutlanarak geliştiricinin yalnızca kullanıcıya odaklanmasına izin verilebilir

deneyim ve uygulamalarının temel mantığı.

Daedalus'un evrensel bir çerçeve olması amaçlandığı için yol haritası ve evrimi biraz karmaşıktır.

Cardano'lerden bağımsız. 2017 boyunca sıkı bir şekilde bağlılar, ancak daha sonra Cardano sadece

Daedalus kullanıcısı için başka bir uygulama. Ayrıca son derece benzersiz özellikleri keşfetmeyi de amaçlıyoruz

yalnızca Intel SGX'te çalışan evrensel anahtar yönetimi hizmeti gibi.

27 Daedaluswallet.io'da zaten mevcut
NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 34 / 44

IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Sonuçta protokol tasarımcıları olarak tüm ihtiyaçları destekleyemeyiz. Umudumuz esnekliktir

Daedalus'un CCL üzerinde çalışan durum bilgisi olan smart contract'lerle birlikte sağlayacağı tatmin edici olacaktır

tasarım kararlarımızın dışarıda bıraktığı şeyler. Ayrıca daha iyi standartların ortaya çıkabileceğini umuyoruz.

Tüm kripto para birimlerini daha iyi birlikte çalışabilirlik ve güvenlikten yararlanmaya teşvik edin.

Düzenleme

Yanlış İkilem

Düzenlemeler çoğu zaman değişken ve esrarengiz olabilse de, mecazi olarak zarif bir çıkarım yapılabilir. Yolsuzluk yapanların ve onların adalet arayan savcılarının anlatı döngüsü. Düzenlemeler, kanun getiren. Ancak tüm araçlar gibi bunlar da kaba, eski veya yanlış kullanılmış olabilir.

Kripto para birimleri insanlığın durumunu veya anlatı döngüsünü değiştirmedi. Her zaman olacak en iyi niyetlere rağmen dolandırıcılık, kötü aktörler ve korkunç sonuçlar olabilir. iken Kripto para birimleri insan muhakemesini ortadan kaldırabilir, ancak insan davranışını ortadan kaldıramaz.

Bir kripto para tasarımcısı, düzenleyiciye hangi araç setini sunacağı konusunda bir pozisyon almalıdır. Kötü olayları düzeltin. Kripto para birimlerinin karşılaştığı benzersiz zorluk, bunların bir ürünü olmalarıdır. Düzenleyici ve parasal başarısızlık. 28

Kültürel olarak, kripto para birimlerindeki pek çok kişi hükümet eylemlerinin yozlaşmış, beceriksiz veya etkisiz. Bu nedenle, özel bir arka kapıyı onaylama konusunda çok az saygıları, sabırları veya istekleri vardır. Bir düzenleyicinin veya kanun adamının yanlışları düzeltmesi için. Bu eylem tüm amacına karşı bir lanet olacaktır. kripto para birimleri.

Öte yandan, takas başarısızlıkları ve tarihi olaylar da hesaba katıldığında yüzde 10'dan fazlası Bitcoin, protokolün başladığı 3 Ocak 2009'dan bu yana kayboldu veya çalındı. 30 Haziran itibarıyla, 2017 yılında kaybedilen veya çalınan değer 4 milyar doların biraz üzerine çıktı. Ve bu rakam hesaba katılmıyor Bitcoin ve diğer token'ler dolandırıcılıklara ve kötü biçimlendirilmiş ICO'lara kapıldı.

28 Aslında Satoshi, Bitcoin Genesis Block'a The Times'tan alınan şu başlığı yerleştirdi: The Times 03/Jan/2009 Şansölye bankalar için ikinci kurtarma paketinin eşiğinde NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 35 / 44

IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Sonra gizlilik meselesi var. Makro ölçekte değer, özel kanallar aracılığıyla akar Düzenlenen, meta veriler açısından zengin ve kolluk kuvvetleri ve hükümetler tarafından aktif olarak izlenen ve uluslararası düzenleyiciler. Sızıntının yalnızca ekranda meydana geldiği, iyi anlaşılmış bir oyundur. Dünya dijital paraya geçtikçe işin nakit tarafı giderek azalıyor.

29

Kripto para birimlerinin var olmadığı paradigma, giderek daha fazla ele alınan bir dünya gibi görünüyor. sosyal medya içeriği gibi finansal gizlilik. Hiçbiri yok ve kimse vazgeçemez. bu yüzden biz bariz bir ikilemi doğuran bir ikilem var.

Bir kripto para tasarımcısı ilkelerden vazgeçebilir ve yerelin talep ettiği her şeye boyun eğebilir yargı yetkisi kendi kurallarına göre belirlenir ve böylece gizlilik ve bütünlüğü tehlikeye girer. kullanıcılar. Ya da daha ilkeli ama anarşist bir felsefeyi benimseyebilir. mevcut en iyi uygulamalar ve yasalar.

Cardano için bu anlatının hayal gücü eksikliğinden kaynaklanan yanlış bir ikilem olduğunu düşünüyoruz. Gerçek şu ki çoğu kullanıcı piyasalar için mevcut olan kurallarla ilgilenmiyor. Genellikle Bir veya daha fazla aktörün yararına olacak şekilde kurallarda ani değişiklikler yapılmasından endişe ediliyor. Endişeliler Kimin özel ayrıcalıklara sahip olacağı konusunda şeffaflık eksikliği hakkında.

Bireysel haklarla piyasa haklarını birbirinden ayırmamız gerekiyor. Kripto para birimlerinin sahip olduğu göz önüne alındığında Küresel erişim için hakların mümkün olduğunca kullanıcı odaklı olması gerekir.

Gizlilik makul olmalı ve bir kapı bekçisinin değil, kullanıcının kontrolünde olmalıdır. Değer akışı sınırsız olmalıdır. Değer, rıza olmadan ani hak kaybına tabi tutulmamalıdır.

Pazar açısından bakıldığında, pazarın verilerin kullanımı konusunda şeffaf olması gerekir. fonlar kendi bünyesinde yönetilecek ve herkesin aynı kurallara göre oynaması gerekiyor. Ayrıca, Kullanıcı onay verdikten sonra birdenbire fikrini değiştiremez. rahatsızlık. Karşı tarafların da kesinliğe ihtiyacı var.

Peki soyuttan gerçek sisteme tam olarak nasıl geçilir? Bir şey ne olmalı pratik ve yasal görünüm nasıl? Çözümümüzü üç kategoriye ayırdık: meta veriler, kimlik doğrulama ve uyumluluğun yanı sıra pazar yeri DAOs.

29 Okuyucu, David Wolman'ın The End of Money kitabının bir kopyasını almayı düşünmelidir. Şunları kapsar: Nakit paranın kaybolmasına yönelik uluslararası hareket. NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 36 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Meta veriler

Bir şeyin eylemi çoğu zaman onu çevreleyen meta verilerden daha az ilgi çekici olabilir. için örneğin Denver'dan Boulder'a arabayla gitmek bir harekettir. Denver'dan Boulder'a Ferrari ile gitmek Ortalama 120 MPH'de 488 meta veridir. Kesinlikle bu, bir deneyimden farklı bir deneyim anlamına gelir. Toyota Prius ortalama 30 MPH hızla.

Finansal işlemlerde de durum farklı değil. Onları çevreleyen bağlam olağanüstü ekonomistler, vergi otoriteleri, kolluk kuvvetleri, işletmeler ve diğer kuruluşlar için önemlidir. ne yazık ki Mevcut fiat tabanlı sistemimizde çoğu tüketici, meta verilerinin ne kadar zengin olduğunu asla göremez. işlemlerin kimlerle paylaşıldığı veya kimlerle paylaşıldığı. 30

Cardano için kullanıcıların paylaşıma ihtiyaç duyabileceğini veya yasal olarak gerekli olduğunu kabul ediyoruz vergi makamları gibi belirli aktörlerle işlemsel meta veriler. Ancak bu paylaşımın mutlaka yapılması gerektiğine inanıyoruz. kullanıcının rızasında olmalıdır.

Ayrıca blockchain sistemlerinin sahtekarlığı, israfı ve kötü muameleyi ortadan kaldırma konusunda muazzam bir güce sahip olduğuna inanıyoruz. Denetlenebilirlik, zaman damgası ve değişmezlik sağlayarak kötüye kullanım. Bu nedenle bazı meta veriler olmalıdır Cardano blockchain adresinde yayınlandı.

Zor kısım, blockchain'mızı önemli ölçüde mahkûm etmeyen doğru dengeyi bulmaktır. şişkinlik. Bu kaygıyı göz önünde bulundurarak pragmatik bir yaklaşım seçtik.

İlk olarak Daedalus önümüzdeki 12 ay boyunca etiketlenecek çok çeşitli özellikleri destekleyecektir işlemler ve finansal faaliyetler. Bu meta veriler talep üzerine dışa aktarılabilir ve paylaşılabilir. Kullanıcının gerekli gördüğü kişi. Ayrıca veriler üç tarafça da işlenebilmektedir. alana özgü amaçlara yönelik uygulamalar (örneğin vergi muhasebesi).

İkinci olarak, hashes ve içerebilen özel adresler için destek eklemeyi araştırıyoruz. şifrelenmiş alanlar Bu yapı, bir kullanıcının blockchain adresimize meta veriler göndermesine izin verir. bunu kamuoyuna açıklıyoruz. Ancak veriyi paylaşmak isterse tüm denetlenebilirliği taşıyacaktır. Bir işlemin sahip olduğu değişmezlik ve zaman damgası garantisi.

30 Daha makro ölçekte yazar Juan Zarate, bu verilerin ABD Hazinesi tarafından nasıl kullanıldığı hakkında yazıyor Hazine Savaşı'nda terörle mücadelede bakanlık. nasıl yapıldığına dair kapsamlı bir bakış sağlar. Küresel finans piyasalarının mevcut yapısı jeopolitik amaçlar için kullanılabilir. NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 37 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

We have already deployed an address structure that contains an attribute field. Şu anda being used to store an encrypted copy of HD wallet trees structure for fast wallet recovery (see HD Cüzdan belgeleri). Daha sonraki sürümler bu yapıyı genelleştirecektir.

Kimlik Doğrulama ve Uyumluluk

İşlemlerle yakından bağlantılı olan işlem yapma hakkı konuları ve fonların mülkiyeti. For example, while there might be sufficient funds to buy something (for example alcohol), there could be restrictions on its purchase (age requirements).

Ownership and origin of funds are typically providence of know your customer regulations. When a money service business like a bank or exchange opens an account for a new customer, it is usually required to collect basic facts about the customer and where he acquired his funds itibaren.

Teknolojik zorluk, yasal olarak gerekli olan bu belgeyi gönderme sürecinde information, the user sending it has no guarantee how it will be used, stored and if it will ever be yok edildi. Uyumluluk bilgileri ticari açıdan değerlidir. Kimlik hırsızlığı nedeniyle çalınmış olabilir veya düzenlemelerin izin verdiği yerlerde yeniden satılır.

For Cardano, we want to innovate as much as possible. Protokollerin yazılım tarafında is little to provide a guarantee that the receiver of compliance information will behave within a davranış kapsamı. However, on the hardware side of protocols, using trusted hardware, one can leverage Intel SGX and other HSMs to enforce certain policies.

Thus we are exploring using Sealed Glass Proofs alongside a sharing policy to permit the safe uyumluluk bilgilerinin bir doğrulayıcıya iletilmesi, onun da bu kurallara uymaya zorlanması altında iletildiği politikalar. We believe that both uniform standards could emerge and also that this method will reduce risk to verifiers by preventing the loss of customer data from bilgisayar korsanları.

Bu çabanın bir sonucu olarak, Cardano için değeri birbirinden ayıran katmanlı model hesaplama da bu yaklaşımdan yararlanabilir. Hesaplama katmanı düzenlenmiş bir sistem tarafından çalıştırılıyorsa entities (say exchanges or casinos), then they would need to conduct compliance checks and potansiyel olarak kullanıcılar üzerinde vergi politikasını zorunlu kılabilir.

Kullanıcı, SGP'leri kullanarak kişisel olarak tanımlanabilir bilgilerin yanı sıra para gönderebilir. daha geniş internete sızacağı veya dünyanın fikir birliği düğümleri tarafından korunacağı endişesi NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 38 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

hesaplama katmanı Ayrıca, hesaplama katmanı tüm kullanıcıların İşlemlerin kimliği doğrulanmış ve meşrudur.

Bu paradigma aynı zamanda denetlenen kuruluşlar arasında müşteri taşınabilirliğine de olanak tanır. Değişimler olabilir Müşterilerin bakiyelerini ve hesaplarını bu güvenli kanallar aracılığıyla anında aktarın ve ayrıca — Politikaların izin verdiği durumlarda verileri düzenleyicilerle paylaşın.

Bu teknolojiye ilişkin ilk beta testimizin 2018 ortalarında gerçekleştirilmesini bekliyoruz. Cardano entegrasyonuna doğru 2018 sonu ile 2019 başı arasında araştırma sonuçları bekleniyor. Bu zaman çizelgesi ayrıca kodun çalıştırılmak üzere imzalanması için ARM ve Intel ile işbirliği yapma olanağını da üstleniyor onların donanımı. 31 Pazaryeri DAOs

Önceki iki bölüm, bilginin üretilmesini ve hareketini kapsamaktaydı. bazı dış sistemlerin varlığı. Eski birlikte çalışabilirliği sağlamak için bu özellikler her zaman gerekli olabilir ancak blockchain tabanlı düzenlemeye değinmezler.

Akıllı sözleşmeler, ilişkilerin karşılıklı olduğu tamamen yeni bir tür ticari sistemi mümkün kılar. deterministik, kendi kendini uygulayan ve belirsizlikten uzak. Bunlar sırasıyla kurallar oluşturmak için kullanılabilir. Tahkim, olaya dayalı geri ödemeler gibi keyfi olarak karmaşık yapıları içeren pazar yerleri, ve özel koşullar altında gerçeklerin açığa çıkarılması.

Bu smart contract zorunlu kılınan yapılara Pazaryeri DAOs diyoruz. gerektirmezler deftere yerleştirilecek özel protokol desteği veya değiştirilebilirlik. Aslında tamamen olabilirler birbirine bağımlı smart contract'lerin bir koleksiyonu kullanılarak oluşturulmuştur.

Mimari konsept, ilham alan ticari şablonlardan oluşan bir koleksiyon tasarlamaktır. sözleşme hukuku ve iş dünyasının en iyi uygulamaları. Bu şablonlar bir geliştiricinin smart contract piyasada belirli standartları uygulamak için.

Örneğin, bir geliştiricinin toplu satış gerçekleştirmek için CCL'de bir ERC20 token düzenlemek istediğini varsayalım. bir Pazaryeri DAO, toplu satışlar ve şart ve koşulları için özel olarak oluşturulabilir gönüllü veya yasal standartlar tarafından parametrelendirilmiş ve hatta zorunlu kılınmıştır. Para iadesi gibi şeyler, Fonların yeniden tahsisi veya ödemelerin dondurulması geliştiricinin ERC20'sine aktarılabilir sözleşme.

31 Bkz. Intel SGX Ticari Lisans Politikası NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 39 / 44

IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Bu çaba, bir pazar yerinin nasıl kontrol edilmesi gerektiği konusunda makro bir tartışma yapmamıza olanak tanıyor Tüketicinin korunmasını sağlamak için. İkinci olarak, işlemlerin nasıl modelleneceğini tartışabiliriz. Belirli yetki alanlarında yasal korumayı ve hakları otomatik olarak sağlamanın bir yolu, örneğin New Hampshire.

Cardano Vakfı, IOHK ve diğer kuruluşlarla birlikte çalışan Cardano projesi, smart contract geliştiricilerinin kullanması için Marketplace DAOs referans kitaplığı. Umudumuz şudur sigorta ve düzenleyici piyasalar bu DAO'lerin etrafında şekillenebilir ve bunlar sonuçlara göre kendi kendini geliştirir.

Sürdürülebilirlik

bir daldırma içine the kripto para birimi alan verim birçok kavramsal çelişkiler.

Kripto para birimleri, değiştirilmesi zor olacak şekilde tasarlanmıştır, ancak tüm teknolojiler gibi, değiştirilmeleri de gerekir.

Tasarım kusurlarını ve ilerlemeleri gidermek için değişiklik yapın. Blockchain'lerin önlenmesi amaçlanıyor

Merkezileştirme, ancak değişikliklere liderlik edecek veya kodu sürdürecek güçlü aktörlere ihtiyaç duyar.

Belki de en sinir bozucu deneyim, çoğu kişinin fark ettiği açık eksiklikler olduğunda yaşanır.

Paydaşlar düzeltilmesi gerektiği konusunda hemfikir, ancak ileriye yönelik yolda fikir birliği ortaya çıkamıyor.

Bitcoin'nin blok boyutu tartışması iki yıldan fazla süredir aktif bir konu. Günlük,

Ağın kapasitesinin en yüksek seviyede olması nedeniyle toplamı bir milyar doları aşan işlemler beklemede.

Basit bir parametrenin değiştirilmesi (geçici çözümler olsa bile) mümkün değilse

koordine edilirse, işletmeler ve hükümetler milyarlarca dolarlık yatırım yapma konusunda nasıl rahat hissedebilirler?

Bu sistemlerin üzerine altyapı inşa etmek için dolar mı harcanmalı? Bu bakımdan, herhangi biri nasıl

sorumluluk gerektirmeyen protokolleri entegre etmenin stratejik riskine ilişkin iş kumarı

rasyonel tasarım yükseltmeleri mi yapıyorsunuz?

Tarihe baktığımızda internetin evriminin de benzer bir yol izlediğini görüyoruz.

IPv4'ten IPv6'ya geçiş gibi basit değişikliklerin gerçekleştirilmesi on yıllar alır. Yine de bir şey var

blockchain teknolojisi ile internet arasında güçlü bir fark var;

farklı bir velayet tarzı.

İnternet, DARPA'dan güçlü akademik çevrelere doğru büyüyen askeri bir projeydi.

hükümet desteği ve iyi tanımlanmış bir dizi başlangıç koruyucusu. İnternet altında büyüdü

kurumsal nüfuz entrikaları olmaksızın ticari olmayan koşullar

NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 40 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

ağı tekeline almak. Aslında, e-ticaret NSF AUP'yi 2010'da yürürlükten kaldırılana kadar ihlal ediyordu.

İşletmeler interneti ticarileştirme lüksüne sahip olduklarında, zaten bir

güçlü standartlar, ilkeler ve evanjelist taraftarlar kümesi. Bu gibi şirketleri durdurmadı

AOL ve Microsoft'un duvar bahçeleri inşa etmeye çalışmaktan ve özel teknolojiler yaratmaktan

ActiveX. Bu temel, Google gibi yeni nesil aktörlerin baskı yapmasını engellemedi

muazzam kullanıcı tabanları ve kapitalizasyonları göz önüne alındığında kendi gündemleri.

Kira arayışıyla Tüccarlardan madencilere kadar aktörler, kripto para birimleri son noktadır

32 Ticari amaçlı ekosistemler. Bu temel göz önüne alındığında, vesayetin evrimi

Kripto para birimleri kişisel çıkar etrafında optimizasyonla sonuçlandı.

Örneğin, doğrulamasız madencilik, madencinin performansını iyileştirdiğinden daha sık gerçekleşmeye başlıyor.

kar marjı, ancak bu, madenciliğin tüm amacını ve faydasını tamamen göz ardı ediyor. madencilik

Merkezileşme zaten bir avuç aktörün çoğunluğu kontrol etmesiyle gerçekleşti.

Bitcoin'nin hash gücü.

İnternet gibi, kripto para birimlerinin de değişmesi için fikir birliğine ihtiyaç var. Ama bu kadar hızlıyken

Gücün bir avuç komisyoncunun elinde merkezileşmesi durumunda, değişim gerçekleşmediğinde ne olur?

onlara uygun mu?

İnternetin aksine, çoğu kripto para biriminin önyüklemesi özgecil bir şekilde yapılmaz.

ticari olmayan veya akademik yollarla. Başlangıçtan itibaren bazı gruplar kazanç elde etme peşindedir ve

bu kazanımların sağlanmasına yardımcı olmak için atanmış güç simsarları var.

Merkezileşmenin kurulması, her kripto para biriminin evriminde yüzleşmesi gereken bir gerçektir. Biz

bundan tamamen kaçamaz ama en azından kademeli ademi merkeziyetçilik etrafında tasarlamaya çalışmalıdır.

Cardano için, hangi faktörlerin merkezileşmeyi teşvik ettiğini ve hangi faktörlerin ne olduğunu dikkatlice düşündük.

teknikleri olabilir Protokolümüzün kademeli olarak kamuya açılmasını teşvik etmek için uygulanacaktır

Web gibi bir altyapı.

Biz tamamen itiraf et bu toplam ademi merkeziyetçilik öyle ikisi de imkansız ve belki hatta

verimsiz. Ancak daha dengeli bir sistem oluşturmak için bazı faktörler teşvik edilebilir.

Birincisi, kitlesel satış fonlarının merkezi olarak saklanması çevik ve hızlı bir gelişime olanak sağlarken

Protokolün ilk günlerinde, finansmanın çeşitlenmesi ve hızının artması gerekiyor.

32 Bu terim hakkında daha fazla bilgi için bağlantıya bakın NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 41 / 44IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Kalkınmanın daha sistematik ve bilinçli bir tempoya çekilmesi gerekiyor. Bu noktayı takiben,

finansmanın kültürel, dilsel ve coğrafi önyargılardan kaçınması gerekmektedir.

İkincisi, toplum olayın altında yatan doğa hakkında daha fazla bilgi sahibi oldukça,

Kripto para biriminin teknolojisi nedeniyle yol haritasına ilişkin kararlar bir dizi karara göre merkezileştirilemez.

çekirdek geliştiriciler veya vakıf. Teklif vermek için blockchain tabanlı bir yöntemin olması gerekir,

protokolde yapılan değişiklikleri incelemek ve yürürlüğe koymak.

Üçüncüsü, Cardano SL blockchain'yi sürdürmenin ardındaki teşviklerin doğrudan uyumlu hale getirilmesi gerekir

tüm kullanıcıların toplu arzularıyla. Uzmanlaşmış aktörlerden oluşan bir grubun bunu yapmasına izin veremeyiz.

Daha büyük topluluğun iradesinden bağımsız olanlar ortaya çıkar.

İlk prensip olarak, bir hazine sistemini Cardano'ye entegre etmeyi seçtik. için

ikinci olarak, Cardano İyileştirme Tekliflerini önermek için resmi bir süreç uygulayacağız.

sistem CSL'nin kendisi tarafından koordine edilmektedir. Üçüncü olarak Ouroboros'un zarif bir görünüm sağladığına inanıyoruz.

çözüm.

Yukarıdaki konular hakkında daha fazla ayrıntı sağlanabilir, ancak bunlar kendi başlarına kapsamlıdır ve

bir anket kağıdının kapsamı dışındadır. Mekanizma tasarımı en karmaşık ve

Tamamlanmamış teoriye sahip ve ayakta duracak sağlam bir kanonik model bulunmayan, birbirine bağımlı akademik alanlar

açık.

Aksine, ikinci bölümde açıklanan bilime dayalı yaklaşımımız burada bize çok iyi hizmet ediyor. IOHK'dan Veritas

Ekip, Lancaster Üniversitesi'nden bir grup araştırmacıyla ortaklaşa çalışıyor.

Cardano'nun referans hazine modelini geliştirmek için Profesör Bingsheng Zhang'ın talimatı. ile

2018'deki entegrasyon hedefi doğrultusunda, 2018 yılı sonuna kadar hakemli bir yayının yayınlanmasını bekliyoruz.

Bir kripto para birimi protokolündeki değişikliklerin resmi açıklaması ve incelenmesi için bu konu

hem ontolojik kavramları hem de teşvik edici bir mekanizmayı gerektirdiğinden en az anlaşılan şey

geniş katılım. Belki bir tür temsili demokratik süreç ortaya çıkabilir veya

Daha rasyonel oylama sağlamak için sıvı geri bildirimin kullanılması.

Bu yöndeki araştırmaların IOHK'nun resmi katılımının çoğunu tüketmesini bekliyoruz.

Cardano'nin geliştirilmesi. Başlangıç noktası olarak referans hazinesinin yanında konuşlandıracağız

33 rızayı almak için çeşitli mekanizmalar modelleyin. Kesin bir sonuç için ileri çalışmalara ihtiyaç vardır

çözüm.

33 IOHK, Cardano inşa etmek için 2020'nin sonuna kadar tutuldu NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 42 / 44

IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Son olarak Ouroboros'a yönelik teşviklerin iyileştirilmesine yönelik çalışmalar Profesör Elias tarafından denetleniyor.

Oxford Üniversitesi'nden Koutsoupias. Ouroboros'un kriptografik temelleri oluşturulduktan sonra

gerekli tüm ölçeklenebilirlik çalışmaları, tahviller, cezalar ve egzotikler hakkında daha geniş bir çalışma ile birlikte sağlamlaştırıldı

Referans protokolüne teşvikler eklenecektir.

Çözüm

Bir kripto para birimi, protokollerinin, kaynak kodunun ve yardımcı programının toplamından daha fazlasıdır. Sonuçta bu bir İnsanlara ilham veren, onları mümkün kılan ve birbirine bağlayan sosyal sistem. Yarıdan fazlası hayal kırıklığına uğradı önlemler, başarısızlıklar ve geçmiş protokollerin tutulmayan vaatleri karşısında daha iyi bir şey inşa etmek için yola çıktık.

Bu süreç basit değil ve bitebileceğine de hiç inanmadık. Sosyal protokoller devam ediyor İnsanlar ve toplum değiştikçe süresiz olarak değişiyor. Yararlı olabilmek için, gücü tuzağa düşürmek istiyoruz. evrimi gerçekleştirin ve onu Cardano'ye taşıyın.

Evrim tek bir el ya da büyük bir tasarım tarafından yönlendirilmez. Bu ilham verici bir tesadüf sürecidir bitmek bilmeyen hatalar ve problemlerle. Cardano bu sürecin dijital örneği olmayı amaçlıyor — Günümüzün pazarlarında hayatta kalabilecek kadar formda ve bu pazarlara ayak uydurmak için gelişecek kadar uyarlanabilir geleceğin ihtiyaçları.

Önceki bölümlerde bu hedefe nasıl yaklaştığımıza dair kısa bir bakış sunulmaktadır. Biz Bilişsel önyargıları özenle tanımaya, tarihten ders almaya ve sıkı bir yol izlemeyi denedik. süreç. Hızlı gelişme ihtiyacını resmi yöntemlerle dengelemeye çalıştık. geleneksel olarak hızlı hareket edemez.

Bu yolculuğa çıkmak olağanüstü bir ayrıcalıktı. Geçtiğimiz iki yılda, zaten güvenli olduğu kanıtlanabilen bir proof-of-stake protokolü geliştirdi ve Haskell'den küçük bir ordu kurdu geliştiricilere ve Cardano'nin geliştirilmesini birçok yetenekli bilim insanının ilgi odağı haline getirdi.

Laboratuvardan vahşi doğada konuşlandırılmış bir sisteme geçtikçe, artan acılar yaşanacak. ancak umudumuz Cardano'nin geleceğinin tek bir antropomorfik ifadeyle özetlenebilmesidir cümle. Cardano büyüklerinden öğrenen pragmatik bir hayalperesttir, işinde iyi bir vatandaştır topluluktur ve her zaman faturalarını ödemenin bir yolunu bulur.

NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 43 / 44

IOHK | NEDEN CARDANO'YU İNŞA EDİYORUZ | 06/28/2017

Geleceği bilemeyiz ama onu herkes için daha iyi hale getirmeye çalışmaktan mutluluk duyuyoruz. Okuduğunuz için teşekkürler. NEDEN CARDANO'YU İNŞA EDİYORUZ Creative Commons Atıf 4.0 Uluslararası Lisansı Sayfa 44 / 44