智能合约级别零知识证明功能

  zk-SNARK是一种通用零知识证明模型,指一种可以证明某人拥有某些信息的证明结构,例如:一把秘密钥匙,没有显示该信息,也没有验证者和验证者之间的任何交互。
  目前主流加密货币中,ZCash既是基于zk-SNARK实现了基于零知识证明的隐私交易。
  VNS借鉴了ZCash的零知识证明实现思路,会将zk-SNARK移植到智能合约中。底层实现其中关键算法后,并在智能合约级别实现zk-SNARK零知识证明功能(目前计划主要是验证功能),结合智能合约的图灵完备性语言特点,将给零知识证明在Dapp上的应用带来极大的想象空间,例如可以发行类似ZCash形式的匿名性自定义Token(Shielded Custom Token),隐蔽投票,隐蔽交易(对第三方不可见但可被其验证的),隐蔽拍卖(出价者不知道各对手方出价)等功能。