Champaign, Illinois, USA, 2. Juli 2024, Chainwire

Pi Squared (Proof of Proof) gab den Abschluss seiner ersten Kapitalerhöhung bekannt. Unter der Leitung von Polychain Capital umfasst das Syndikat ABCDE, Bloccelerate, Generative Ventures, Robot Ventures und Samsung Next. Zu den Angel-Investoren zählen Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju und Common Prefix.

Durch die Verwendung von Zero-Knowledge-Technologie (ZK) auf eine von Grund auf korrekte und grundlegend einzigartige Weise ermöglicht Pi Squared vertrauensloses Remote Computing, KI und interoperable Smart Contracts für jede Blockchain oder dApp. Dies wird durch die Schaffung einer universellen und entwaffnend kleinen ZK-Schaltung möglich, die die Integrität mathematischer Beweise überprüft und allen Sprachen und virtuellen Maschinen (VMs) gleichermaßen verifizierbare Computerkorrektheitsgarantien direkt aus ihrer formalen Semantik bietet, ohne dass eine Übersetzung in eine gemeinsame Sprache, VM oder Befehlssatzarchitektur (ISA) erforderlich ist.

„Unsere Mission ist es, verifizierbares Computing zu revolutionieren, indem wir es universell für alle Sprachen und virtuellen Maschinen machen, es von Natur aus korrekt und blitzschnell“, sagt Grigore Roșu, CEO von Pi Squared und Informatikprofessor an der University of Illinois Urbana-Champaign. „Dies wird viele Anwendungen haben, darunter eine universelle Abwicklungsschicht (USL), damit alle Blockchains, L1s und L2s, universell, korrekt, interoperabel und effizient sein können. Damit ist es jedoch nicht getan, unsere langfristige Mission ist es, alle Wissenschaft und alles Wissen auf der USL anzusiedeln.“

„Die Proof-of-Proof-Technologie von Pi Squared wird einen transformativen Einfluss auf Web3 und darüber hinaus haben“, sagte Karthik Raju, GP bei Polychain Capital. „Der universelle ZK-Schaltkreis von Pi Squared wird die Reichweite und Anwendbarkeit von Web3 für alle, vom Entwickler bis zum Endbenutzer, erheblich erhöhen.“

Pi Squared wird die nächste Generation verifizierbarer Computer ermöglichen, die universell und skalierbar ist und eine optimal minimale Vertrauensbasis bietet. Das erste von Pi Squared betriebene Produkt ist die Universal Settlement Layer (USL), eine Architektur für modulare Blockchains, die die folgenden Eigenschaften ermöglicht:

Universalität

Berechnungen können in jeder höheren oder virtuellen Maschinensprache ausgedrückt werden, ohne dass Compiler oder Übersetzer erforderlich sind.

Nachweisbare Richtigkeit

Die Richtigkeit der von der USL überprüften Berechnungen ist mathematisch erwiesen, und jede externe Stelle kann die Richtigkeit des Zustands der USL unabhängig überprüfen.

Minimale Vertrauensbasis

USL legt sämtliche Vertrauensannahmen in Berechnungen der oberen Ebene offen, um die Transparenz und das Bewusstsein des Endbenutzers zu erhöhen, und minimiert die Vertrauensbasis durch Korrektheitsnachweise.

App-Interoperabilität

Die USL unterstützt die Interoperabilität zwischen verschiedenen Anwendungsmodulen und Netzwerken (z. B. Appchains).

Determinismus und Reproduzierbarkeit

Die Validierung ist reproduzierbar und von jeder externen Stelle unabhängig überprüfbar.

Die USL von Pi Squared bietet daher End-to-End-Korrektheitsgarantien für generische Berechnungen und minimiert gleichzeitig die diesen Berechnungen zugrunde liegende Vertrauensbasis. Die USL fördert verifizierbares Computing als Standardparadigma für verteiltes Computing, ohne bestimmte domänenspezifische Sprachen (DSLs), VMs oder Ausführungsumgebungen zu erfordern oder zu fördern, und ist dabei effizient und skalierbar.

Pi Squared wird vom 8. bis 11. Juli auf Veranstaltungen rund um EthCC in Brüssel präsentieren und ausstellen. Teilnehmer können dem CEO von Pi Squared, Grigore Roșu, beim Restaking & Infra Day am 8. Juli und bei L2con am 9. Juli zuhören.

Über Pi Squared

Pi Squared steht für ZK-Beweise für mathematische Beweise. Pi Squared verwendet die ZK-Technologie auf eine von Grund auf korrekte und grundlegend einzigartige Weise. Eine universelle und entwaffnend kleine ZK-Schaltung bietet verifizierbare Computerkorrektheitsgarantien für alle Sprachen und VMs gleichermaßen, ohne dass eine Übersetzung in eine gemeinsame Sprache, VM oder ISA erforderlich ist. Pi Squared wird von UIUC-Professor Grigore Rosu, dem Gründer des K-Frameworks und der Runtime Verification, geleitet und besteht aus Forschern und Gründern erfolgreicher Projekte in den Bereichen formale Methoden, Blockchain und KI/ML.

Um ein Treffen mit dem CEO und dem Team von Pi Squared zu vereinbaren, können sich Teilnehmer an contact@pi2.network wenden.

Um mehr über die Vision und den Proof of Proof von Pi Squared zu erfahren, besuchen Sie pi2.network und folgen Sie Pi Squared in den sozialen Medien.

Kontakt

Marketingleiter
Chris Hazelton
Pi Squared Inc
media@pi2.network