Halo teman-teman, Halo semuanya! Saya dengan hangat menyambut Anda di saluran saya, hubungi Pak Atlas. Artikel hari ini akan dikhususkan untuk proyek unik dan sangat menjanjikan yang memiliki banyak dukungan, baik dari sisi pengguna maupun dari sisi investor, dan ini adalah Aleo . Dan lebih tepatnya, dalam masalah ini

kami akan meninjau berita terbaru tentang proyek ini . Saya menyarankan Anda untuk membaca artikel ini sampai akhir, karena: Informasinya menarik dan dapat diandalkan, dan Anda, sayangku, adalah orang pertama yang mengetahuinya. Jadi ayo pergi!

☯️Permintaan dari Tim:

Dengan senang hati kami umumkan fase kedua Aleo Testnet 3! Dalam rilis ini, kami akan menerapkan banyak fitur utama yang dijelaskan dalam peta jalan asli kami untuk Testnet 3, seperti penerapan dan eksekusi program yang ditentukan pengguna, dan teka-teki untuk mendorong pengembangan perangkat keras verifikasi zkSNARK.

Jadi teman-teman sekarang sudah mengerti: Rilisnya akan cukup menarik :)

Untuk lebih memahami momen ini, saya sarankan mulai dengan dasar-dasarnya…

☯️ Apa itu Aleo?

Aleo adalah blockchain level 1 baru yang menggunakan kriptografi tanpa pengetahuan untuk mengaktifkan aplikasi desentralisasi yang dapat diskalakan dan pribadi.

‌ Tim Aleo, pahami bahwa dalam arsitektur (program) mereka tidak dijalankan secara berantai; alih-alih, pengguna menjalankan program secara offline dan memposting zkSNARK (bukti singkat tanpa pengetahuan) ke rantai yang membuktikan eksekusi yang benar dengan cara menjaga privasi.

Langkah selanjutnya yang dilakukan oleh rantai adalah memeriksa bukti singkat pada satu waktu (independen) dari runtime program.

Tapi! Jika semuanya berjalan lancar, proyek tersebut sudah terdaftar di bursa saham

‌ Rencananya bekerja 100% dengan baik, kecuali bug kecil: membuat bukti eksekusi program yang benar tanpa pengetahuan bisa jauh lebih mahal daripada hanya menjalankan program secara langsung. Untuk banyak aplikasi berguna (seperti pembayaran), overhead ini dapat dikelola bahkan saat memeriksa perangkat umum seperti ponsel atau laptop.

Saat kami menggunakan aplikasi yang lebih intensif secara komputasi, seperti pembelajaran mesin, game, atau autentikasi, overhead verifikasi pada perangkat standar dapat menjadi penghalang

Dan ini, pada gilirannya, membuat kasus penggunaan ini tidak dapat dicapai.

Tentu saja, momennya kurang menyenangkan, tetapi saya akan melanjutkan, karena:

‌Namun, desain Aleo memungkinkan klien untuk memilih apakah akan mengalihdayakan pembuatan bukti ke "layanan validasi" pihak ketiga atau tidak , yang mungkin memiliki lebih banyak sumber daya komputasi untuk membantu menghitung zkSNARK untuk komputasi yang lebih besar.

Misalnya:

​​seperti prosesor dengan banyak inti, RAM dalam jumlah besar, atau bahkan perangkat keras khusus untuk verifikasi.

Baru setelah itu, masalahnya menjadi merangsang pengembangan arsitektur bukti yang lebih baik. Memecahkan masalah terakhir ini adalah salah satu motivasi utama di balik pengembangan algoritme konsensus baru Aleo, AleoBFT. Pada tingkat tinggi, AleoBFT adalah arsitektur hybrid yang menggunakan proof-of-stake untuk mencapai finalitas instan untuk konfirmasi blok dan juga menggunakan teka-teki basis koin proof-of-work yang menghargai pengembangan metode yang lebih cepat untuk menghasilkan bukti.

Pelanggan, kami juga bersama Anda, kami akan menyelami detail sandi ini dengan lebih jelas. Jadi…

☯️TENTANG Teka-Teki Coinbase?

‌ Teka-teki coinbase adalah teka-teki pembuktian kerja yang dirancang untuk mendorong pengembangan perangkat lunak dan perangkat keras yang lebih cepat untuk menghasilkan bukti tanpa pengetahuan.

Itu?

Untuk mencapai ini, teka-teki basis koin kami memiliki dua fitur unik (yang akan kami fokuskan terlebih dahulu).

Fitur unik:

‌_Fungsi_Kriptografis:

⚡️Tidak seperti PoW tradisional seperti yang Anda temukan di Bitcoin atau Ethereum, teka-teki coinbase memerlukan pembuatan prosedur yang efisien untuk algoritme yang "berguna" untuk sub-komponen utama validasi zkSNARK.

‌ _Fitur_Ekonomi:

⚡️Tidak seperti PoW tradisional, di mana setiap blok hanya dapat berisi satu solusi teka-teki yang valid, teka-teki basis koin kami menerima beberapa solusi yang valid per blok, mencegah pemenang mengambil semua dan mengarah ke distribusi hadiah bukti yang lebih luas.

Teman-teman, sekarang kita perlu mengalihkan perhatian kita 100% ke desain teka-teki, relatif terhadap bagian kriptografi, jadi:

☯️Desain teka-teki?

Hal pertama yang akan kami perhatikan adalah: Panduan Desain zkSNARK Cepat.

⚡️Waktu untuk membuat bukti dalam zkSNARK modern didominasi oleh waktu untuk memverifikasi dua subkomponen: IOP polinomial dan skema komitmen polinomial.

Artinya , puzzle coinbase ini secara efektif merangsang percepatan subkomponen ini.

Jika kita melihat alur protokol yang terdiri dari dua langkah, kita akan melihat:

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (1) Generasi solusi (Prover)

Untuk membuat varian solusi, pemverifikasi menghasilkan (dari elemen satu kali) dan mengalikan polinomial acak, lalu memperbaiki polinomial produk yang dihasilkan menggunakan skema komitmen polinomial (skema KZG10, dalam kasus kami). Komitmen yang dihasilkan ini kemudian di-hash, dan jika hash ini cocok dengan kompleksitas target, ini adalah solusi valid yang dapat dikirim ke agregator (bersama dengan bukti skor untuk agregasi yang efisien).

Meski begitu , teka-teki yang dihasilkan terdiri dari 2 elemen grup dan 1 elemen bidang, alamat dan nonce, dan dapat diperiksa dalam perkalian dan pasangan bidang D, di mana D adalah derajat polinomial yang dihasilkan.

_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

‌ (2) Agregasi solusi yang valid (Pemimpin BFT)

Meskipun solusi teka-teki yang valid dapat diverifikasi oleh siapa saja, menambahkan setiap solusi teka-teki ke rantai akan meningkatkan keadaan.

Untuk menghindari hal ini pada tahap ini, teka-teki basis koin ini memungkinkan pemimpin BFT mengumpulkan solusi yang valid. Tim tidak akan masuk ke rincian bagaimana hal ini dilakukan, tetapi hasil umumnya adalah penyimpanan jaringan bergantung pada biaya n + 1 elemen larik, dan 1 elemen larik merupakan peningkatan yang signifikan. Sebagai keuntungan sampingan, pemeriksaan teka-teki juga lebih cepat.

Nah, teman-teman, setelah sekian banyak informasi, saya mengusulkan untuk meringkas semuanya. Jadi..

☯️Ringkasan:

Berdasarkan diskusi kami, AleoBFT adalah mekanisme konsensus baru yang menggabungkan finalitas proof-of-stake dengan mekanisme insentif proof-of-work yang kuat. Jika Anda mengambil kasus kami, teka-teki coinbase merangsang percepatan bukti zkSNARK. Saya menemukan pekerjaan ini berguna karena transfer langsung untuk menjalankan program lain di Aleo.

Berdasarkan hal tersebut, maka dengan mekanisme ini, kami berharap dapat merangsang ekosistem verifikasi yang kuat yang akan menguntungkan pengguna Aleo dengan mengurangi biaya dan latensi aplikasi (pasti keren, setuju)

​​Mendorong motivasi?

Dan akhirnya, untuk yang paling sabar, saya sudah menyiapkan kabar baik. Karena fase uji jaringan ini akan didorong. Dan ini, pada gilirannya, bisa apa saja (jadi saya menyarankan Anda untuk lulus testnet ini)

Teman-teman, saya akan memiliki segalanya tentang ini. Saya senang bisa melayani Anda. Sampai jumpa lagi di edisi berikutnya!

Aleo:

Situs web | Twitter | Perselisihan | GitHub