Saya tahu saya tahu. Terdapat banyak projek crypto, terdapat banyak konsensus: berdasarkan buruh dan pemilikan, emas, minyak, pai bakar (ada satu, ya, ya). Apa lagi yang kita perlukan daripada satu? Inilah yang saya cadangkan untuk dibincangkan selepas membaca terjemahan dokumentasi teknikal "ringan" bagi *projek Constellation (). Sudah tentu, ini bukan penerangan lengkap tentang algoritma, tetapi saya berminat dengan pendapat komuniti Habr, adakah terdapat tempat untuk konsensus sedemikian "menjadi" atau adakah ia tidak perlu?
Tidak banyak lagi surat, jadi jika anda hanya mahu menulis "wow, sebanyak yang anda boleh tentang kripto," maka sila elakkan. Jika anda berminat dengan perkembangan baru dalam bidang sistem teragih dan mempunyai sesuatu untuk dikongsi dalam komen, sila rujuk kucing.
PS Saya bukan pengarang teknologi, saya tidak dapat menjamin pemindahan intipati sepenuhnya, jadi saya akan gembira menerima komen dengan pindaan, jika ada.
Evolusi daripada konsensus segerak kepada tidak segerak
Nod dipilih menggunakan proses deterministik (yang sama digunakan dalam DHT seperti bittorrent) yang secara dinamik melaraskan tanggungjawab nod untuk "memudahkan" pengesahan atau, lebih difahami, untuk mencapai konsensus. Kami memilih kumpulan 3 nod dan menjalankan pusingan konsensus secara selari supaya satu nod boleh menjadi fasilitator dalam berbilang blok. Ini membolehkan kami memproses urus niaga secara tidak segerak, yang pada asasnya bermakna kami mempunyai berbilang rantaian blok yang dibentuk pada masa yang sama. Prosesnya seperti sarang labah-labah, dibentuk oleh banyak benang, berbanding nod yang membentuk rantai tunggal dari masa ke masa. Pemprosesan tak segerak atau selari adalah asas pengaturcaraan berskala kerana ia membenarkan penggunaan semua sumber komputer, mempercepatkan pengkomputeran keseluruhan. Rangkaian ini dipanggil graf asiklik terarah atau DAG dalam sains komputer.
Lebar saluran rantaian linear berbanding kesan pendaraban DAG di mana kita mempunyai beberapa rantaian selari.
Pelaksanaan geometri blok linear terhadap DAG. Titik hitam adalah blok, titik putih adalah nod
Kami menggunakan 3 nod dalam setiap pusingan konsensus kerana ia memberi kami beberapa proses matematik yang menarik untuk membuat penaakulan tentang keadaan, membentuk "satah permukaan" merentasi data dalam bentuk segi tiga bersambung. Protokol kemudian menggunakan segi tiga untuk mencantumkan permukaan optimum yang tidak mengandungi data berlebihan atau tidak konsisten dan mempunyai segi tiga terkecil yang mungkin. Secara algoritma, ini adalah analog kepada "potongan minimum" graf, dan secara matematik, ia adalah analog kepada fungsi derivatif atau pengoptimuman (dari mana fungsi itu mencari laluan terpendek yang boleh dilalui di sepanjang permukaan). Laluan terpendek ini bersamaan dengan menyimpan data (urus niaga) secara optimum dalam DAG. βJubinβ segi tiga yang bercanggah supaya permukaan acara itu licin dan bebas daripada konflik.
Pelaksanaan geometri pengesanan/pengendalian konflik. Blok bercanggah mencipta jubin permukaan tambahan. Kami mengalih keluar jubin permukaan tambahan untuk mengekalkan permukaan acara yang rata (= bebas konflik).
Konsensus berdasarkan reputasi
Dalam sistem reputasi p2p terdesentralisasi yang optimum, setiap nod harus dapat menentukan secara bebas kepercayaannya pada nod lain. Sistem kami menggunakan model khas yang merangkumi perhubungan transitif, atau perhubungan yang dimiliki oleh nod dengan nod lain, apabila memberikan skor global. "Anda hanya sebaik syarikat anda." Hasil akhirnya ialah "skew" atau kecerunan berdasarkan kepercayaan transitif atau reputasi merentas semua nod dalam $DAG atau saluran biasa. Ini boleh dianggap sebagai berus atau parutan keju yang memadam merentas "satah permukaan" dan memilih "jubin segi tiga" yang hendak dipadamkan dan yang hendak ditinggalkan. Beginilah cara logik konflik sebenarnya membuang "jubin segi tiga".
DAG dengan jubin bercanggah melalui ruang "melengkung" yang merupakan kecerunan, serupa dengan parutan keju, dan akan mengeluarkan atau "memadamkan" jubin bercanggah.
Penskalaan separa/penuh nod
Dalam teori rangkaian, biasanya peruntukan optimum dikenali sebagai "bebas skala," yang boleh digambarkan sebagai susunan hierarki dengan nod pusat yang besar menguruskan banyak nod persisian yang lebih kecil. Pengedaran ini boleh dilihat secara semula jadi dan, terutamanya, di Internet. Buruj menggunakan seni bina ini untuk "mengecilkan", atau meningkatkan daya pemprosesan atau lebar Graf kami.
Kesan pembahagian hierarki. Kita boleh menambah lebih banyak nod dengan meningkatkan lebar jalur
Hylochain - Sokongan aplikasi berasaskan saluran
Pendekatan kami terhadap sokongan aplikasi boleh dianggap sebagai "platform kontrak pintar terdesentralisasi." Daripada rangkaian pusat yang menjalankan semua logik dan memproses semua data daripada aplikasi, Constellation menyelaraskan data aplikasi dengan "saluran rumah," yang boleh dianggap sebagai stesen televisyen yang menyiarkan semua data daripada sistem rumah. Setiap saluran kakitangan boleh melaksanakan logik pengesahannya sendiri untuk menyelesaikan masalah oracle melalui pengesahan hujung ke hujung pengeluar data dan pengesahan transitif sistem kakitangan komposit. Rangkaian saluran negeri menyediakan sokongan selari untuk aplikasi, mempercepatkan masa pakai yang dihadkan oleh konsensus segerak tradisional dalam rangkaian kontrak pintar.
Dua saluran standard yang "serasi" melalui rangkaian $DAG. Mereka boleh berinteraksi atau ditafsirkan kerana kedua-duanya "bersepadu" dengan $DAG dengan menggunakan nod $DAG + Saluran hibrid.
Sebab ia dipanggil Hylochain adalah kerana pendekatan kami terhadap sokongan aplikasi menggunakan model pengaturcaraan berfungsi Skim Rekursi untuk mencipta antara muka MapReduce. Khususnya, skim rekursi Hylomorphism dan Metamorphism boleh disepadukan untuk mencipta pertanyaan yang boleh disahkan dan menstrim sambungan melalui saluran asli dengan mengesahkan jenis data algebra dengan cara yang sama seperti kod op untuk kontrak pintar disahkan. Hasil akhirnya ialah antara muka MapReduce berfungsi yang biasa kepada jurutera data dan serasi dengan teknologi data besar sedia ada.
Hylomorphic dan Metamorphic ialah saluran standard untuk kontras. Dalam keadaan metamorf, data daripada dua saluran biasa dihantar ke blok dalam saluran meta. Di Gilo, kami mengambil keadaan saluran sebelumnya dan menggunakannya untuk bertanya (menanyakan soalan khusus) dua saluran lain, dan kemudian menyimpan hasil pertanyaan dalam blok.
Tokenomik dan kaitannya dengan Hylochain
Setelah saluran asli dibuat, ia boleh disepadukan ke dalam saluran $DAG, tetapi menggunakan ACI atau Antara Muka Rantaian Aplikasi. Antara muka ini hanyalah objek JSON dengan maklumat konfigurasi dan kunci awam yang dikaitkan dengan saluran itu sendiri. Sebab kami mengaitkan kunci awam dengan saluran biasa adalah untuk mencipta mekanisme pembrokeran untuk data saluran biasa. Apabila saluran biasa digunakan, pembangun mengkonfigurasi diri mereka sendiri cara pembayaran daripada rangkaian $DAG diedarkan antara nod dan pengendali.
Aliran untuk membeli akses kepada maklumat atau pengubahsuaian maklumat. Permintaan dihantar kepada $DAG, dana dihantar ke akaun saluran, hasilnya dihantar kepada pembeli dan jumlah semak transaksi dihantar ke rangkaian $DAG, yang kemudiannya mengeluarkan dana ke saluran biasa.
Sumber: www.habr.com