Champaign, Illinois, Estados Unidos, 2 de julio de 2024, Chainwire
Pi Squared, (Prueba de Prueba), anunció el cierre de su primera ampliación de capital. Liderado por Polychain Capital, el sindicato incluye ABCDE, Bloccelerate, Generative Ventures, Robot Ventures y Samsung Next. Los inversores ángeles incluyen a Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju y Common Prefix.
Utilizando la tecnología de conocimiento cero (ZK) de una manera correcta por construcción y fundamentalmente única, Pi Squared permitirá computación remota sin confianza, inteligencia artificial y contratos inteligentes interoperables para cualquier blockchain o dApp. Esto será posible gracias a la creación de un circuito ZK universal e increíblemente pequeño que comprueba la integridad de las pruebas matemáticas, lo que proporcionará garantías de corrección informática verificables a todos los lenguajes y máquinas virtuales (VM) por igual directamente desde su semántica formal, sin ningún tipo de traducción a un lenguaje común, VM o arquitectura de conjunto de instrucciones (ISA).
"Nuestra misión es revolucionar la informática verificable, haciéndola universal para todos los lenguajes y máquinas virtuales, inherentemente correcta por construcción y ultrarrápida", dice Grigore Roșu, director ejecutivo de Pi Squared y profesor de informática en la Universidad de Illinois Urbana-Champaign. . “Esto tendrá muchas aplicaciones, incluida una capa de liquidación universal (USL) para que todas las Blockchains, L1 y L2, puedan ser universales, correctas, interoperables y eficientes. No termina ahí, nuestra misión a largo plazo es asentar toda la ciencia y el conocimiento en la USL”.
"La tecnología de prueba de prueba de Pi Squared tendrá un impacto transformador en Web3 y más allá", dijo Karthik Raju, médico de cabecera de Polychain Capital. "El circuito universal ZK de Pi Squared aumentará significativamente el alcance y la aplicabilidad de Web3 para todos, desde los constructores hasta los usuarios finales".
Pi Squared permitirá la próxima generación de informática verificable que es universal y escalable con una base de confianza óptima y mínima. El primer producto impulsado por Pi Squared es Universal Settlement Layer (USL), una arquitectura para blockchains modulares que permite las siguientes características:
Universalidad
Los cálculos se pueden expresar en cualquier lenguaje de máquina virtual o de alto nivel, sin necesidad de compiladores ni traductores.
Corrección demostrable
Se ha demostrado matemáticamente que los cálculos verificados por la USL son correctos y cualquier entidad externa puede verificar de forma independiente la exactitud del estado de la USL.
Minimidad de la base de confianza
USL expone cualquier suposición de confianza en los cálculos de la capa superior para aumentar la transparencia y la conciencia del usuario final y minimizará la base de confianza mediante pruebas de corrección.
Interoperabilidad de aplicaciones
La USL respaldará la interoperabilidad entre diferentes módulos de aplicaciones y redes (por ejemplo, cadenas de aplicaciones).
Determinismo y reproducibilidad
La validación es reproducible y verificable de forma independiente por cualquier entidad externa.
Por lo tanto, el USL de Pi Squared proporciona garantías de corrección de extremo a extremo para cálculos genéricos y, al mismo tiempo, minimiza la base de confianza subyacente a estos cálculos. USL promueve la informática verificable como el paradigma de informática distribuida estándar sin requerir ni promover lenguajes específicos de dominio (DSL), máquinas virtuales o entornos de ejecución particulares, todo ello siendo eficiente y escalable.
Pi Squared presentará y exhibirá en eventos relacionados con EthCC en Bruselas del 8 al 11 de julio. Los asistentes pueden escuchar al director ejecutivo de Pi Squared, Grigore Roșu, hablar en el Restating & Infra Day el 8 de julio y en L2con el 9 de julio.
Acerca de Pi cuadrado
Pi Cuadrado significa pruebas ZK de pruebas matemáticas. Pi Squared utiliza la tecnología ZK de una manera correcta por construcción y fundamentalmente única. Un circuito ZK universal y sorprendentemente pequeño proporciona garantías de corrección informática verificables para todos los idiomas y máquinas virtuales por igual, sin ninguna traducción a un idioma, máquina virtual o ISA común. Pi Squared está dirigido por el profesor de la UIUC Grigore Rosu, fundador del marco K y de Runtime Verification, y está formado por investigadores y fundadores de proyectos exitosos en métodos formales, blockchain e IA/ML.
Para reservar una reunión con el director ejecutivo y el equipo de Pi Squared, los asistentes pueden comunicarse con contact@pi2.network.
Para obtener más información sobre la visión de Pi Squared y la Prueba de prueba, visite pi2.network y siga a Pi Squared en las redes sociales.
Contacto
Jefe de Marketing
Chris Hazelton
Pi cuadrado Inc
medios@pi2.network
La publicación Pi Squared recauda $ 12,5 millones en financiación inicial liderada por Polychain Capital para construir un circuito ZK universal impulsado por Prueba de prueba apareció por primera vez en Blockonomi.
