Pi Squared utilise la technologie de preuve zéro-connaissance (ZK) pour vérifier l'exécution correcte de tout programme sans dépendre d'un langage de programmation spécifique (PL) ou d'une machine virtuelle (VM). Il est basé sur le cadre K et la logique de correspondance pour fournir une méthode de vérification universelle et efficace. Conçu pour permettre une interopérabilité transparente des blockchains, des langages et des applications.