VDF是 Verifiable Delay Function的缩写, Function说明VDF是一个函数,对每一个输入都有一个唯一的输出。Delay 可以用一个时间T(wall time)来表示,延迟函数在时间T完成计算,但不能通过并行加速在小于时间T完成计算。Verifiable 要求延迟函数的输出非常容易验证。
为了VDF的功能,即”抗并行加速的延迟”以及“可验证的结果”,VDF 中必然包含一个用于计算结果的算法以及一个用于验证结果的算法。同时,这样的密码学工具通常还包含一个设置阶段,用来确定后续需要使用的参数。因此,VDF 被描述为三个算法的一个三元组 (Setup, Eval, Verify)。
每个算法的定义如下:
Setup(λ,T)→pp=(ek,vk) 接受安全参数 λ 以及时间参数 T,生成一个公共参数 ,这个参数是所有人都可以看到的。公共参数包含了一个用于计算的参数 ek 和一个用于验证的参数 vk。
Eval(ek,x)→(y,π) 接受计算参数 ek 和输入 x∈X,计算出输出 y∈Y 和证明 π。
Verify(vk,x,y,π)→{accept,reject}接受 vk,x,y 以及 π,输出 true(验证通过)或者 false(验证失败)。
虽然 VDF 和传统的 PoW 算法都拥有“难以计算”且“易于验证”这样的属性,最核心的区别在于区块链工作量证明共识算法是可并行化工作量证明,并且只是有概率会成功,不是一种函数。相反,VDF 是连续工作量证明,是确定的函数。
分享到:
相关推荐
**台达VDF-V变频器说明书** 台达VDF-V系列变频器是一款广泛应用在工业自动化领域的设备,主要用于控制电机的速度和转矩,以适应不同的生产需求。本说明书将详细解析该变频器的各个方面,包括其尺寸、系统结构、操作...
### VDF-V系列变频器使用说明书精要 #### 一、产品概览与检查 VDF-V系列变频器是台达电(Delta Electronics)出品的一款高性能变频调速装置,广泛应用于工业自动化领域,如电机控制、节能改造等场景。本说明书以5...
根据提供的信息,VDF-EL变频器说明书主要包含以下几个关键知识点: 1. 产品介绍与警示 - VFD-EL系列变频器采用高品质元件、材料,并融合最新微电脑控制技术制造。 - 说明书为用户提供了安装、参数设置、异常诊断...
### 台达标准型变频器VDF-B系列关键技术知识点 #### 一、产品概述与安全须知 **产品概述:** 台达VDF-B系列变频器是一款高性能的交流电机驱动器,采用高质量元件与先进微计算技术制造。该系列产品专为控制三相感应...
### 三菱PLC与台达变频器VDF-M的Modbus通讯应用解析 #### 一、概述 Modbus作为一种开放式的串行通讯协议,因其灵活性和通用性而在工业自动化领域得到了广泛应用。它最初由Modicon公司开发,用于其PLC与主机之间的...
小红伞(Avira)是一款知名的反病毒软件,其离线更新包“vdf_fusebundle.zip”是为了在没有互联网连接的情况下,为用户提供程序更新和安全防护的重要工具。这个压缩包包含了多份证书和数据库文件,这些文件对于理解...
installscript.vdf
解决无法刷出列表 2012年11月6日 cs1.6 MasterServers.vdf文件 把此文件放入cs1.6路径: "platform\config"之中覆盖.
2015年 cs1.6 MasterServers.vdf 解决无法刷出列表
agi stk vdf online demo
【标题】:“在VDF中使用GDI C#程序”涉及的主要知识点是VDF图形平台与C#编程语言的结合,以及如何利用GDI(Graphics Device Interface)进行图形绘制。 【VDF图形平台】:VDF,全称为Virtual Device Framework,是...
Vensim模型创建完成后,模拟的结果通常会保存为.vdf(Vensim Data File)格式,这是一种专有的二进制文件格式,用于存储模拟过程中的时间序列数据。这种格式在分析和共享模型结果时可能不太方便,因此,将.vdf文件...
① StarlinkSimScenario.vdf 分包压C# 进行 Starlink 仿真 万里长征走了半步 ^_^缩为: StarlinkSimScenario.z01 StarlinkSimScenario.zip *.vdf 用 STK 打开的密码很简单,我知道您肯定能够猜出来! 提示: ...
这份用户手册以DPD01224F-FR_vdf为版本号,表明它是针对法国市场的,可能包含了特定的法规要求和语言适应性。 在变频器领域,Vacon NXS-N是一款高效、灵活且功能强大的驱动解决方案。"VDF"标签可能指的是"Variable ...
《Altivar 600 通信参数设置手册_vdf_PLCSCHNEIDER_》 本文将详细介绍施耐德电气的Altivar 600变频器在使用Modbus通信协议时的参数设置方法,帮助用户理解和操作变频器与PLC(可编程逻辑控制器)之间的通讯。 首先...
本程序为AntiVir PE的病毒库升级程序,请确保原程序已安装。 AntiVir Personal Edition 使电脑免受病毒的侵害,有效的保护个人电脑以及...对于有经验的用户,也可以只下载最新的病毒定义文件(vdf),来完成升级。
vdf解析器 vdf-parser是一个可以将 VDF 转换为 JSON 的库,反之亦然。 它主要基于并包含一些受启发的功能(缺少前者支持的一些功能......),但包含许多新功能和修复。 格式: : VDF 可能包含注释。 但是,它们...