Ketahui butiran tentang cara Aleo berfungsi

• Aleo - Lapisan 1 platform blockchain berdasarkan teknologi Zero-Knowledge Proofs
• Bagaimana Aleo Berfungsi
• Persekitaran komputer: zkCloud
• Bahasa pengaturcaraan: Leo
• Algoritma Konsensus: AleoBFT
• Berakhir

Aleo ialah blok blok Lapisan 1 yang menggunakan teknologi Zero-Knowledge Proofs untuk membolehkan pembangun membina aplikasi peribadi di atas rangkaian ini. Pemaju melihat blockchain menggunakan Bukti Pengetahuan Sifar sebagai gelombang ketiga. Mula-mula ada Bitcoin, kemudian ada Ethereum dan kini ada Aleo.  

Dalam artikel sebelumnya, kami telah mendapat gambaran keseluruhan projek Aleo , dalam artikel ini, kami akan belajar bersama secara terperinci cara Aleo berfungsi.

Aleo – Lapisan 1 platform blockchain berdasarkan teknologi Zero-Knowledge Proofs

Seperti yang kita sedia maklum, Aleo ialah blok blok awam privasi biasa menggunakan teknologi Zero-Knowledge Proofs – ini adalah sejenis protokol kriptografi yang membolehkan satu pihak (Provenor) membuktikan kepada pihak lain (Verifier) ​​​​bahawa mereka mengetahui sekeping tertentu maklumat tanpa mendedahkan sebarang maklumat tentang kandungan sebenar maklumat tersebut. 

ZKP ialah satu cara untuk membuktikan bahawa anda mengetahui sesuatu, memiliki sesuatu atau telah melakukan sesuatu tanpa mendedahkan sebarang maklumat mengenainya. Memandangkan orang ramai diselubungi oleh saki baki krisis kecairan bursa FTX, Zero-Knowledge Proofs adalah titik terang. Ini ialah alat yang berguna, direka khusus untuk membantu mengelakkan jenis penipuan yang disebabkan oleh FTX. 

Untuk blockchain secara khusus, ZKP mempunyai dua kegunaan berguna: kebolehskalaan dan privasi.

Diambil bersama, ZKP membenarkan rantaian blok untuk mendekati prestasi perkhidmatan terpusat dan melebihi keupayaan keselamatan dan privasi mereka, sambil mengekalkan faedah desentralisasi.

Aleo pada asalnya diilhamkan sebagai L2 pada Ethereum, tetapi ZKP pada Ethereum lebih besar – mereka perlu menggunakan keseluruhan keadaan aplikasi, dan Ethereum tidak menyokong primitif mesra SNARK (fungsi cincang dan lengkung eliptik. Jadi pasukan Aleo menulis semula rancangan itu dan memutuskan untuk membina L1 mereka sendiri untuk menyediakan ZKP yang lebih murah. 

Aleo mengambil pendekatan paling radikal untuk membina rantaian blok berdasarkan ZKP dari bawah. Daripada membina rantaian serasi EVM supaya pembangun boleh membina apl menggunakan bahasa pengaturcaraan Solidity yang biasa, ia mencipta mesin maya sendiri, snarkVM dan bahasa pengaturcaraan Leo. Daripada bergantung pada mekanisme konsensus sedia ada seperti Proof of Work (PoW) atau Proof of Stake (PoS), ia menggunakan gabungan kedua-duanya, dengan tweak berguna pada PoW yang dipanggil Proof of Succinct Work. Akibatnya, ZKP pada Aleo jauh lebih murah daripada Ethereum.

Aleo ialah platform terdesentralisasi yang menggunakan rantaian bloknya untuk mengesahkan dan menyimpan bukti, yang merupakan transaksi Zexe yang cekap. Ia menggunakan seni bina seperti Bitcoin, dengan lejar dan rekod, atau model UTXO (output transaksi tidak digunakan), di mana input menentukan alamat dari mana aset itu datang dan output menentukan alamat. hanya kepada mana kandungan dihantar , dengan nilai yang mewakili jumlah aset yang dihantar. Algoritma konsensus Aleo adalah sama dengan Bukti Kerja, dengan beberapa perbezaan utama. Itu sebahagian besarnya di mana perbandingan berakhir dan di mana pelbagai kandungan baharu yang dicipta oleh Aleo muncul. 

Bagaimana Aleo Berfungsi

Cara Aleo berfungsi akan berputar di sekitar tiga bahagian utama:

• Persekitaran Pengkomputeran dan Rantaian Sekat: zkCloud
• Bahasa pengaturcaraan: Leo
• Algoritma Konsensus: AleoBFT

Persekitaran komputer: zkCloud

Blockchain boleh atur cara biasa, seperti Ethereum, berfungsi dengan melaksanakan program pada rantaian mesin maya yang mesti dijalankan oleh setiap nod dalam rangkaian. Jika anda pernah mendengar tentang “EVM” atau “EVM serasi”, itulah mesin maya Ethereum. 

Salah satu pembeza terbesar Aleo ialah zkCloud membahagikannya kepada dua bahagian: snarkVM ialah mesin maya yang menjalankan aplikasi di luar rantaian dan menghantar urus niaga yang dilindungi ke rantaian Aleo, snarkOS. Dalam istilah kriptografi, ia memisahkan pelaksanaan (snarkVM) daripada keadaan (snarkOS).

Terdapat perbezaan penting antara Zexe dan Aleo ialah Zexe membenarkan kedua-dua privasi data dan privasi berfungsi, manakala Aleo mempunyai privasi data tetapi tiada privasi berfungsi. 

Pada Aleo, anda tidak dapat melihat input dan output program atau penghantar dan penerima kredit, tetapi anda boleh melihat program yang telah berinteraksi dengannya. Walaupun pasukan Aleo mencipta cara untuk memastikan privasi berfungsi dari awal, pasukan merasakan bahawa memfokuskan pada privasi data adalah pertukaran yang tepat untuk Aleo demi mengalih keluar privasi. fungsi yang meningkatkan prestasi sambil memanfaatkan pembangun dengan alatan untuk melindungi privasi.  

Dalam catatan blognya, Alex menyamakan hubungan antara snarkVM dan snarkOS kepada "objek bayang-bayang: Apabila anda melihat bayang-bayang, anda tahu bahawa sesuatu mencipta bayang-bayang itu, tetapi sangat Sukar untuk mengetahui butiran atau menentukan dengan tepat apa itu." 

Program yang dijalankan di luar rantaian dalam snarkVM boleh dijalankan untuk sebarang tempoh masa. Jika anda mahu, anda boleh menjalankan program yang mengira dari pi hingga trilion digit dalam tempoh beberapa bulan asalkan akhirnya transaksi yang dilindungi dihantar ke snarkOS. 

Di samping itu, seni bina ini menyediakan beberapa lagi faedah utama: 

• Privasi : Memandangkan hanya bukti dalam talian, sesiapa sahaja tanpa komputer kuantum tidak akan dapat melihat butiran transaksi. 
• Throughput Lebih Tinggi : Nod hanya mengesahkan bukti dan bukannya menjalankan program. 
• Keselamatan dikekalkan : ZKP secara kriptografi menjamin bahawa program ini berjalan dengan betul, mengalih keluar andaian kebolehpercayaan sedia ada dengan jaminan kriptoekonomi L1 dan L2 lain. 

Seni bina ini membolehkan Aleo hampir memecahkan triniti skalabiliti yang mustahil - ia membolehkan Aleo menjadi terpencar, berskala dan selamat - dengan privasi tambahan untuk mempunyai Penyelesaian terbaik.

Bahasa pengaturcaraan: Leo

Matlamat Aleo adalah untuk pembangun Web kasual dapat menulis aplikasi peribadi tanpa perlu memikirkan kriptografi peringkat rendah. Bahasa paling popular dalam pengekodan, Solidity dan Rust, tidak berfungsi dengan sempurna untuk ZKP, dan bahasa khusus teknologi ini semuanya berasaskan matematik. Untuk menggunakannya, pasukan Aleo menerangkan bahawa "anda perlu mengetahui banyak matematik lanjutan."

Untuk membina ZKP, anda memerlukan sistem bukti (dalam kes Aleo, SNARK dan lebih khusus MARLIN SNARK) dan litar ZK. Sama seperti litar dalam komputer anda mempunyai get NAND yang mengambil 0s dan 1s sebagai input dan output, litar ZK menggunakan get tambah dan darab yang mengambil nombor "0 hingga p" sebagai input dan output . Mencipta litar ZK bermakna meletakkan semua pintu itu bersama-sama secara manual.

Aleo meninjau landskap bahasa khusus domain (DSL) dan menemui ZoKrates. Aleo menukar sintaks dan membangunkannya untuk mencipta bahasa pengaturcaraan sendiri yang dipanggil Leo.

Leo dibina untuk kelihatan dan berasa lebih seperti JavaScript, bahasa pengaturcaraan paling popular di dunia, daripada Assembly. Jika ZKP menembusi fabrik Internet, menjadi sangat mudah bagi pembangun yang tidak biasa dengan ZK untuk menggabungkan ZKP.

Pada asasnya, bahasa ini sangat kompleks, mengabstraksi pengaturcaraan litar dan konsep peringkat rendah yang lain. Oleh itu, lebih mudah bagi pembangun untuk membina aplikasi persendirian.

Ia menerima kod seperti yang ditunjukkan di bawah:

Aleo mengambil kod dan membentangkan bukti bahawa anda menjalankan pengiraan anda dengan betul, bukti ini boleh dihantar daripada snarkVM ke snarkOS untuk pengesahan oleh nod. 

Selain bahasa ini, Aleo juga membangunkan pelbagai alatan lain untuk memudahkan pembangun, termasuk rangka kerja ujian dan pengurus pakej. Mereka membungkus semuanya dalam Aleo Studio – IDE (persekitaran pembangun bersepadu) pertama untuk Bukti Pengetahuan Sifar.”  

Algoritma Konsensus: AleoBFT

AleoBFT menggabungkan Bukti Kepentingan (PoS) dan sejenis Bukti Kerja (PoW) – khususnya dipanggil Bukti Kerja Ringkas (yang itu sendiri merupakan subset daripada Bukti Kerja yang Diperlukan).  

Kami akan pergi ke butiran bahagian ini dalam siaran lain. Pada asasnya AleoBFT direka untuk melakukan tiga perkara: melindungi protokol, memastikan bahawa terdapat pengesah yang cukup berpengalaman untuk memenuhi keperluan zkSNARK aplikasi, lebih insentif, terbukti cekap dan murah daripada. 

Berakhir

Di atas ialah cara Aleo berfungsi – projek blockchain Layer 1 menggunakan ZKP. Antara rantaian blok awam, perlombongan ZKP boleh diterima oleh mana-mana L2 rantaian ZK, tetapi L1 pada masa ini hanya dibenarkan oleh Aleo. Sebaliknya, Aleo tidak memerlukan pengiraan selari, jadi pelombong GPU terbiar boleh didok dengan lancar. Dalam artikel berikut, kami akan terus mendalami AleoBFT.