...呈现默克尔树与Kate承诺之间的差别。用密码学家的话来说，默克尔树是一种向量承诺（vectorcommitment）：你可以使用一个深度为d的默克尔树，计算出对向量（即一系列固定长度的元素）的承诺。你也可以运用默克尔证明，借助d散列，证明位于i处的元素ai是该向量的一部分。实际上，我们可以通过默克尔...
知识:默克尔树,以太坊,密码学
...现默克尔树与 Kate 承诺之间的差别。用密码学家的话来说，默克尔树是一种向量承诺（vector commitment）：你可以使用一个深度为 d 的默克尔树，计算出对向量（即一系列固定长度的元素）的承诺。你也可以运用默克尔证明，借助 d 散列，证明位于 i 处的元素 ai 是该向量的一部分。实际上，我们可以通过...
知识:以太坊,技术,密码学,默克尔树,Kate
...没有账本，它怎么知道交易发送方的钱够不够？密码学就在这时候登场了。向量承诺：从查询到证明不需要账本就能记账听上去不可思议，但其思路是简单的：在以前，节点有账本，一笔交易来后它翻看账本，查询交易是否合法；在以后，节点没有账本，交易发送方在提交交易的同时需要提交一个密码...
知识:以太坊,公链,账本,区块
...没有账本，它怎么知道交易发送方的钱够不够？密码学就在这时候登场了。向量承诺：从查询到证明不需要账本就能记账听上去不可思议，但其思路是简单的：在以前，节点有账本，一笔交易来后它翻看账本，查询交易是否合法；在以后，节点没有账本，交易发送方在提交交易的同时需要提交一个密码...
知识:以太坊,公链,账本,区块
...有账本，它怎么知道交易发送方的钱够不够？密码学就在这时候登场了。 向量承诺：从查询到证明 不需要账本就能记账听上去不可思议，但其思路是简单的：在以前，节点有账本，一笔交易来后它翻看账本，查询交易是否合法；在以后，节点没有账本，交易发送方在提交交易的同时需要提交一个密码...
知识:密码学,以太坊
...有账本，它怎么知道交易发送方的钱够不够？密码学就在这时候登场了。二向量承诺：从查询到证明不需要账本就能记账听上去不可思议，但其思路是简单的：在以前，节点有账本，一笔交易来后它翻看账本，查询交易是否合法；在以后，节点没有账本，交易发送方在提交交易的同时需要提交一个密码...
知识:节点,公链,分布式系统,密码学,以太坊2.0
...没有账本，它怎么知道交易发送方的钱够不够？密码学就在这时候登场了。向量承诺：从查询到证明不需要账本就能记账听上去不可思议，但其思路是简单的：在以前，节点有账本，一笔交易来后它翻看账本，查询交易是否合法；在以后，节点没有账本，交易发送方在提交交易的同时需要提交一个密码...
知识:以太坊 2.0,PoS,以太坊,公链,密码学
... Vitalik Buterin 联合多名研究人员发布一篇名为「无状态加密货币的可聚合子向量承诺（aSVC）」的论文，该方案是一种向量承诺（VC）方案，可将多个证明聚合到单个小的子向量证明中。该论文对 aSVC 进行了形式化处理，从恒定大小的多项式承诺中给出了素数阶组的有效构造，并使用它来引导高效的无状...
知识:以太坊,Vitalik Buterin,技术,论文,aSVC
...：用于从其子节点计算内部节点的哈希函数不是常规哈希。 相反，这是一个向量承诺（Vector commitment）。向量承诺方案是一种特殊类型的哈希函数，对一个列表进行哈希化。 但是向量承诺具有特殊属性，即对于一个承诺和一个值 ，可以做一个简短的证明，即对某个列表的承诺，也就是第 i 个位置的值...
知识:以太坊,Verkle
...研究者 Dan Boneh, Benedikt Bünz 和 Ben Fisch 提出了两个 新密码原语——累加器和向量承诺（Accumulators and Vector Commitments），这让人们设计无状态区块链成为可能 [2]。在无状态的区块链中，全节点可以不需要存储区块链的整个状态，而只需要对状态进行短暂的承诺（Commitment）以验证交易。这与轻节点不同，轻...
知识:以太坊,技术,公链,项目,观点,Nervos,状态增长
...子节点计算内部节点的哈希函数不是常规哈希。相反，这是一个矢量承诺。向量承诺方案是一种特殊类型的散列函数，对列表 h(z1,z2...zn)→C 进行散列。但是向量承诺具有特殊性质，即对于承诺 C 和值 zi，可以简短地证明 C 是对某个列表的承诺，其中第 i 个位置的值是 zi。在 Verkle 证明中，这个简短的证...
知识:区块,代币,节点,链上
...具体来说，我们正在考虑替换掉一些默克尔树数据结构，代之以基于配对的向量承诺（pairing-based vector commitments）（例子见此论文）。基于配对的向量承诺有非常理想的 witness 聚合特性，可以大幅提高 Phase 2 的无状态性性能。基于配对的向量承诺还可以使用相同的密码学来认证分片链区块和分片链状态...
知识:合约,分片,以太坊基金会,以太坊
...们先看一下Bulletproofs是如何高效的实现第一点。Range Proof1预备知识aL：表示向量{a1, a2?……an}2n：表示向量{20,21…2n-1}<a, b>：表示向量内积 ∑ ai ·?bi，结果是一个值a o b：向量对应位相乘，{a1·?b1……an ·?bn}，结果是一个向量2证明Alice想要证明v ∈?[0, 2n-1]=>则，需要证明一个relation得成立，如下所示：publi...
知识:等式,零知识证明算法,公式,向量
...需要激励诚实的节点不断保持审计区块。有没有办法避免欺诈证明？最近，向量承诺重新引起了区块链领域的关注。这些向量承诺，尤其是对多项式的恒定大小的 KZG/Kate 承诺，可用于设计简洁的 DA 方案，而无需欺诈证明。简而言之，Kate 承诺允许我们使用单个组元素提交多项式。此外，该方案支持我们...
知识:区块,全节点,区块头,以太坊
...需要激励诚实的节点不断保持审计区块。有没有办法避免欺诈证明？最近，向量承诺重新引起了区块链领域的关注。这些向量承诺，尤其是对多项式的恒定大小的 KZG/Kate 承诺，可用于设计简洁的 DA 方案，而无需欺诈证明。简而言之，Kate 承诺允许我们使用单个组元素提交多项式。此外，该方案支持我们...
知识:以太坊