找到约 13 条结果

文章 zk-SNARK 系列 - #2 证明多项式的知识

...e…](https://learnblockchain.cn/article/8952) ## 证明多项式的知识 这是关于为什么和如何使用 zk-SNARK系列文章的第二篇,见[第 1 篇](https://learnblockchain.cn/article/8829) 我们从证明多项式知识的问题开始,并逐步采用通用方法。在此...

文章 密码学在区块链安全中的作用

...些系统抵御潜在攻击的能力。 其中一种技术是使用**知识证明**(ZKP)。ZKP 是一种密码学方法,允许一方在不泄露超出声明本身有效性的任何其他信息的情况下,向另一方证明某个声明是真实的。在区块链的上下文中,ZKP 可...

文章 MiMC7哈希算法

...MC 7 哈希 我们典型的密码学哈希,例如 SHA-256,通常在知识证明(例如 zkSNARKs)中实现起来成本太高。为此,我们需要一种可以在有限域上实现的哈希方法。三种典型的方法是 **Pedersen 哈希** \[ [这里](https://asecuritysite.com/baby_ju...

文章 深入解读 EVM 的生态帝国

...有 EVM 兼容性的 Rollups zkEVM 是一个虚拟机,它可以与知识证明计算兼容的方式执行智能合约。 Hermez zkEVM 是一种优化的 zkEVM 兼容技术,它提供完全的 OPCODE 兼容性和以太坊的安全性。 Scroll ZK Rollup 是一个兼容以太坊虚...

文章 多方计算(MPC)解读:安全数据协作

...看到最终结果,而不会看到其他公司的收入。 虽然知识证明( [ZKPs](https://learnblockchain.cn/article/13802))和多方计算 (MPC) 都属于隐私保护加密,但它们的目标不同。ZKPs 允许一方证明对秘密的知识而不揭示它(例如,通过在不...

文章 StarkNet 行星 Alpha 在测试网上运行

...不喜欢 ZK-Rollup 这个术语,因为从数学上讲,它并不是知识的,但你们都明白我们的意思 ² 不同于当前在主网上部署的 StarkEx 维护的单独状态 **更新(2021 年 11 月):** StarkNet Alpha 在以太坊主网正式上线 >- 原文链接: [medium...

文章 区块链中的隐私问题与新兴解决方案

...中的隐私方面起着至关重要的作用。其中一种技术是 **知识证明 (ZKP)**,它允许用户在不泄露底层数据的情况下证明语句的有效性。正如 [Partisia Blockchain 的 Medium 文章](https://medium.com/partisia-blockchain/privacy-enhancing-technologies-explain...

文章 从银行倒闭到区块链:一场危机如何引发了一场革命

...命性力量。无论是供应链管理、医疗保健、投票系统还是知识产权,区块链颠覆和改进现有系统的潜力都是巨大的。 在金融领域,区块链创建防篡改账本的能力已经在 **加密货币**(如比特币和以太坊)中得到利用,但其应用...

文章 去中心化交易平台的崛起:基于以太坊的高性能订单簿交易所

...。 我们过去的一年都在开发SNARKs,我们已经加速研发知识证明,及其针对可扩展DEX的特定应用程序。 **在路印协议3.0中,我们构建了第一个zkRollup DEX协议,并具有链上数据可用性**。很显然,可扩展性,高吞吐量,低成本...

文章 知识证明 - SP1 zkVM源代码入门

一直对zkVM比较感兴趣。zkVM将知识证明技术应用带入一个新的时代。几年前,应用知识证明技术需要理解复杂的知识证明算法,并且需要将证明业务逻辑描述成“电路”。zkVM将这些复杂的逻辑封装。基于zkVM,业务开发人...

文章 Stark exchange 交易所

...供自我托管交易,利用其巨大的流动性池。与其他基于知识证明(zkp)的可扩展性解决方案类似,我们并不改变区块链的基本规模,而是改变其目的:从在链上计算小负载转向验证链下计算的大负载。 “不要计算,要验证...

文章 BitVM:任意计算都可以在比特币上验证

...这些装腔作势的人。) 今天,ZeroSync(一个为使用[知识证明](https://learnblockchain.cn/article/1189)拓展比特币而成立的协会)的开发者 Robin Linus 提出了 “[BitVM](https://learnblockchain.cn/article/6685)”,为将来的比特币应用开发打开了非...

文章 一文理清跨layer与跨链方式

...在 Merkle Tree 上面,在中继里边做的,以太坊上只要把知识证明验证一下就行了,可能就花费10万gas 还是多少gas,大概是这样。* *比如说做1000笔交易,改动可能是大约4000个叶子节点,可能要算几万次哈希算出一个根,但这些...