pi squared utiliza tecnología de prueba de conocimiento cero (zk) para verificar la correcta ejecución de cualquier programa sin depender de un lenguaje de programación específico (pl) o máquina virtual (vm). Se basa en el marco k y la lógica de coincidencia para proporcionar un método de verificación universal y eficiente. Diseñado para permitir la interoperabilidad fluida de blockchains, lenguajes y aplicaciones.