为安全，是协定的「实用」可靠性的有力证据。大体上说，一个作法被证明是安全的的话，要攻击此作法就必需要突破该证明的假设；例如，一个加密法的安全证明是基于质因数分解的困难度（像是RSA演算法），那么打破此证明的方法就是找到快速质因数分解的演算法（像是秀尔演算法就被视为是一个可能的攻击）。在这里，要打破随机预言假设，我们就必须找到实际杂凑函式与随机预言机未知且不好的不同之处。对于一般被认为不存在这种弱点，够好的杂凑函式来说（这种杂凑函式现在蛮可靠的，像是SHA-3），相关的协定因此可证明是安全的。