...方建议就可以有效地验证系统历史，而这是通过在每个区块中包含简洁证明SNARK来实现的这一目标。据悉，Coda使用了帐户模型（而不是比特币使用的UTXO模型），其中区块链的当前状态是所有帐户余额的列表。值得注意的是，Coda每个区块包含的是对此状态的承诺，而不是整个状态，因此，其全节点不必...
知识:以太坊,零知识证明,Coda
...每个人都要下载额外的数据。在交易进入区块之前，一个中间人先使用一个 SNARK 证据来 聚合/压缩 所有的见证数据（witness，比如签名）（当前的 SNARK 需要使用受信任的启动设置），并发布新状态的 UTXO 集合承诺（也是用上述的 SNARK 证据来证明的）。每个人都验证这个 SNARK，证明区块的有效性和 UTXO 集...
知识:区块,以太坊,区块链,以太坊的
伯克利（Berkeley）Blockchain Xcelerator孵化??计划增加了Snark Health，以加强与冠状病毒的斗争。该计划促进了创新的分布式分类帐技术初创公司。最新加入的Snark Health，将有助于扩大Blockchain Xcelerator在冠状病毒大流行中的统治地位。兴奋地加入伯克利区块链Xcelerator！https：//t.co/BLnlPi0DZmhttps：//t.co/oOwTS0pKx4-Snark...
知识:区块链,分布式分类帐技术,加密货币,区块链行业
...最多，近 14 个项目。零知识证明，\"零知识\"的概念可能有些令人费解，zk-SNARK 很快就会变得复杂，因此让我们从头开始。本篇文章，星际视界将为读者掀开zk-SNARK的神秘面纱，从密码学展开，对zk-SNARK进行由浅入深的讲解。什么是密码学密码学是研究编制密码和破译密码的技术科学。研究密码变化的客...
知识:加密货币,公钥,在区块链,区块
SNARK是简洁的非交互式知识论证：简言之，它们允许一个人以简洁的方式向验证者证明，他们使用正确的输入正确地执行了计算。它们打开了许多以前不可行的用例，如匿名交易（Zcash）、快速轻客户端/紧凑型区块链（Celo、Mina）和可证明的分散存储（Filecoin），从而对区块链世界产生了巨大影响。在生...
知识:矿工,区块链,以太坊,区块
...块奖励。但他同时也揭示了Filecoin与GPU的关系。这就是，Filecoin证明中需要的SNARK是用GPU来计算的，GPU使某些计算比CPU更快，更便宜。并且这是Filecoin团队目前为止所发现的最满足协议性能和安全性严格标准的解决方案。所以只有停止使用SNARK，才将不需要GPU，但这不是Filecoin的短期计划。胡安表示为确保...
知识:FILECOIN,王东临,公链,区块链存储
...与Mina的第一手消息后便及时和大家分享。本文详细介绍了关于Mina的Staking和Snark证明挖矿，后续石榴矿池也将支持Mina挖矿，相关技术及参与方式将陆续公布，敬请期待。简介Mina是一个新型加密货币协议，特点是通过递归组合的zk-SNARKs（零知识证明技术）对交易和区块进行压缩，使整个区块链的大小始终...
知识:区块,挖矿,代币,矿池
...社区的小伙伴，本系列文章将对 Zk-stark 算法展开介绍。Concept：zk-stark vs zk-snark谈到ZKP算法，大伙可能听过一些，比如zk-snark，zk-stark, bulletproof， aztec， plonk等等。今天，咱就给大伙聊聊这一对“表面兄弟”，zk-stark和zk-snark算法的异同之处。不如，先让我们从名称说起？毕竟，两个看起来都很厉害的亚子...
知识:多项式,算法,等式,零知识证明算法
...omputeLab 和 CryptoNetLab（Protocol Labs 研究开发实验室中的两个）一直致力于将zk-SNARKs 引入世界和 Filecoin 网络中。虽然这段旅程还远未结束，但是今天他们已经站在了一定的高度上。世界迷你站点的zk-SNARK展示了 Filecoin 是迄今为止部署的最大 zk-SNARK 网络，同时强调了一些关键性的改进，这些改进使 Filecoin ...
知识:矿工,区块,区块链,站在
...得了巨大的发展。零知识证明，不信任的零知识证明系统的迭代（也称为zk-SNARK）是一种功能强大的加密原语，可以通过公共媒介（特别是公共区块链网络）在两方之间切断任何可处理的数据。 zk-SNARK最初以面向隐私的加密货币Zcash（ZEC）赢得了主流的关注，并对其实际应用程序和效率改进进行了重要的...
知识:加密货币,比特币,隐私,加密货币交易
区块链网络消息，Aztec 发布 ZK? rollup v0.1 版本代码，该代码可实现从一个 SNARK 之中有效地验证另一个 SNARK。这是基于单曲线配对的通用 SNARK 递归的首次实现，该实现意味着无需配对的友好循环和无需使用对 SNARK 友好的哈希，因为可运行行业标准哈希。来源链接
知识:以太坊,隐私,AZTEC,ZK? Rollup,SNARK
...展到十亿用户的多边形零任务的一部分。根据官方公告，Plonky2 是一种递归 SNARK，它与以太坊原生兼容，比现有替代方案快 100 倍。 该公告进一步补充说：Plonky2 结合了 PLONK 和 FRI 以获得最好的 STARK，具有快速证明和无可信设置，以及最好的 SNARK，支持递归和以太坊上的低验证成本。</blockquote>ZK-Proofs 的...
知识:以太坊,以太坊的,交易价格,区块链
...工作，以减少在以太坊主网上进行隐私交易的gas成本。传统的ZK Rollup利用了SNARKs的“简洁性”属性来扩展公共区块链，这种技术允许将大量交易“汇总”为一笔聚合交易，因此以太坊可以一次执行100笔或1000笔交易，而所消耗的gas成本就相当于一笔以太坊交易的花费。所以ZK-SNARKs也可以是一种用于扩容的...
知识:以太坊,零知识证明,ZK? Rollup
...硅谷投资人背书通过区块压缩来扩容是 V 神等技术大牛看好的方向缺点：zksnark 证明的生产需要使用 GPU 和较大容量的内存，验证人节点成本较高。项目方自己开发公链，而非为其它公链服务，灵活度有限。目前还没有优质生态项目出现行业 (9/10)区块链扩容的其中一大挑战在于，区块链数据容量随着 tps ...
知识:零知识证明,Coinbase,技术,项目,观点,Coda,z
什么是zk-SNARK？Zcash是zk-SNARKs的第一个广泛应用，zk-SNARKs是一种新颖的零知识密码学形式。Zcash的强大隐私保证源于Zcash中的屏蔽事务可以在区块链上完全加密，但仍然可以通过使用zk-SNARK证明在网络共识规则下验证为有效。首字母缩略词zk-SNARK代表“零知识简洁非交互式知识论证”，并且指的是一种证据...
知识:加密货币,区块,公共区块链,分布式分类账