Menafsirkan Pi Kuadrat: Dipimpin oleh Elit Akademis dari Universitas Terkemuka

Meskipun BTC telah mengalami tren penurunan selama beberapa hari terakhir, pasar utama terus mengungkapkan kesepakatan pembiayaan yang signifikan. Selain $85 juta yang dikumpulkan oleh raksasa AI Sentiment, proyek pembiayaan penting lainnya minggu ini adalah Pi Squared, yang terkait dengan teknologi ZK.

Pada tanggal 2 Juli, Pi Squared mengumumkan bahwa mereka telah mendapatkan pendanaan awal sebesar $12 juta yang dipimpin oleh Polychain Capital, dengan partisipasi dari ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, dan Samsung Next. Angel investor termasuk Justin Drake dari Ethereum Foundation dan Sreeram Kanaan, pendiri EigenLayer.

Dari informasi yang tersedia untuk umum, nama Pi Squared menunjukkan implikasi matematika yang mendalam, dengan sifat tak terbatas dari pi kuadrat yang menciptakan kesan kedalaman dan misteri teknis. Proyek ini sendiri berfokus pada pembangunan “sirkuit ZK universal” dan “lapisan penyelesaian universal”, yang sering digambarkan dengan cara yang sulit dipahami meskipun kata-katanya sudah tidak asing lagi.

Terlepas dari sifat proyek yang tinggi dan tampaknya tidak dapat dipahami, kombinasi dari VC terkenal dan individu terkenal sebagai investor malaikat membuat Pi Squared sulit untuk diabaikan. Jadi, apa sebenarnya Pi Squared itu?

Pi Kuadrat: Dipimpin oleh Elit Akademis dari Universitas Terkemuka

Menggambar Pi Kuadrat di papan tulis mungkin membingungkan bagi banyak orang, tetapi ketika para elit akademis melakukannya, efeknya sangat berbeda.

Pi Squared dipimpin oleh Grigore Rosu, seorang profesor ilmu komputer di University of Illinois Urbana-Champaign (UIUC), yang juga menjabat sebagai CEO proyek.

Pada tahun 2014, Grigore Rosu menjadi profesor penuh di UIUC, dengan spesialisasi dalam verifikasi formal dan verifikasi runtime. Sederhananya, verifikasi formal melibatkan penggunaan metode matematika untuk membuktikan kebenaran sistem perangkat lunak dan perangkat keras, memastikan mereka berfungsi dengan baik dalam berbagai kondisi. Verifikasi runtime, di sisi lain, melibatkan pemantauan perilaku sistem secara real-time untuk meningkatkan stabilitas dan keamanan.

Menurut Wikipedia, Profesor Grigore Rosu telah menerbitkan banyak makalah yang telah menerima penghargaan tertinggi dari Association for Computing Machinery (ACM) dan Konferensi Internasional tentang Rekayasa Perangkat Lunak Otomatis (ASE).

Namun, apa hubungannya dengan proyek kripto?

Jika Anda melihat deskripsi bisnis utama Pi Squared, Anda akan menemukan bahwa Pi Squared menggunakan teknologi zero-knowledge proof (ZK) untuk memverifikasi eksekusi yang benar dari program apa pun, apa pun bahasa pemrograman (PL) atau mesin virtual (VM) yang digunakan. Teknologi ini menyediakan metode verifikasi yang universal dan efisien yang bertujuan untuk mencapai interoperabilitas tanpa batas antara blockchain, bahasa, dan aplikasi.

Hal ini selaras dengan keahlian Profesor Grigore Rosu dalam bidang verifikasi, sehingga menjadikannya sebagai aplikasi yang ideal dari pengetahuan akademisnya.

USL: Memfasilitasi Penyelesaian Transaksi Sistem

Mari kita lihat lebih dekat pada “lapisan penyelesaian universal” (USL) yang ingin diciptakan oleh Pi Squared.

Pertama, penting untuk dicatat bahwa Pi Squared tidak secara langsung menargetkan pengguna akhir, melainkan menyediakan produk untuk berbagai komunitas kripto dan pengembang.

Tujuan Pi Squared adalah untuk menciptakan USL yang menyederhanakan interoperabilitas antara blockchain, bahasa, dan aplikasi, menghilangkan kebutuhan akan implementasi bahasa tradisional yang sering kali rentan terhadap kesalahan seperti kompiler, penerjemah, atau penerjemah.

Untuk memahaminya secara sederhana, Anda dapat menganggapnya sebagai penerjemah super yang memungkinkan berbagai blockchain, bahasa pemrograman, dan aplikasi untuk beroperasi secara mulus satu sama lain. Pengembang dapat dengan lebih mudah membuat aplikasi lintas rantai dan lintas bahasa.

Berikut adalah diagram dari situs web Pi Squared yang mengilustrasikan peran penerjemah super ini:

1. Memulai Transaksi: Seorang pengguna (misalnya, Alice) memulai permintaan transaksi, seperti mentransfer 1 WETH ke Bob. WETH adalah token yang sesuai dengan ERC20.
2. Penyelesaian Universal: Permintaan transaksi dikirimkan ke lingkungan yang mendukung mesin virtual dan bahasa pemrograman apa pun, seperti EVM atau Python. Ini adalah lapisan penyelesaian universal-komputasi dapat diekspresikan dalam bahasa atau VM apa pun selama ada spesifikasi formal untuk bahasa atau VM tertentu.
3. Hasilkan Bukti: Untuk langkah 2, bukti matematis dibuat untuk memverifikasi kebenaran transaksi. Bukti ini sangat tepat tetapi bisa sangat besar.
4. Verifikasi Bukti: Pemeriksa bukti ZK-ED (zero-knowledge – pencocokan logika) digunakan untuk memverifikasi “bukti besar”. Pemeriksa ini berukuran kecil dan dapat memproses tugas paralel berskala besar.
5. Kompresi ZK: Terakhir, sebuah bukti tanpa pengetahuan dibuat untuk memverifikasi kebenaran transaksi. Bukti tanpa pengetahuan ini berukuran kecil dan dapat dikirim dan diverifikasi secara efisien.

Dengan demikian, proses di atas menunjukkan bagaimana sebuah permintaan transaksi yang sederhana dapat mengarah pada pembuatan dan verifikasi bukti matematis, yang pada akhirnya menghasilkan sebuah bukti zero-knowledge yang lebih kecil untuk memastikan kebenaran dan privasi transaksi.

Dari perspektif ekosistem proyek, Pi Squared menempati posisi tengah dalam tumpukan teknologi, di atas lapisan komputasi dan layanan pengurutan dan di bawah lapisan konsensus dan ketersediaan data.

USL Pi Squared dapat dilihat sebagai rollup optimis yang menafsirkan dan memverifikasi kebenaran transaksi komputasi, menghubungkan lapisan komputasi di atas dengan lapisan konsensus di bawah.

Selain itu, Pi Squared disebutkan memiliki jaringannya sendiri dengan node yang menjalankan protokol konsensus, menunjukkan kemungkinan sistem ekonomi berbasis staking yang terkait langsung dengan token proyek. Namun, tidak ada informasi tentang token yang diungkapkan dalam dokumen proyek sejauh ini, sehingga menyisakan ruang untuk spekulasi tentang masa depannya.

Pi Squared masih dalam tahap pembuktian konsep. Profesor Rosu menyatakan bahwa proyek ini akan memasuki tahap uji coba pada akhir 2024. Saat ini, proyek ini masih dalam tahap pemanasan dan promosi, tanpa aktivitas atau tugas yang dapat diikuti.

Kami akan terus memantau proyek ini. Terlepas dari seruan untuk tidak mengambil alih, akan selalu ada peluang yang layak untuk diikuti.