中文摘要：

茫然传输协议是一种重要而极其有用的密码学基本协议，目前在密码学的众多领域中得到应用，特别在安全多方计算协议的构造中．然而，在目前的茫然传输协议中，由于它的秘密性要求，使得协议本身存在两个缺陷：①接收者无法知道他所得到的信息是不是发送者拥有的信息之一；②发送者无法知道接收者接收到的信息是否属于自己指定的信息中．为了克服这两个缺陷，文章首次提出了可验证的茫然传输协议的概念，并且利用知识证明协议∑-协议构造了可验证的茫然传输协议．

英文摘要：

Oblivious transfer protocol, which is an important and useful cryptographic protocol, has been widely applied in cryptographic field, especially in construction of secure multi-party computation protocol. However, all of present oblivious transfer protocols have two drawbacks for requirement of their secrets： （1） the receiver does not know whether message received is one of the messages held by the sender; （2） the sender does not know whether message received by the receiver is one of the messages designated by himself. In order to conquer these drawbacks, we firstly introduce the notion of verifiable oblivious transfer protocol, and firstly construct it by using proof protocol of knowledge, i.e. , ∑-protocol, as main tool.