Interpretar Pi al cuadrado: Dirigido por las élites académicas de las mejores universidades

Mientras BTC ha experimentado una tendencia bajista en los últimos días, el mercado primario ha seguido revelando importantes acuerdos de financiación. Aparte de los 85 millones de dólares recaudados por el gigante de la IA Sentiment, otro proyecto de financiación destacable esta semana es Pi Squared, relacionado con la tecnología ZK.

El 2 de julio, Pi Squared anunció que había conseguido 12 millones de dólares en financiación inicial liderada por Polychain Capital, con la participación de ABCDE, Bloccelerate, Generative Ventures, Robot Ventures y Samsung Next. Entre los inversores ángeles se encontraban Justin Drake, de la Fundación Ethereum, y Sreeram Kanaan, fundador de EigenLayer.

Según la información pública disponible, el nombre Pi Squared sugiere profundas implicaciones matemáticas, con la naturaleza infinita de pi al cuadrado creando una sensación de profundidad técnica y misterio. El proyecto en sí se centra en construir «circuitos ZK universales» y una «capa de asentamiento universal», a menudo descritos de una forma difícil de entender aunque las palabras resulten familiares.

A pesar de la naturaleza elevada y aparentemente incomprensible del proyecto, la combinación de inversores ángeles de alto perfil y personas conocidas hace que Pi Squared sea difícil de ignorar. Entonces, ¿qué es exactamente Pi Squared?

Pi al cuadrado: Dirigida por élites académicas de las mejores universidades

Dibujar Pi al cuadrado en una pizarra puede resultar desconcertante para muchos, pero cuando lo hacen las élites académicas, el efecto es muy distinto.

Pi Squared está dirigido por Grigore Rosu, profesor de informática de la Universidad de Illinois Urbana-Champaign (UIUC), que también es el director general del proyecto.

En 2014, Grigore Rosu se convirtió en profesor titular de la UIUC, especializándose en verificación formal y verificación en tiempo de ejecución. En pocas palabras, la verificación formal implica el uso de métodos matemáticos para demostrar la corrección de los sistemas de software y hardware, garantizando que funcionan correctamente en diversas condiciones. La verificación en tiempo de ejecución, por su parte, consiste en supervisar en tiempo real el comportamiento del sistema para mejorar su estabilidad y seguridad.

Según Wikipedia, el profesor Grigore Rosu ha publicado numerosos trabajos que han recibido los máximos galardones de la Association for Computing Machinery (ACM) y la International Conference on Automated Software Engineering (ASE).

Pero, ¿qué tiene esto que ver con un criptoproyecto?

Si echas un vistazo a la descripción principal de negocio de Pi Squared, verás que utiliza la tecnología de prueba de conocimiento cero (ZK) para verificar la correcta ejecución de cualquier programa, independientemente del lenguaje de programación (PL) o de la máquina virtual (VM) utilizada. Proporciona un método de verificación universal y eficiente destinado a lograr una interoperabilidad sin fisuras entre blockchains, lenguajes y aplicaciones.

Esto encaja perfectamente con la experiencia del profesor Grigore Rosu en verificación, por lo que es una aplicación ideal de sus conocimientos académicos.

USL: Facilitar la liquidación de transacciones del sistema

Echemos un vistazo más de cerca a la «capa de liquidación universal» (USL) que Pi Squared pretende crear.

En primer lugar, es importante señalar que Pi Squared no se dirige directamente a los usuarios finales, sino que ofrece productos a diversas comunidades de criptomonedas y desarrolladores.

El objetivo de Pi Squared es crear un USL que simplifique la interoperabilidad entre blockchains, lenguajes y aplicaciones, eliminando la necesidad de implementaciones de lenguajes tradicionales, a menudo propensas a errores, como compiladores, traductores o intérpretes.

Para entenderlo de forma sencilla, puedes pensar en él como un súper traductor que permite que diferentes blockchains, lenguajes de programación y aplicaciones funcionen a la perfección entre sí. Los desarrolladores pueden crear más fácilmente aplicaciones entre cadenas y lenguajes.

He aquí un diagrama de Pi Squared website que ilustra el papel de este supertraductor:

1. Iniciar transacción: Un usuario (por ejemplo, Alice) inicia una solicitud de transacción, como la transferencia de 1 WETH a Bob. WETH es un token compatible con ERC20.
2. Liquidación universal: La solicitud de transacción se envía a un entorno compatible con cualquier máquina virtual y lenguaje de programación, como EVM o Python. Esta es la capa de liquidación universal: la computación puede expresarse en cualquier lenguaje o máquina virtual siempre que exista una especificación formal para ese lenguaje o máquina virtual en particular.
3. Generar pruebas: En el paso 2, se genera una prueba matemática para verificar que la transacción es correcta. Esta prueba es muy precisa, pero puede ser muy voluminosa.
4. Verificación de pruebas: Se utiliza un comprobador de pruebas ZK-ED (zero-knowledge – matching logic) para verificar la «gran prueba». Este verificador es pequeño y puede procesar tareas paralelas a gran escala.
5. Compresión ZK: Por último, se genera una prueba de conocimiento-cero para verificar que la transacción es correcta. Esta prueba de conocimiento-cero es pequeña y puede transmitirse y verificarse eficientemente.

Así, el proceso anterior demuestra cómo una simple solicitud de transacción puede conducir a la generación y verificación de pruebas matemáticas, produciendo en última instancia una prueba de conocimiento-cero más pequeña para garantizar la corrección y privacidad de la transacción.

Desde la perspectiva del ecosistema del proyecto, Pi Squared ocupa una posición intermedia en la pila tecnológica, por encima de la capa de computación y los servicios de secuenciación y por debajo de la capa de consenso y disponibilidad de datos.

La USL de Pi Squared puede verse como un rollup optimista que interpreta y verifica la corrección de las transacciones computacionales, conectando la capa de computación superior con la capa de consenso inferior.

Además, Pi Squared mencionó tener su propia red con nodos que ejecutan protocolos de consenso, lo que sugiere un posible sistema económico basado en apuestas directamente relacionado con el token del proyecto. Sin embargo, hasta ahora no se ha revelado ninguna información sobre el token en los documentos del proyecto, lo que deja margen para la especulación sobre su futuro.

Pi Squared se encuentra aún en fase de prueba de concepto. El profesor Rosu declaró que el proyecto entraría en la fase de red de pruebas a finales de 2024. Actualmente se encuentra en la fase de calentamiento y promoción, sin actividades ni tareas disponibles para la participación.

Seguiremos supervisando el proyecto. Independientemente de los llamamientos a no asumirlo, siempre habrá oportunidades en las que merezca la pena participar.