找到约 14 条结果

文章 关于Solana v1.17更新的所有信息

...强功能,旨在提高网络的效率、可扩展性和用例。从在知识证明方面的开创性进展到优化Gossip协议,v1.17标志着Solana持续发展的关键一步。 本文涵盖了关于Solana Labs验证者客户端版本1.17更新需要了解的所有内容。我们将探讨v1...

文章 了解 6个zkEVM项目探索以太坊未来扩容的关键

...hain.cn/pics/20230216103437.jpg) ## 什么是zkEVM? zkEVM(知识以太坊虚拟机)是以太坊虚拟机(EVM)的一个变种,允许在知识的环境下创建和执行智能合约。 zkEVM允许隐私的方式执行合约逻辑及合约中涉及的数据。这是通过...

文章 ZK技术对决:以太坊的ZK Rollups vs. Solana的ZK压缩

... 以太坊和 Solana 这两个领先的区块链平台都在探索使用知识证明 (ZKP) 来解决这些问题。 𝙕𝙚𝙧𝙤-𝙆𝙣𝙤𝙬𝙡𝙚𝙙𝙜𝙚 𝙋𝙧𝙤𝙤𝙛𝙨 (𝙕𝙆𝙋𝙨) 𝙖𝙨 𝙖 𝘽𝙡𝙤𝙘𝙠𝙘𝙝𝙖𝙞𝙣 𝙎𝙘𝙖𝙡𝙞𝙣...

文章 在Polygon zkEVM上构建的五个理由

...ps://www.alchemy.com/polygon-zkevm) 是一个第二层区块链,使用知识技术和有效性证明来提高以太坊的可扩展性,降低 gas 成本,并为开发者提供一个熟悉的开发环境。 [Polygon 的 Proof-of-Stake 区块链与 Polygon zkEVM 的区别](https://www.alchem...

文章 开始学习zk-SNARK(二)-多项式的非交互式知识证明

...,作者介绍了如何利用多项式的性质来证明某个多项式的知识,相信大家已经对构造证明有了一些基本的认识。目前的证明协议仍然存在一些缺陷,本文将会针对这些薄弱项进行改进,进而最终构造出关于多项式的知识证明协...

文章 CertiK荣获以太坊基金会两项资助,领跑zkEVM形式化验证

...坊扩展性战略的里程碑式事件,也进一步彰显了CertiK在知识证明(ZKP)系统形式化验证领域的全球技术领导力。 CertiK的“先进形式化验证”技术是此次获奖的关键,相比传统方案,它实现了四大突破:直接针对具体代码而...

视频 ZK白板系列 - 模块八:实现去中心化的私密计算

...obin和Prathush讨论了如何实现去中心化的私密计算,以及知识证明(ZKP)在其中的作用。以下是视频的核心内容和关键论据的总结: 1. **核心内容概括**: - 视频探讨了区块链系统在隐私保护方面的不足,特别是在交易验证和...

文章 知识证明 - 深入理解powersoftau

...有同样的体验,每天脑袋都在膨胀,每天都有很多新鲜的知识需要学习总结。最近有些空闲时间看了看powersoftau。了解知识证明算法的小伙伴的都知道,在利用某些知识证明算法之前,需要可信设置。Groth16算法针对不同的电...

文章 时科技 || Tornado Cash中merkleTree和zk-snarks

...82e491244eb05f.png) # zk-snarks zk-snarks全称为简洁的非交互式知识认证,也称知识证明。它可以让你在不执行,甚至不知道执行的具体内容是什么的情况下就能够验证某个计算的结果是否正确。 举个例子,想象一下,你是盲人...

文章 选择 zkSync 作为区块链应用的五大理由

...](https://www.alchemy.com/overviews/ethereum-scaling-solutions),利用知识证明在保持自我主权和去中心化的同时提高以太坊的吞吐量。 zkSync的创建者Matter Labs是首批识别以太坊可扩展性问题并创新出实用、面向未来解决方案的工程团队之...

文章 知识证明如何帮助 DeFi?

...新的密码学证明方案(有些人会把这些方案统称为 “知识证明”、“ZKP”)。 像 [zk-STARK](https://academy.binance.com/blockchain/zk-snarks-and-zk-starks-explained) 这样的密码学证明系统([很快](https://twitter.com/deversifi/status/1262673383520690176?s=...

文章 与ZKSNARKS和密码学原语一起工作终极指南 - 从可信设置到工作流自动化

...esting) ## 概述 ZKSNARKS 是一种强大的加密工具,可实现知识证明,这是一种在不透露任何输入或输出信息的情况下验证计算有效性的方法。ZKSNARKS 可用于创建保护隐私的应用程序,例如匿名交易、可验证计算和去中心化身份。...

文章 vApp:Web3互联网规模增长的基石

...现在所谓的vApp中。 - vApp是一种通过利用可验证计算、知识虚拟机、模块化架构和集成的SDK,将Web3应用程序扩展到互联网级别的方法。这有助于降低开发者和用户的入门门槛,并允许创建可以与各种区块链无缝连接的应用程...

视频 ZK白板系列 - 模块十:Polygon zkEVM

视频的核心内容是关于ZK-EVM(知识以太坊虚拟机)的介绍,主要由Polygon Hermes的技术负责人Giordi进行讲解。ZK-EVM的目的是通过知识证明技术提高以太坊交易的验证效率,从而实现更好的可扩展性。 **主要观点:** 1. **ZK-EVM的...