[PRESSEMITTEILUNG – Champaign, Illinois, Vereinigte Staaten, 2. Juli 2024]
Pi Squared (Proof of Proof) gab den Abschluss seiner ersten Kapitalerhöhung bekannt. Unter der Leitung von Polychain Capital umfasst das Konsortium 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.
Pi Squared nutzt die Zero-Knowledge-Technologie (ZK) auf korrekte und grundsätzlich einzigartige Weise und ermöglicht vertrauenswürdiges Remote Computing, KI und interoperable Smart Contracts für jede Blockchain oder dApp. Möglich wird dies durch die Schaffung einer universellen und entwaffnend kleinen ZK-Schaltung, die die Integrität mathematischer Beweise überprüft und überprüfbare rechnerische Korrektheitsgarantien für alle Sprachen und virtuellen Maschinen (VMs) direkt aus ihrer formalen Semantik ohne jegliche Zusicherungen liefert Übersetzung in eine gemeinsame Sprache, VM oder Befehlssatzarchitektur (ISA).
„Unsere Mission ist es, verifizierbares Computing zu revolutionieren und es für alle Sprachen und virtuellen Maschinen universell, von Natur aus konstruktionskorrekt und blitzschnell zu machen“, sagt Grigore Roșu, CEO von Pi Squared und CS-Professor an der University of Illinois Urbana-Champagner. „Dies 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 ist es noch nicht getan, unsere langfristige Mission ist es, die gesamte Wissenschaft und das gesamte Wissen auf USL zu konzentrieren.“
„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. „Die universelle ZK-Schaltung 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 Datenverarbeitung ermöglichen, die universell und skalierbar ist und eine möglichst minimale Vertrauensbasis aufweist. Das erste von Pi Squared unterstützte Produkt ist der Universal Settlement Layer (USL), eine Architektur für modulare Blockchains, die die folgenden Eigenschaften ermöglicht:
Universalität
Berechnungen können in jeder Hochsprache oder virtuellen Maschinensprache ausgedrückt werden, ohne dass Compiler oder Übersetzer erforderlich sind.
Beweisbare Richtigkeit
Von der USL verifizierte Berechnungen haben sich mathematisch als korrekt erwiesen, und jede externe Instanz kann die Richtigkeit des USL-Status unabhängig überprüfen.
Vertrauensbasis-Minimalität
USL legt alle Vertrauensannahmen in Berechnungen der oberen Schicht offen, um die Transparenz und das Bewusstsein der Endbenutzer 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 kann von jeder externen Instanz unabhängig überprüft werden.
Pi Squareds USL bietet daher End-to-End-Korrektheitsgarantien für generische Berechnungen und minimiert gleichzeitig die diesen Berechnungen zugrunde liegende Vertrauensbasis. USL fördert verifizierbares Computing als Standardparadigma für verteiltes Computing, ohne dass bestimmte domänenspezifische Sprachen (DSLs), VMs oder Ausführungsumgebungen erforderlich sind oder gefördert werden, und das alles bei gleichzeitiger Effizienz und Skalierbarkeit.
Pi Squared wird vom 8. bis 11. Juli bei Veranstaltungen rund um EthCC in Brüssel Vorträge halten und ausstellen. Teilnehmer können der Rede des CEO von Pi Squared, Grigore Roșu, beim Restating & Infra Day am 8. Juli und der L2con am 9. Juli zuhören.
Über Pi im Quadrat
Pi im Quadrat bedeutet ZK-Beweise für mathematische Beweise. Pi Squared nutzt die ZK-Technologie auf konstruktionsrichtige und grundsätzlich einzigartige Weise. Eine universelle und entwaffnend kleine ZK-Schaltung bietet überprüfbare Rechenkorrektheitsgarantien 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 Laufzeitverifizierung, 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 buchen, können sich Teilnehmer an contact@pi2.network wenden.
Um mehr über die Vision und Proof of Proof von Pi Squared zu erfahren, besuchen Sie pi2.network und folgen Sie Pi Squared in den sozialen Medien.
Der Beitrag „Pi Squared sammelt 12,5 Millionen US-Dollar an Startkapital unter der Leitung von Polychain Capital zum Aufbau einer universellen ZK-Schaltung mit Proof of Proof“ erschien zuerst auf CryptoPotato.
Ethereum-Mitbegründer Vitalik Buterin hat Krypto-Führungskräfte gewarnt, sich auf kollektive Sicherheit und Überleben zu konzentrieren und…
Binance-Gründer Changpeng Zhao warnte kürzlich in einem Interview mit CoinDesk, dass traditionelle Banken möglicherweise anfälliger…
Bradley Garlinghouse, CEO von Ripple, wendet sich gegen die Idee, dass die wachsenden Ambitionen des…
Laut einem aktuellen Bericht einer lokalen chinesischen Publikation haben chinesische Regulierungsbehörden gegen Werbeaktivitäten der Solana-Blockchain-Plattform…
Die Wall Street verzeichnete nach den Zwischenwahlen in den USA eine deutliche Erholung und machte…
ADA erfreut sich bei tokenisierten realen Vermögenswerten und der institutionellen Blockchain-Einführung immer größerer Beliebtheit. Der…