@镜子_b896 zcash的账户是UTXO模型，只要转账的UTXO是他自己的（这个是要证明他有权限使用的），那么就不会存在他的余额比转账金额小的可能，因为他转的就是他的一部分余额（如果他没有其他UTXO的话就是他的全部余额）。如果你理解UTXO模型应该就会明白，这跟以太坊的账户模型不太一样，如果想着以太坊的账户模型，是很难理解的。
读懂区块链之零知识证明（zk-SNARK）零知识证明：从小白到明白 如今，知识快餐业发达，区块链这么火的领域自然不会落下。经过一轮轮扫盲，共识、工作量证明、闪电网络等等概念对普罗大众已不再陌生，甚至各种解构、比喻、引...
@逐舞传歌 我知道我问的问题答案了，zcash的零知识证明的是输入和输出金额相等，不需要证明发起交易者的余额，也就是不管他输入的note具体值是多少。我之前以为是要证明交易发起者的余额是多少，想到死胡同了。你的回复已经说的很明白了其实，当时没想明白
读懂区块链之零知识证明（zk-SNARK）零知识证明：从小白到明白 如今，知识快餐业发达，区块链这么火的领域自然不会落下。经过一轮轮扫盲，共识、工作量证明、闪电网络等等概念对普罗大众已不再陌生，甚至各种解构、比喻、引...
@梦中可 我是在看filecoin的代码想到这个问题的，正好你讲了zcash所以问下。
filecoin是矿工存储了数据提供了Proof，但是怎么知道他提供的proof是原始数据的proof还是自己随便数据的proof，Verifyer也只是验证矿工提供的Proof，并不确定原始数据是什么。也是没有完全看懂，我再看看相关代码
读懂区块链之零知识证明（zk-SNARK）零知识证明：从小白到明白 如今，知识快餐业发达，区块链这么火的领域自然不会落下。经过一轮轮扫盲，共识、工作量证明、闪电网络等等概念对普罗大众已不再陌生，甚至各种解构、比喻、引...
@逐舞传歌 多谢回复。我也是大概理解这个意思，只是具体的话以我目前的理解，只能理解到Prover提供的证明是他所谓的解的证明，Verifyer验证的话也是电路跑一遍能过就ok。在我理解看来，Prover说他有10个zec和20个zec都是可以的，Verifyer验证的话也是验证Prover说的他有多少个zec，至于具体多少个是没有参考依据的。。。可能是哪个地方还没想明白，我再想想🙃
读懂区块链之零知识证明（zk-SNARK）零知识证明：从小白到明白 如今，知识快餐业发达，区块链这么火的领域自然不会落下。经过一轮轮扫盲，共识、工作量证明、闪电网络等等概念对普罗大众已不再陌生，甚至各种解构、比喻、引...
另一个漏洞中：假设Verifier不知道使“s . C(n) - s . A(n) * s . B(n) = H(n) * Z(n)”成立的解s。。。
这个Verifier应该是Prover吧
读懂区块链之零知识证明（zk-SNARK）零知识证明：从小白到明白 如今，知识快餐业发达，区块链这么火的领域自然不会落下。经过一轮轮扫盲，共识、工作量证明、闪电网络等等概念对普罗大众已不再陌生，甚至各种解构、比喻、引...
好文章，可惜还没完全看懂，多看几遍先
有个问题请教个，zcash的转账，金额都不可知的情况下，矿工如何检验转账金额是否符合预期，比如alina向bob转20 zec，但是这个note只有10个zec，如何检测出来？谢谢
读懂区块链之零知识证明（zk-SNARK）零知识证明：从小白到明白 如今，知识快餐业发达，区块链这么火的领域自然不会落下。经过一轮轮扫盲，共识、工作量证明、闪电网络等等概念对普罗大众已不再陌生，甚至各种解构、比喻、引...
hello，麻烦请教个问题 ，不知你看完代码了解了fast sync为什么同步的数据要少？最后贴的那篇文章我也没看明白数据为什么会少。fast sync还需要同步state数据，body也照样同步了，按理说是同步的数据要多的
以太坊源码深入分析（7）-- 以太坊Downloader源码分析上一节分析到Fetcher用于同步网络节点的新区块和新的交易数据，如果新区块和本地最新的区块相隔距离较远，说明本地区块数据太旧，Fetcher就不会同步这些区块。这时候就要借...
内容简介： 1、BEC和SMT的以太坊漏洞是怎么一回事？ 2、智能合约漏洞的黑历史 3、如何解决这个问题？ BEC和SMT的以太坊漏洞是怎么一回事？ 我们先来看下事情发生经过...
自从出了智能合约溢出攻击事件之后，大家纷纷讨论发现了智能合约漏洞了之后怎么自由之类的，整天意淫着能找到一个合约漏洞自此自由后逍遥人间。。。 当然这只是玩笑了，玩笑之余，想着看...
黄皮书里面的定义：新账户的地址被定义为包含发送者和随机数 RLP 编码的 Keccak 哈希的最边 160 位。这个代码也看出来了，就是使用了发送者的address和nonce
深入了解以太坊虚拟机第5部分——一个新合约被创建后会发生什么本文由币乎社区（bihu.com）内容支持计划赞助。 在该系列文章的前部分，我们学了EVM汇编基础，也学了ABI编码是如何允许外部程序与合约进行通信的。在本文中，我们将会学习...
