...对应下面详细说明的索引)下面具体说明一下对应流程:首先生成执行轨迹(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
xAxentro?Blockchain?Platform?的?Rise?最早出现在Coinpedia-Fintech&Cryptocurreny News Media | 加密指南阿克森特(Axentro)正在踏上出生的旅程! 我们的主网于2020年11月启动。在那段时间,它经历了许多变化,成为今天的主网。 但是旅程还没有开始! 我们有一个宏伟的愿景,那就是建立一个令人难以置信的平台来构建...
知识:旅程,还没有,出现在,建立一个
...得成立,如下所示:{(g、h ? G,V,n;v,r ? Zp):V = grhv ^ v ? [0, 2n-1] }public-xwitness-w relation-R即,对于公开信息x,Alice有隐私信息w,使得关系R成立。令 aL为金额v的在范围[0, 2n-1]内的二进制形式,则aL = {a1,a2……an}?{0,1}n,且满足<aL, 2n> = v。因此,证明者需要证明以下几个等式相等: V = grhv(1)<aL, 2n&g...
知识:bulletproofs
来源|Decrypt翻译|头等仓(First.VIP)AnnieLedger Nano X有了蓝牙和更大的屏幕(图片来源:Decrypt)加密货币自出现以来(10多年前),为了储存它,人们进行了许多尝试来构建更为高级、安全和用户友好的钱包。截至2020年,硬件钱包被认为是当前黄金级别的安全标准,它是一种在安全的离线环境中存储加...
知识:硬件钱包,钱包,加密货币,代币
<ul> <li>简短的摘要</li> <li>Machi X背景/市场机会</li> <li>Machi X问题解决</li> <li>Machi X的解决方案</li> <li>竞争对手/竞争分析</li> <li>合作伙伴/投资者</li> <li>Machi X代币</li> <li>Machi X核心团队</li> <li>Machi X路线图</li> </ul> 简短的摘要 Machi X用于标记知识产权(IP)的目的。这个想法是将一首特定的歌曲标记化,例...
知识:代币,加密货币交易所,合约,加密货币
熊孩纸(以下简称X):我先跟大家介绍一下今天的嘉宾。她是比特大陆市场部高级经理,中国比特币行业的知名美女,江湖人称小苹果,磨人的小妖精,她是笛笛。 笛笛,么么哒。欢迎来到我刚刚一拍脑袋想出来的栏目《熊孩纸问》。我想找个美女做第一期嘉宾,所以找了你。 ...
知识:比特大陆,比特大陆笛笛
?由X-WALLET的X-ACADEMY团队联合主办,?GL社区促进会的X-WALLET|X-KEY 硬件冷钱包2019年11月15日全球巡回沙龙新加坡站取得圆满成功。近日,各种利好与区块链发展趋势下,区块链公司开始忙碌了起来。2019年10月24日,?中国中央总书记习近平指出,中国在做到“六个要”:要强化基础研究,提升原始创新能力;要推动...
知识:区块链,应用链,硬件冷钱包,区块链标准化