Pi Squared sử dụng công nghệ chứng minh không kiến thức (zk) để xác minh việc thực hiện đúng của bất kỳ chương trình nào mà không phụ thuộc vào một ngôn ngữ lập trình cụ thể (pl) hay máy ảo (vm). Nó dựa trên khung k và logic khớp để cung cấp một phương pháp xác minh toàn cầu và hiệu quả. Được thiết kế để cho phép khả năng tương tác liền mạch giữa các blockchain, ngôn ngữ và ứng dụng.