在进行数字签名时也会使用单向散列函数。
数字签名是现实社会中的签名（sign）和盖章这样的行为在数字世界中的实现。数字签名的处理过程非常耗时，因此一般不会对整个消息内容直接施加数字签名，而是先通过单向散列函数计算出消息的散列值，然后再对这个散列值施加数字签名。
数字签名协议包含以下三个阶段。
系统初始化(setup): 给定系统安全参数 ，生成公钥 、私钥 。其中公钥被公开，私钥仅有签名者来秘密保存。
生成签名(sign): 用私钥 对消息 生成签名 。
验证签名(verify): 用公钥 对签名 进行验证。
数字签名目的是认证、核准、有效和负责，防止相互欺骗或抵赖。一个安全有效的数字签名必须满足以下要求：
签名不可伪造性: 签名能证明是签字者本人而不是别人签署了该文件。
签名不可否认性: 签名及文件是客观存在的,签名者不能事后称他没有签过字。
图灵机由有限个状态单元， 条纸带和读写头。读写头和读写纸袋的操作被有限控制单元所控制，而每个读写头会访问一条纸带，沿着左右方向移动。纸袋会被分成很多个单元，当图灵机需要解决某个问题时，读写头会扫描一个串。而这条串会从纸袋最左边的单元开始依次存放在纸带上，纸带上的每个单元表示一个字符，右边单元没被字符占用则会留下空白单元，即该串就是问题的输入。从左边含有输入串开始，往右依次扫描，并且会给图灵机设置一个初始状态。
对于某个给定的问题，交互式图灵机完全可以由一个有限控制单元的功能来描述。而这个功能也可以通过一张表来描述一种标准的数学模型。一个交互式图灵机包括了只读带身份带、只读随机带、只读安全参数带、输入带和输出带、输入通信带和输出通信带及一比特的激活状态带。
