Pi Squared: una capa de liquidación verificable para IA y criptomonedas
Grigore Roșu es profesor de informática en la Universidad de Illinois y antiguo ingeniero de la NASA, donde desarrolló el K Framework, una herramienta de código abierto para el análisis semántico de lenguajes de programación. Colaborador desde el primer día de la Fundación Ethereum, posteriormente fundó Runtime Verification, actualmente la empresa líder en verificación formal en la Web3. En 2023, fundó Pi Squared con la visión de incorporar al próximo millón de desarrolladores a la Web3 mediante su revolucionario K Framework.
El enlace abrirá una nueva ventana. Haz clic en el menú y en la flecha hacia abajo para descargar el archivo.
Podcasts disponibles en
Por qué deberías escuchar
Pi Squared resuelve la fragmentación y las limitaciones de confianza de la infraestructura blockchain actual al permitir la computación y liquidación verificables entre cadenas, de modo que las aplicaciones, los agentes y los protocolos puedan interactuar entre ecosistemas sin depender de puentes, partes centralizadas o lógica no demostrable.
Es la capa de confianza que faltaba para una Web3 modular, interoperable y lista para la empresa.
La principal oferta de Pi Squared es su Capa de Liquidación Verificable (VSL), una plataforma descentralizada y programable que encapsula cualquier acción (almacenamiento de datos, transacciones, computación) en una «reclamación» criptográficamente sellada. Estas reclamaciones son verificadas por una red global de validadores, liquidadas mediante su protocolo de consenso FastSet de alto rendimiento y accesibles instantáneamente en diferentes cadenas y entornos, sin intermediarios ni suposiciones de confianza. VSL permite liquidaciones rápidas, verificables y entre ecosistemas, dando servicio a IA, blockchains o cualquier sistema fuera de la cadena.
Ya disponible en devnet, Pi Squared muestra potentes casos de uso como la conexión de activos entre cadenas (por ejemplo, mediante Wormhole NTT), la replicación del estado de la cadena de bloques y canalizaciones de IA auditables a través de Entornos de Ejecución Confiables. Su sistema reduce drásticamente la computación redundante en las cadenas de bloques: un nodo computa y prueba, y el resto verifica en milisegundos, lo que aumenta el rendimiento, reduce drásticamente el consumo de energía y minimiza las vulnerabilidades. Imagina la verificabilidad en todas partes, desde la computación remota y las finanzas descentralizadas (DeFi) hasta la inferencia de IA, potenciada por pruebas respaldadas por lenguajes formales.
Pi² integra verificación formal, pruebas de conocimiento cero e interoperabilidad entre cadenas en una capa rápida y componible. Sin complicaciones, sin confianza: solo pruebas.
Enlaces de apoyo
Si te gustó el programa, suscríbete a Crypto Conversation y déjanos una calificación de 5 estrellas y una reseña positiva en la aplicación de podcasts que uses.
Descargo de responsabilidad: El contenido educativo, los comentarios de mercado, las investigaciones, los análisis, las previsiones, el asesoramiento, la formación y las opiniones proporcionadas por terceros independientes no representan la opinión de Plus500. Plus500 ofrece servicios de ejecución de operaciones por cuenta propia y no proporciona gestión de activos ni asesoramiento en materia de inversiones, finanzas, derecho o impuestos. Plus500 no se responsabiliza de las decisiones tomadas ni de las pérdidas sufridas como consecuencia de la confianza depositada en la información, las investigaciones, los materiales educativos, el asesoramiento o los servicios proporcionados por terceros.
Brave New Coin llega a más de un millón de entusiastas de las criptomonedas al mes a través de nuestro sitio web, podcast, boletines informativos y YouTube. Dale visibilidad a tu marca ante los principales responsables de la toma de decisiones y los primeros usuarios en 2026. ¡Quedan plazas limitadas! ¡Descubre más hoy!
Señales - Solucionando problemas con los lanzamientos de NFT
Coinpass: la plataforma de criptomonedas del Reino Unido para empresas
