Dies ist eine Übersetzung des ursprünglichen englischen Artikels.
Champaign, Illinois, Vereinigte Staaten, 2. Juli 2024, Chainwire
Pi Squared, (Proof of Proof), gab den Abschluss ihrer ersten Kapitalbeschaffung bekannt. Angeführt von Polychain Capital umfasst das Syndikat ABCDE, Bloccelerate, Generative Ventures, Robot Ventures und Samsung Next. Zu den Angel-Investoren gehören 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 Nutzung von Zero-Knowledge (ZK) Technologie auf eine korrekt konstruierte und grundsätzlich einzigartige Weise wird Pi Squared vertrauensloses Remote-Computing, KI und interoperable Smart Contracts für jede Blockchain oder dApp ermöglichen. Dies wird durch die Schaffung eines universellen und erschreckend kleinen ZK-Schaltkreises möglich, der die Integrität mathematischer Beweise überprüft und garantierte Korrektheit in der verifizierbaren Berechnung für alle Programmiersprachen und virtuellen Maschinen (VMs) direkt aus ihrer formalen Semantik bietet, ohne eine Übersetzung in eine gemeinsame Sprache, VM oder Befehlsarchitektur (ISA).
„Unsere Mission ist es, verifizierbare Berechnungen zu revolutionieren, sie universell für alle Programmiersprachen und virtuellen Maschinen zu gestalten, inhärent korrekt konstruiert und blitzschnell“, sagt Grigore Roșu, CEO von Pi Squared und CS-Professor an der University of Illinois Urbana-Champaign. „Das wird viele Anwendungen haben, einschließlich einer universellen Abwicklungsschicht (USL), sodass alle Blockchains, L1s und L2s universell, korrekt, interoperabel und effizient sein können. Damit endet es nicht; unsere langfristige Mission ist es, alle Wissenschaft und Wissen auf dem USL zu konsolidieren.“
„Die Proof of Proof-Technologie von Pi Squared wird einen transformierenden 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 erheblich erhöhen, von Entwicklern bis zu Endnutzern.“
Pi Squared wird die nächste Generation der verifizierbaren Berechnung ermöglichen, die universell und skalierbar mit einer optimal minimalen Vertrauensbasis ist. Das erste Produkt, das von Pi Squared betrieben wird, ist die Universelle Abwicklungsschicht (USL), eine Architektur für modulare Blockchains, die folgende Eigenschaften ermöglicht:
Universalität
Berechnungen können in jeder Hochsprache oder virtuellen Maschinen-Sprache ausgedrückt werden, ohne dass Compiler oder Übersetzer erforderlich sind.
Beweisbare Korrektheit
Berechnungen, die durch die USL verifiziert werden, sind mathematisch bewiesen korrekt, und jede externe Entität kann unabhängig die Korrektheit des Zustands der USL überprüfen.
Minimalität der Vertrauensbasis
Die USL offenbart alle Vertrauensannahmen in oberen Berechnungen für erhöhte Transparenz, Bewusstsein der Endnutzer und wird die Vertrauensbasis durch Korrektheitsbeweise minimieren.
App-Interoperabilität
Die USL wird die Interoperabilität zwischen verschiedenen Anwendungsmodulen und Netzwerken (z.B. Appchains) unterstützen.
Determinismus und Reproduzierbarkeit
Die Validierung ist reproduzierbar und von jeder externen Entität unabhängig verifizierbar.
Die USL von Pi Squared bietet daher End-to-End-Korrektheitsgarantien für generische Berechnungen und minimiert dabei die Vertrauensbasis, die diesen Berechnungen zugrunde liegt. Die USL fördert verifizierbare Berechnung als den Standard für verteilte Rechenparadigmen, ohne besondere domänenspezifische Sprachen (DSLs), VMs oder Ausführungsumgebungen zu erfordern oder zu fördern, und das alles während sie effizient und skalierbar bleibt.
Pi Squared wird bei Veranstaltungen rund um die EthCC in Brüssel vom 8. bis 11. Juli präsentieren und ausstellen. Die Teilnehmer können den CEO von Pi Squared, Grigore Roșu, sprechen hören am Restaking & Infra Day am 8. Juli und am L2con am 9. Juli.
Über Pi Squared
Pi Squared steht für ZK-Beweise mathematischer Beweise. Pi Squared verwendet ZK-Technologie auf eine korrekt konstruierte und grundsätzlich einzigartige Weise. Ein universeller und erschreckend kleiner ZK-Schaltkreis bietet Korrektheitsgarantien für verifizierbare Berechnungen für alle Programmiersprachen und VMs, ohne eine Übersetzung in eine gemeinsame Sprache, VM oder ISA. Pi Squared wird von dem UIUC-Professor Grigore Rosu, Gründer des K-Frameworks und von Runtime Verification, geleitet und besteht aus Forschern und Gründern erfolgreicher Projekte in formalen Methoden, Blockchain und KI/ML.
Um ein Meeting mit dem CEO und dem Team von Pi Squared zu buchen, können die Teilnehmer eine E-Mail senden an contact@pi2.network.
Um mehr über die Vision von Pi Squared und Proof of Proof zu erfahren, besuchen Sie pi2.network und folgen Sie Pi Squared in den sozialen Medien.
Kontakt
Leiter Marketing
Chris Hazelton
Pi Squared Inc
media@pi2.network
