Pi Squared

Pi Squared는 특정 프로그래밍 언어(PL)나 가상 머신(VM)에 의존하지 않고 모든 프로그램의 올바른 실행을 검증하기 위해 제로-지식 증명(ZK) 기술을 활용합니다. 이는 K 프레임워크와 매칭 로직을 기반으로 하며, 블록체인, 프로그래밍 언어 및 애플리케이션 간의 원활한 상호 운용성을 달성하기 위한 보편적이고 효율적인 검증 방법을 제공합니다.