English 
Nederlands 
Deutsch 
Dit is een vertaling van het originele Engelstalige artikel.
Champaign, Illinois, Verenigde Staten, 2 juli 2024, Chainwire
Pi Squared, (Proof of Proof), kondigde de afsluiting van hun eerste kapitaalronde aan. Onder leiding van Polychain Capital bestaat het syndicaat uit ABCDE, Bloccelerate, Generative Ventures, Robot Ventures en Samsung Next. Angel-investeerders zijn onder meer Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju en Common Prefix.
Door zero-knowledge (ZK)-technologie op een correct-by-construction en fundamenteel unieke manier te gebruiken, maakt Pi Squared trustless remote computing, AI en interoperabele smart contracts mogelijk voor elke blockchain of dApp. Dit wordt mogelijk gemaakt door de creatie van een universeel en verrassend klein ZK-circuit dat de integriteit van wiskundige bewijzen controleert, wat verifieerbare rekencorrectheid garandeert voor alle talen en virtuele machines (VM’s) rechtstreeks vanuit hun formele semantiek, zonder enige vertaling naar een gemeenschappelijke taal, VM of instructiesetarchitectuur (ISA).
“Onze missie is om verifieerbaar rekenen te revolutioneren, door het universeel te maken voor alle talen en virtuele machines, inherent correct-by-construction en razendsnel,” zegt Grigore Roșu, CEO van Pi Squared en CS-professor aan de University of Illinois Urbana-Champaign. “Dit zal veel toepassingen hebben, waaronder een universele settlement layer (USL), zodat alle blockchains, L1’s en L2’s universeel, correct, interoperabel en efficiënt kunnen zijn. Het houdt daar niet op: onze langetermijnmissie is om alle wetenschap en kennis op de USL te vestigen.”
“De proof of proof-technologie van Pi Squared zal een transformatieve impact hebben op Web3 en daarbuiten,” aldus Karthik Raju, GP bij Polychain Capital. “Het universele ZK-circuit van Pi Squared zal het bereik en de toepasbaarheid van Web3 voor iedereen aanzienlijk vergroten, van bouwers tot eindgebruikers.”
Pi Squared maakt de volgende generatie van verifieerbaar rekenen mogelijk, die universeel en schaalbaar is met een optimaal minimale trust base. Het eerste product dat wordt aangedreven door Pi Squared is de Universal Settlement Layer (USL), een architectuur voor modulaire blockchains die de volgende kenmerken mogelijk maakt:
Universaliteit
Berekeningen kunnen worden uitgedrukt in elke high-level taal of virtuele-machinetaal, zonder dat compilers of vertalers nodig zijn.
Bewijsbare correctheid
Berekeningen die door de USL worden geverifieerd, zijn wiskundig bewezen correct, en elke externe partij kan de correctheid van de status van de USL onafhankelijk verifiëren.
Minimale trust base
USL legt eventuele trust-aannames in berekeningen op hogere lagen bloot voor meer transparantie en bewustzijn bij eindgebruikers, en minimaliseert de trust base door middel van correctheidsbewijzen.
App-interoperabiliteit
De USL ondersteunt interoperabiliteit tussen verschillende applicatiemodules en netwerken (bijv. appchains).
Determinisme en reproduceerbaarheid
De validatie is reproduceerbaar en onafhankelijk verifieerbaar door elke externe partij.
De USL van Pi Squared biedt daarom end-to-end correctheidsgaranties voor generieke berekeningen, terwijl de onderliggende trust base van deze berekeningen wordt geminimaliseerd. USL bevordert verifieerbaar rekenen als het standaard paradigma voor gedistribueerd rekenen, zonder specifieke domain-specific languages (DSL’s), VM’s of uitvoeringsomgevingen te vereisen of te bevoordelen, en dit alles terwijl het efficiënt en schaalbaar blijft.
Pi Squared zal aanwezig zijn en exposeren op evenementen rond EthCC in Brussel, van 8 tot en met 11 juli. Bezoekers kunnen Pi Squared’s CEO, Grigore Roșu, horen spreken op Restaking & Infra Day op 8 juli en L2con op 9 juli.
Over Pi Squared
Pi Squared staat voor ZK-bewijzen van wiskundige bewijzen. Pi Squared gebruikt ZK-technologie op een correct-by-construction en fundamenteel unieke manier. Een universeel en verrassend klein ZK-circuit biedt verifieerbare rekencorrectheidsgaranties voor alle talen en VM’s, zonder enige vertaling naar een gemeenschappelijke taal, VM of ISA. Pi Squared staat onder leiding van UIUC-professor Grigore Rosu, oprichter van het K framework en van Runtime Verification, en bestaat uit onderzoekers en oprichters van succesvolle projecten op het gebied van formele methoden, blockchain en AI/ML.
Om een afspraak te maken met de CEO en het team van Pi Squared, kunnen bezoekers contact opnemen via contact@pi2.network.
Voor meer informatie over de visie van Pi Squared en Proof of Proof, bezoek pi2.network en volg Pi Squared op social media.
Contact
Hoofd Marketing
Chris Hazelton
Pi Squared Inc
media@pi2.network
Blijf voorop in crypto