零知识证明

根据官方公告，BiKi将于2月3日16:00（GMT+8）开放ZEC/USDT交易对、2月3日16:30（GMT+8）开放XZC/USDT交易对。

据介绍：Zcash是首个使用零知识证明机制的区块链系统，它可提供完全的支付保密性，同时仍能够使用公有区块链来维护一个去中心化网络。与比特币相同的是，Zcash代币（ZEC）的总量也是2100万，不同之处在于，Zcash交易自动隐藏区块链上所有交易的发送者、接受者及数额。只用那些拥有查看秘钥的人才能看到交易的内容。用户拥有完全的控制权，他们可自行选择向其他人提供查看秘钥。小零币（ZCoin，XZC）是第一个完整实现Zerocoin协议的加密货币，用户通过零知识证明保障隐私。ZCoin作为比特币隐私方面的扩展，其实现基于2013年发布的zerocoin论文，并在2016年9月28日首次出块。

以太坊混币平台 Tornado.cash 确认了一个由推特用户 epheph 提交的基于用户界面的漏洞，有 12 名用户和 13.2 ETH 已受到影响，对于所有受影响的充值地址，用户只需要提现后再次充值即可，因为该漏洞已经被修复。除此之外，还有 86 个充值地址已经进行过了提现，但是他们的隐私信息可能已经被泄漏，所以 Tornado.cash 建议这些用户可以再次使用 Tornado.cash 以增强隐私。Tornado.cash 表示该问题仅限于用户界面（UI）层面，而且智能合约仍然是安全的，对于该漏洞的全部细节将在两周后也就是 2 月 14 日公开。链闻之前报道，Tornado.cash 是一个基于零知识证明的匿名交易工具，用户可以将资产向 Tornado.cash 的智能合约存款，另一个地址可以从这个合约中提取金额，这样就无法将存款和提款的地址进行关联。

区块链技术初创公司 Matter Labs 推出零知识证明智能编程语言及框架 Zinc 的 v0.1 Alpha 版本。 更多

通过这种方式，网络中会有更多活跃的节点，进而增加其去中心化程度，并为与区块链交互的程序开辟了许多新的可能性。

从事跨链原子交换的开发人员Joel Gugger最近表示，使用Monero和比特币，原子交换可以在零知识证明的情况下实现。但是，在比特币和Monero之间进行原子交换的困难在于，Monero没有“完整的脚本编写能力”。比特币和Monero这两种代币都在以自己的方式取得进展，并且可能很快就会出现原子交换。（AMBCrypto）

只需要一个节点来创建新的区块和「证明」。我们需要将区块链的重放函数改写为一个 zk-SNARK。新的节点只需要下载最新的状态和「证明」即可。

而如果地图存在超过2个以上的奇点，那么就不存在欧拉回路，比如著名的哥德斯堡七桥问题。

Chainlink今日通过微信公众号发消息称，已与路印协议达成合作，拟在路印协议3.0 zkRollup DEX协议中集成多个预言机。这会为DEX用户提供真实的LRC / ETH价格信息，以保证LRC质押的安全性。目前，路印协议和Chainlink都以各自的方式在链上和链下运行：Chainlink是一个可将链下数据提供给链上合约的可靠网络；而路印协议采用零知识证明技术在链上验证链下交易活动。去年12月23日，路印协议宣布启动Loopring v3上的首个DEX，同时也是首个采用zkRollup对以太坊主网进行扩容的项目。

据中国经营报1月4日消息，商务部CECBC区块链专委会副主任、数字经济商学院院长吴桐告诉记者，2020年是产业区块链落地的决胜之年，区块链落地难不仅由于技术瓶颈和场景化程度不够，更重要的是基础设施的缺失和与其他技术的融合度有限。“下一步区块链的发展会沿着这四个维度，真正向产业区块链迈进。”吴桐也同样对加密技术和零知识证明等进行结合表示期待，他认为，“解决数据共享与隐私保护间的矛盾是区块链亟须解决的问题，目前将加密技术和零知识证明等进行结合是一个重要方向。”

金丘区块链研究院院长洪蜀宁刚刚发微博，对区块链2020年发展作出十大预测称：
1.bakkt交易量爆发，成为比特币第一大期货交易所。
2.比特币价格创历史新高，以太坊价格持续下跌。
3.usdt发生挤提事件，稳定币概念退潮。
4.闪电网络被广泛接收，比特币再次面临扩容硬分叉。
5.出现比特币链上去中心化借贷项目，以及相关的衍生品项目。
6.大量的DAO项目涌现，区块链众筹融资诞生新的模式。
7.资本驱动下越来越多的联盟链项目拥抱开源，联盟链的节点数量迅速增加。
8.联盟链与公链的界限渐渐模糊，主流金融机构开始尝试公链应用。
9.PoS试验宣告失败，PoW重新成为主流共识算法。
10.匿名性和隐私保护日渐被关注，零知识证明成为区块链标配。

上一期文章发表之后，非常惊讶有那么多小伙伴读完了表示喜欢。那么我们接着这期继续吧！这次，我们专注的聊一聊SNARK。

12月7日，由中国科学院学部主办、中国信息通信研究院等单位联合支持的“区块链技术与应用”科学与技术前沿论坛在深圳举办。华南理工大学教授、珠江学者、特支计划领军人才、广东省信息安全工程技术研究中心主任唐韶华演讲表示，智能合约当中其实会有一些隐私的问题出现，比如说用户身份隐私可能会泄露，执行智能合约的时候，它的输入输出、计算过程、计算结果里的一些隐私可能会泄露，还有智能合约的代码私密性可能也会泄露。而解决智能合约隐私计算的技术手段主要包括密码学当中的一些技术，包括零知识证明、安全多方计算、可信计算环境等等。

唐韶华最后强调了隐私保护和可监管性的问题：“我们不能加强隐私保护使得区块链变成犯罪分子的天堂，零知识证明保护用户的身份隐私，安全多方计算保护合约数据的隐私，可信计算环境，保证合约代码的私密性，要特别重视安全芯片和区块链的结合。”

spend zkproof 主要是实现了在不暴露任何隐私信息的场景下，去证明txsender有权力去花费一些note，并且这些note都是有效的。

据Coindesk消息，加密研究中心Matter Labs今日发布了ZK-Sync的测试网，计划于2020年1月全面启动。该公司称这是朝着使区块链与集中式系统竞争以每天处理数百万笔交易迈出的一步。据悉，该测试网基于开源ZK Rollup，作为最被看好的扩容方案之一，该机制构想最早由V神提出，由第二层扩展解决方案使用零知识证明（也称为zk SNARKs）和最近从伊斯坦布尔硬分叉对以太坊网络的更改来实现。

12月4日，「区块链与数字经济发展条件下的税收政策与监管」研讨会在北京举行。该研讨会由中国投资协会国际投资专业委员会主办，牛顿、瞄财网、赛创引力资本协办。

提及区块链在税收方面的应用，国家税务总局货物和劳务税司原巡视员王振华提出了很多在税收、发票方面的痛点。其中，他表示，隐私对企业，政府都非常重要。

针对区块链如何保证对贸易出口方面相关隐私数据（总金额，销售总价及外销国家等）甚至商业秘密时，牛顿基金会技术负责人刘青焱表示，其实区块链在隐私方面已经存在一些技术，可进行单项信息加密。如多方可行计算，零知识证明等，可以做到在不披露原始数据的情况下，进行计算操作。

零知识证明技术为何成为区块链研究重点？我们在一年一度的旧金山区块链峰会跟来自斯坦福大学的演讲者、 Bulletproofs 理论发明人 Benedikt Bünz，共同探讨了零知识证明技术的内涵以及对区块链发展的意义。

专注于企业区块链隐私技术层的区块链项目QEDIT ，完成价值 1000 万美元的A轮融资，投资者包括阿里巴巴旗下的蚂蚁金服。

据报道，摩根大通正在测试名为 AZTEC的零知识证明（ZKP）隐私解决方案。该证明允许人们在不披露数据本身的情况下，证明数据的真实性。据了解，隐私问题使受监管的公司对使用共享数字账本持谨慎态度。此前，摩根大通曾在其以太坊私有区块链Quorum上就该领域进行了一系列的开创性工作。

“我们花了 20 年时间才明白互联网的隐私问题有多严重。现在就应该认真为密码世界考虑隐私保护。”

零知识证明(Zero—Knowledge Proof)，是由S.Goldwasser、S.Micali及C.Rackoff在20世纪80年代初提出的。它指的是证明者能够在不向验证者提供任何有用的信息的情况下，使验证者相信某个论断是正确的。