fikir birliği kuralı

Editörün notu: a16z crypto, uzun bir “silahlar” — orijinalimizden kripto kanonu için bizim DAO kuralı ve NFT kuralı için, daha yakın zamanda, bizim Sıfır Bilgi kanonu. Aşağıda, anlamak, daha derine inmek ve birlikte inşa etmek isteyenler için bir dizi kaynak belirledik. fikir birliği: kripto para birimlerinin çalışmasını sağlayan, işlemlerin geçerliliğini ve blok zincirinin yönetişimini belirleyen anlaşma sistemleri.

Mutabakat protokolleri, blockchain dünyasında olup biten her şeyin merkezi bir parçasıdır. Ne yazık ki, literatürü ele almak zor olabilir. Burada, son araştırmalardaki en son gelişmelerden haberdar olmanızı sağlayacak bağlantıların bir listesini veriyoruz.

Tartışılan protokol türüne bağlı olarak aşağıdaki bağlantıları sınıflandıracağız. İlk olarak, mevcut araştırmalara dair harika bir genel bakış sunan bazı genel kaynakların bir listesi. 

Genel kaynaklar

Merkezi Olmayan Düşünceler. Bu blog, Ittai Abraham ve Kartik Nayak tarafından yürütülüyor ancak aynı zamanda diğer önde gelen araştırmacılardan da birçok katkı var. En temelden başlar, ancak son makalelerin basit açıklamalarını da bulabilirsiniz. 

50 sayfada mutabakat. Andrew Lewis-Pye'ın klasik mutabakat literatüründen önemli sonuçları kapsayan notları. Bu bağlantıdaki sürüm yapım aşamasındadır ve sık sık güncellenir. Ayrıca bu notlara dayanan a16z kripto seminerlerine bakın (Bölüm I, Bölüm II). 

Dağıtılmış Fikir Birliği ve Blok Zincirlerinin Temelleri. Elaine Shi'nin ders kitabının ön taslağı.

Blok Zincirlerinin Temelleri. YouTube'da Tim Roughgarden tarafından hazırlanan bir ders dizisi. 

Blockchain Temelleri. David Tse tarafından yazılan proof-of-work ve proof-of-stake protokollerine odaklanan ders notları. 

konsensüs tanımlama

En çok çalışılan üç fikir birliği sorunu, Bizans Yayını, Bizans Anlaşması, ve Durum Makinesi Çoğaltma (blockchain protokollerinin çözdüğü problem). Bu sorunlar arasındaki ilişkinin bir açıklaması için, 50 Sayfadaki Konsensüs'e (yukarıda listelenmiştir) veya Merkezi Olmayan Düşünceler'deki şu bloglara bakın: "Fikir Birliği Nedir?"Ve"Durum Makinesi Çoğaltma için Fikir Birliği".

Bizans Generalleri Sorunu (1982), Leslie Lamport, Robert Shostak ve Marshall Pease tarafından.
Bu makale iyi bilinen "Bizans Generalleri Problemi"ni tanıtmaktadır. Yine de okumaya değer, ancak bazı kanıtların daha iyi versiyonları başka yerlerde bulunabilir. Açık anahtar altyapısı (PKI) verilen herhangi bir sayıda hatalı işlemci için sorunun çözülebileceğinin kanıtı için, Dolev ve Strong'un makalesinde daha basit ve daha verimli bir sürüm bulunabilir (aşağıdaki "eşzamanlı" bölümüne bakın). protokoller"). Bir PKI'nın yokluğunda, işlemcilerin üçte birinden daha azı Bizans hataları göstermediği sürece sorunun çözülemeyeceği şeklindeki ünlü imkansızlık sonucu için Fischer, Lynch ve Merritt'in makalesinde daha anlaşılır bir kanıt bulunabilir (ayrıca aşağıda) . 

Durum Makinesi Yaklaşımını Kullanarak Hataya Dayanıklı Hizmetleri Uygulama: Bir Öğretici (1990), Fred Schneider tarafından.
Blockchain protokolleri tarafından çözülen Durum-Makine-Çoğaltma (SMR) sorununu ele alan bu eski makaleye de bir göz atmalısınız.

Aşağıdaki bağlantılar, dikkate alınan protokol türüne göre kategorilere ayrılmıştır. izin verildiği protokoller (klasik literatürün çoğunda kabul edildiği gibi). İzin verilen protokoller, protokolün yürütülmesinin başlangıcından itibaren tüm katılımcıların bilindiği protokollerdir. Aşağıdaki bağlantılarda, izin verilen protokoller ayrıca mesaj güvenilirliği modeline göre sınıflandırılır: senkron, kısmen senkronizeya da eşzamanlı olmayan.  Bu terimlerin bir açıklaması için bkz.: “Eşzamanlı, Eşzamansız ve Kısmi Eşzamanlı” Merkezi Olmayan Düşüncelerde. Farklı modellerde elde edilen sonuçların bir özeti için bkz. Merkezi Olmayan Düşünceler Hile Sayfası.

senkron protokoller

Mesaj iletiminin güvenilir olduğu, yani mesajların her zaman iletildiği ve mesaj teslimatı için maksimum süre üzerinde bilinen sınırlı bir sınırın olduğu "eşzamanlı" ayardayız. Resmi bir tanım için yukarıda verilen bağlantılara bakın. 

Bizans Anlaşması için Doğrulanmış Algoritmalar (1983), Danny Dolev ve H. Raymond Strong.
Burada iki önemli kanıt var. Bir ortak anahtar altyapısı (PKI) verilen herhangi bir sayıda hatalı işlemci için Bizans Yayınını çözebileceğine dair bir kanıt var. Bunun başka bir açıklaması için bkz.Dolev-Strong Kimliği Doğrulanmış Yayın” Merkezi Olmayan Düşüncelerde. Bunun da bir kanıtı var f + 1 Bizans Yayınını çözmek için turlar gereklidir, eğer f işlemciler arızalı olabilir Daha basit bir kanıt için bkz. t-Dirençli Mutabakatın t+1 Tur Gerektirdiğinin Basit Bir Bivalens Kanıtı Marcos Aguilera ve Sam Toueg tarafından. 

Dağıtılmış Mutabakat Problemleri için Kolay İmkansızlık Kanıtları (1986) Michael Fischer, Nancy Lynch ve Michael Merritt tarafından.
Bunu kapsayan son konuşmalara da bakın. Andrew Lewis-Pye ve Tim Kaba Bahçe. 

Bizans Anlaşması İçin Bilgi Alışverişinin Sınırları (1985), Danny Dolev ve Rüdiger Reischuk tarafından.
Yok o fikir birliği literatüründe birçok imkansızlık kanıtı biçimi. Bu fikir birliği sorunlarını çözmek için gönderilmesi gereken mesaj sayısına nasıl bir alt sınır konulacağını gösteren önemli bir tanesidir. 

Makaleden “Faz Kralı Protokolü” Bit Optimal Dağıtılmış Mutabakat (1992), Piotr Berman, Juan Garay ve Kenneth Perry tarafından.
PKI olmadan senkronize ortamda Bizans Anlaşmasını çözen bir protokol görmek istiyorsanız, bu muhtemelen en bilgilendirici olanıdır. Bunu açıkça açıklayan yeni bir blog gönderisi için bkz.Gradecast'in merceğinden Phase-King: Basit, kimliği doğrulanmamış, senkronize bir Bizans Anlaşması” Merkezi Olmayan Düşüncelerde.

Kısmen senkronize protokoller

Kabaca, mesaj iletiminin bazen güvenilir bazen de güvenilir olmadığı “kısmen senkronize” ayarındayız. Protokoller her zaman "güvenliği" sağlamak için gereklidir, ancak yalnızca mesaj iletiminin güvenilir olduğu aralıklarla "canlı" olmaları gerekir. Bunu modellemenin standart yolu, mesajların her zaman bilinen bir zaman sınırı içinde teslim edileceği bilinmeyen bir "Küresel Stabilizasyon Süresi"nin (GST) var olduğunu varsaymaktır. Resmi bir tanım için yukarıdaki kutudaki bağlantılara bakın. 

Kısmi Eşzamanlılığın Varlığında Uzlaşma (1988), Cynthia Dwork, Nancy Lynch ve Larry Stockmeyer tarafından.
Bu, kısmen eşzamanlı ayarı tanıtan ve önemli sonuçların çoğunu kanıtlayan klasik makaledir. 

BFT mutabakatıyla ilgili Son Dedikodu (2018), Ethan Buchman, Jae Kwon ve Zarko Miloseviç tarafından.
Doğru sunum göz önüne alındığında, Tendermint protokolü (bu yazıda açıklanan) yeterince basittir ve kısmen senkronize ortamda State-Machine-Replication'ı öğrenmenin iyi bir yoludur. 50 sayfalık Consensus'ta (yukarıya bakın) çok basit bir sunum bulunabilir ve ayrıca konuşmalarda net sunumlar vardır. Andrew Lewis-Pye ve Tim Kaba Bahçe. 

Streamlet: Ders Kitabı Kolaylaştırılmış Blok Zincirleri (2020), Benjamin Chan ve Elaine Shi tarafından.
Bu belge, öğretilmesi kolay olacak şekilde özel olarak tasarlanmış bir blockchain protokolünü açıklamaktadır. Bununla ilgili Elaine Shi'nin bir dersini bulabilirsiniz. okuyun. 

Casper Dost Sonu Gadget'ı (2017), Vitalik Buterin ve Virgil Griffith tarafından.
Bu, Ethereum'un hisse ispatına yönelik mevcut yaklaşımının bel kemiğini oluşturan protokoldür. Esasen Tendermint'in "zincirlenmiş" bir versiyonudur. "Zincirleme" açıklaması için aşağıda listelenen Hotstuff makalesine bakın. 

HotStuff: Blockchain Objektifinde BFT Konsensüsü (2018), Maofan Yin, Dahlia Malkhi, Michael K. Reiter, Guy Golan Gueta ve Ittai Abraham.
Bu, esasen Facebook'un Libra projesinin (Diem olarak yeniden adlandırıldı) başlangıçta uygulamayı amaçladığı protokoldü. Tendermint'e göre avantajı, protokolün iyimser duyarlı, bu, liderler dürüst olduğunda, yani onaylanmış her bloğu üretmek için önceden tanımlanmış bir minimum süre harcama zorunluluğu olmadığında, onaylanmış blokların "ağ hızında" üretilebileceği anlamına gelir. Ayrıca Ittai Abraham'ın bu konudaki konuşmasını da izleyebilirsiniz. okuyun. 

Beklenen Lineer Yuvarlak Senkronizasyon: Lineer Bizans SMR'si için Eksik Halka (2020), Oded Naor ve Idit Keidar tarafından.
Bu makale, Hotstuff'ın "görünüm senkronizasyonu" için herhangi bir verimli mekanizma oluşturmaması sorununu ele almaktadır. Bu blog Dahlia Malkhi ve Oded Naor tarafından yazılan, görünüm senkronizasyonu sorunu üzerine çalışmaya genel bir bakış sunar. Ayrıca bakınız bu daha fazla optimizasyon Andrew Lewis-Pye ve Ittai Abraham tarafından.

Paxos Basitleştirildi (2001), Leslie Lamport tarafından.
Tendermint gibi en yeni blockchain protokollerine doğrudan atlamak istemiyorsanız, bir alternatif olarak (Bizans başarısızlıklarıyla ilgilenmeyen) Paxos ile başlayıp ardından listemizdeki bir sonraki bağlantı olan PBFT'ye geçebilirsiniz. (ve hangisi yapar). 

Pratik Bizans Hata Toleransı (1999), Miguel Castro ve Barbara Liskov tarafından.
Bu, klasik PBFT protokolüdür. Barbara Liskov'un protokol hakkında harika bir konuşması bulunabilir. okuyun.

Eşzamansız protokoller

"Eşzamansız" ayarda, mesajların ulaşması garanti edilir, ancak herhangi bir sınırlı süre alabilir. Resmi bir tanım için yukarıdaki kutudaki bağlantılara bakın. 

Bir Hatalı Süreçle Dağıtılmış Uzlaşmanın İmkansızlığı (1985) Michael Fischer, Nancy Lynch ve Michael Paterson tarafından.
FLP Teoremi (adını yazarlardan almıştır) mutabakat protokolleri literatüründeki muhtemelen en ünlü imkansızlık sonucudur: Hiçbir deterministik protokol, tek bir bilinmeyen işlemcinin bile arızalı olabileceği eşzamansız ortamda Bizans Anlaşmasını (veya SMR'yi) çözemez. Tim Roughgarden'ın bir dersinde güzel bir sunum bulabilirsiniz. okuyun. 

"Bracha's Broadcast" ilk olarak gazetede yayınlandı Asenkron Bizans Anlaşması Protokolleri (1987), Gabriel Bracha tarafından.
FLP imkansızlık teoremini aşmanın bir yolu, sonlandırma gereksinimini zayıflatmaktır. Bracha's Broadcast, yayıncının arızalanması durumunda sonlandırmayı gerektirmeyen daha zayıf bir Bizans Yayını biçimini çözerek eşzamansız ortamda çalışan deterministik bir protokoldür. Bracha'nın Yayını ilk olarak yukarıdaki yazıda görünse de, yazı aynı zamanda yayın protokolünün rastgelelik yardımıyla Bizans Anlaşmasını çözmek için nasıl kullanılacağını gösteriyor. Sadece Bracha'nın Yayınını öğrenmek istiyorsanız, net bir sunum bulunabilir. okuyun.

FastPay: Yüksek Performanslı Bizans Hata Toleranslı Yerleşim (2020), Mathieu Baudet, George Danezis ve Alberto Sonnino tarafından.
Bu makale, güvenilir yayın kullanılarak (ve toplam sıralama oluşturmaya gerek kalmadan) eşzamansız ortamda bir ödeme sisteminin nasıl uygulanacağını açıklamaktadır. 

Eşzamansız ortamda Bizans Anlaşmasını veya SMR'yi gerçekten çözmeniz gerekiyorsa, FLP sonucu bir çeşit rastgelelik kullanmanız gerektiği anlamına gelir. Bracha'nın makalesinin yanı sıra (yukarıda listelenmiştir), aşağıdaki iki bağlantı, Bizans Anlaşmasının rasgelelik kullanılarak nasıl çözüleceğini açıklayan literatürdeki klasiklerdir: 

1. Serbest Seçimin Bir Diğer Avantajı: Tamamen Asenkron Anlaşma Protokolleri (1983), Michael Ben-Or
2. Konstantinopolis'teki Rastgele Kahinler: Kullanan Pratik Eşzamansız Bizans Anlaşması Kriptografi (2005), Christian Cachin, Klaus Kursawe ve Victor Shoup

Optimal Esneklik ve Asimptotik Olarak Optimal Zaman ve Kelime İletişimi ile Doğrulanmış Eşzamansız Bizans Anlaşması (2018), Ittai Abraham, Dahlia Malkhi ve Alexander Spiegelman tarafından.
Eşzamansız ortamda SMR'nin (ve Bizans Anlaşmasının) nasıl çözüleceğini anlamanın alternatif bir yolu, Hotstuff'ı değiştiren yukarıdaki makaleye atlamaktır. Hotstuff'ı zaten anlıyorsanız, değişiklik oldukça basittir. Eşzamansız ortamda standart Hotstuff çalıştırılamaz çünkü bir lider seçildikten sonra, düşman o liderden gelen mesajları engelleyebilir. Dürüst taraflar, liderin dürüst olup olmadığını ve mesaj gönderip göndermediğini veya liderin dürüst olup mesajlarını geciktirip geciktirmediğini bilmedikleri için, sonunda başka bir yol denemek ve ilerlemek zorunda kalırlar. Sorunu çözmek için, tüm tarafların aynı anda lider olarak hareket etmesini sağlıyoruz. Tarafların büyük bir çoğunluğu Hotstuff protokolünün standart bir "görünümünü" başarıyla tamamladığında, geriye dönük olarak rastgele bir lider seçeriz. Onaylanmış bir blok oluşturdularsa, geri kalanını atarak onu kullanırız. 

Dumbo-MVBA: Optimal Çok Değerli Doğrulanmış Asenkron Bizans Anlaşması, Yeniden Ziyaret Edildi (2020), Yuan Lu, Zhenliang Lu, Qiang Tang ve Guiling Wang.
Bu makale, Abraham, Malkhi ve Spiegelman tarafından yazılan bir öncekini optimize ederek beklenen iletişim karmaşıklığını azaltır. 

BFT Protokollerinin Bal Porsuğu (2016), Andrew Miller, Yu Xia, Kyle Croman, Elaine Shi ve Dawn Song tarafından.

Optimal Kimliği Doğrulanmış bir Bizans Anlaşması Arayışında (2020), Alexander Spiegelman tarafından.
Eşzamansız protokollerin avantajı, mesaj iletimi güvenilir olmadığında bile ilerleme kaydedebilmeleridir. Bir dezavantaj, ağ koşulları iyi olduğunda iletişim maliyetlerinin (çeşitli şekillerde) optimal olmamasıdır. Yukarıdaki makale, "her iki dünyanın da en iyisini ne ölçüde elde edebiliriz" sorusunu ele almaktadır. 

DAG protokolleri

İzin verilen DAG tabanlı protokoller üzerinde son zamanlarda bir çalışma telaşı var. Bunlar, doğrulanmış blok kümesinin doğrusal olarak sıralanmak yerine yönlendirilmiş bir asiklik grafik oluşturduğu protokollerdir. Genel olarak, bunlar ya eşzamansız ya da kısmen eşzamanlı ayarlarda çalışır. 

Bu a16z kripto seminerinde Andrew Lewis-Pye, Genel Bakış DAG tabanlı konsensüs.

Aşağıdaki dört makale, işlemlerde verimli bir toplam sipariş elde eden DAG protokollerini açıklamaktadır. DAG-Rider, eşzamansız ortamda çalışır ve Cordial Miners'a benzer ancak daha yüksek gecikme süresine ve daha düşük beklenen (amortize edilmiş) iletişim karmaşıklığına sahiptir. Narwhal bir mempool protokolüdür ve Tusk, Narwhal üzerinde çalışan ve DAG-Rider'ın verimliliğini belirli açılardan artıran bir SMR protokolüdür. Bullshark benzerdir, ancak bunlar kısmen senkronize ayarda meydana geldiğinde iyi ağ koşullarından yararlanmak için optimize edilmiştir. 

Tek İhtiyacınız Olan DAG (2021), Idit Keidar, Lefteris Kokoris-Kogias, Oded Naor ve Alexander Spiegelman.
Bu, DAG-Rider protokolünü tanıtan belgedir. 

Narwhal ve Tusk: DAG tabanlı bir Mempool ve Verimli BFT Konsensüsü (2022) tarafından George Danezis, Lefteris Kokoris-Kogias, Alberto Sonnino ve Alexander Spiegelman.

Bullshark: DAG BFT Protokolleri Pratik Hale Getirildi (2022), Alexander Spiegelman, Neil Giridharan, Alberto Sonnino ve Lefteris Kokoris-Kogias.

Samimi Madenciler: Her Olasılık İçin Blocklace Tabanlı Sipariş Mutabakat Protokolleri (2022), Idit Keidar, Oded Naor ve Ehud Shapiro.
Merkezi olmayan bir ödeme sistemi uygulamak için aslında bir blok zincirine ihtiyaç duyulmaması eğlenceli bir gerçektir - ikincisi kesinlikle daha kolay bir iştir (bkz. Bu kağıt bir kanıt için). İşlemlerde toplam siparişin nasıl oluşturulacağını analiz etmeden önce, Cordial Miners'ın yukarıdaki makalesi, ödemeleri eşzamansız ortamda başarıyla uygulayan deterministik (ve çok zarif) bir DAG protokolünü açıklar. 

İzinsiz protokoller 

İzinsiz protokoller, izinsiz girişe sahip olanlardır: Fikir birliğine varma sürecinde herkes katılmakta özgürdür ve hatta protokol yürütme sırasında herhangi bir noktada katılımcı grubu bilinmiyor olabilir. 

Bitcoin: Eşler Arası Elektronik Nakit Sistemi (2008), Satoshi Nakamoto tarafından.
Bunu duymuşsundur. Burada da bir blog yazısı Çalışma kanıtı gibi protokolün farklı yönlerine olan ihtiyacı ve ağ senkronizasyonunun protokolde nasıl bir rol oynadığını sezgisel olarak analiz eden Kartik Nayak tarafından. 

Bitcoin ve Cryptocurrency Teknolojileri (2016), Arvind Narayanan, Joseph Bonneau, Edward Felten, Andrew Miller ve Steven Goldfeder tarafından.
Bu ders kitabı, uzayda yeni olanlar için Bitcoin'e güzel bir giriş sağlar. ilgili de var ücretsiz Coursera kursu. 

Daha teknik bir düzeyde, aşağıdaki üç makale, biraz farklı modelleme varsayımları kullanarak Bitcoin için güvenliği ve canlılığı analiz ediyor. “Bitcoin Backbone” makalesi en ünlüsüdür. Ağır gösterim, okumayı zorlaştırır, ancak ispatın arkasındaki temel fikir, başlangıçta göründüğü kadar karmaşık değildir. Dongning Guo ve Ling Ren'in ispatı temel fikirleri açıklıyor ve daha kısa ve basit. 

1. Bitcoin Omurga Protokolü: Analiz ve Uygulamalar (2015), Juan Garay, Aggelos Kiayias ve Nikos Leonardos.
2. Asenkron Ağlarda Blockchain Protokolünün Analizi (2017), Rafael Pass, Lior Seeman ve Abhi Shelat tarafından.
3. Bitcoin'in Gecikme-Güvenlik Analizi Basitleştirildi (2022), Dongning Guo ve Ling Ren tarafından.

Her Şey Bir Yarıştır ve Nakamoto Daima Kazanır (2020) tarafından Amir Dembo, Sreeram Kannan, Ertem Nusret Taş, David Tse, Pramod Viswanath, Xuechao Wang ve Ofer Zeitouni.
Bu yazıda, yazarlar, daha uzun bir zincir oluşturmak için yarışmanın en bariz saldırısının en etkili olduğunu göstererek çalışan Bitcoin için zarif bir güvenlik analizi gerçekleştiriyor. Analiz ayrıca Ouroboros, SnowWhite ve Chia'yı da kapsar (tümü aşağıda listelenmiştir). 

Ardından, aşağıdaki üç makale, Bitcoin'e ve eski çalışma kanıtı Ethereum'a yönelik farklı saldırı biçimlerini açıklamaktadır. 

Çoğunluk Yeterli Değil: Bitcoin Madenciliği Savunmasız (2014), Ittay Eyal ve Emin Gün Sirer.
Bu, iyi bilinen "bencil madencilik" gazetesidir. 

Bitcoin'in Eşler Arası Ağına Eclipse Saldırıları (2015) Ethan Heilman, Alison Kendler, Aviv Zohar ve Sharon Goldberg tarafından.

Ethereum'un Eşler Arası Ağına Düşük Kaynaklı Eclipse Saldırıları (2018), Yuval Marcus, Ethan Heilman ve Sharon Goldberg tarafından.

FruitChains: Adil Bir Blockchain (2017), Rafael Pass ve Elaine Shi tarafından.
Yukarıdaki makale, bencil madencilik konusuna bir yanıttır. Yazarlar, madenciler için dürüst stratejinin yaklaşık bir denge şekli olduğu bir protokol tanımlamaktadır. 

Prizma: Fiziksel Sınırlara Yaklaşmak İçin Blok Zincirinin Yapısını Bozmak (2019), Vivek Bagaria, Sreeram Kannan, David Tse, Giulia Fanti ve Pramod Viswanath tarafından.
Bitcoin'de bloklar, işlemleri listelemek için kullanılmaları anlamında ve aynı zamanda blok sıralamasında fikir birliğine varma anlamında birden fazla rol oynar. Yukarıdaki makalede, yazarlar Nakamoto'nun blok zincirini temel işlevlerine göre yeniden yapılandırıyor ve yüksek verim ve düşük gecikme ile bir çalışma kanıtı protokolünün nasıl oluşturulacağını gösteriyor.

Aşağıdaki iki makale, kanıtlanabilir garantilerle en uzun zincirli stake-of-stake protokollerinin nasıl uygulanacağını göstermektedir. 

1. Ouroboros: Kanıtlanabilir Güvenli Bir Proof-of-Stake Blockchain Protokolü (2017), Aggelos Kiayias, Alexander Russell, Bernardo David ve Roman Oliynykov tarafından.
2. Pamuk Prenses: Proof of Stake'i Kanıtlanabilir Şekilde Güvenli Hale Getirmek İçin Sağlam Bir Şekilde Yeniden Yapılandırılabilir Mutabakat ve Uygulamalar (2019), Phil Daian, Rafael Pass ve Elaine Shi tarafından.

Algorand: Kripto Para Birimleri İçin Bizans Anlaşmalarını Ölçeklendirme (2017) tarafından Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos ve Nickolai Zeldovich.
Bu makale, klasik bir BFT tarzı protokolün bir risk kanıtı protokolü olarak nasıl uygulanacağını göstermektedir. Burada Algorand hakkında bir konuşma Silvio Micali'nin fotoğrafı.

GHOST ve Casper'ı birleştirmek (2020) Vitalik Buterin, Diego Hernandez, Thor Kamphefner, Khiem Pham, Zhi Qiao, Danny Ryan, Juhyeok Sin, Ying Wang ve Yan X Zhang.

Proof-of-Stake Ethereum'a Üç Saldırı (2022), Caspar Schwarz-Schilling, Joachim Neu, Barnabé Monnot, Aditya Asgaonkar, Ertem Nusret Taş ve David Tse.
Ethereum'un mevcut sürümünün daha fazla analize ihtiyacı var. Bu yazıda bazı saldırılar açıklanmaktadır. 

Chia Ağı Blok Zinciri (2019), Bram Cohen ve Krzysztof Pietrzak tarafından.
Bu makale, uzay ve zaman kanıtını kullanarak en uzun zincir protokolünün nasıl oluşturulacağını göstermektedir.

İzinsiz Ortamda Bizans Generalleri (2021), Andrew Lewis-Pye ve Tim Roughgarden tarafından.
Bu makalede, yazarlar, izinsiz protokollerin analizi için, izinsiz protokoller için imkansızlık sonuçlarını kanıtlamak gibi şeyler yapmaya ve çalışma kanıtı ve risk kanıtı protokollerinin genel yeteneklerini açıkça tanımlamaya izin veren bir çerçeve geliştiriyor. . 

***

Andrew Lewis-Pye London School of Economics'te profesördür. Matematiksel mantık, ağ bilimi, popülasyon genetiği ve blockchain dahil olmak üzere çeşitli alanlarda çalıştı. Son dört yıldır araştırma odağı, başlıca ilgi alanlarının mutabakat protokolleri ve tokenomik olduğu blok zinciri üzerine odaklanmıştır. Onu Twitter'da bulabilirsiniz @AndrewLewisPye .

Teşekkür: Birçok tLing Ren'e teşekkürler, İtai İbrahim, Kartik Nayak, valeria nikolaenko, Alexander Spiegelman, ve Mathieu Baudet Yararlı öneriler için. 

***

Burada ifade edilen görüşler, alıntı yapılan bireysel AH Capital Management, LLC (“a16z”) personelinin görüşleridir ve a16z veya iştiraklerinin görüşleri değildir. Burada yer alan belirli bilgiler, a16z tarafından yönetilen fonların portföy şirketleri de dahil olmak üzere üçüncü taraf kaynaklardan elde edilmiştir. a16z, güvenilir olduğuna inanılan kaynaklardan alınmış olsa da, bu tür bilgileri bağımsız olarak doğrulamamıştır ve bilgilerin kalıcı doğruluğu veya belirli bir duruma uygunluğu hakkında hiçbir beyanda bulunmaz. Ayrıca, bu içerik üçüncü taraf reklamlarını içerebilir; a16z, bu tür reklamları incelememiştir ve burada yer alan herhangi bir reklam içeriğini onaylamaz.

Bu içerik yalnızca bilgilendirme amaçlıdır ve yasal, ticari, yatırım veya vergi tavsiyesi olarak kullanılmamalıdır. Bu konularda kendi danışmanlarınıza danışmalısınız. Herhangi bir menkul kıymete veya dijital varlığa yapılan atıflar yalnızca açıklama amaçlıdır ve yatırım tavsiyesi veya yatırım danışmanlığı hizmetleri sağlama teklifi teşkil etmez. Ayrıca, bu içerik herhangi bir yatırımcıya veya muhtemel yatırımcılara yönelik değildir veya bu içerik tarafından kullanılması amaçlanmamıştır ve a16z tarafından yönetilen herhangi bir fona yatırım yapma kararı verilirken hiçbir koşulda bu içeriğe güvenilemez. (Bir a16z fonuna yatırım yapma teklifi, yalnızca tahsisli satış mutabakatı, abonelik sözleşmesi ve bu tür bir fonun diğer ilgili belgeleri ile yapılacaktır ve bunların tamamı okunmalıdır.) Bahsedilen, atıfta bulunulan veya atıfta bulunulan herhangi bir yatırım veya portföy şirketi veya a16z tarafından yönetilen araçlara yapılan tüm yatırımları temsil etmemektedir ve yatırımların karlı olacağına veya gelecekte yapılacak diğer yatırımların benzer özelliklere veya sonuçlara sahip olacağına dair hiçbir garanti verilemez. Andreessen Horowitz tarafından yönetilen fonlar tarafından yapılan yatırımların bir listesi (ihraççının a16z'nin kamuya açıklanmasına izin vermediği yatırımlar ve halka açık dijital varlıklara yapılan habersiz yatırımlar hariç) https://a16z.com/investments adresinde bulunabilir. /.

İçerisinde yer alan çizelgeler ve grafikler yalnızca bilgilendirme amaçlıdır ve herhangi bir yatırım kararı verirken bunlara güvenilmemelidir. Geçmiş performans gelecekteki sonuçların göstergesi değildir. İçerik yalnızca belirtilen tarih itibariyle konuşur. Bu materyallerde ifade edilen tüm tahminler, tahminler, tahminler, hedefler, beklentiler ve/veya görüşler önceden bildirilmeksizin değiştirilebilir ve farklı olabilir veya başkaları tarafından ifade edilen görüşlere aykırı olabilir. Ek önemli bilgiler için lütfen https://a16z.com/disclosures adresine bakın.

• SEO Destekli İçerik ve Halkla İlişkiler Dağıtımı. Bugün Gücünüzü Artırın.
• Plato blok zinciri. Web3 Metaverse Zekası. Bilgi Güçlendirildi. Buradan Erişin.
• Kaynak: https://a16zcrypto.com/consensus-canon/