LOADING...
LOADING...
LOADING...
当前位置:主页 > 知识列表 >

X

1. 深入理解零知识证明算法Zk-stark:LowDegreeTesting

...对应下面详细说明的索引)下面具体说明一下对应流程:首先生成执行轨迹(EXCUTE TRACE),事实上,它是一张表,总共有1000,000行(实际上,为了达到零知识的目的,还需要在执行轨迹后面增加一些随机值,具体数量是由证明者和验证者统一协调决定的,作为一个扩展,不具体讲述);生成多项式约束(Polynom...

知识:多项式,复杂度,零知识证明算法,过程

2. Vitalik:以太坊的设计理念(一)

...易是如何工作的、数据如何序列化及存储、账户背后的机制。账户 ,而非 UTXO1比特币及其许多变种,都将用户的余额信息存储在 UTXO 结构中,系统的整个状态由一系列的 “未花费的输出” 组成(可以将这些 “未花费的输出” 想象成钱币)(校对注:更好的一个比喻可能是 “支票”。)。每个 UTXO 都...

知识:以太坊,区块,以太坊的,以太坊协议

3. Echo | 以太坊的设计理念,Part-1

...易是如何工作的、数据如何序列化及存储、账户背后的机制。账户 ,而非 UTXO1比特币及其许多变种,都将用户的余额信息存储在 UTXO 结构中,系统的整个状态由一系列的 “未花费的输出” 组成(可以将这些 “未花费的输出” 想象成钱币)(校对注:更好的一个比喻可能是 “支票”。)。每个 UTXO 都...

知识:以太坊,区块,以太坊的,以太坊协议

4. VitalikButerin:以太坊状态爆炸问题多项式承诺方案可解决

...建方法。什么是多项式承诺(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...

知识:区块,多项式,以太坊,以太坊联合创始人

5. Vitalik:以太坊状态爆炸问题,多项式承诺方案可解决

...方法。 什么是多项式承诺(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...

知识:以太坊,多项式承诺

6. 【零知识证明】zk-SNARK(三)——从程序到多项式的构造

...质我们先来看一下如何将多项式和算术运算关联起来。例如有两个多项式 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

7. 理解零知识证明算法之Zk-stark——Arithmetization

...的长度即使扩大到1000000,最终的多项式约束仍是这三个,唯一变化的是变量x的取值范围而已。 在这里,借用V神的话来描述一下Zk-stark:Zk-Stark不是一个确定性的算法,它是一大类密码和数学结构,对于不同的应用,具有不同的最优设置。可以理解为,对于不同的问题,具有不同的算术化的方案(在本...

知识:零知识证明,技术指南,zkSTARK

8. 理解零知识证明算法Zk-stark(二):Arithmetization

...的长度即使扩大到1000000,最终的多项式约束仍是这三个,唯一变化的是变量x的取值范围而已。在这里,借用V神的话来描述一下Zk-stark:Zk-Stark不是一个确定性的算法,它是一大类密码和数学结构,对于不同的应用,具有不同的最优设置。可以理解为,对于不同的问题,具有不同的算术化的方案(在本例...

知识:多项式,零知识证明算法,轨迹,等式

9. 为何流动性池的两种通证总是初始价值相同?Defi无常损失分析

...无常损失将是重中之重。本篇文章中,我们仅从数学角度,探讨在最常用的xy=k模型下,将流动性池的两种通证的初始价值设置为相同,是如何能够降低无常损失的空间的。假设一个交易对中的两个通证分别为A和B,在初始状态,流动性池中共有A通证x个,B通证y个,其价格(法币本位)分别为px与py。此...

知识:通证,套利,DEFI

10. x x x ? x x lock ? ? lat ? ? ? lat ?

xAxentro?Blockchain?Platform?的?Rise?最早出现在Coinpedia-Fintech&Cryptocurreny News Media | 加密指南阿克森特(Axentro)正在踏上出生的旅程! 我们的主网于2020年11月启动。在那段时间,它经历了许多变化,成为今天的主网。 但是旅程还没有开始! 我们有一个宏伟的愿景,那就是建立一个令人难以置信的平台来构建...

知识:旅程,还没有,出现在,建立一个

11. 技术干货 | 理解零知识证明算法之Bulletproofs:Range Proof I

...得成立,如下所示:{(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

12. LedgerNanoX全方位测评,价值119美元的硬件钱包值得购买吗?

来源|Decrypt翻译|头等仓(First.VIP)AnnieLedger Nano X有了蓝牙和更大的屏幕(图片来源:Decrypt)加密货币自出现以来(10多年前),为了储存它,人们进行了许多尝试来构建更为高级、安全和用户友好的钱包。截至2020年,硬件钱包被认为是当前黄金级别的安全标准,它是一种在安全的离线环境中存储加...

知识:硬件钱包,钱包,加密货币,代币

13. 指南:Machi X –社交加密货币交易所

<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)的目的。这个想法是将一首特定的歌曲标记化,例...

知识:代币,加密货币交易所,合约,加密货币

14. #熊孩纸问#第一期 专访比特大陆笛笛

  熊孩纸(以下简称X):我先跟大家介绍一下今天的嘉宾。她是比特大陆市场部高级经理,中国比特币行业的知名美女,江湖人称小苹果,磨人的小妖精,她是笛笛。   笛笛,么么哒。欢迎来到我刚刚一拍脑袋想出来的栏目《熊孩纸问》。我想找个美女做第一期嘉宾,所以找了你。   ...

知识:比特大陆,比特大陆笛笛

15. X-WALLET|X-KEY 硬件冷钱包全球巡回沙龙新加坡站 取得圆满成功

?由X-WALLET的X-ACADEMY团队联合主办,?GL社区促进会的X-WALLET|X-KEY 硬件冷钱包2019年11月15日全球巡回沙龙新加坡站取得圆满成功。近日,各种利好与区块链发展趋势下,区块链公司开始忙碌了起来。2019年10月24日,?中国中央总书记习近平指出,中国在做到“六个要”:要强化基础研究,提升原始创新能力;要推动...

知识:区块链,应用链,硬件冷钱包,区块链标准化