零知识证明_零知识证明相关新闻_零知识证明动态

牛回速归！关注近期大额融资的未发币项目

近期，多个未发币项目在AI、L2、zk、DeFi等领域成功融资千万美元以上。本文介绍了18个项目，包括其关注度、投资方和融资金额。项目涵盖区块链游戏、碳信用、数据隐私、金融应用、去中心化协议等多种创新领域，投资方包括Pantera Capital、Andreessen Horowitz、Framework Ventures等知名机构。这些项目展示了区块链技术在不同领域的广泛应用和投资者的高度关注。

Lawrence11月08日 09:44

解读 Vessel Finance：红杉等知名机构参投 1000 万美金，ZK 加持的 DEX 有何过人之处？

Vessel Finance是一个新的DEX交易平台，旨在解决当前DEX面临的问题。通过构建统一的Layer 3平台，整合不同L2的优势，降低交易成本、提高可扩展性和流动性聚合，提供更好的价格发现和更低的滑点。Vessel还汲取了CEX易用性的精髓，提供统一、直观的用户界面。它采用可验证的AMM嵌入式订单簿技术，支持跨链操作，保证交易的可验证性和安全性。Vessel目前处于封闭的测试网阶段，主网将于3季度上线，同时还将开发永续DEX、流动性聚合、排序器去中心化等特性。在竞争激烈的DEX赛道，Vessel的激励、低交易成本、丰富的交易对和可验证性等特点将决定其未来表现。

深潮 TechFlow08月12日 18:28

Bitlayer：BitVM方案的比特币Layer 2

Bitlayer是基于BitVM方案的比特币Layer 2网络安全项目，旨在提供与比特币等同的安全性，支持图灵完备智能合约、高效交易处理和安全跨链资产转移。通过分层虚拟机技术和OP_DLC桥，实现与比特币第一层相等的安全性。Bitlayer的分层虚拟机技术提高了比特币网络的计算能力和可编程性，同时保持安全性和去中心化特性。零知识证明技术保护隐私，确保计算结果正确性和不可篡改性。Bitlayer还推出首个官方NFT，吸引了多家知名投资机构和天使投资者的参与。该项目的目标客户包括区块链开发者、企业用户和加密货币投资者。

鲍勃葱链茶馆06月18日 18:54

zkVM 的未来，为何基于 RISC-V 架构？

RISC Zero推出zkVM 1.0，获得4000万美元融资。zkVM是通用的虚拟机，使用RISC-V指令集，具有开放、可扩展、模块化、标准化、安全性和跨平台兼容性。可用多种语言编写程序，如Rust、C/C++和Go，并可与不同系统无缝集成。在虚拟机竞赛中，zkVM可能带来新的火花，RISC Zero已成为第一位选手。

hyperstructured.greg06月18日 16:34

长推：EVM性能提升的关键

通过使用零知识证明机制，如zkVM和zk Co-processor，可以将EVM的性能提升问题解决。这些机制可以在链下进行计算，并使用zk-SNARKs和zk-STARKs来证明知道一个秘密而不透露。类似于GPU和云服务的协处理器可以用来进行额外的特定计算。以太坊的zkVM可以处理更复杂的计算，并将结果和证明提交到链上。BitVM和AVM也有类似的设计。

fangjun06月02日 11:27

一文了解将零知识证明带入主流的 3 个项目

本文介绍了三个有趣的项目，重点介绍了zk证明的概念及其隐私和高效的优势。其中，Layer和Nebra是两个旨在降低验证zk证明成本的项目，通过软确认、链下验证和聚合等方式实现最优惠的价格。这些项目有助于推动zk证明的广泛应用，发挥其在零知识领域的重要作用。

火星财经05月20日 12:48

zkEVM 升级叙事 zkVM，这五个核心项目为何值得关注？

zkVM是一种基于零知识证明技术的通用计算平台，能够验证计算的正确性并支持链外处理大量任务，极大提升了区块链的扩展性。市场上有多个项目正在开发zkVM解决方案，如a16z、Taiko、ZKM等。与传统虚拟机相比，zkVM使用零知识证明技术来验证程序执行过程的正确性，适用于多种应用场景，并支持多种编程语言。未来，随着区块链技术的成熟和需求的增加，zkVM将扮演更重要的角色，带来更多的开发者进入Web3时代。

0XNATALIE05月16日 12:10

Vitalik：Binius——对二进制字段的高效证明

本文介绍了2019年时代密码学中的SNARK和STARK技术，特别感谢Justin Drake, Jim Posen, Benjamin Diamond和Radi Cojbasic的反馈。STARK和SNARK是一种证明计算机程序正确性的方法，通过将程序转换成包含多项式的数学方程来实现。STARK使用更大的数字，但不需要可信的设置，并且抗量子。SNARK使用更小的数字，但有限制。Binius是一种新的多项式承诺方案，它使用超立方体来表示计算轨迹，并通过Reed-Solomon编码来防止作弊。Binius是一种基于二进制场的零知识证明系统，可以有效地检查多项式的计算过程。它可以与查找协议结合使用，提高证明系统的效率。未来可能会有更多基于二进制字段的改进。

火星财经04月30日 13:16

在找 ZK 领域潜力项目？来看今年 ZPrize 获奖名单！

ZPrize是一项旨在推动零知识密码学发展的年度竞赛。今年的获奖项目包括FPGA和GPU赛道的优秀项目，如StorSwift团队的加速技术和Snarkify的高性能证明层。这些项目与英特尔、AMD和NVIDIA等建立合作关系，致力于保持区块链安全和隐私技术的前沿地位。此外，还有针对加速椭圆曲线运算和有限域算术的WASM赛道和高吞吐量签名验证赛道的获奖项目。总的来说，这些项目不断推动零知识证明技术的发展，为社区和企业提供更好的解决方案。

Alex Liu04月26日 17:41

解析Polyhedra：为什么说ZK技术价值只被发掘了冰山一角？

Paradigm领投Succinct $4300万，刚TGE的@PolyhedraZK总融资达到$7500万，显示出ZKP底层技术的巨大潜力。除了Polyhedra，还有其他以ZKP技术为基础的项目，如@SuccinctLabs、@RiscZero、@ProjectZKM，都在探索ZK技术的应用。其中，Polyhedra的跨链解决方案zkBridge可以直接利用POS公链节点来实现跨链通信和资产转移，避免额外的开发和适配。随着更多的ZK技术基础设施的发展，ZK跨链解决方案将会有更广泛的应用。

郝天04月05日 20:51

详解Merlin Chain技术架构

Merlin Chain推出了M-Token，采用ZK-Rollup和去中心化的Oracle网络为比特币提供增强支持。系统具备强大性能和安全性，支持多样化资产，如BTC、MERL和其他主流BRC20。用户可以随时检索所有聚合交易，通过ZK证明验证数据的正确性和有效性。系统采用多重签名和冷存储技术保证质押资产的安全性，所有质押和奖励过程公开透明。Merlin Chain使用Celestia保证数据可用性，采用零知识证明和两步提交机制，确保网络安全和稳定。未来还将引入欺诈证明机制，进一步保证数据的完整性和安全性。作为比特币二层网络的领导者，Merlin Chain将持续推动发展和创新，为用户和开发者提供稳定、安全、丰富的区块链服务和应用场景。

Odaily星球日报04月05日 10:09

Mina对话o1 Labs：ETHDenver中蕴含的未来趋势

Mina与o1Labs的Steve和Phil讨论了人工智能和加密货币的结合，包括利用智能合约进行自动化交易和保障数据安全。他们还谈到了ZK技术在隐私保护和可扩展性方面的应用。市场上对可扩展性的投资远远超过隐私。Rollup和EIP 4844也被提及，它们可以帮助以太坊生态系统变得更受欢迎和可持续。DePIN是未来的趋势之一，它可以帮助实现去中心化的物理基础设施。许多涉及自定义物理设备的项目也在涌现，例如Demo和WeatherXm。DePIN可以帮助在网络边缘处理大量数据，并通过简洁的方式传输数据。

Odaily星球日报03月15日 08:16

协处理器市场结构：加密经济与零知识证明

NEBRA举办的“证明奇点”活动讨论了协处理器和零知识证明在验证计算方面的影响。协处理器能在链下执行计算并在链上证明，ZK协处理器能生成简洁可验证的加密证明。加密经济协处理器利用硬件优势，但价格上限存在。证明聚合技术可将无限数量的零知识证明聚合成小巧的证明，但仍有局限性。经济学指出，协处理器市场可能会出现平衡，因为ZK证明成本高昂。Wei Dai的研究表明，使用硬件执行的成本与直接执行相差六个数量级。因此，ZK的成本构成了加密经济学协处理器潜在利润空间的一部分。加密经济学协处理器的价格/需求曲线随着需求增加而上升，但仍具有巨大的利润空间。

MarsBit03月09日 20:44

以动物园为例，硬核科普zkSync电路工作原理

zkSync动物园将动物比作电路中的逻辑门，合影是证明，数据经过复杂计算生成Proof，完成零知识证明。动物们的开心或伤心代表公式运算的结构，Zeek是Verifier，验证Proof的可信性。拍照是生成SNARK证明或KZG承诺，底片是STARK\SNARK证明。动物园游客是交易，动物开心合照才能生成Proof，最终留底证明上链。动物园可能出现拥堵和报错，导致无效状态转化。

郝天03月02日 17:33

ZKP 与 AI 碰撞，zkML 是隐藏的下一轮炒作叙事？

zkML是结合了零知识证明和机器学习的技术，可保护隐私并防止推理攻击和模型反演攻击。多家公司正在探索其在人工智能、区块链和DeFi等领域的应用。随着市场发展，zkML有望成为备受关注的话题。

hitesh.eth02月28日 11:36

暂无内容

加载更多

牛回速归！关注近期大额融资的未发币项目

解读 Vessel Finance：红杉等知名机构参投 1000 万美金，ZK 加持的 DEX 有何过人之处？

Bitlayer：BitVM方案的比特币Layer 2

zkVM 的未来，为何基于 RISC-V 架构？

长推：EVM性能提升的关键

一文了解将零知识证明带入主流的 3 个项目

zkEVM 升级叙事 zkVM，这五个核心项目为何值得关注？

Vitalik：Binius——对二进制字段的高效证明

在找 ZK 领域潜力项目？来看今年 ZPrize 获奖名单！

解析Polyhedra：为什么说ZK技术价值只被发掘了冰山一角？

详解Merlin Chain技术架构

Mina对话o1 Labs：ETHDenver中蕴含的未来趋势

协处理器市场结构：加密经济与零知识证明

以动物园为例，硬核科普zkSync电路工作原理

ZKP 与 AI 碰撞，zkML 是隐藏的下一轮炒作叙事？

推荐专题

热门新闻

友情链接

投资区块链，下载MarsBit APP

账号密码登录

修改昵称

牛回速归！关注近期大额融资的未发币项目

解读 Vessel Finance：红杉等知名机构参投 1000 万美金，ZK 加持的 DEX 有何过人之处？

Bitlayer：BitVM方案的比特币Layer 2

zkVM 的未来，为何基于 RISC-V 架构？

长推：EVM性能提升的关键

一文了解将零知识证明带入主流的 3 个项目

zkEVM 升级叙事 zkVM，这五个核心项目为何值得关注？

Vitalik：Binius——对二进制字段的高效证明

在找 ZK 领域潜力项目？来看今年 ZPrize 获奖名单！

解析Polyhedra：为什么说ZK技术价值只被发掘了冰山一角？

详解Merlin Chain技术架构

Mina对话o1 Labs：ETHDenver中蕴含的未来趋势

协处理器市场结构：加密经济与零知识证明

以动物园为例，硬核科普zkSync电路工作原理

ZKP 与 AI 碰撞，zkML 是隐藏的下一轮炒作叙事？

推荐专题

热门新闻

友情链接

投资区块链，下载MarsBit APP

商务合作