Themis预言机作为连接传统世界和加密世界的重要基础设施，主要针对随机数预言机、链上资产预言机和可验证算力等场景。Themis Protocol是一个分布式预言机协议，协议包含如何成为数据提供者、数据指认验证、抗攻击算法和可验证随机函数VRF、仲裁协议等模块。 在随机数预言方面，Themis主要采用可验证随机函数VRF来进行结果输出： 数据提供者使用可验证随机函数生成随机数，将该随机数结果和质押的Themis原生代币一同发送到智能合约，从数据提交到预言机时间算起，任何一次数据提交的验证期都是有限的。验证期过后，没有被挑战的数据称之为生效数据。数据有效期内，按时间排续，用完后，后续请求拒绝。对于数据提供者提供的数据，验证者可以随机进行验证，并将结果传入仲裁节点，仲裁节点对验证结果进行冲裁，通过则成为最终的预言机输出结果，无法通过验证则剔除该结果并罚没数据提供者质押的Themis原生代币作为数据验证者和仲裁节点的奖励。数据提供者提供的数据最终成为Themis预言机输出结果后，将可以获得Themis原生代币作为奖励。 关于可验证随机函数VRF的工作原理，可以理解为结合了非对称密钥技术的哈希函数。常规的哈希函数如SHA256是通过将数据进行函数运算后得到一个256位的2进制数字，用来验证数据间是否相等。但是对于一个理想的哈希函数，其值域应该是离散的、均匀分布的，给定不同的输入值，其输出值应该是没有规律且随机分布在值域区间内的。 同时有一种简单的哈希函数变种，即结合了密钥secret的哈希函数，比如result = SHA256（secret，info），那么要得到结果result，仅仅拥有info是不够的，必须要知道secret才能计算出来，这就是带密钥的哈希函数。 可验证随机函数Verifiable Random Function（VRF）。简单来说，也就是结合了非对称密钥技术的哈希函数，比如result = VRF_Hash（SK，info），SK是私钥，不公开，秘密保存，和SK配对的PK是公钥，需公开给验证者。 具体的操作流程如下： 1、数据提供者生成一对密钥，PK、SK； 2、数据提供者计算result = VRF_Hash（SK，info）； 3、数据提供者计算proof = VRF_Proof（SK，info）； 4、数据提供者把result和proof递交给数据验证者； 5、数据提供者把PK，info递交给验证者； 6、数据验证者计算result = VRF_P2H（proof）是否成立，若成立，继续下面的步骤，否则中止； 7、 数据验证者计算True/False = VRF_Verify(PK, info, proof) ，True表示验证通过，False表示验证未通过。 所谓的验证通过，就是指proof是否是通过info生成的，通过proof是否可以计算出result，从而推导出info和result是否对应匹配、证明者给出的材料是否有问题。在整个操作流程中，证明者始终没有出示自己的私钥SK，验证者却可以推导出info和result是否对应匹配。 鉴于目前在区块链上无法进行有效的随机数生成，Themis的这一随机数预言机功能将可以为各类基于随机数为核心开发的DApp提供外部数据支持，让这类DApp在核心算法机制更加有保障。