不思量隐私问题的话,禁锢机构可以简朴粗暴地要求生意业务所对外披露具体的资产欠债表。这样就可以操作民众监视防备生意业务所通过漏记欠债来做假帐,因为那些被漏记欠债的客户会引起惊动。惋惜的是,出于对隐私的掩护,这种简朴的方案行不通。
总结上述实现本性化偿付本领审计的免信任型三步流程可以应用于任何其他范例的财政报表(包罗收入、股权以及现金流量表)。自从人类开始记录以来,财政报表已经存在了上千年了,可以追溯到文字记录降生之时。记账技能已经从 4000 年前的黏土片成长到纸片,再到利用数字签名的文件。至今为止,假如要确保其正确性,要么选择信任财政报表的宣布者,要么信任为其提供包管的外部(人类)审计员。将区块链技能、理睬方案以及最重要的零常识证明团结起来,大概会在未来真正实现免信任,并从公家的态度出发,由公家来举办透明、民主的审核。
生意业务所将本应提供应可信审计师的所有数据放入加密信封中,以证明其对每个客户都具有偿付本领。这些数据包括该生意业务所节制下的所有密钥、所有资产以及对客户的欠债。再强调一遍,加密信封很是简短(只有 32 个字符),并且不会向查察它的人透露任何信息。
翻译 & 校对:周瑾 & 闵敏在技能的帮助下,任何人都能独立验证一项暗码钱币业务是否能一连康健成长,再也不需要依赖于专业的审计师。
原文标题:《概念 | 暗码学如作甚偿付本领提供保障》(How can Cryptographic Proofs Provide a Guarantee of Financial Solvency?)
本文于 2018 年 9 月 19 日首次颁发于 CoinCenter。
作者:Eli Ben Sasson作为可信审计师的零常识证明
打一个极度的例如,零常识 (ZK) 证明就比如杂货店收据。每个证明都是一串字符(像收据一样),用来担保计较完整性,也就是说,这个证明会让我们(验证者)相信最终的计较功效是正确的。杂货店收据会让我们相信我们所需付出的总金额是对的,而零常识证明(其加强版本)强大到足以处理惩罚任何计较,并让我们相信计较功效是对的。另外,零常识证明保障了隐私性,这就意味着该证明(字符串)不会泄漏输入值。它与杂货店收据的相似之处是:1. 只显示总金额;2. 不显示单个物品的价值和数量;3. 使客户相信其应付款金额是对的。最后,一些零常识证明很是有效:通过智妙手机检讨它们只需要不到一秒,纵然计较进程冗长且繁琐;可以将零常识证明看作一张列有数百万物品的收据,只需要眨眼的时间就能查对完。
由于暗码学钱币生意业务所一直是黑客进攻的重灾区,业内领先的几家生意业务所不得不按期举办偿付本领审计,让客户和禁锢机构确信生意业务所处于盈利状态,或是拥有 「全额筹备金」 。这一进程需要耗损大量的人力和财力,而且极易被滥用。本文先容了一种可以更好地办理偿付本领审计以及其他财政报表问题的要领,这需要操作区块链以及计较完整性零常识证明技能。
生意业务所会读取加密信封里的内容,为每位客户都生成一个专属的偿付本领零常识证明(即 「收据 」)。这一计较获得两个民众的输出(同时所有输入都被 「删除」 以掩护隐私),别离是:1. 暗示生意业务所处于盈利照旧吃亏状态的一比特数据,以及 2. 特定客户的账户余额。
生意业务所将该加密信封(全部 32 个字符)宣布到区块链上,如比特币。
这么大一笔钱是如何神不知鬼不觉地被偷走的?面临快速增长的比特币生意业务量和金额, Mt. Gox 显然措手不及,没有充实的时间强化其操纵安详性。一部门原因在于公有链是不行逆的——一旦生意业务在链上产生,除非对整个系统造成庞大的粉碎,不然险些不行能改动链上的生意业务。可是,假如其时存在某种要领可以让客户有本领监控生意业务所的偿付本领,他们就能更早地发明问题,从而制止这场危机。
零常识证明技能的近况郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。