Champaign, Illinois, Amerika Serikat, 2 Juli 2024, Chainwire

Pi Squared, (Proof of Proof), mengumumkan penutupan peningkatan modal pertama mereka. Dipimpin oleh Polychain Capital, sindikat ini mencakup ABCDE, Bloccelerate, Generative Ventures, Robot Ventures, dan Samsung Next. Angel investor termasuk Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju, dan Common Prefix.

Menggunakan teknologi zero-knowledge (ZK) dengan konstruksi yang benar dan cara yang unik secara fundamental, Pi Squared akan memungkinkan komputasi jarak jauh yang tidak dapat dipercaya, AI, dan kontrak pintar yang dapat dioperasikan untuk blockchain atau dApp apa pun. Hal ini akan dimungkinkan melalui penciptaan sirkuit ZK yang universal dan sangat kecil yang memeriksa integritas bukti matematis, yang akan memberikan jaminan kebenaran komputasi yang dapat diverifikasi untuk semua bahasa dan mesin virtual (VM) langsung dari semantik formalnya, tanpa ada terjemahan 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, konstruksinya benar-benar tepat, dan secepat kilat,” kata Grigore Roșu, CEO Pi Squared dan Profesor CS di Universitas Illinois Urbana-Champaign . “Ini akan mempunyai banyak aplikasi, termasuk lapisan penyelesaian universal (USL) sehingga semua Blockchain, L1 dan L2, bisa bersifat universal, benar, dapat dioperasikan dan efisien. Tidak hanya sampai disitu saja, misi jangka panjang kami adalah menyelesaikan semua ilmu pengetahuan dan pengetahuan tentang USL.” 

“Teknologi bukti bukti Pi Squared akan memiliki dampak transformatif di 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, mulai dari pembuat hingga pengguna akhir.”

Pi Squared akan memungkinkan generasi berikutnya dari komputasi terverifikasi yang bersifat universal dan terukur 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

Komputasi dapat diekspresikan dalam bahasa mesin tingkat tinggi atau 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.

Minimalitas Basis Kepercayaan

USL memaparkan asumsi kepercayaan apa pun dalam komputasi lapisan atas untuk meningkatkan transparansi, kesadaran pengguna akhir, dan akan meminimalkan basis kepercayaan melalui bukti kebenaran.

Interoperabilitas Aplikasi

USL akan mendukung interoperabilitas antara modul aplikasi dan jaringan yang berbeda (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 kebenaran menyeluruh untuk penghitungan umum sambil meminimalkan basis kepercayaan yang mendasari penghitungan 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 efisien dan terukur.

Pi Squared akan melakukan presentasi dan pameran di acara sekitar EthCC di Brussels dari tanggal 8 hingga 11 Juli. Peserta dapat mendengarkan CEO Pi Squared, Grigore Roșu, berbicara di Restaking & Infra Day pada tanggal 8 Juli dan L2con pada tanggal 9 Juli.

Tentang Pi Kuadrat

Pi Squared berarti bukti ZK dari bukti matematis. Pi Squared menggunakan teknologi ZK dengan konstruksi yang benar dan cara yang pada dasarnya unik. Sirkuit ZK yang universal dan sangat kecil memberikan jaminan kebenaran komputasi yang dapat diverifikasi untuk semua bahasa dan VM, tanpa terjemahan apa pun ke bahasa umum, VM, atau ISA. Pi Squared dipimpin oleh profesor UIUC Grigore Rosu, pendiri kerangka K dan Verifikasi Runtime, dan terdiri dari peneliti dan pendiri proyek sukses dalam metode formal, blockchain, dan AI/ML.

Untuk memesan pertemuan dengan CEO dan tim Pi Squared, peserta dapat menghubungi contact@pi2.network. 

Untuk mempelajari lebih lanjut tentang visi Pi Squared dan Proof of Proof, kunjungi pi2.network dan ikuti Pi Squared di media sosial.

Kontak

Kepala PemasaranChris HazeltonPi Squared Incmedia@pi2.network

Pos Pi Squared Mengumpulkan Pendanaan Awal $12.5 Juta yang Dipimpin oleh Polychain Capital untuk Membangun Sirkuit ZK Universal yang Didukung oleh Bukti Bukti muncul pertama kali di CaptainAltcoin.