pi squared использует технологию доказательства с нулевым разглашением (zk), чтобы проверить правильное выполнение любой программы, не полагаясь на конкретный язык программирования (pl) или виртуальную машину (vm). Он основан на фреймворке k и сопоставляющей логике, чтобы предоставить универсальный и эффективный метод верификации. Разработан для обеспечения бесшовной совместимости блокчейнов, языков и приложений.