13 第十三编 算法初步、推理与证明、复数(共51页).doc
2022-05-24 18:04:35 2.51MB 算法 文档资料
第七章平行线的证明单元测试题.pdf,这是一份不错的文件
2022-05-23 16:03:00 244KB 单元测试 文档
免于办理强制性产品认证证明、监管手册申请表.pdf
2022-05-21 15:01:26 794KB 资料
ipfs-ethereum文件证明 证明文件存在于ipfs中(通过智能合约) 开始吧 您需要在合同中证明文件位于ipfs中的内容 在您的合同中。 import "FilesRegistry.sol"; address public fileRegistryAddress = "0xca35b7d915458ef540ade6068dfe2f44e8fa733c"; // TO BE MODIFIED WITH YOUR FilesRegistry function uploadAndWin(bytes32 _hash) public returns (bool) { FilesRegistry fr = FilesRegistry(fileRegistryAddress); require(fr.isFileStored(_hash), "File is not stor
2022-05-19 18:37:32 68KB JavaScript
1
个人工作证明+通用+模板
2022-05-19 17:04:26 15KB 模板 工作证明
1
收入证明按年按月份的模板。。
2022-05-14 17:05:00 11KB 文档资料
大数据-算法-论梅文鼎的数学证明.pdf
2022-05-07 09:09:19 3.03MB 算法 big data 文档资料
大数据-算法-论实践检验与逻辑证明之间的关系.pdf
2022-05-07 09:09:15 2.87MB big data 算法 大数据
大数据-算法-集合论等式型定理机器证明系统的研究与开发.pdf
2022-05-06 10:05:04 3.52MB 算法 big data 文档资料
开放式ZKP OpenZKP - 零知识证明系统的纯 Rust 实现。 概述 项目现实施 :wolf: Stark 协议(详见) 并且有 :sun_with_face: 一个简单的界面(见下面的), :clamp: 简洁的证明, :racing_car: 体面的表现,和 :globe_with_meridians: 网络组装支持。 话虽如此,它也有许多限制,它有 没有高级语言, 没有全面的安全审计, 没有完美的零知识, 硬编码字段和哈希函数, 和其他一些,有关详细信息,请参阅下面的。 套餐 包裹 版本 描述 utils/ Criterion helpers 对处理器的大小和数量进行基准测试。 用于返回Result::Err类似宏的断言。 环绕记录大量分配的系统分配器。 mmap-vec 替代使用文件支持存储的Vec 。 macros-lib 使用proc_macro2实现的程序宏库 macros-impl proc_macro_hack实现箱 macros-
2022-05-01 13:32:12 2.32MB Rust
1