...对应下面详细说明的索引)下面具体说明一下对应流程：首先生成执行轨迹(EXCUTE TRACE)，事实上，它是一张表，总共有1000,000行（实际上，为了达到零知识的目的，还需要在执行轨迹后面增加一些随机值，具体数量是由证明者和验证者统一协调决定的，作为一个扩展，不具体讲述）；生成多项式约束(Polynom...
知识:多项式,复杂度,零知识证明算法,过程
...易是如何工作的、数据如何序列化及存储、账户背后的机制。账户 ，而非 UTXO1比特币及其许多变种，都将用户的余额信息存储在 UTXO 结构中，系统的整个状态由一系列的 “未花费的输出” 组成（可以将这些 “未花费的输出” 想象成钱币）（校对注：更好的一个比喻可能是 “支票”。）。每个 UTXO 都...
知识:以太坊,区块,以太坊的,以太坊协议
...易是如何工作的、数据如何序列化及存储、账户背后的机制。账户 ，而非 UTXO1比特币及其许多变种，都将用户的余额信息存储在 UTXO 结构中，系统的整个状态由一系列的 “未花费的输出” 组成（可以将这些 “未花费的输出” 想象成钱币）（校对注：更好的一个比喻可能是 “支票”。）。每个 UTXO 都...
知识:以太坊,区块,以太坊的,以太坊协议
...建方法。什么是多项式承诺（polynomial commitments）？多项式承诺是多项式P（x）的一种‘哈希’，其具有可对哈希执行算术检查的属性。例如，在三个多项式P（x），Q（x），R（x）上，给定三个多项式承诺h_P = commit(P(x)),?h_Q = commit(Q(x)),?h_R = commit(R(x))，然后：如果P(x) + Q(x) = R(x)，你可以生成一个证明（proof...
知识:区块,多项式,以太坊,以太坊联合创始人
...方法。 什么是多项式承诺（polynomial commitments）？ 多项式承诺是多项式P（x）的一种‘哈希’，其具有可对哈希执行算术检查的属性。例如，在三个多项式P（x），Q（x），R（x）上，给定三个多项式承诺h_P = commit(P(x)), h_Q = commit(Q(x)), h_R = commit(R(x))，然后： 如果P(x) + Q(x) = R(x)，你可以生成一个证明（proo...
知识:以太坊,多项式承诺
...质我们先来看一下如何将多项式和算术运算关联起来。例如有两个多项式 f(x) 和 g(x)，尝试将他们相乘使得 h(x) = f(x) × g(x)，在任意一个 x= r 处 h(x) 的计算结果都是 f(r) 和 g(r) 的乘积。再看一下如下两个多项式 f(x) = 2x2 – 9x+ 10 和 g(x) = – 4x2 + 15x – 9。以图形的形式展示：当 x = 1 时 f(1) = 2 – 9 + 10 = 3, g(1)...
知识:零知识证明,zk-SNARK
...的长度即使扩大到1000000，最终的多项式约束仍是这三个，唯一变化的是变量x的取值范围而已。 在这里，借用V神的话来描述一下Zk-stark：Zk-Stark不是一个确定性的算法，它是一大类密码和数学结构，对于不同的应用，具有不同的最优设置。可以理解为，对于不同的问题，具有不同的算术化的方案（在本...
知识:零知识证明,技术指南,zkSTARK
...的长度即使扩大到1000000，最终的多项式约束仍是这三个，唯一变化的是变量x的取值范围而已。在这里，借用V神的话来描述一下Zk-stark：Zk-Stark不是一个确定性的算法，它是一大类密码和数学结构，对于不同的应用，具有不同的最优设置。可以理解为，对于不同的问题，具有不同的算术化的方案（在本例...
知识:多项式,零知识证明算法,轨迹,等式
...无常损失将是重中之重。本篇文章中，我们仅从数学角度，探讨在最常用的xy=k模型下，将流动性池的两种通证的初始价值设置为相同，是如何能够降低无常损失的空间的。假设一个交易对中的两个通证分别为A和B，在初始状态，流动性池中共有A通证x个，B通证y个，其价格（法币本位）分别为px与py。此...
知识:通证,套利,DEFI
...edia | 加密指南阿克森特（Axentro）正在踏上出生的旅程！ 我们的主网于2020年11月启动。在那段时间，它经历了许多变化，成为今天的主网。 但是旅程还没有开始！ 我们有一个宏伟的愿景，那就是建立一个令人难以置信的平台来构建分散式应用程序。 …
知识:旅程,还没有,出现在,建立一个
...的相关信息，因此，我们需要添加两个盲因子sL、sR来隐藏aL，aR。如公式(10)(11)所示： l(X) = (aL - z * 1n) + sL * X )(10)r(X) = (aR + z * 1n + sR * X) o yn + z2 * 2n(11)此时，定义公式(12) t(X) = <l(X), r(X)> = t0 + t1*X + t2 * X2(12)可以看出系数t0是l(x)和r(x)常数项的乘积，即满足： t0 = <L, R> = z2*v + δ因此，问题由证明： &l...
知识:bulletproofs
...寸和重量是Nano S的两倍（图片来源：Decrypt）Ledger Nano X的尺寸为72mm x 18.6mm x 11.75mm，重量为34g，体积差不多是Ledger Nano S的两倍大，重量是Ledger Nano S的两倍多。Nano X体积大是因为内置了100mAH电池，这意味着你可以随时随地使用它，不像Ledger Nano S必须使用USB数据线，将其插入电脑充电才能使用。Nano X还扩大...
知识:硬件钱包,钱包,加密货币,代币
...支柱） （最新的Machi X路线图仍在制定中） Machi X最新消息 <ul> <li>该公司于11月25日在其博客中透露，Machi X已加入OkEx生态系统。 </li> <li>Machi X更改了其白皮书。 Leo Cheng在Twitter上发布了通知用户和粉丝，同时还指出了他们添加到平台中的主要明星数量。</li> <li>Machi X宣布将检查其用户的帐户和数字，并在...
知识:代币,加密货币交易所,合约,加密货币
熊孩纸(以下简称X)：我先跟大家介绍一下今天的嘉宾。她是比特大陆市场部高级经理，中国比特币行业的知名美女，江湖人称小苹果，磨人的小妖精，她是笛笛。 笛笛，么么哒。欢迎来到我刚刚一拍脑袋想出来的栏目《熊孩纸问》。我想找个美女做第一期嘉宾，所以找了你。 ...
知识:比特大陆,比特大陆笛笛
...由X-WALLET的X-ACADEMY团队联合主办,?GL社区促进会的X-WALLET|X-KEY 硬件冷钱包2019年11月15日全球巡回沙龙新加坡站取得圆满成功。近日,各种利好与区块链发展趋势下,区块链公司开始忙碌了起来。2019年10月24日,?中国中央总书记习近平指出，中国在做到“六个要”：要强化基础研究，提升原始创新能力；要推动...
知识:区块链,应用链,硬件冷钱包,区块链标准化