没有合适的资源？快使用搜索试试~
我知道了~
文库首页
安全技术
其它
Efficient Proofs that a Committed Number Lies in an Interval.pdf
Efficient Proofs that a Committed Number Lies in an Interval.pdf
范围证明
需积分: 10
0 下载量
24 浏览量
2020-04-27
17:15:31
上传
评论
收藏
151KB
PDF
举报
温馨提示
立即下载
FO承诺-CFT协议-范围证明（英语论文）
资源推荐
资源评论
Data Structures And Algorithms With Object-Oriented Design Patterns In C Sharp.pdf
浏览：118
5星 · 资源好评率100%
proofs are presented as needed and in the proper context. In the past when the topics in this book were taught at the graduate level, an author could rely on students having the needed background in .
Probability－1 3rd Ed. by A.N.Shiryaev.pdf
浏览：76
Examples are discussed in detail, and there are a large number of exercises. This third edition contains new problems and exercises, new proofs, expanded material on financial mathematics, financial
软件测试相关论文-英文原文82篇
浏览：167
Tramer2016 - Sealed-Glass Proofs.pdf Tsai2017 -Graphene-SGX.pdf Tychalas2017-SGXCrypter.pdf Volp2016-Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control .pdf ...
Charming_Proofs_A_Journey_into_Elegant_Mathematics.pdf
浏览：150
Charming_Proofs_A_Journey_into_Elegant_Mathematics
A Guide to Complex Variables (Steven G. Krantz 2007).pdf
浏览：64
subject, map out the important theorems, and indicate most of the proofs. Here by “indicate” we mean that (i) if the proof is short then we include it, (ii) if the proof is of medium length then we ..
Proofs from THE BOOK 3rd.pdf
浏览：171
5星 · 资源好评率100%
简介 作为一门历史悠久的学问，数学有她自身的文化和美学，就像文学和艺术一样。一方面，数学家们在努力开拓新领域、解决老问题；另一方面他们也在不断地从不同的角度反复学习、理解和欣赏前辈们的工作。...
Graphs and Matrices.pdf
浏览：196
This book is concerned with results in graph theory in which linear algebra and matrix theory play an important role. Although it is generally accepted that linear algebra can be an important ...
lnotes_book.pdf
浏览：146
inefficient) feasibility proofs. 7. Cryptocurrencies: Hash chains and Merkle trees, proofs of work, achieving consensus on a ledger via “majority of cycles”, smart contracts, achieving anonymity via..
How to Read and Do Proofs: An Introduction to Mathematical Thought Processes
浏览：189
4星 · 用户满意度95%
This text makes a great supplement and provides a systematic approach for teaching undergraduate and graduate students how to read, understand, think about, and do proofs. The approach is to ...
2018 The-Theory-of-Quantum-Information.pdf
浏览：16
on a formal presentation of definitions, theorems, and proofs. It is primarily intended for graduate students and researchers having some familiarity with quantum information and computation, such as
Proofs_as_Programs_Bates_and_Constable.pdf
浏览：78
Proofs_as_Programs_Bates_and_Constable.pdfProofs_as_Programs_Bates_and_Constable.pdfProofs_as_Programs_Bates_and_Constable.pdfProofs_as_Programs_Bates_and_Constable.pdfProofs_as_Programs_Bates_and_...
The VLSI Handbook, Second Edition.pdf
浏览：29
We are most gratified to find that the first edition of The VLSI Handbook (2000) was well received and is widely used. Thus, we feel that our original goal of providing in-depth professional-...
Exploring Mathematics -- Problem-Solving and Proof, Springer 2018.pdf
浏览：129
this book provides readers with a refreshing look at mathematics and deep insights into universal principles that are valuable far beyond the scope of this book. Aimed especially at undergraduate and
Theory Of Computation
浏览：109
2.1 An example: Controling a toll gate . . . . . . . . . . . . . . . 21 2.2 Deterministic finite automata . . . . . . . . . . . . . . . . . . 23 2.2.1 A first example of a finite automaton . . . . . .
An introduction to copulas
浏览：117
3星 · 编辑精心推荐
【书名】 An Introduction to Copulas 【作者】Nelsen, Roger B. 【出版社】Springer【版本】...Proofs Without Words: Exercises in Visual Thinking," published by the Mathematical Association of America.
信息安全_数据安全_Zero-knowledge_proofs_(ZKP)：Priv.pdf
浏览：84
信息安全_数据安全_Zero-knowledge_proofs_(ZKP)：Priv 安全测试 安全分析 移动安全 业务安全 安全实践
Baier, Katoen - 2008 - Principles of Model Checking.pdf
浏览：79
The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary,
sequences of games:a tool for taming the complexity of security proofs
浏览：78
能用这一工具来证明在密码学中某些安全性问题。
Linear Algebra Foundations to Frontiers
浏览：73
Linear Algebra: Foundations to Frontiers (LAFF) is an experiment in a number of different dimensions. • It is a resource that integrates a text, a large number of videos (more than 270 by last count).
JDK 1.8 64位.rar
浏览：58
5星 · 资源好评率100%
Java JDK 1.8 64位
SoftCnKiller2.54.zip（因为要下载码，弃用不更新了）
浏览：169
5星 · 资源好评率100%
根据data目录下的sign.txt（数字签名字符串）、folder.txt（目录名字符串）筛选流氓软件启动项，默认只删启动项，全选处理后重启系统就可以了。
ProGuard工具包，Java代码混淆
浏览：35
ProGuard工具包，Java代码混淆
编译好的64位pycdc.exe(支持python3.10和python3.11)
浏览：196
4星 · 用户满意度95%
编译好的64位pycdc.exe,可用于将pyc文件反编译为py文件 只需要将pyc.exe和pyc文件放于同一文件夹内,在文件夹内打开cmd 使用命令:pycdc xxx.pyc即可输出对应的反编译py文件(支持python3.10和python3.11)
常用3D点云数据免费下载.rar
浏览：147
4星 · 用户满意度95%
常用3D点云数据免费下载.rar
工程伦理的期末考试题库
浏览：73
工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库工程伦理期末考试题库
ISO26262标准(中文版)下载.pdf
浏览：23
SO 26262:（Road vehicles – Functional Safety）是在IEC 61508 标准的基础上，以道路车辆电子及电气系统应用产业的角度，具体规范汽车电子安全系统从开发到使用的安全生命周期的技术与管理要求。 在ISO 26262标准中，以功能安全管理（Management of functional safety）、汽车产品设计开发的安全生命周期（Safety life
NFC-Reader-Tool-电脑版.zip
浏览：141
5星 · 资源好评率100%
能运行
Open3D算法测试数据.rar
浏览：147
Open3D算法测试数据.rar
常用经典斯坦福点云数据
浏览：90
5星 · 资源好评率100%
常用经典斯坦福点云数据
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
区块链之美
粉丝: 587
资源:
4
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
全国2013年1月自学考试软件开发工具试题.doc
BC26-NB模块发送传感器数据.zip
BC26-串口1-RS485传感器透传.zip
全国cad大赛试题.doc
全国计算机等级考试二级C语言笔试试题及答案(4-选择题).doc
医用多远统计学-logistic回归.pdf
大一linux常用命令大全笔记
kouzhao-main数据库课程设计
塑料瓶检测图片素材集合30张
DmJdbcDriver18.jar
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
