Similar Items: Zero-Knowledge Model Checking