http://www.7klian.com

机要资产Confidential Asset白皮书(3)

我们调查到,除了以下两个区别外,这与Borromean环签名险些沟通:
定理1。
证明。这险些是立竿见影的。调查证明算法输出的所有值为随机独立选择的,除非由验证方程验证(独立于提交的代价观)。

我们利用了波罗米亚环签名的变体[15],它自己就是一个Abe-Ohkubo-Suzuki环签名的辩题[1],为了利用这个事实很多小的相关环被利用。
假如根基理睬在某种意义上基于界说3具有约束力,则上述结构是证明范畴证明在界说7上的具有意义的证明。

媒介

按照附录A中的定理8,在不行忽略的概率下,A可用于得到打开每个Ci的(v^i,r^i)且vi∈{0,mi,2mi, . . . (m-1)m^i}。通过求和这些,我们获得了C的打开(v,,r)且v∈[0,m^n]。
(Back Maxwell 范畴证明)认为一个派德森理睬生成元G,H,设H:C→M为随机预言散列的哈希。

首先,我们描写了派德森理睬的一个有效的范畴证明区间[0, ],其总巨细与1+nm成比例,利用一种基于位解析的范畴证明的变体,个中数字是以m为底,用一个环签名证明每个数字位于[0,m-1]中。
3.1 范畴证明
Schoenmakers[19]描写了一个简朴的基本-b数字的范畴证明要领,回收零常识或证明的团结。我们的事情就是基于此范畴证明与以下变革:我们的或证明是基于Borromean环签名,当我们需要建造证明时,答允在每个数字的我们通过一个新颖的能力从每个证明中去掉一个标量可以改变每个数字的理睬(不改变数字自己)。
*白皮书内容将分为几期在公家号及各平台内举办翻译,接待各人转发及推广,最终会在官网上传一份完整中文文档以供所有人查察。
操作机要资产技能,欣赏者可以看到生意业务发送方和吸收方,但无法看到生意业务资产范例,譬喻也许是比特币、股票、黄金或其他范例,掩护了链上生意业务内容的隐私性。同时,机要资产也是2020年Lava的重要技能成长之一。
–没有si0值,这些值用于计较e’0在Borromean环签名中的结构,节减所有证明中i的标量。
Lava作为首个运用机要资产技能的PoC共鸣项目,有责任也有义务对其观念在海内举办推广和科普。因此,Lava将对机要资产的英文白皮书举办翻译和整理宣布,成为海内机要资产技能的布道者。
*由于英文原文中有大量公式及花体字母作为标记区分,因微信公家号编辑名目无法实现,英文部门回收图片形式举办比较展示,利便列位比较阅读。

与文献[6]中的一些其他范畴证明差异,我们的不需要受信任的配置1。事实上,它所依赖的独一暗码假设是随机预言模子中离散对数的难度。但这也不是互动的,如[5]中所述的方案。尽量有这些改造,我们的打算仍然发生比这些文件更小的证据范畴(30-80位),这是我们所体贴的。
不幸的是,一般来说由此发生的结构不再是一个安详的环签名,安详性的证明依赖于所有的密钥都是绑定提交,而不是任意的公钥。显然上述布局是正确的范畴证明。我们接着接头下述两个定理的安详性。
定理2。

3 机要生意业务
上述布局在界说意义上是零常识。
界说9。
Confidential Assets 机要资产
证明。让(C,π)由某个p.p.t.算法A生成,从而验证(C,π)可接管。写作:

【机要资产(Confidential Assets)】是由Blockstream于2017年发布的前沿隐私掩护技能。Blockstream宣布了一份白皮书,由其开拓员Andrew Poelstra、Adam Back、Mark Friedenbach、Greg Maxwell、Pieter Wuille连系署名。

–理睬C^i不再包括在任何哈希中(在计较对数字(m-1)的子理睬时,这是必须的),如步调4(a)ii的证明算法所示)。

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。

相关文章阅读