大家好，新年快乐。2023年是zk-rollups的一年，零知识技术将取得重大进步。本周我们将探索零知识技术的各个方面。不光本周，今年我的内容都将重点关注零知识技术，因为这是圣杯。
在上一篇文章中，我们研究了zkEVM面临的挑战。在本文中，我们将研究使zkEVM成为可能的技术进展。我将尽量简化以使其易于理解。以下是推动zkEVM进步的四项技术进展：
1多项式承诺
在零知识证明中，多项式承诺方案被用来灵活有效地反映证明的约束条件。使用零知识证明协议时，证明者必须向验证者证明他们知道特定数据，但不透露该数据是什么。这通常是通过构建数学论证或「证明」来实现的，该论证或「证明」以某种方式依赖于见证，但并不直接揭示见证。
去中心化期权协议Numoen现已在Arbitrum上线:12月9日消息，去中心化期权协议Numoen发布公告称，现已在Arbitrum上线。其最初将仅支持ETH和DPX，之后每隔一天会支持一种代币。Numoen表示，“其智能合约已经过Certik审计，不过并不能保证用户资金安全，交互可能存在风险，永远不要期待治理代币。”
据悉，Numoen此前曾获Uniswap基金会的5000美元赠款。[2022/12/9 21:33:00]
一种方法是使用一种称为「带有特定于应用可信设置中编码的PCP查询的R1CS」的方法。。
Cardano推出连接ADA钱包和去中心化应用程序的连接器:卡尔达诺(ADA)的创始实体EMURGO宣布将推出一个新平台，该平台将连接ADA用户与区块链网络上的去中心化应用程序(dApps)之间的交互。EMURGO在一份声明中表示，它将很快推出YoroidApp连接器，该连接器将允许ADA持有者使用插件从他们的网络浏览器访问Cardano区块链上的去中心化应用程序。卡尔达诺的Alonzo升级将为区块链带来智能合约功能，并为希望构建去中心化金融(DeFi)dApp的开发人员提供支持。（Dailyhodl）[2021/8/2 1:28:10]
上述会涉及构造一个电路对证明的约束进行编码，然后使用称为「PCP查询」的特殊类型的查询来检查电路是否正确。然而，这种方法的一个限制是电路尺寸可能变得非常大，从而使证明效率低下。此外，它只能使用双线性配对来编码约束，这限制了可以使用的优化种类。
Redline Capital战略投资去中心化NFT交易市场NFTClub:据官方消息，跨链去中心化NFT交易市场NFTClub完成战略融，Redline Capital（红链资本）参投，其他参投机构还包括：水木未名、7 O'Clock Capital、天水资本，融资金额暂未披露。
Redline Capital（红链资本）是一家专注投资区块链技术领域的投资机构，投资了包括DODO、FOR、KINE、FLY等项目，还投资了FTX、BITWELL、AOFEX，CCFOX等交易所。
NFTClub是一个基于 ETH、BSC、Heco、Tron、OKExChain、Polkadot 的跨链去中心化NFT交易市场。NFTClub的目标是成为NFT领域的基础设施，其核心能力包括发行、交易和托管NFT资产。NFTClub交易市场，不仅将传统拍卖的能力引入进来，还通过去中心化机制、NFT资产碎片化协议和流动性挖矿为NFT资产的交易、流通提供区别于其他交易市场的流动性和深度。目前NFTClub已经进入产品研发阶段，预计在6月初即可开启内测，预计6月份将会正式推向市场。[2021/5/14 22:02:20]
多项式承诺方案可以以更灵活和有效的方式来表示证明的约束。使用多项式承诺方案，可以将约束「提升」到任意阶数。这使得可以使用的优化种类具有更大的灵活性，并且还可以通过减小电路尺寸来提高证明的效率。此外，多项式承诺方案可以与「通用设置」或「透明设置」一起使用，后者指的是方案的实现方式。
共为2020 | ChainUP创始人兼CEO钟庚发：去中心化存储是未来一大趋势，中长期来看以太坊也非常有潜力:金色财经现场报道，2020年6月21日，由金色财经主办的共为2020·区块链创新应用论坛在深圳拉开帷幕。ChainUP创始人兼CEO钟庚发在《十年一顾 再谈共识》圆桌对话中指出，去中心化存储是未来一大趋势。在以太坊这类去中心化的系统上，应用场景更加容易落地，但隐私数据的存储、政府机构和企业数据的存储问题亟待解决。要解决这些问题，首先要解决数据的保护和加密。我们会成立一个基金专门投入这个方向，这是我个人比较看好的。中长期来看，以太坊也是一个非常有潜力的方向，2.0让我们看到了它发展的后劲。[2020/6/21]
2查找表证明和自定义小组件
查找表和自定义小组件是可用于优化某些类型计算机程序性能的技术。这些技术最初是在Arya和Plookup系统中提出的，后来在TurboPlonk和UltraPlonk中得到完善。查找表对于优化执行按位运算的程序特别有用，并且可以使用自定义小组件来有效地实现高阶约束。总之，这些技术可以帮助减少以太坊虚拟机(EVM)电路的开销并提高其效率。
查找表和自定义小组件等技术可用于通过减小电路尺寸和提高某些类型操作的效率来优化zkEVM。这有助于使zkEVM更加实用和可扩展。
3递归证明
递归证明是一种通过将计算分解为更小的部分并独立证明每个部分来证明计算正确性的方法。在零知识证明系统中，这个过程可能涉及证明一个证明，且多个证明可以聚合成一个证明。过去，配对友好的循环椭圆曲线用于支持递归证明，但这些可能在计算上很昂贵。然而，已经开发出更新的方法，可以用更少的计算量实现递归证明。例如，Halo可以使用内积证明这一特定类型的数学概念来降低递归成本，而Aztec可以使用查找表来降低非原生域操作的成本并提高验证过程的效率。这些方法可以通过提高方法的效率来增加方法的可扩展性。以后的帖子中会进一步解释这一点。
?4硬件加速器
ASIC、GPU和FPGA等硬件加速器可以帮助提高零知识证明系统中证明者的计算性能。在零知识证明系统场景下，硬件加速器可用于加速生成和验证证明结构的过程，这是计算密集型的。
总之，多项式承诺、查找表证明和自定义小组件、递归证明和硬件加速等技术发展都对zkEVM的进步和更广泛的零知识技术领域发挥了至关重要的作用。这些创新为构建和验证零知识证明提供了更高效和可扩展的方法，并为在各种应用中使用zkEVM开辟了新的可能性。随着零知识技术领域的不断发展和演变，这些和其他技术进步很可能会继续推动进步并推动新的和令人兴奋的应用的开发。
资源：https://scroll.io/blog/zkEVMhttps://coingeek.com/recursive-zero-knowledge-proofs-proof-of-a-proof-of-a-proof/https://www.zeroknowledgeblog.com/index.php/the-pinocchio-protocol/r1cshttps://en.m.wikipedia.org/wiki/Probabilistically_checkable_proof
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。