Pi Kare Yorumlanıyor: En İyi Üniversitelerden Akademik Elitlerin Öncülüğünde

BTC son birkaç gündür düşüş eğilimi yaşarken, birincil piyasa önemli finansman anlaşmalarını ortaya çıkarmaya devam etti. Yapay zeka devi Sentiment tarafından toplanan 85 milyon doların yanı sıra, bu hafta dikkat çeken bir diğer finansman projesi de ZK teknolojisiyle ilgili Pi Squared.

2 Temmuz’da Pi Squared, Polychain Capital liderliğinde ABCDE, Bloccelerate, Generative Ventures, Robot Ventures ve Samsung Next’in katılımıyla 12 milyon dolarlık tohum finansmanı sağladığını duyurdu. Melek yatırımcılar arasında Ethereum Vakfı’ndan Justin Drake ve EigenLayer’ın kurucusu Sreeram Kanaan da yer aldı.

Kamuya açık bilgilerden Pi Squared ismi, pi karenin sonsuz doğası ile teknik derinlik ve gizem duygusu yaratan derin matematiksel çıkarımlar önermektedir. Projenin kendisi “evrensel ZK devreleri” ve “evrensel bir yerleşim katmanı” oluşturmaya odaklanıyor, kelimeler tanıdık olsa da genellikle anlaşılması zor bir şekilde tanımlanıyor.

Projenin yüce ve görünüşte anlaşılmaz doğasına rağmen, yüksek profilli VC’lerin ve melek yatırımcı olarak tanınmış bireylerin kombinasyonu Pi Squared’i göz ardı etmeyi zorlaştırıyor. Peki, Pi Squared tam olarak nedir?

Pi Kare: En İyi Üniversitelerden Akademik Elitler Tarafından Yönetiliyor

Tahtaya Pi Kare çizmek birçok kişi için şaşırtıcı olabilir, ancak akademik elitler bunu yaptığında etkisi oldukça farklıdır.

Pi Squared, Illinois Urbana-Champaign Üniversitesi’nde (UIUC) bilgisayar bilimleri profesörü olan ve aynı zamanda projenin CEO’su olarak görev yapan Grigore Rosu tarafından yönetilmektedir.

2014 yılında UIUC’de profesör olan Grigore Rosu, biçimsel doğrulama ve çalışma zamanı doğrulama konularında uzmanlaşmıştır. Basitçe ifade etmek gerekirse, biçimsel doğrulama, yazılım ve donanım sistemlerinin doğruluğunu kanıtlamak için matematiksel yöntemlerin kullanılmasını ve çeşitli koşullar altında düzgün çalıştıklarından emin olunmasını içerir. Öte yandan çalışma zamanı doğrulaması, kararlılığı ve güvenliği artırmak için sistem davranışının gerçek zamanlı olarak izlenmesini içerir.

Wikipedia’ya göre Profesör Grigore Rosu, Association for Computing Machinery (ACM) ve International Conference on Automated Software Engineering (ASE) tarafından en iyi ödülleri alan çok sayıda makale yayınlamıştır.

Peki bunun bir kripto projesiyle ne ilgisi var?

Pi Squared’in ana iş tanımına bakarsanız, kullanılan programlama dili (PL) veya sanal makineden (VM) bağımsız olarak herhangi bir programın doğru yürütüldüğünü doğrulamak için sıfır bilgi kanıtı (ZK) teknolojisini kullandığını göreceksiniz. Blok zincirleri, diller ve uygulamalar arasında sorunsuz birlikte çalışabilirlik sağlamayı amaçlayan evrensel ve verimli bir doğrulama yöntemi sağlar.

Bu, Profesör Grigore Rosu’nun doğrulama konusundaki uzmanlığıyla mükemmel bir şekilde örtüşüyor ve akademik bilgisinin ideal bir uygulaması haline geliyor.

USL: Sistem İşlemi Mutabakatının Kolaylaştırılması

Pi Squared’ın oluşturmayı amaçladığı “evrensel yerleşim katmanına” (USL) daha yakından bakalım.

Öncelikle, Pi Squared’in doğrudan son kullanıcıları hedeflemediğini, bunun yerine çeşitli kripto ve geliştirici toplulukları için ürünler sağladığını belirtmek önemlidir.

Pi Squared’in amacı, blok zincirleri, diller ve uygulamalar arasında birlikte çalışabilirliği basitleştiren ve derleyiciler, çevirmenler veya yorumlayıcılar gibi geleneksel, genellikle hataya açık dil uygulamalarına olan ihtiyacı ortadan kaldıran bir USL oluşturmaktır.

Basitçe anlamak için, farklı blockchains, programlama dilleri ve uygulamaların birbirleriyle sorunsuz bir şekilde çalışmasını sağlar. Geliştiriciler, zincirler arası ve diller arası uygulamaları daha kolay oluşturabilir.

İşte Pi Squared web sitesinden bu süper çevirmenin rolünü gösteren bir diyagram:

1. İşlemi Başlat: Bir kullanıcı (örneğin Alice) Bob’a 1 WETH aktarmak gibi bir işlem talebi başlatır. WETH, ERC20 uyumlu bir token’dır.
2. Evrensel Yerleşim: İşlem talebi, EVM veya Python gibi herhangi bir sanal makine ve programlama dilini destekleyen bir ortama gönderilir. Bu evrensel uzlaştırma katmanıdır – hesaplama, söz konusu dil veya sanal makine için resmi bir spesifikasyon olduğu sürece herhangi bir dilde veya sanal makinede ifade edilebilir.
3. Kanıt Oluşturun: 2. adımda, işlemin doğruluğunu teyit etmek için matematiksel bir kanıt oluşturulur. Bu kanıt çok kesindir ancak çok büyük olabilir.
4. Kanıt Doğrulama: “Büyük kanıtı” doğrulamak için bir ZK-ED (sıfır bilgi – eşleşen mantık) kanıt denetleyicisi kullanılır. Bu denetleyici küçüktür ve büyük ölçekli paralel görevleri işleyebilir.
5. ZK Sıkıştırma: Son olarak, işlemin doğruluğunu doğrulamak için bir sıfır-bilgi kanıtı oluşturulur. Bu sıfır bilgi kanıtı küçüktür ve verimli bir şekilde iletilebilir ve doğrulanabilir.

Dolayısıyla yukarıdaki süreç, basit bir işlem talebinin matematiksel kanıtların oluşturulmasına ve doğrulanmasına nasıl yol açabileceğini ve nihayetinde işlemin doğruluğunu ve gizliliğini sağlamak için daha küçük bir sıfır bilgi kanıtı üretebileceğini göstermektedir.

Projenin ekosistem perspektifinden bakıldığında Pi Squared, teknoloji yığınında, hesaplama katmanı ve sıralama hizmetlerinin üstünde ve fikir birliği ve veri kullanılabilirliği katmanının altında orta bir konumda yer almaktadır.

Pi Squared’in USL’si, hesaplama işlemlerinin doğruluğunu yorumlayan ve doğrulayan, yukarıdaki hesaplama katmanını aşağıdaki mutabakat katmanına bağlayan iyimser bir toplama olarak görülebilir.

Ayrıca Pi Squared, fikir birliği protokollerini çalıştıran düğümlerle kendi ağına sahip olduğundan bahsetti ve bu da doğrudan projenin tokeniyle ilgili olası bir stake tabanlı ekonomik sistem önerdi. Bununla birlikte, proje belgelerinde şu ana kadar token hakkında hiçbir bilgi açıklanmadı ve geleceği hakkında spekülasyonlara yer bıraktı.

Pi Squared henüz kavram kanıtlama aşamasındadır. Profesör Rosu, projenin 2024 yılı sonuna kadar testnet aşamasına gireceğini belirtti. Şu anda proje ısınma ve tanıtım aşamasında olup, katılım için herhangi bir faaliyet veya görev mevcut değildir.

Projeyi izlemeye devam edeceğiz. Devralmaktan kaçınma çağrıları ne olursa olsun, her zaman katılmaya değer fırsatlar olacaktır.