Proof for CyberScore