找到约 14 条结果

文章 各智能合约编程语言的权衡

...性。 更重要的是,众所周知,许多**加密算法和基于知识的**应用都是使用Rust实现的。 尽管如此,区块链的**实用性**(如**无信任和去中心化**)被权衡了,因为它是一种通用的编程语言,不限于智能合约背景。换句话说...

文章 2024-08-25 zk-insights Weekly

... Papers ### 【论文速递】Crypto 2024 (多项式承诺、SNARKs、知识证明、数据可用性采样、后量子聚合签名) - ### Improved Lattice Blind Signatures from Recycled Entropy - ### Raccoon: A Masking-Friendly Signature Proven in the Probing Model - ### Identity-Based En...

文章 2022年学术资助计划结果

...在 2022 年启动了**一系列资助以支持学术研究**,以培养知识并进一步加强以太坊生态系统。我们收到的反响非常热烈,我们向 39 位杰出的建设者提供了资助,他们积极跨越不同领域,以推进以太坊相关知识的发展。 在这篇博文...

文章 解构 Rollup、铭文与 SCP

...背了 L2 的宗旨。因此,才会有 OP(欺诈证明)和 ZK(知识证明)这样的懒惰验证法。 4/ OP 的意思是:我作为 L1,默认不亲自验证,任何第三方都可以来验证,发现不对的地方告诉我,我再来亲自验证核实,核实确有欺诈...

文章 Lookup奇点降临:Lasso 和 Jolt 简介

... [SNARK](https://a16zcrypto.com/posts/tags/snarks/)(简洁非交互式知识论证)是一种密码协议,任何人都可以向不可信的验证者证明他们知道满足某些性质的“证据”。 web3 中的一个重要应用就是二层 (L2) 汇总向一层 (L1) 区块链证明其知...

文章 登链社区申请了 Gitcoin Grant,需要你的支持

...来可能还可以拿到一笔 zkSync的空投。 > zkSync 是使用知识证明进行 L2 扩容(zkRoolup)的龙头项目,潜力很大,zkSync 很可能会发行自己的代币,给自己的用户空投,是最近 DEFI 项目的传统,如果zkSync空投,估计未来是不小的一...

文章 Ethport:Loopring 与 L1/L2/CEX 的双向航线

## 概述 - Loorping zkRollup 用户可以利用批处理交易和知识证明,在 L2 直接与 L1 dApp 交互,便宜快捷 - Loopring 现已支持便宜且资本高效的 L2-L2 双向转账 - 中心化交易所可以使用标准的 L1 功能来将款项直接取出到 Loopring 的 zkRol...

视频 第 2 课:区块链生态全景介绍 - 以太坊、Layer2 扩容 、Solana、SUI 、跨链桥

... **ZK Rollup:** 除了交易数据和结果,还提交交易执行的知识证明(ZK Proof),在数学上证明交易的正确性。代表项目有zkSync、StarkWare、Linea。 - Layer 2的优势在于更高的TPS和更快的确认时间,但安全性验证机制有所不同。 ...

文章 Optimism 中文周刊#60

...关者手中。Base 下一步将探索其他证明系统,包括基于知识证明的故障证明,以进一步强化网络,使其顺利迈向第二阶段。此次升级将加强 Base 与以太坊和OP Stack 的一致性,同时推进构建一个人人皆可访问的弹性全球链上经济...

文章 以太坊基金会研究团队第七次 AMA (下)

...n 提问:** 是否有在消费级的硬件/低成本 ASIC 上运行知识证明的可能性,从而使得基于知识基础层实现完全去中心化? **Justin Drake 回复:** 当然!我们现在有高效的 SNARK 递归技术 (如Halo 2 和 Nova),它允许互不信任和...

文章 StarkNet + ECN 中文开发者 Meetup

...tarkEx/StarkNet StarkWare 团队研发了基于 STARK 加密证明知识 Rollup (即我们熟知的 ZK-Rollup),目前其提供的方案有 StarkEx 和 StarkNet。 StarkEx 是 StarkWare 开发的一个独立运行的非托管式 ZK-Rollup 软件服务 (SaaS)。创新性地支持一系...

文章 【zkMIPS系列】ZKM Prover—Poseidon STARK

.... 证明生成与验证** 目标:使用多项式承诺生成最终的知识证明。 核心操作: - 将多项式承诺与挑战结合生成最终的证明。 - 确保证明的正确性和有效性。 # 2. Poseidon 哈希的trace填充机制 在 Poseidon 哈希电路的实现中,*...

文章 超级链:一个统一的 OP 链的网络

...明设计中,证明可以采用故障证明或有效性证明(例如知识证明)的形式。然而,在有效性证明投入生产之前,我们假设取款将使用故障证明系统。 在设想的故障证明系统中,任何人都可以提交取款声明,这些取款声明可...

文章 技术详解 | Divide and Conquer:ZK除法中隐藏的漏洞

.../1725936355186003.jpg) ## **ZK的崛起与演变** 曾几何时,知识证明(以下简称ZK)仍然被认为是密码学教科书中的理论概念,至少在传统安全研究中很少被主流社群深入探索。然而在Web3.0领域,区块链技术的迅速发展,用短短几...