泽尼马克实现了第一个基于斯塔克的比特币ZK客户机

在比特币网络上,块链开发人员泽尼马克成功地实现了斯塔克软件的零知识(ZK)验证。 

该项目以斯塔克软件的开罗编程语言为基础,将使比特币用户能够验证网络的状态,而不必下载阻塞链,也不必信任第三方利用斯塔克斯,这是一种 星件 .

ZK证据是一种能够提高隐私性和可伸缩性的加密方法。ZK证据能够在不透露任何其他信息的情况下验证声明的真实性,从而能够实质性地解决比特币在交易速度和网络拥挤方面的挑战。

对于轻量级客户机来说,ZERNINC的验证器是一个值得注意的发展,使他们能够几乎瞬间验证比特币交易的包含性,客户机只存储头链验证,而不是下载所有的块头。

"这降低了作为一流公民参与比特币网络的门槛,数量级的,"泽克克的联合创始人罗宾·林纳斯说。"从长期来看,我们希望用明显的证据为比特币带来大规模可伸缩性。泽尼克已经设计并正在实施一个第2层协议,它具有显著的隐私性和可伸缩性,允许比特币每秒处理100多个令牌事务。这可能是将比特币引入其所需的可伸缩性的一个重大壮举。"

泽尼克说,它已经实现了第一个重要的里程碑,为比特币网络的头链释放了一个验证器,作为它的ZK客户机的一部分网络。比特币轻量客户机,即钱包,使用块头和一种被称为简单支付验证(SPV)的机制来验证交易。

下一步是向节点提供整个块链的验证,而不需要它们下载和处理数据。"最终目标是在比特币的主网络上有一个零知识验证器,"李纳斯补充道。