...系统一个证明系统 (Proof System)是一个交互式协议，包含两个参与方 Prover 和 Verifier，以及一个算法 Setup。证明系统的作用是让 Prover 说服 Verifier 相信一件事，我们把这件事叫做一个陈述 (Statement)。协议开始前，需要由某人调用 Setup 算法。Setup 算法接受一些公共参数作为输入，并输出 Prover 和 Verifier 所需...
知识:系统,知识,知识性,模拟器
...法找到满足下面等式的值 ?zp 和 zh再用这两个值来代替 ?g? ?和 g? ?将它交给 verifier。所以 verifier 需要能够证明 prover 给出的值就是用 s 幂的加密值而不是其它值计算出来的。我们看一个由一个变量和一个系数组成的一阶多项式的简单例子，对应的 s 的加密值为 E(s) = g?。这里我们要做的就是确保 prover 是拿...
知识:多项式,链上,知识,参与者
区块链网络消息，比特币核心开发者 Jeremy Rubin 在进行 DeFi Discussions 线上峰会圆桌时谈到，比特币目前正处于一个原始的阶段，并试图为世界建立新的系统。对于矿工来讲，重要的是关注那些正在建造持久影响的技术改变，而不仅仅是关注短期机会。Jeremy Rubin 一直致力于 Check Template Verify 的研究，这项...
知识:比特币,矿工,DeFi Discussions,Check
初始flowcoin的数量为3.1亿，其中用于矿工奖励的占70%，即2.17亿flowcoin。先假设每一轮区块都能够正常出块，那么每一轮区块过后，剩余flowcoin的数量为：根据该公式，即可算出当前轮区块的矿工奖励数量：上述公式中的d表示为衰减因子，根据每45秒出一个块，奖励半衰期为4年的规则，可以算出：注1：由...
知识:ipfs,FLOWCOIN,分布式流量存储
...验输出值是否是操作数正确运算得到的结果。所以我们称之为约束，即一个 verifier 约束 prover 去为预定义的「程序」提供有效值，而无论这个「程序」是什么。多个约束组成的系统被称为「约束系统」（在我们的例子中这是一个一阶约束系统，或被称为 R1CS）。@Maksym（作者）：这里其实隐含了寻找所有...
知识:zk-SNARK,零知识证明,Pinocchio
...一个简单的系数多项式 f(x) = c? x 的例子中：这个结构「限制」prover 只能用 verifier 提供的加密的 s 进行计算，因而 prover 只能将系数 c 赋给 verifier 提供的多项式。现在我们可以扩展这种单项式上的方法到多项式上，因为计算是先将每项的分配分开计算然后再「同态地」相加在一起的（这个方法是 Jens Grot...
知识:零知识证明,zk-SNARK
...零知识证明」系统中，都有一个 prover 在不泄漏任何额外信息的前提下要让 verifier 确信某些陈述（Statement）是正确的。例如 verifier 仅能知道 prover 的银行账户金额超过 X（也就是不披露实际金额）。协议应当满足下面三个性质：完整性——只要「陈述」是正确的，prover 就可以让 verifier 确信可靠性——如...
知识:多项式,协议,同态,因式
...零知识证明」系统中，都有一个?prover?在不泄漏任何额外信息的前提下要让?verifier?确信某些陈述（Statement）是正确的。例如?verifier?仅能知道?prover?的银行账户金额超过?X（也就是不披露实际金额）。协议应当满足下面三个性质： 完整性 —— 只要「陈述」是正确的，prover?就可以让?verifier?确信可靠性 —...
知识:零知识证明,ZKSNARK
[email protected]_point????def?addCustomer(self,?params):????????#?Verifies?if?mandatory?fields?have?values.?????????sp.verify(params.id?!=?"")????????sp.verify(params.name?!=?"")????????sp.verify(params.phoneNumber?>?0)????????#?Declare?the?parameter?types.????????sp.set_type(params.id,?sp.TString)????????sp.set_type(params.name,?sp.TString)????????sp.set_type(par...
知识:智能合约,区块链,钱包,区块链智能合约
...ers = sp.map())# Defines the addCustomer entry [email protected]_pointdef addCustomer(self, params):# Verifies if mandatory fields have values.sp.verify(params.id != "")sp.verify(params.name != "")sp.verify(params.phoneNumber > 0)# Declare the parameter types.sp.set_type(params.id, sp.TString)sp.set_type(params.name, sp.TString)sp.set_type(params.phoneNumber, sp.TNat)sp.set_type(params.balance, sp.T...
知识:智能合约,区块链,钱包,智能合约调用
...零知识证明」系统中，都有一个?prover?在不泄漏任何额外信息的前提下要让?verifier?确信某些陈述（Statement）是正确的。例如?verifier?仅能知道?prover?的银行账户金额超过?X（也就是不披露实际金额）。协议应当满足下面三个性质：完整性 —— 只要「陈述」是正确的，prover?就可以让?verifier?确信可靠性 ——...
知识:多项式,协议,同态,因式
...零知识证明」系统中，都有一个 prover 在不泄漏任何额外信息的前提下要让 verifier 确信某些陈述（Statement）是正确的。例如 verifier 仅能知道 prover 的银行账户金额超过 X（也就是不披露实际金额）。协议应当满足下面三个性质：完整性——只要「陈述」是正确的，prover 就可以让 verifier 确信可靠性——如...
知识:零知识证明,zk-SNARKs,zk-SNARK
...「零知识证明」系统中，都有一个prover在不泄漏任何额外信息的前提下要让verifier确信某些陈述（Statement）是正确的。例如verifier仅能知道prover的银行账户金额超过X（也就是不披露实际金额）。协议应当满足下面三个性质：<ul style="margin-top: 15px; margin-bottom: 15px; margin-left: 0px; padding-left: 40px; list-style-position...
知识:多项式,协议,同态,因式
...aro, Craig Gentry, Bryan Parno, Mariana Raykova, EUROCRYPT 2013[PGHR13] Pinocchio: Nearly Practical Verifiable Computation , Bryan Parno, Craig Gentry, Jon Howell, Mariana Raykova, IEEE Symposium on Security and Privacy (Oakland) 2013[BCGTV13] SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge , Eli Ben-Sasson, Alessandro Chiesa, Daniel Genkin, Eran Tromer, Madars Virza, C...
知识:零知识证明,zkSNARKs
...oduct Argument 把 Polynomial Commitment 的交互复杂度由 O(n)降低到 O(log(n))。但是， Verifier 需要对每一个 Commitment Proof 都要进行一个 0(n)级别的操作，即计算 b 和 G。Halo2 里推出了一个新的解决方案，对于 b 的计算，可以利用 Laurent Polynomial 去解决，它是一个特殊的多项式，可以在对数时间内完成 b 的计算；对...
知识:算法,采用了,简洁性,技术