- 综合排序
- 最热优先
- 最新优先
- 来自专栏数据派THU
【2023新书】程序证明，Program Proofs
全面涵盖如何编写证明以及如何指定和验证函数式程序和命令式程序 使用来自真实编程语言的真实程序文本，而不是伪代码 特色引人入胜的插图和动手学习练习 https://mitpress.mit.edu/9780262546232/program-proofs
48720编辑于 2023-04-08 - 来自专栏程序人生
【保姆教程】手把手教你在Linux系统搭建早期alpha项目cysic的验证者&证明者
::plonk::permutation::prover - domain.k() = 252024-12-05T16:09:52.910526156+08:00 INFO halo2_proofs:: ::plonk::permutation::prover - columns.len() = 32024-12-05T16:09:52.910563156+08:00 INFO halo2_proofs ::plonk::prover - num_advice: 12024-12-05T16:10:04.906019885+08:00 INFO halo2_proofs::plonk::prover - INFO halo2_proofs::plonk::prover - permutation: 12024-12-05T16:10:04.906064689+08:00 INFO halo2_proofs :04.906101839+08:00 INFO halo2_proofs::poly::domain - using coeff_to_extended_part_many: vec_num[9],
41710编辑于 2024-12-25 - 来自专栏Python与爬虫
零知识证明学习资源汇总
原文链接：http://www.wisdom.weizmann.ac.il/~naor/PAPERS/sudoku.pdf 「推荐文章四」Zero knowledge proofs: a tale of 原文链接：https://blog.cryptographyengineering.com/2014/11/27/zero-knowledge-proofs-illustrated-primer/ 来自 ETHFANS 的中文翻译版本：https://ethfans.org/posts/zero-knowledge-proofs-illustrated-primer 零知识证明：抛砖引玉，Part-2 Zero-knowledge proofs, ZCash, Ethereum. 推荐值：❤️❤️❤️ 难度值：⭐️⭐️ 这篇文章介绍了零知识证明在 Zcash 和以太坊上的应用。 Zero-Knowledge Proofs 推荐值：❤️❤️❤️❤️ 这个网站也收录了一系列零知识证明的学习资料，相对来说学术性更强一些。
1.7K20发布于 2019-11-15 - 来自专栏零域Blog
「SF-LC」9 ProofObjects
“Algorithms are the computational content of proofs.” connection between the world of logic and the world of computation: propositions ~ types proofs Proof Objects Proofs are data! We can see the proof object that results from this proof script. Tactic proofs are useful and convenient, but they are not essential: in principle, we can always construct If we can build proofs by giving explicit terms rather than executing tactic scripts, you may be wondering
75520编辑于 2022-03-14 - 来自专栏随意记录
CKB 中的 Sparse Merkle Tree 用例
en.wikipedia.org/wiki/Merkle_tree 1.2 Merkle Proof 图片 图片来源：https://medium.com/crypto-0-nite/merkle-proofs-explained Merkle Tree proofs 可以快速方便地计算出来 Merkle Tree proofs 的数据量较小，可以方便地在全网广播 1.4 比特币中的 Merkle Tree 用例 叶节点存储交易哈希 参考 区块链技术架构分析（3）-默克尔树（merkle tree） Understanding Trie Databases in Ethereum Merkle proofs Explained What
70520编辑于 2023-07-15 - 来自专栏机器之心
资源 | 谷歌与MIT联袂巨著：《计算机科学的数学》开放下载
下面让我们一起来看看该书的章节目录： I 数学分析（Proofs） 简介（Introduction） 0.1 参考文献（References） 1 什么是证明？（What is a Proof?） Proving an「If and Only If」） 1.7 案例证明（Proof by Cases） 1.8 反证法（Proof by Contradiction） 1.9 证明的实战演练（Good Proofs in Practice） 1.10 参考文献（References） 2 良序原则（The Well Ordering Principle） 2.1 良序证明（Well Ordering Proofs ） 2.2 良序证明模式（Template for Well Ordering Proofs） 2.3 素数因子分解（Factoring into Primes） 2.4 良序集合（Well Ordered Hands 15.8 鸽巢原理（The Pigeonhole Principle） 15.9 包含与排斥（Inclusion-Exclusion） 15.10 组合证明（Combinatorial Proofs
2.5K70发布于 2018-05-07 - 来自专栏Java项目实战
我转载了CSDN一篇5万+访问量的文章
true:false}" type="checkbox" name="proofs[]" th:value="${data.id}" id="inlineCheckbox1" /> </lable> 它接受两个参数一个是id，一个是list public class MethodService { public boolean contains(String id,List<Proof> proofs ){ System.out.println(proofs); List<String> ids = new ArrayList<>(); for(Proof p: proofs){ ids.add(p.getId()); } return (ids.contains(id)); } } 这一步很重要
68740发布于 2019-09-17 - 来自专栏圆方圆学院精选
【董天一】IPFS:Filecoin和复制证明
区块链里面任何精巧的系统都需要精心设计（比如BTC），让系统能够自己一直运行下去，搞这么复杂目的不外乎下面两个： 保证矿工能够老老实实的帮助用户存储数据 公平的分配代币 复制证明：Proofs-of-Replication 时空证明：Proofs-of-Spacetime 时空证明提出了证明链（proof-chain）的数据结构，证明链把一些的提问（challenge）和证明（proof）链接起来形成。 PS: time-bounded Proof-of-Replication 和 Proofs-of-Spacetime的可实现结构目前Filecoin团队还没有给出来具体的细节，期待Filecoin下一篇论文
1.4K10发布于 2018-11-12 - 来自专栏区块链小白成长记
使用Substrate开发区块链存证dApp
{ trait Store for Module<T: Trait> as TemplateModule { /// The storage item for our proofs Proofs::<T>::contains_key(&proof), Error::<T>::ProofAlreadyClaimed); // Call the `system (Proofs::<T>::contains_key(&proof), Error::<T>::NoSuchProof); // Get owner of the claim useEffect(() => { let unsubscribe; // Polkadot-JS API query to the `proofs` storage item in our api.query.poeModule .proofs(digest, (result) => { // Our storage item returns a tuple, which is
2.2K41发布于 2020-08-12 - 来自专栏深入浅出区块链技术
使用Substrate开发区块链存证dApp
{ trait Store for Module<T: Trait> as TemplateModule { /// The storage item for our proofs Proofs::<T>::contains_key(&proof), Error::<T>::ProofAlreadyClaimed); // Call the `system (Proofs::<T>::contains_key(&proof), Error::<T>::NoSuchProof); // Get owner of the claim useEffect(() => { let unsubscribe; // Polkadot-JS API query to the `proofs` storage item in our api.query.poeModule .proofs(digest, (result) => { // Our storage item returns a tuple, which is
1.6K10发布于 2020-08-10 - 来自专栏区块链入门
蚂蚁区块链第7课 零知识证明隐私保护原理和蚂蚁BAAS接口调用实现
使用 PedersenCommitment::ComputeBlindDelta 计算盲因子之差，并调用 Proofs::SetBlindDelta 设置到 Proofs 对象里。 使用 Proofs::AddRangeProof 为找零金额和转账金额创建范围证明。 设置 Transaction 的 extensions 字段为 Proofs 序列化后的字节数组。 Proofs：用于创建交易所需的证明。 ValueHiding 函数原型 函数说明 ValueHiding() 创建一个默认的 ValueHiding。 Proofs 函数原型 函数说明 Proofs() 创建Proofs对象 public boolean addCommitment(PedersenCommitment commitment) 添加一个创建好的输出金额的 public final byte[] toBytes() 将 Proofs 对象序列化为 bytes；创建隐私保护交易时需要将 Proofs 序列化后的 bytes 添加到 Transaction 里的
2.1K30发布于 2019-04-01 - 来自专栏区块链小白成长记
使用Substrate开发区块链存证应用V2.0
{ trait Store for Module<T: Trait> as TemplateModule { /// The storage item for our proofs Proofs::<T>::contains_key(&proof), Error::<T>::ProofAlreadyClaimed); // Call the `system (Proofs::<T>::contains_key(&proof), Error::<T>::NoSuchProof); // Get owner of the claim useEffect(() => { let unsubscribe; // Polkadot-JS API query to the `proofs` storage item in our api.query.poeModule .proofs(digest, (result) => { // Our storage item returns a tuple, which is
1.6K20发布于 2020-12-14 - 来自专栏图与推荐
MIT博士论文 | 图指导的预测（含GNN的泛化能力和表示能力分析）
. . 75 3.5.3 Toward generalization analysis for CPNGNNs . . . . . . . . . . . . . 80 3.6 Appendix: Proofs
32620编辑于 2023-02-26 - 来自专栏开发经验
云计算中的数据安全与隐私保护策略
应对方法与技术 3.1 零知识证明（Zero-Knowledge Proofs） 3.2 同态加密（Homomorphic Encryption） 4. 应对方法与技术 3.1 零知识证明（Zero-Knowledge Proofs） 零知识证明是一种在不泄露实际信息的情况下验证信息的方法。
2K10编辑于 2023-12-13 - 来自专栏大数据文摘
趣味可视化｜可视化推导，让你深入了解勾股定理
来源： Proofs Without Words: Exercises in Visual Thinking Authored by Roger B.
84320发布于 2018-05-23 - 来自专栏零域Blog
「SF-LC」8 Maps
useful as env Map == Dictionary building data structure. use of reflection to streamline proofs. This, in turn, simplifies proofs that use maps.)
47740编辑于 2022-03-14 - 来自专栏潇涧技术专栏
Python Algorithms - C1 Introduction
language or via the standard library • Thorough and deep formalism (although the book has its share of proofs chapter deals with some well-known examples and some more general methods for constructing correctness proofs
57020发布于 2018-08-01 - 来自专栏凯云实验室
Paxos、PoW、VDF：一条美丽的黄金线
OnlinePoRep.prove(challenges, challenged_sectors, commR, replica)` - append `porep_proof` to `porep_proofs []` - Add `porep_proof` to `porep_proofs` - Slow challenge generation from previous proof `porep_proof ` - Add `y` to `ys` - `mix = y` - Step 3: Output `porep_proofs`, `vdf_proofs`, `ys` 时空证明的验证过程如以下伪代码所示 [i]), ys[i], vdf_proofs[i])` - *Sequential Online PoRep Verification* - assert: `OnlinePoRep.verify (commR, challenges_0, porep_proofs[0])` - for `i` in `1..POST_EPOCHS` - Generate challenges `for
1.5K10编辑于 2022-04-02 - 来自专栏ShowMeAI研究中心
课程 6.042J | 妙极的MIT数学课，学完直呼“数学真好玩儿”!（附下载）
拿走不谢~ 视频章节 对应书籍/试题 Unit 1: Proofs 1.1 Intro to Proofs | 1.2 Proof Methods | 1.3 Well Ordering Principle
2.3K62发布于 2021-10-13 - 来自专栏哈德森的梦
66toolkit v13.0.0多功能PHP网络工具箱源码
altum=$1 last; } 4、将下列文件或文件夹权限改为775 /uploads/main/ /uploads/cache/ /uploads/offline_payment_proofs/ /
1K20编辑于 2023-04-07
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号