Alice와 Bob이 서로 다른 논리 명제에 대한 지식을 가지고 있을 때, Alice가 Bob이 특정 논리 명제를 증명할 수 있도록 하는 데 필요한 최소한의 정보를 효율적으로 전달하는 방법에 대한 연구