Zero-Knowledge Proof (ZKP) adalah bagian penting dari kriptografi modern. Ini mengacu pada kemampuan pembukti untuk meyakinkan pemverifikasi bahwa suatu hipotesis benar tanpa memberikan informasi yang berguna kepada pemverifikasi.
**Zero-knowledge proof pada dasarnya adalah kesepakatan yang melibatkan dua pihak atau lebih, yaitu serangkaian langkah yang diperlukan dua pihak atau lebih untuk menyelesaikan suatu tugas. **Pembukti membuktikan kepada verifikator dan membuat verifikator percaya bahwa dia mengetahui atau memiliki pesan tertentu, tetapi tidak akan mengungkapkan informasi apa pun tentang pesan yang telah dibuktikan kepada verifikator selama proses pembuktian. Dalam istilah awam, pembukti tidak hanya dapat membuktikan apa yang ingin dibuktikannya, tetapi juga mengungkapkan informasi "nol" kepada pemverifikasi pada saat yang bersamaan.
Sudah banyak materi berbahasa Mandarin yang telah memperkenalkan lebih banyak konsep pembuktian tanpa pengetahuan, jadi saya tidak akan membahasnya secara mendetail di sini.
Aplikasi utama bukti tanpa pengetahuan di bidang blockchain
Dua fitur penting dari teknologi bukti tanpa pengetahuan adalah faktor utama penerapannya di bidang blockchain:
**Zero-knowledge proof dapat melindungi privasi data dan membuktikan validitasnya tanpa mengungkapkan informasi data. **
**Pembuktian tanpa pengetahuan dapat membuktikan sejumlah besar data dengan menghasilkan sejumlah kecil bukti, yang memainkan peran penting dalam mengompresi jumlah data dan meningkatkan kinerja. **
Oleh karena itu, dua arah pembuktian tanpa pengetahuan adalah: perlindungan privasi dan perluasan blockchain. Berikut ini masing-masing dijelaskan:
perlindungan privasi
Perlindungan privasi selalu menjadi konsep yang sangat penting dalam blockchain, mewakili kemampuan untuk melindungi transaksi dan peserta dalam jaringan terdistribusi.
Blockchain selalu menganjurkan anonimitas, peserta tidak perlu menggunakan nama asli mereka di sebagian besar transaksi, tetapi dapat menggunakan kembali hash kunci publik sebagai pengidentifikasi transaksi untuk mengidentifikasi pelaku transaksi. Namun, transaksi ini menggunakan nama samaran, bukan benar-benar anonim. Secara default, setiap transaksi pengguna bersifat publik, dan setelah alamat pengguna dikunci, itu dapat digunakan untuk meninjau sumber dana, menghitung posisi posisi, dan bahkan menganalisis aktivitas on-chain pengguna.
Teknologi bukti tanpa pengetahuan dapat mengonfirmasi validitas transaksi dengan mengirimkan bukti tanpa mengungkapkan informasi apa pun, dan mewujudkan anonimisasi lengkap informasi transaksi. Pada tahap pengembangan enkripsi yang menekankan masalah privasi, banyak pengembang yang berkomitmen untuk mengeksplorasi rantai publik privat. Perlindungan privasi dan kemampuan kompresi data dari bukti tanpa pengetahuan adalah alasan utama untuk menjadi teknologi komponen rantai publik. Selama ini, proyek seperti Zcash dan Monero telah mencapai hasil yang luar biasa. Mengambil Zcash sebagai contoh, Zcash awalnya mengadopsi protokol Pinocchio dan beralih ke sistem bukti Groth16 pada tahun 2019.
Alamat dompet Zcash dibagi menjadi alamat tersembunyi dan alamat transparan. Transaksi antara alamat transparan tidak berbeda dengan transaksi Bitcoin (BTC): pengirim, penerima, dan jumlah transaksi semuanya dapat dilihat oleh publik; transaksi antara alamat tersembunyi juga muncul di blockchain publik, tetapi alamat transaksi, jumlah dana, dan kolom memo dienkripsi, dan zk-SNARK akan membuktikan validitas transaksi sesuai dengan aturan konsensus jaringan, selain itu, transaksi juga dapat dilakukan antara alamat tersembunyi dan alamat transparan.
Zcash ramah audit dan peraturan sambil menjaga privasi transaksi. Pengirim dan penerima transaksi alamat tersembunyi dapat mengungkapkan detail transaksi kepada pihak ketiga untuk kebutuhan saksi, kepatuhan, atau audit.
Skalabilitas
"Segitiga mustahil" adalah masalah abadi yang dihadapi oleh blockchain L1 seperti Ethereum. Rantai yang berbeda selalu menemukan keseimbangan antara desentralisasi, keamanan, dan skalabilitas.
Ethereum lebih berfokus pada desentralisasi dan keamanan, sehingga harus menghadapi keterbatasan skalabilitas. Biaya bahan bakar yang tinggi dan waktu konfirmasi transaksi yang lama di Ethereum sangat memengaruhi pengalaman pengguna. Oleh karena itu, tim pengembangan inti dan komunitasnya telah mengeksplorasi berbagai solusi skalabilitas.
Ada dua cara untuk menskalakan blockchain:
**Menskalakan blockchain L1 itu sendiri, baik dengan meningkatkan ukuran blok atau dengan sharding. **Node dalam jaringan blockchain dibagi menjadi beberapa pecahan yang relatif independen.
Skala pemrosesan satu pecahan kecil, dan bahkan hanya menyimpan sebagian dari status jaringan. Namun secara teori, dengan syarat beberapa shard memproses transaksi secara paralel, throughput seluruh jaringan akan ditingkatkan. Namun, pendekatan ini mengorbankan desentralisasi.
2. **Transfer transaksi di jaringan L1 ke lapisan L2, L2 mengumpulkan transaksi, lalu mengirimkannya ke jaringan L1 untuk penyelesaian. **Dengan cara ini, Anda hanya membayar gas satu kali per batch transaksi, bukan membayar gas per transaksi.
Hasilnya, biaya gas dibagi rata di antara semua transaksi, sehingga secara efektif mengurangi biaya per transaksi. Dengan cara ini, L1 menjadi lapisan penyelesaian untuk semua transaksi yang dilakukan di L2. Solusi penskalaan L2 dapat memecahkan masalah skalabilitas L1 tanpa mengorbankan desentralisasi dan keamanan.
Tentu saja, solusi penskalaan L2 juga mengalami evolusi dari saluran negara ke Plasma dan kemudian ke Rollup. Saat ini, Rollup adalah solusi L2 paling umum dan potensial.
Rollup mengacu pada melakukan kalkulasi kompleks dan pemeliharaan status dari rantai terlebih dahulu, kemudian menyimpan data yang terkait dengan perubahan status pada rantai dengan menggunakan CALLDATA yang lebih murah melalui panggilan kontrak, dan meringkas serta mengemas sejumlah besar transaksi ke dalam satu transaksi, dan akhirnya meningkatkan TPS dengan alasan untuk memastikan ketersediaan data.
Penyebut umum solusi Rollup adalah penekanan pada ketersediaan data on-chain. Artinya, siapa pun dapat memulihkan keadaan global berdasarkan data yang disimpan di rantai, sehingga menghilangkan risiko keamanan yang disebabkan oleh masalah ketersediaan data.
Selain mengompresi jumlah kalkulasi pada rantai, aspek lain dari pembuktian tanpa pengetahuan adalah untuk memastikan kebenaran data.
Solusi ZK Rollup dimulai pada paruh kedua tahun 2018. Kunci dari solusi ini adalah ZK. Perubahan status setiap solusi ZK Rollup memerlukan bukti tanpa pengetahuan yang disediakan dan diverifikasi oleh kontrak di rantai utama.
Status hanya dapat diubah jika diverifikasi. Dengan kata lain, perubahan status ZK Rollup sangat bergantung pada bukti kriptografi. (Catatan: Untuk penjelasan mendetail tentang prinsip ZK Rollup, silakan merujuk ke "Perspektif yang Jelas tentang Metode Berlapis dan Berantai Silang" oleh Li Hua)
Tentu saja, ada solusi rollup lainnya, seperti rollup optimis yang terbentuk pada paruh kedua tahun 2019. Itu tidak memerlukan validasi yang ketat dari setiap perubahan status.
Pertama-tama secara optimis mengasumsikan bahwa setiap perubahan adalah benar, dan kemudian menantang perubahan tersebut dalam batas waktu tertentu. Jika tantangan berhasil, itu membuktikan bahwa ada masalah dengan pengajuan sebelumnya, yang mengajukan akan dihukum, dan negara akan digulung kembali.
Dengan kata lain, perubahan keadaan Rollup optimis tergantung pada insentif ekonomi dan permainan.
Masalah luar biasa dari ZK Rollup adalah sulit untuk mencapai programabilitas, tetapi perkembangan teknologi dalam dua tahun terakhir tampaknya berhasil menembus kemacetan ini, dan implementasi zkEVM dapat mencapai programabilitas; masalah yang paling diperhatikan dari Rollup optimis tampaknya adalah ketika dana kembali dari Lapisan 2, Karena penundaan selama periode tantangan, perantara tersedia untuk menyediakan layanan prabayar.
Oleh karena itu, solusi Rollup optimis lebih cepat diimplementasikan. Tetapi zkEVM mungkin memiliki lebih banyak potensi.
Solusi Bintang Baru Bukti Tanpa Pengetahuan
Pada proyek bukti tanpa pengetahuan awal, meskipun Zcash dan Monero bekerja dengan baik dalam hal perlindungan privasi, mereka hanya dapat digunakan sebagai sarana penyimpanan nilai, dan sulit untuk bekerja sama dengan aplikasi lain.
Seperti disebutkan di atas, berkat upaya banyak pengembang, bukti tanpa pengetahuan dapat digunakan untuk komputasi umum dan digabungkan dengan kontrak pintar untuk mengeksplorasi potensi yang lebih besar dari teknologi bukti tanpa pengetahuan. Berikut ini terutama memperkenalkan dua proyek yang diluncurkan tahun ini.
Aleo: Rantai Publik Komputasi Privasi Umum
Proyek Aleo secara resmi didirikan pada tahun 2019, dan anggotanya termasuk kriptografer, insinyur, desainer, dan operator kelas dunia dari perusahaan seperti Google, Amazon, dan Facebook, serta universitas riset seperti UC Berkeley, Johns Hopkins, NYU, dan Cornell.
Aleo membangun sistem zkCloud untuk melindungi identitas dan transaksi, dan identitas yang dilindungi dapat berinteraksi langsung satu sama lain (seperti transfer aset) atau diprogram melalui kontrak cerdas. Dalam blockchain publik yang khas, program dijalankan pada "mesin virtual" (VM) global yang dijalankan oleh setiap node jaringan. Oleh karena itu, setiap node di jaringan harus menghitung ulang (dan menyetujui secara kolektif) setiap langkah dari program tertentu, yang tidak efisien, memperlambat, dan meningkatkan biaya bagi pengguna. zkCloud memecahkan batasan ini dengan memisahkan jalannya aplikasi dari pemeliharaan negara blockchain (on-chain + off-chain), dikombinasikan dengan bukti tanpa pengetahuan rekursif, memungkinkan Aleo untuk mencapai programabilitas lengkap dan perlindungan privasi, dan Dengan transaksi yang lebih tinggi throughput.
Aleo membangun bahasa pemrograman yang disebut Leo, yang lebih ramah dan menyediakan lingkungan yang lebih baik untuk pengembang aplikasi tanpa pengetahuan. Leo adalah bahasa pemrograman yang diketik secara statis yang terinspirasi oleh Rust, dirancang untuk menulis aplikasi intim.
Saat ini, jaringan Aleo telah melewati tiga putaran pengujian, dan saat ini secara aktif memandu pengembangan ekologi, mendorong masyarakat untuk berpartisipasi dalam pembangunan aplikasi ekologi melalui poin.
Aleo adalah rantai publik, dan Provernya berpartisipasi dalam pembangunan jaringan melalui bukti tanpa pengetahuan. Di Test3 sebelumnya, ada lebih dari 400.000 kartu grafis yang berpartisipasi dalam pengujian. Sebagai jaringan uji, ini adalah skala yang sangat besar. Aleo awalnya direncanakan untuk online pada kuartal ketiga tahun ini, menurut situasi saat ini, diperkirakan akan online pada akhir kuartal ketiga atau kuartal keempat. Perhatian yang berkelanjutan.
** Gulir: solusi asli zk EVM **
Scroll Tech bertujuan untuk membangun zk-Rollup yang kompatibel dengan Ethereum dan membangun jaringan bukti yang kuat. Setelah berbulan-bulan eksplorasi, mereka telah membuat kemajuan teknis yang signifikan.
Tujuan Scroll antara lain:
Bangun zk-Rollup yang sepenuhnya kompatibel dengan EVM. Mendukung verifikasi langsung blok Ethereum dengan memverifikasi konsistensi dan integritas setiap opcode selama eksekusi EVM. Dengan cara ini, kontrak pintar L1 dapat dimigrasikan dengan mulus ke Scroll tanpa modifikasi apa pun.
Mewujudkan dan menstandarkan sertifikasi outsourcing Layer 2. Scroll merancang mekanisme outsourcing yang kuat yang memberi insentif kepada verifikator untuk menghasilkan bukti tanpa pengetahuan untuk mereka. Tim Scroll berencana untuk membakukan skema ini untuk bidang komputasi off-chain yang lebih luas. Ini akan membuka pasar bukti baru. Pengembang dapat menggunakan kontrak kompleks di Gulir tanpa mempertimbangkan batas gas. Banyak aplikasi baru dapat diimplementasikan secara off-chain dan bukti dikirimkan secara on-chain. Untuk tujuan ini, tim juga membangun GPU dan ASIC tercepat di dunia. Tujuan jangka panjangnya adalah mencapai desentralisasi penuh dan mengurangi dampak MEV.
Tingkatkan ke sistem bukti baru. Gulir rencana untuk menggunakan sistem bukti tanpa pengetahuan berlapis baru. Lapisan pertama adalah lapisan penghasil bukti yang efisien dengan pengoptimalan sirkuit khusus dan algoritme bukti yang efisien perangkat keras. Lapisan kedua adalah lapisan verifikasi yang efisien dengan bukti ringkas dan algoritma verifikasi yang kompatibel dengan EVM. Dibandingkan dengan solusi yang ada, sistem memiliki potensi untuk mendukung program yang lebih besar dan lebih banyak fungsi daripada EVM, seperti perlindungan privasi.
Kemajuan oleh Scroll Tech ini signifikan di bidang solusi penskalaan zk-Rollup dan Layer 2, menunjukkan komitmen mereka terhadap kompatibilitas, efisiensi, dan desentralisasi.
Dalam pengujian Alfa-nya, Scroll telah menghubungkan sejumlah besar aplikasi, mewujudkan janjinya bahwa aplikasi EVM dapat langsung dipindahkan ke Scroll. Mainnet Scroll diharapkan akan diluncurkan dalam waktu 3 bulan. Setelah mainnet Scroll diluncurkan, jaringan Prover yang terdesentralisasi akan direalisasikan lebih lanjut, yang akan memberi setiap orang lebih banyak kesempatan untuk berpartisipasi.
Lihat Asli
Konten ini hanya untuk referensi, bukan ajakan atau tawaran. Tidak ada nasihat investasi, pajak, atau hukum yang diberikan. Lihat Penafian untuk pengungkapan risiko lebih lanjut.
Penerapan teknologi bukti tanpa pengetahuan
Apa itu Bukti Tanpa Pengetahuan
Zero-Knowledge Proof (ZKP) adalah bagian penting dari kriptografi modern. Ini mengacu pada kemampuan pembukti untuk meyakinkan pemverifikasi bahwa suatu hipotesis benar tanpa memberikan informasi yang berguna kepada pemverifikasi.
**Zero-knowledge proof pada dasarnya adalah kesepakatan yang melibatkan dua pihak atau lebih, yaitu serangkaian langkah yang diperlukan dua pihak atau lebih untuk menyelesaikan suatu tugas. **Pembukti membuktikan kepada verifikator dan membuat verifikator percaya bahwa dia mengetahui atau memiliki pesan tertentu, tetapi tidak akan mengungkapkan informasi apa pun tentang pesan yang telah dibuktikan kepada verifikator selama proses pembuktian. Dalam istilah awam, pembukti tidak hanya dapat membuktikan apa yang ingin dibuktikannya, tetapi juga mengungkapkan informasi "nol" kepada pemverifikasi pada saat yang bersamaan.
Sudah banyak materi berbahasa Mandarin yang telah memperkenalkan lebih banyak konsep pembuktian tanpa pengetahuan, jadi saya tidak akan membahasnya secara mendetail di sini.
Aplikasi utama bukti tanpa pengetahuan di bidang blockchain
Dua fitur penting dari teknologi bukti tanpa pengetahuan adalah faktor utama penerapannya di bidang blockchain:
Oleh karena itu, dua arah pembuktian tanpa pengetahuan adalah: perlindungan privasi dan perluasan blockchain. Berikut ini masing-masing dijelaskan:
perlindungan privasi
Perlindungan privasi selalu menjadi konsep yang sangat penting dalam blockchain, mewakili kemampuan untuk melindungi transaksi dan peserta dalam jaringan terdistribusi.
Blockchain selalu menganjurkan anonimitas, peserta tidak perlu menggunakan nama asli mereka di sebagian besar transaksi, tetapi dapat menggunakan kembali hash kunci publik sebagai pengidentifikasi transaksi untuk mengidentifikasi pelaku transaksi. Namun, transaksi ini menggunakan nama samaran, bukan benar-benar anonim. Secara default, setiap transaksi pengguna bersifat publik, dan setelah alamat pengguna dikunci, itu dapat digunakan untuk meninjau sumber dana, menghitung posisi posisi, dan bahkan menganalisis aktivitas on-chain pengguna.
Teknologi bukti tanpa pengetahuan dapat mengonfirmasi validitas transaksi dengan mengirimkan bukti tanpa mengungkapkan informasi apa pun, dan mewujudkan anonimisasi lengkap informasi transaksi. Pada tahap pengembangan enkripsi yang menekankan masalah privasi, banyak pengembang yang berkomitmen untuk mengeksplorasi rantai publik privat. Perlindungan privasi dan kemampuan kompresi data dari bukti tanpa pengetahuan adalah alasan utama untuk menjadi teknologi komponen rantai publik. Selama ini, proyek seperti Zcash dan Monero telah mencapai hasil yang luar biasa. Mengambil Zcash sebagai contoh, Zcash awalnya mengadopsi protokol Pinocchio dan beralih ke sistem bukti Groth16 pada tahun 2019.
Alamat dompet Zcash dibagi menjadi alamat tersembunyi dan alamat transparan. Transaksi antara alamat transparan tidak berbeda dengan transaksi Bitcoin (BTC): pengirim, penerima, dan jumlah transaksi semuanya dapat dilihat oleh publik; transaksi antara alamat tersembunyi juga muncul di blockchain publik, tetapi alamat transaksi, jumlah dana, dan kolom memo dienkripsi, dan zk-SNARK akan membuktikan validitas transaksi sesuai dengan aturan konsensus jaringan, selain itu, transaksi juga dapat dilakukan antara alamat tersembunyi dan alamat transparan.
Zcash ramah audit dan peraturan sambil menjaga privasi transaksi. Pengirim dan penerima transaksi alamat tersembunyi dapat mengungkapkan detail transaksi kepada pihak ketiga untuk kebutuhan saksi, kepatuhan, atau audit.
Skalabilitas
"Segitiga mustahil" adalah masalah abadi yang dihadapi oleh blockchain L1 seperti Ethereum. Rantai yang berbeda selalu menemukan keseimbangan antara desentralisasi, keamanan, dan skalabilitas.
Ethereum lebih berfokus pada desentralisasi dan keamanan, sehingga harus menghadapi keterbatasan skalabilitas. Biaya bahan bakar yang tinggi dan waktu konfirmasi transaksi yang lama di Ethereum sangat memengaruhi pengalaman pengguna. Oleh karena itu, tim pengembangan inti dan komunitasnya telah mengeksplorasi berbagai solusi skalabilitas.
Ada dua cara untuk menskalakan blockchain:
Skala pemrosesan satu pecahan kecil, dan bahkan hanya menyimpan sebagian dari status jaringan. Namun secara teori, dengan syarat beberapa shard memproses transaksi secara paralel, throughput seluruh jaringan akan ditingkatkan. Namun, pendekatan ini mengorbankan desentralisasi. 2. **Transfer transaksi di jaringan L1 ke lapisan L2, L2 mengumpulkan transaksi, lalu mengirimkannya ke jaringan L1 untuk penyelesaian. **Dengan cara ini, Anda hanya membayar gas satu kali per batch transaksi, bukan membayar gas per transaksi.
Hasilnya, biaya gas dibagi rata di antara semua transaksi, sehingga secara efektif mengurangi biaya per transaksi. Dengan cara ini, L1 menjadi lapisan penyelesaian untuk semua transaksi yang dilakukan di L2. Solusi penskalaan L2 dapat memecahkan masalah skalabilitas L1 tanpa mengorbankan desentralisasi dan keamanan.
Tentu saja, solusi penskalaan L2 juga mengalami evolusi dari saluran negara ke Plasma dan kemudian ke Rollup. Saat ini, Rollup adalah solusi L2 paling umum dan potensial.
Rollup mengacu pada melakukan kalkulasi kompleks dan pemeliharaan status dari rantai terlebih dahulu, kemudian menyimpan data yang terkait dengan perubahan status pada rantai dengan menggunakan CALLDATA yang lebih murah melalui panggilan kontrak, dan meringkas serta mengemas sejumlah besar transaksi ke dalam satu transaksi, dan akhirnya meningkatkan TPS dengan alasan untuk memastikan ketersediaan data.
Penyebut umum solusi Rollup adalah penekanan pada ketersediaan data on-chain. Artinya, siapa pun dapat memulihkan keadaan global berdasarkan data yang disimpan di rantai, sehingga menghilangkan risiko keamanan yang disebabkan oleh masalah ketersediaan data.
Selain mengompresi jumlah kalkulasi pada rantai, aspek lain dari pembuktian tanpa pengetahuan adalah untuk memastikan kebenaran data.
Solusi ZK Rollup dimulai pada paruh kedua tahun 2018. Kunci dari solusi ini adalah ZK. Perubahan status setiap solusi ZK Rollup memerlukan bukti tanpa pengetahuan yang disediakan dan diverifikasi oleh kontrak di rantai utama.
Status hanya dapat diubah jika diverifikasi. Dengan kata lain, perubahan status ZK Rollup sangat bergantung pada bukti kriptografi. (Catatan: Untuk penjelasan mendetail tentang prinsip ZK Rollup, silakan merujuk ke "Perspektif yang Jelas tentang Metode Berlapis dan Berantai Silang" oleh Li Hua)
Tentu saja, ada solusi rollup lainnya, seperti rollup optimis yang terbentuk pada paruh kedua tahun 2019. Itu tidak memerlukan validasi yang ketat dari setiap perubahan status.
Pertama-tama secara optimis mengasumsikan bahwa setiap perubahan adalah benar, dan kemudian menantang perubahan tersebut dalam batas waktu tertentu. Jika tantangan berhasil, itu membuktikan bahwa ada masalah dengan pengajuan sebelumnya, yang mengajukan akan dihukum, dan negara akan digulung kembali.
Dengan kata lain, perubahan keadaan Rollup optimis tergantung pada insentif ekonomi dan permainan.
Masalah luar biasa dari ZK Rollup adalah sulit untuk mencapai programabilitas, tetapi perkembangan teknologi dalam dua tahun terakhir tampaknya berhasil menembus kemacetan ini, dan implementasi zkEVM dapat mencapai programabilitas; masalah yang paling diperhatikan dari Rollup optimis tampaknya adalah ketika dana kembali dari Lapisan 2, Karena penundaan selama periode tantangan, perantara tersedia untuk menyediakan layanan prabayar.
Oleh karena itu, solusi Rollup optimis lebih cepat diimplementasikan. Tetapi zkEVM mungkin memiliki lebih banyak potensi.
Solusi Bintang Baru Bukti Tanpa Pengetahuan
Pada proyek bukti tanpa pengetahuan awal, meskipun Zcash dan Monero bekerja dengan baik dalam hal perlindungan privasi, mereka hanya dapat digunakan sebagai sarana penyimpanan nilai, dan sulit untuk bekerja sama dengan aplikasi lain.
Seperti disebutkan di atas, berkat upaya banyak pengembang, bukti tanpa pengetahuan dapat digunakan untuk komputasi umum dan digabungkan dengan kontrak pintar untuk mengeksplorasi potensi yang lebih besar dari teknologi bukti tanpa pengetahuan. Berikut ini terutama memperkenalkan dua proyek yang diluncurkan tahun ini.
Aleo: Rantai Publik Komputasi Privasi Umum
Proyek Aleo secara resmi didirikan pada tahun 2019, dan anggotanya termasuk kriptografer, insinyur, desainer, dan operator kelas dunia dari perusahaan seperti Google, Amazon, dan Facebook, serta universitas riset seperti UC Berkeley, Johns Hopkins, NYU, dan Cornell.
Aleo membangun sistem zkCloud untuk melindungi identitas dan transaksi, dan identitas yang dilindungi dapat berinteraksi langsung satu sama lain (seperti transfer aset) atau diprogram melalui kontrak cerdas. Dalam blockchain publik yang khas, program dijalankan pada "mesin virtual" (VM) global yang dijalankan oleh setiap node jaringan. Oleh karena itu, setiap node di jaringan harus menghitung ulang (dan menyetujui secara kolektif) setiap langkah dari program tertentu, yang tidak efisien, memperlambat, dan meningkatkan biaya bagi pengguna. zkCloud memecahkan batasan ini dengan memisahkan jalannya aplikasi dari pemeliharaan negara blockchain (on-chain + off-chain), dikombinasikan dengan bukti tanpa pengetahuan rekursif, memungkinkan Aleo untuk mencapai programabilitas lengkap dan perlindungan privasi, dan Dengan transaksi yang lebih tinggi throughput.
Aleo membangun bahasa pemrograman yang disebut Leo, yang lebih ramah dan menyediakan lingkungan yang lebih baik untuk pengembang aplikasi tanpa pengetahuan. Leo adalah bahasa pemrograman yang diketik secara statis yang terinspirasi oleh Rust, dirancang untuk menulis aplikasi intim.
Saat ini, jaringan Aleo telah melewati tiga putaran pengujian, dan saat ini secara aktif memandu pengembangan ekologi, mendorong masyarakat untuk berpartisipasi dalam pembangunan aplikasi ekologi melalui poin. Aleo adalah rantai publik, dan Provernya berpartisipasi dalam pembangunan jaringan melalui bukti tanpa pengetahuan. Di Test3 sebelumnya, ada lebih dari 400.000 kartu grafis yang berpartisipasi dalam pengujian. Sebagai jaringan uji, ini adalah skala yang sangat besar. Aleo awalnya direncanakan untuk online pada kuartal ketiga tahun ini, menurut situasi saat ini, diperkirakan akan online pada akhir kuartal ketiga atau kuartal keempat. Perhatian yang berkelanjutan.
** Gulir: solusi asli zk EVM **
Scroll Tech bertujuan untuk membangun zk-Rollup yang kompatibel dengan Ethereum dan membangun jaringan bukti yang kuat. Setelah berbulan-bulan eksplorasi, mereka telah membuat kemajuan teknis yang signifikan.
Tujuan Scroll antara lain:
Kemajuan oleh Scroll Tech ini signifikan di bidang solusi penskalaan zk-Rollup dan Layer 2, menunjukkan komitmen mereka terhadap kompatibilitas, efisiensi, dan desentralisasi.
Dalam pengujian Alfa-nya, Scroll telah menghubungkan sejumlah besar aplikasi, mewujudkan janjinya bahwa aplikasi EVM dapat langsung dipindahkan ke Scroll. Mainnet Scroll diharapkan akan diluncurkan dalam waktu 3 bulan. Setelah mainnet Scroll diluncurkan, jaringan Prover yang terdesentralisasi akan direalisasikan lebih lanjut, yang akan memberi setiap orang lebih banyak kesempatan untuk berpartisipasi.