对话Nil Foundation创始人:ZK技术可能被误用,公开可追溯并非加密的初衷。

'Nil Foundation创始人对话:ZK技术可能被误用,公开可追溯并非加密初衷。'

实现去中心化数据库的可证明编译器——zkLLVM

在构建去中心化应用程序时,人们经常面临着手工创建电路的困难和耗时的问题。为了解决这个问题,研究人员开发了一个名为zkLLVM的可证明编译器,它可以从可读性强的代码中生成电路。这种方法类似于数据库管理系统中的做法,并且可以应用于未来的去中心化数据库中。

zkLLVM:从代码到电路

实现去中心化的数据库系统需要处理大规模的电路。这意味着我们需要花费大量的时间和资源来生成证明。为了解决这个问题,研究人员决定利用现有的语言和编译器生成电路,而不是创建一个特定领域的语言(DSL)。这种方法可以减少证明所需的时间和资源。

然而,即使使用现有的语言和编译器,处理大规模电路的证明仍然需要非常长的时间。为了激励研究人员不断优化工作,引入了市场动态的概念。通过将zk-SNARKs证明作为一种可买卖的商品,可以激励验证者和优化者之间的竞争。这种竞争将推动zk-SNARK证明的创新和效率改进。

下表总结了zkLLVM的特点和优势:

zkLLVM特点和优势
可从可读性强的代码生成电路
使用现有的语言和编译器
减少证明所需的时间和资源
引入市场动态,激励竞争
推动zk-SNARK证明的创新和效率改进

零知识技术的广泛应用

零知识技术已经得到了广泛的应用,人们尝试将其应用于各个领域。有些人甚至将游戏引入零知识领域,这是一种非常奇特的尝试。此外,机器学习算法也进行了零知识化的研究。

尽管零知识技术在很多领域中得到了应用,但在无信任环境和BFT(拜占庭容错)协议中进行计算仍然非常昂贵。相对于将计算任务外包给拥有强大计算机的第三方来说,自行进行计算的成本更高。虽然人们努力降低这些计算的成本,但依然面临一定的挑战。

因此,人们尽管尝试将一切都零知识化,但同时也在追求在零知识的基础上进行私密执行。例如,人们正在研究全同态加密(FHE)来进行私密执行,并探索其他解决方案。

实现区块链真匿名的挑战

实现真正的区块链匿名性仍然是一个长期的挑战。目前面临的主要难题是零知识技术的效率问题。为了解决这个问题,我们需要进行一系列的优化工作,以减少证明的开销。这是我们当前需要首要关注的问题。

除了效率问题,隐私需求的增加也是一个需要妥善应对的问题。随着人们对隐私的要求越来越高,我们需要寻找解决方案来保护用户的隐私。

按照预估,要实现基于零知识证明的真正匿名的区块链可能需要3-5年的时间。在这个过程中,我们需要解决效率问题并满足隐私需求不断增长的挑战。

Nil的愿景和目标

在未来几年内,Nil不会提供私密且不可追踪的解决方案。相反,我们希望在数据管理领域变得更加适应现实。对于那些需要访问和处理数据的人来说,他们不必使用复杂的技术或支付高昂的费用来解决复杂的问题。

我们的目标是让数据管理变得更便宜、更快速、更便捷。因此,我们肯定会提供一个运行中的数据库管理系统,它将展示出色且没有信任假设。我们致力于成为行业中最安全的选择。

参考文献: https://www.techflowpost.com/article/detail_12647.html