前言 Bulletproofs，又一个有意思的零知识证明算法，相信读者已经很熟悉它了。和zk-snark相比，它不需要可信设置；和zk-stark算法相比，它具有较小的proof size。根据论文，它有两个方面的应用：1. 用于range proof；2. 用于一般算术电路的零知识证明。下面，让我们先看一下Bulletproofs是如何高效的实现第一点...
知识:bulletproofs
本文作者江小白，来自安比技术社区的小伙伴，本系列文章将对 Bulletproof 算法在 Range Proof 和 general arithmetic circuits 上的应用展开介绍。前言Bulletproofs，又一个有意思的零知识证明算法，相信读者已经很熟悉它了。和zk-snark相比，它不需要可信设置；和zk-stark算法相比，它具有较小的proof size。根据论文，...
知识:等式,零知识证明算法,公式,向量
...ARK（三）——从程序到多项式的构造》原文来源：安比实验室 作者：Maksym Petkus导读even@ 安比实验室: 前文主要介绍了如何构造多项式的零知识证明协议，现在将开始探讨如何构造更通用的协议。本节主要是讲如何将一组计算的证明转换为多项式进行证明。本文重点主要包括：多项式的算术性质，多项式...
知识:零知识证明,zk-SNARK
...终存在诸多困惑，没有形成一个完整的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明协议开始，然后像堆积木一样在发现问题，修改问题中逐步去完善协议，直到最终构造出完整的 zk-SNARK 协议。另外作者这种从问题出发的讲解方式，让读...
知识:多项式,协议,同态,因式
...终存在诸多困惑，没有形成一个完整的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明协议开始，然后像堆积木一样在发现问题，修改问题中逐步去完善协议，直到最终构造出完整的 zk-SNARK 协议。另外作者这种从问题出发的讲解方式，让读...
知识:多项式,协议,同态,因式
...终存在诸多困惑，没有形成一个完整的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明协议开始，然后像堆积木一样在发现问题，修改问题中逐步去完善协议，直到最终构造出完整的 zk-SNARK 协议。另外作者这种从问题出发的讲解方式，让读...
知识:零知识证明,ZKSNARK
...SNARK（一）——多项式的性质与证明》原文来源： 安比实验室 作者：Maksym Petkus导读17 年最早接触 zk-SNARK 开始，就断断续续得学习了一些 zk-SNARK 的知识，但对其原理始终存在诸多困惑，没有形成一个完整的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简...
知识:零知识证明,zk-SNARKs,zk-SNARK
...终存在诸多困惑，没有形成一个完整的认识。偶然一次机会，看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起，从一个简单易懂的证明协议开始，然后像堆积木一样在发现问题，修改问题中逐步去完善协议，直到最终构造出完整的 zk-SNARK 协议。另外作者这种从问题出发的讲解方式，让读...
知识:多项式,协议,同态,因式
...增长，专家预测，在未来三年中，游戏业的价值可能达到2350亿美元。加密货币和区块链开发商一直在不懈地努力破坏这一领域。目前，市场上有许多加密游戏。这些游戏为您提供了加密爱好者的机会，让他们有机会在获得加密的同时获得乐趣。我们已经审查了目前市场上十种领先的加密货币游戏，以帮...
知识:加密货币,在区块链,代币,以太坊区块链
...希望读者通过阅读此文，能够将RSA算法的来龙去脉搞清楚，同时可以基于RUST语言开发一个简单的RSA算法模拟。基础数学知识点模运算已知正整数a，b，我们求出a除以b的商与余数：b * q + r = a其中q是商，r是余数，也可以记做：a ≡ r (mod b)，这里的mod即称为模运算，以上表达式读作“a模b等于r”或者“a模b...
知识:私钥,公钥,算法,定理
Trister's Light是全球首个基于POS+POT共识的公链平台，致力于解决现有区块系统性能和成本问题，通过使用分层技术架构，运用分片、跨链以及多链执行智能合约等技术，最大限度地降低开发人员、用户、企业以及整个区块链生态系统的进入和使用门槛，让区块链技术真正落地，普惠大众，为人类社会进步...
知识:公链,区块链生态系统,区块系统,区块链技术
写在前面：为了应对以太坊的状态爆炸问题，以太坊联合创始人Vitalik提出了新的解决方案，其提议使用多项式承诺（polynomial commitments）方案来替代默克尔树（Merkle tree），以此大大减少无状态以太坊客户端的见证数据（witnesses）。</blockquote>（图：以太坊联合创始人Vitalik Buterin）（提示：文章有很多公...
知识:区块,多项式,以太坊,以太坊联合创始人
写在前面：为了应对以太坊的状态爆炸问题，以太坊联合创始人Vitalik提出了新的解决方案，其提议使用多项式承诺（polynomial commitments）方案来替代默克尔树（Merkle tree），以此大大减少无状态以太坊客户端的见证数据（witnesses）。 （图：以太坊联合创始人Vitalik Buterin）（提示：文章有很多公式，译文...
知识:以太坊,多项式承诺
...识算法、「挖矿」、Staking 等活动，上层经济体对应着 DeFi、NFT、STO 和稳定币。</blockquote>撰文：邹传伟，万向区块链首席经济学家夫水之积也不厚，则其负大舟也无力……风之积也不厚，则其负大翼也无力。——《庄子·逍遥游》</blockquote>除了比特币以外，主流公链对应的经济体都有存在双层结构。底...
知识:比特币,以太坊,PoS,公链,安全,稳定币,PoW,DeFi
...有效。【4】零是指提交为零且盲因子为零的同态提交。定义9：我们将事务T的规范形式定义为等于T的事务，除非任何输入等于输出，否则都将被删除。请注意，任何事务的规范形式与原始事务的总和相等；特别是事务在且仅当其规范形式有效时才有效。我们注意到所有有效的交易都是非通货膨胀的；总...
知识:代币,区块链,公钥,事务