Salah satu faktor penentu apakah komputasi awan dapat digunakan secara luas adalah kredibilitasnya. Dalam proses penerapan sebenarnya, semua data pada komputasi awan harus lengkap, dan pada saat yang sama, pada saat pelaksanaan program, harus memiliki akurasi yang tinggi, sehingga cakupan penerapan komputasi awan dapat diperluas secara efektif. Selain itu, protokol komputasi awan dapat menilai semua hasil umpan balik di server, dan server jarak jauh tidak perlu menjalankan kembali prosedur yang relevan. Dalam beberapa tahun terakhir, komputasi yang dapat diverifikasi telah menarik perhatian besar para peneliti dan menjadi tren utama dalam pengembangan komputasi awan tepercaya.
Dipimpin oleh Grigore Rosu, seorang profesor ilmu komputer di Universitas Illinois di Urbana-Champaign, Pi Squared adalah perusahaan yang berfokus pada memungkinkan komputasi yang dapat diverifikasi melalui teknologi tanpa pengetahuan. Ide inti Pi Squared berawal dari penelitian Rosu selama bertahun-tahun di dunia akademis. Ia mengeksplorasi teknologi ini bersama murid-muridnya selama bertahun-tahun, dan akhirnya terbentuklah konsep Pi Squared.
Menurut orang dalam industri, jika Pi Squared berhasil, maka akan merevolusi komputasi yang dapat diverifikasi. Teknologi ini tidak hanya akan digunakan dalam Lapisan Penyelesaian Universal (USL) dari blockchain dan komputasi awan tepercaya, namun juga akan diperluas ke bidang sains verifikasi. dan pengetahuan. Dan berfungsi di semua bahasa dan mesin virtual, secara inheren benar dan cepat.
Dapat dikatakan bahwa skenario penerapan dan ruang nilai Pi Squared sangat imajinatif.
Sebelum mempelajari lebih lanjut tentang Pi Squared, perlu dipahami terlebih dahulu beberapa proyek inovatif lainnya yang berbasis teknologi ZK, serta perbedaan dan hubungannya dengan Pi Squared.
01
Analisis produk kompetitif
Sinkronisasi ZK
ZKsync adalah solusi penskalaan Ethereum yang memanfaatkan teknologi ZK-rollup untuk mencapai throughput tinggi dan biaya transaksi rendah. Ini mencapai skalabilitas dengan mengelompokkan banyak transaksi dan menghasilkan bukti ZK. Keuntungan utama ZKsync adalah kecepatan transaksi dan biayanya berkurang secara signifikan dengan tetap menjaga keamanan Ethereum.
ZK-asli
ZK-native mengacu pada blockchain yang menggunakan teknologi tanpa pengetahuan dari desain dasarnya. Blockchain ini sering kali memiliki perlindungan privasi dan kemampuan kompresi data yang lebih kuat, seperti StarkNet dan Mina Protocol. Mereka memastikan privasi dan efisiensi transaksi dan data dengan mengintegrasikan langsung teknologi ZK di tingkat protokol.
Rantai ZK
ZK Chain mengacu pada sistem blockchain yang menggunakan teknologi tanpa bukti pengetahuan sebagai komponen inti. Sistem ini sering kali dirancang untuk meningkatkan perlindungan privasi dan skalabilitas blockchain, seperti Aztec dan Zcash. ZK Chain memberi pengguna perlindungan privasi yang kuat dan kemampuan pemrosesan transaksi yang efisien dengan memanfaatkan teknologi seperti ZK-SNARK atau ZK-STARK.
Perbedaan utama antara Pi Squared dan teknologi yang disebutkan di atas adalah keserbagunaan dan metode verifikasinya. Sementara ZKsync, ZK-native, dan ZK Chain semuanya fokus pada peningkatan kinerja dan perlindungan privasi untuk blockchain tertentu, Pi Squared memberikan verifikasi universal untuk semua blockchain, mesin virtual, dan bahasa pemrograman melalui Universal Settlement Layer (USL) Hitung solusinya . Teknologi PoP Pi Squared tidak hanya cocok untuk blockchain, tetapi juga dapat diperluas ke bidang komputasi lain untuk mencapai komputasi di mana-mana yang sebenarnya.
02
USL: Kartu truf Pi Squared
Produk pertama Pi Squared adalah Universal Settlement Layer (USL), sebuah arsitektur blockchain modular dengan fitur inti berikut:
(1) Kesamaan
USL mendukung komputasi dalam bahasa atau mesin virtual apa pun tanpa kompiler. Ini berarti bahwa pengembang dapat menggunakan bahasa pemrograman yang mereka kenal untuk penyelesaian transaksi blockchain.
(2) Kebenaran yang dapat dibuktikan
USL memverifikasi kebenaran perhitungan melalui pembuktian matematis, dan entitas eksternal mana pun dapat secara independen memverifikasi kebenaran status USL.
(3) Meminimalkan basis kepercayaan
USL secara transparan memaparkan asumsi kepercayaan dalam perhitungan lapisan atas, yang pada akhirnya meminimalkan basis kepercayaan melalui bukti kebenaran, dan meningkatkan kepercayaan dan transparansi pengguna.
(4) Interoperabilitas aplikasi
USL mendukung interoperabilitas antara modul aplikasi dan jaringan yang berbeda, seperti interaksi antar rantai aplikasi.
(5) Kepastian dan pengulangan
Proses verifikasi USL bersifat deterministik dan dapat diulangi secara independen oleh entitas eksternal mana pun.
Arsitektur USL Pi Squared terdiri dari beberapa lapisan dan komponen, yang masing-masing memainkan peran penting dalam memungkinkan komputasi yang efisien dan dapat diverifikasi.
Pertama, lapisan komputasi
Lapisan komputasi terletak di bagian atas arsitektur dan merupakan tempat berbagai bahasa dan mesin virtual melakukan penghitungan. Termasuk mesin eksekusi perdagangan, rantai aplikasi yang berfungsi penuh, dan rollup eksekusi. Penghitungan di lapisan komputasi bisa sangat rumit, dan lingkungan dapat menerapkan pengoptimalannya sendiri dan pemrosesan paralel tanpa USL perlu memahami cara penghitungan ini dilakukan.
Kedua, Jaringan Sequencer
Jaringan Sequencer bertanggung jawab untuk memproses transaksi antara lapisan komputasi dan USL. Sequencer memverifikasi dan mengumpulkan transaksi ke dalam blok, meningkatkan efisiensi dan meningkatkan hasil transaksi. Jaringan Sequencer umumnya terdesentralisasi dan menjalankan algoritma konsensus untuk mengurutkan transaksi dengan aman. Pra-konfirmasi pada lapisan Jaringan Sequencer bersifat optimis dan transaksi yang tidak valid dapat dibatalkan setelah verifikasi USL.
Ketiga, antarmuka lapisan eksekusi
Antarmuka lapisan eksekusi terletak di bawah lapisan komputasi dan memungkinkan sistem lapisan komputasi untuk berkomunikasi dengan USL. Ia menerima "transaksi yang dihitung", termasuk transaksi, perubahan status, dan metadata transisi. Metadata mendefinisikan program yang melakukan penghitungan, daftar entitas tepercaya, dan detail lainnya.
Keempat, lapisan USL Pi Squared
Lapisan USL beroperasi sebagai rollup optimis, menafsirkan transaksi komputasi sebagai pernyataan matematika dalam teori logika. USL menghasilkan bukti matematis dari urutan perhitungan untuk memastikan kebenarannya, dan sebagian besar terdiri dari jaringan π² dan Prover Pool.
Terakhir, Jaringan π² dan Kumpulan Prover
Jaringan π² terdiri dari node yang menjalankan protokol konsensus yang memverifikasi validitas status pasca transaksi. Proses verifikasi bersifat transparan, dapat diulang, dan dapat diverifikasi secara independen oleh entitas eksternal mana pun. Prover Pool terdiri dari node pembukti yang menghasilkan bukti tanpa pengetahuan (ZKP) dari transaksi atau blok. ZKP bekerja dengan mengeksekusi kembali transaksi atau blok dan menghasilkan bukti kebenaran logika yang cocok. ZKP yang dihasilkan jauh lebih kecil dibandingkan pembuktian matematis aslinya dan dapat ditransmisikan serta diverifikasi lebih cepat.
03
Nilai penerapan USL di bidang Web3
Tim Pi Squared membayangkan USL sebagai lapisan yang tidak bergantung pada bahasa dan mesin virtual yang secara signifikan akan meningkatkan aplikasi lintas rantai dan akses likuiditas di industri Web3. Aplikasi khusus meliputi:
Rollup-dalam-kotak
Layanan ini mendukung pembuatan rollup L2/L3 dan rantai aplikasi, pengguna dapat memilih fitur sistem, dan semua transaksi diselesaikan secara transparan oleh USL.
Jembatan multi-rantai
Penjembatanan multi-rantai memungkinkan aplikasi dan rollup yang berjalan di USL untuk menjembatani token pada rantai yang berbeda dengan mulus tanpa memerlukan kode off-chain.
Aplikasi keuangan lintas rantai
USL memungkinkan aplikasi DeFi untuk bertransisi dengan lancar antara berbagai rollup dan rantai aplikasi, memberikan tingkat staking dan pinjaman yang lebih baik. Misalnya, pertaruhkan ETH pada Ethereum di rantai Cosmos dan pinjamkan USDC.
Verifikasi ZK heterogen
Pengguna dapat menggunakan berbagai rollup ZK dan aplikasi yang didukung oleh USL untuk memilih platform ZK yang mereka kenal, dan USL memverifikasi transaksi melalui backend ZK yang sesuai.
ringkasan
Pi Squared menetapkan tolok ukur baru dalam komputasi yang dapat diverifikasi dengan teknologi PoP inovatif dan Universal Settlement Layer (USL). USL tidak hanya memecahkan banyak tantangan dalam ekosistem blockchain saat ini, namun juga meletakkan dasar bagi sains dan verifikasi pengetahuan di masa depan.
Meskipun USL berkinerja baik dalam banyak aspek, USL juga memiliki beberapa keterbatasan. Misalnya, USL tidak bertujuan untuk meningkatkan privasi dan hanya menjaga kerahasiaan bukti logika pencocokan kebenaran komputasi. Kebutuhan privasi khusus aplikasi dapat dipertimbangkan di masa depan; struktur transaksi memungkinkan penentuan daftar ketergantungan kepercayaan, yang ditentukan oleh komponen sistem. USL tidak akan secara proaktif menemukan basis kepercayaan dari transaksi yang tidak memiliki spesifikasi ketergantungan kepercayaan, dan pada awalnya berfokus pada verifikasi basis kepercayaan.
Namun, kita dapat melihat dari terobosan penting yang dibuat dalam teknologinya bahwa USL telah menunjukkan kemampuannya dalam memecahkan masalah praktis dalam praktiknya. Di masa depan, dengan semakin banyaknya aplikasi dan peningkatan infrastruktur, Pi Squared pasti akan membawa lebih banyak inovasi dan perubahan pada industri blockchain.
