Champaign, Illinois, Amerika Serikat, 2 Juli 2024, Chainwire
Pi Squared, (Proof of Proof), mengumumkan penutupan penggalangan dana pertama mereka. Dipimpin oleh Polychain Capital, sindikat tersebut meliputi ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, dan Samsung Next. Angel investor meliputi Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju, dan Common Prefix.
Dengan menggunakan teknologi zero-knowledge (ZK) dengan cara yang benar berdasarkan konstruksi dan unik, Pi Squared akan memungkinkan komputasi jarak jauh tanpa kepercayaan, AI, dan kontrak pintar yang dapat dioperasikan untuk blockchain atau dApp apa pun. Hal ini akan dimungkinkan melalui pembuatan sirkuit ZK yang universal dan sangat kecil yang memeriksa integritas bukti matematika, yang akan memberikan jaminan kebenaran komputasi yang dapat diverifikasi untuk semua bahasa dan mesin virtual (VM) secara langsung dari semantik formalnya, tanpa penerjemahan apa pun ke bahasa umum, VM, atau arsitektur set instruksi (ISA).
“Misi kami adalah merevolusi komputasi yang dapat diverifikasi, menjadikannya universal untuk semua bahasa dan mesin virtual, yang secara inheren benar berdasarkan konstruksi, dan secepat kilat,” kata Grigore Roșu, CEO Pi Squared dan Profesor CS di University of Illinois Urbana-Champaign. “Ini akan memiliki banyak aplikasi, termasuk lapisan penyelesaian universal (USL) sehingga semua Blockchain, L1 dan L2, dapat bersifat universal, benar, dapat dioperasikan bersama, dan efisien. Tidak berhenti di situ, misi jangka panjang kami adalah menyelesaikan semua sains dan pengetahuan di USL.” “Teknologi pembuktian Pi Squared akan memiliki dampak transformatif di seluruh Web3 dan seterusnya,” kata Karthik Raju, GP di Polychain Capital. “Sirkuit ZK universal Pi Squared akan secara signifikan meningkatkan jangkauan dan penerapan Web3 untuk semua orang, dari pembangun hingga pengguna akhir.”
Pi Squared akan memungkinkan komputasi terverifikasi generasi berikutnya yang bersifat universal dan dapat diskalakan dengan basis kepercayaan minimal yang optimal. Produk pertama yang didukung oleh Pi Squared adalah Universal Settlement Layer (USL), sebuah arsitektur untuk blockchain modular yang memungkinkan karakteristik berikut:
Keuniversalan
Perhitungan dapat diekspresikan dalam bahasa mesin tingkat tinggi atau bahasa mesin virtual apa pun, tanpa memerlukan kompiler atau penerjemah.
Kebenaran yang dapat dibuktikan
Perhitungan yang diverifikasi oleh USL terbukti benar secara matematis, dan entitas eksternal mana pun dapat secara independen memverifikasi kebenaran status USL.
Basis Kepercayaan Minimalitas
USL memaparkan asumsi kepercayaan apa pun dalam komputasi lapisan atas untuk meningkatkan transparansi, kesadaran pengguna akhir, dan akan meminimalkan basis kepercayaan melalui pembuktian kebenaran.
Interoperabilitas Aplikasi
USL akan mendukung interoperabilitas antara berbagai modul aplikasi dan jaringan (misalnya rantai aplikasi).
Determinisme dan reproduktifitas
Validasi dapat direproduksi dan diverifikasi secara independen oleh entitas eksternal mana pun.
Oleh karena itu, USL Pi Squared memberikan jaminan ketepatan menyeluruh untuk komputasi generik sekaligus meminimalkan basis kepercayaan yang mendasari komputasi ini. USL mempromosikan komputasi yang dapat diverifikasi sebagai paradigma komputasi terdistribusi standar tanpa memerlukan atau mempromosikan bahasa khusus domain (DSL), VM, atau lingkungan eksekusi tertentu, sekaligus tetap efisien dan dapat diskalakan.
Pi Squared akan melakukan presentasi dan pameran di berbagai acara seputar EthCC di Brussels mulai tanggal 8 hingga 11 Juli. Para hadirin dapat mendengarkan CEO Pi Squared, Grigore Roșu, berbicara di Resttaking & Infra Day pada tanggal 8 Juli dan L2con pada tanggal 9 Juli.
Tentang Pi Kuadrat
Pi Squared berarti pembuktian ZK dari pembuktian matematika. Pi Squared menggunakan teknologi ZK dengan cara yang benar berdasarkan konstruksi dan unik secara fundamental. Sirkuit ZK yang universal dan sangat kecil memberikan jaminan kebenaran komputasi yang dapat diverifikasi untuk semua bahasa dan VM, tanpa penerjemahan ke bahasa umum, VM, atau ISA. Pi Squared dipimpin oleh profesor UIUC Grigore Rosu, pendiri kerangka kerja K dan Verifikasi Runtime, dan terdiri dari para peneliti dan pendiri proyek yang sukses dalam metode formal, blockchain, dan AI/ML.
Untuk memesan pertemuan dengan CEO dan tim Pi Squared, peserta dapat menghubungi [email protected].
Untuk mempelajari lebih lanjut tentang visi Pi Squared dan Proof of Proof, kunjungi pi2.network dan ikuti Pi Squared di media sosial.
Kontak
Kepala Pemasaran
Chris Hazelton
Pi Kuadrat Inc
[email protected]