pi squared, belirli bir programlama diline (pl) veya sanal makineye (vm) güvenmeden, herhangi bir programın doğru bir şekilde yürütülmesini doğrulamak için sıfır bilgi kanıtı (zk) teknolojisini kullanır. Evrensel ve verimli bir doğrulama yöntemi sağlamak için k çerçevesine ve eşleşme mantığına dayanmaktadır. Blok zincirlerinin, dillerin ve uygulamaların kesintisiz birlikte çalışabilirliğini sağlamak için tasarlanmıştır.