前言 本篇主要分享基于Bulletproofs的Range proof的具体实现细节，并和当前github已有的实现做了对比分析。阅读本篇前，假设您已经阅读了：Step1. 理解零知识证明算法之Bulletproofs --Range Proof I(https://www.8btc.com/media/530155)Step2. 理解零知识证明算法之Bulletproofs --Range Proof II(https://www.8btc.com/media/532874) 回顾 Range proo...
知识:bulletproofs
...链网络消息，隐私项目门罗币 Monero （XMR），已正式开始对零知识证明系统 Bulletproofs+代码进行审计，将在 30 天内发布报告。2020 年 12 月份，零知识证明系统 Bulletproofs+代码获准可在门罗币协议中使用，以代替现有的 Bulletproofs。Bulletproofs +中的范围证明保留与 Bulletproofs 中类似的基础结构，但生成速度更...
知识:零知识证明,门罗币,Monero,XMR,隐私币,bulle
...一项活动被标记，我们的安全团队将进行案件审查，并相应展开后续工作。Bulletproof Exchanger 计划数据安全团队的其中一项任务就是识别币安和高风险对象之间的交易，包括这些我们称之为“Bulletproof Exchanger”的平台。这些平台通常作为金融犯罪及其它诈骗行为的加密资产的现金出口。与之相似的是“Bul...
知识:加密资产,币安,反洗钱
本文作者江小白，来自安比技术社区的小伙伴，本系列文章将对 Bulletproof 算法在 Range Proof 和 general arithmetic circuits 上的应用展开介绍。前言在本系列的第一篇文章中，我们介绍了Bulletproofs 在 Range proof 上的应用，当 prover 想要证明 v 值在范围[0, 2n-1]内时，他需要发送 2n+7 个元素。然而，这种O(n)级的CC并...
知识:向量,复杂度,过程,篇文章
本文作者江小白，来自安比技术社区的小伙伴，本系列文章将对 Bulletproof 算法在 Range Proof 和 general arithmetic circuits 上的应用展开介绍。前言Bulletproofs，又一个有意思的零知识证明算法，相信读者已经很熟悉它了。和zk-snark相比，它不需要可信设置；和zk-stark算法相比，它具有较小的proof size。根据论文，...
知识:等式,零知识证明算法,公式,向量
...服务应用程序开发的去中心网络协议Findora的学生和研究负责人，最近解释了Bulletproofs如何确保基于区块链的交易的机密性。 作为Findora的首席科学家和一项名为Bulletproofs的新技术的发明者，Benedikt运用他的知识和研究来帮助其团队成员创建一个金融系统，使用户可以控制其数据，身份和金融资产。 Findor...
知识:加密货币,比特币,智能合约,中本聪
br> Bulletproof的发明者兼研究主管BenediktBünz写道，作为ZKP加密货币技术的最新技术，Bulletproofs可以提高采用率并减轻企业在交易安全方面的担忧。 挑战 比特币的最大特点是，每个人都可以看到所有交易并独立地验证它们是否正确。这种透明性推动了十几年前中本聪发起的去中心化金融运动。同时，该...
知识:货币,技术,我要,知识
...些新的且自主发明的隐私技术，包括由 Findora 联合创始人 Benedikt Bunz 发明的 Bulletproofs 技术以及团队成员发明的「超音速（Supersonic）」技术。核心技术介绍作为同时可满足隐私和合规的公链，Findora 将两个自主研发的零知识证明工具融入到 Findora 中。这两个工具分别是 Bulletproof 和超音速（Supersonic），他...
知识:Findora,金融公链
...明，并且如果无法打开输入承诺，则不可能创建此证明。范围证明的重要性Bulletproof范围防护在确保区块链安全方面的作用如下所示。让Ca（v1，k1）成为Alice的“封闭”输入UTXO承诺，一个坏演员Bob正试图锁定它。Bob知道Mimblewimble区块链中的所有承诺都是同构的。这意味着他可以在理论上将Alice的承诺用作...
知识:UTXO,验证,比特币
前言 Bulletproofs，又一个有意思的零知识证明算法，相信读者已经很熟悉它了。和zk-snark相比，它不需要可信设置；和zk-stark算法相比，它具有较小的proof size。根据论文，它有两个方面的应用：1. 用于range proof；2. 用于一般算术电路的零知识证明。下面，让我们先看一下Bulletproofs是如何高效的实现第一点...
知识:bulletproofs
...证明方案来解决，其对比了几种零知识证明方案，包括SNARKs、STARKs、Groth16、Bulletproofs以及他们所使用的Supersonic。据Ben Fisch表示，Supersonic的证明大小非常小，验证快，而且其不需要可信设置，适合各种复杂度的隐私交易。以下是Ben Fisch现场演讲内容，经巴比特整理。我叫Ben Fisch，我讲的是金融和零知识...
知识:零知识证明,2019世界区块链大会（乌镇）,Superso
...即可，但如需处理一个更复杂的论述，则需重新进行设置。Stark、Supersonic、BulletProof：此三者皆无需信任设置。相比而言，Supersonic性能不及Groth 16，但远超Stark。对于中等复杂度的任务，比如需要隐藏区块链上的交易数额时，Bulletproof有很好的性能，门罗币（Monero）在交易中就使用Bulletproof隐藏交易数额...
知识:区块链,链上,在区块链,公钥
...究重点？我们在一年一度的旧金山区块链峰会跟来自斯坦福大学的演讲者、 Bulletproofs 理论发明人 Benedikt Bünz，共同探讨了零知识证明技术的内涵以及对区块链发展的意义。</blockquote>原文标题：《区块链再度「翻红」，零知识证明技术为何成为硅谷区块链研究重点？》作者：Juny自从比特币 2009 年 1 月面...
知识:零知识证明,技术,密码学,隐私保护,观点,ZKP,Bene
...。在技术实现层面，Findora的隐私保护技术运用到两个新的零知识证明系统：Bulletproofs（防弹证明）和Supersonic。Bulletproofs由BenediktBünz和JonathanBootle共同发明，BenediktBünz是Findora联合创始人和研究主管。作为零知识证明技术的一种，Bulletproofs技术可实现选择性披露。用户可以证明金融交易的正确与合规性，...
知识:DeFi,去中心化金融,隐私保护
... Polynomial IOP 技术描述了一种 Recursive Proof Composition 算法，并且同样采用了 Bulletproof 里的 Inner Product argument 技术替换了算法里的 Polynomial Commitment Scheme，这消除了对 Trust Setup 的依赖。Halo2 进行了进一步的优化，主要是 Polynomial IOP 方向。近年来，研究学者发现了比 Sonic 里更高效的 Polynomial IOP Scheme，比如...
知识:算法,采用了,简洁性,技术