Sedang membaca artikel terbaru dari @SonicLabs Verifikasi Formal & konsensus DAG TBH ini adalah jenis hal yang membuat saya geek menjadi sulit jadi saya harus menyederhanakannya dan membagikannya untuk pemahaman yang lebih mudah kepada sesama kutu buku Sooonic saya yang menyukai lubang kelinci teknis, hal-hal otak giga Pertama jika Anda seperti "Wat DAGs do bro, what mean?" 🔷DAG (Grafik Asiklik Terarah): 🔹Setiap transaksi seperti node di web af raksasa 🔹Alih-alih menunggu blok, txs langsung mereferensikan beberapa blok sebelumnya, dengan begitu web menjadi lebih dalam 🔹Menciptakan struktur bercabang seperti web vs blockchain gaya linier blok tunggal tradisional 🔹Protokol DAG yang berbeda yang saat ini digunakan (DAG-Rider, Hashgraph, Aleph, Cordial Miner, ES Bullshark) masing-masing unggul di area yang berbeda, tidak ada pemenang yang sempurna (lihat bagan Radar saya di bawah ini ⤵️) 🔷Sekarang, bagaimana Pendekatan Sonic Berbeda: Sonic membangun protokol unik mereka sendiri dari awal dan mengembangkan pustaka verifikasi yang membuktikan kebenaran di beberapa protokol DAG, termasuk Sonic (istilah pendek, hal-hal👀 otak giga): 🔹Validator membuat blok peristiwa yang mereferensikan beberapa peristiwa sebelumnya 🔹 Menggunakan pemilihan yang tumpang tindih di seluruh lapisan untuk memilih peristiwa "pemimpin" untuk kecepatan 🔹 Setelah terpilih sebagai pemimpin, peristiwa akan dilinier menjadi rantai utama 🔹 Dibangun khusus untuk BFT Asinkron (Toleransi Kesalahan Bizantium) dan PoS (tidak mencampur pengendara DAG, Hashgraph, dll.) 🔷Mengapa Ini Benar-benar Penting: Sebagian besar keamanan kripto saat ini = "kami mengujinya secara ekstensif, tidak menemukan bug ... mungkin aman?" 🤷 ♂️ Sonic sekarang menggunakan bukti matematis bahwa perilaku tidak aman secara harfiah tidak mungkin. Bukan "tidak mungkin" MUSTAHIL. Bukan hanya probabilitas tetapi juga kepastian matematis Angkanya liar: 14 orang-bulan penelitian verifikasi formal, sekarang open-source untuk seluruh komunitas blockchain. Ini menggeser seluruh industri dari "percayai kami, kami menguji" menjadi "inilah bukti matematis itu berhasil" menggunakan verifikasi formal TLA+. Kripto Anda selalu seaman matematika di baliknya, dan sekarang kami memiliki MATEMATIKA MATEMATIKA MATEMATIKA untuk itu. teriakan kepada @SonicAssistant karena memposting ulang artikel jika tidak, saya akan melewatkannya🤝 🔷Grafik di bawah ini: 1⃣Mekanisme DAG umum 2⃣5 kemampuan arsitektur DAG yang berbeda 3⃣Tentang Sonic 4⃣Wawasan utama