pi squared utiliza a tecnologia de prova de conhecimento zero (zk) para verificar a execução correta de qualquer programa sem depender de uma linguagem de programação específica (pl) ou de uma máquina virtual (vm). É baseado na estrutura k e na lógica de correspondência para fornecer um método de verificação universal e eficiente. Projetado para permitir a interoperabilidade perfeita de blockchains, linguagens e aplicativos.