Champaign, Illinois, Estados Unidos, 2 de julio de 2024, Chainwire
Pi al cuadrado(Proof of Proof), anunció el cierre de su primera ronda de captación de capital. Liderado por Polychain Capital, el sindicato incluye a ABCDE, Bloccelerate, Generative Ventures, Robot Ventures y Samsung Next. Entre los inversores ángeles se encuentran Shumo Chu, Harish Devarajan, Justin Drake, Sreeram Kanaan, Csongor Kiss, George Lambeth, Yilong Li, Calvin Liu, Lucian Mincu, Karthik Raju y Common Prefix.
Pi Squared, que utiliza la tecnología de conocimiento cero (ZK) de una manera correcta por construcción y fundamentalmente única, permitirá la computación remota sin necesidad de confiar en nadie, la IA y los contratos inteligentes interoperables para cualquier cadena de bloques o aplicación descentralizada. Esto será posible gracias a la creación de un circuito ZK universal y sorprendentemente pequeño que comprueba la integridad de las pruebas matemáticas, lo que proporciona garantías de corrección computacional verificables para todos los lenguajes y máquinas virtuales (VM) por igual directamente desde su semántica formal. sin ninguna traducción a un lenguaje, VM o arquitectura de conjunto de instrucciones (ISA) común.
“Nuestra misión es revolucionar la computación verificable, volvié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 Ciencias de la Computación en la Universidad de Illinois en Urbana -Champán. “Esto tendrá muchas aplicaciones, incluida una capa de liquidación universal (USL, por sus siglas en inglés) para que todas las cadenas de bloques, L1 y L2, puedan ser universales, correctas, interoperables y eficientes. Pero no termina allí, nuestra misión a largo plazo es liquidar toda la ciencia y el conocimiento en la USL”.
«La tecnología de prueba de prueba de Pi Squared tendrá un impacto transformador en la Web3 y más allá», afirmó Karthik Raju, GP de Polychain Capital. «El circuito ZK universal de Pi Squared aumentará significativamente el alcance y la aplicabilidad de la Web3 para todos, desde los desarrolladores hasta los usuarios finales».
Pi Squared permitirá la próxima generación de computación verificable que es universal y escalable con una base de confianza óptimamente mínima. El primer producto impulsado por Pi Squared es la Capa de Liquidación Universal (USL), una arquitectura de cadenas de bloques 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 o traductores.
Corrección demostrable
Los cálculos verificados por la USL se demuestran matemáticamente como correctos y cualquier entidad externa puede verificar independientemente la exactitud del estado de la USL.
Base de confianza mínima
USL expone cualquier suposición de confianza en los cálculos de capa superior para aumentar la transparencia y la conciencia del usuario final, y minimizará la base de confianza a través de pruebas de corrección.
Interoperabilidad de aplicaciones
La USL apoyará la interoperabilidad entre diferentes módulos de aplicación y redes (por ejemplo, cadenas de aplicaciones).
Determinismo y reproducibilidad
La validación es reproducible y verificable independientemente por cualquier entidad externa.
Por lo tanto, la USL de Pi Squared ofrece garantías de corrección de extremo a extremo para cálculos genéricos, al tiempo que minimiza la base de confianza subyacente a estos cálculos. La USL promueve la computación verificable como el paradigma estándar de computación distribuida sin requerir ni promover lenguajes específicos de dominio (DSL), máquinas virtuales o entornos de ejecución particulares, todo ello a la vez que es eficiente y escalable.
Pi Squared se presentará y expondrá en eventos relacionados con EthCC en Bruselas del 8 al 11 de julio. Los asistentes podrán escuchar al CEO de Pi Squared, Grigore Roșu, hablar en Día de la restauración y la infraestructura el 8 de julio y L2con el 9 de julio.
Acerca de Pi Squared
Pi al 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 computacional verificables para todos los lenguajes y máquinas virtuales por igual, sin ninguna traducción a un lenguaje, máquina virtual o ISA común. Pi Squared está dirigido por el profesor de 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 [emailprotected].
Para obtener más información sobre la visión de Pi Squared y Proof of Proof, visite pi2 rojo y sigue Pi Squared en medios de comunicación social.
Contacto
Jefe de Marketing
Chris Hazelton
Pi Squared Inc
[emailprotected]