Ola推出了首个手机挖矿应用Massive v0.1.6,通过ZKVM+DePIN+AI技术,使用户能够通过手机参与区块链验证,降低了Web3的参与门槛。文章提供了在Android设备上使用Massive进行挖矿的详细步骤,包括连接钱包、下载应用、复制地址以及开始挖矿等。此外,还介绍了通过邀请好友加入挖矿团队来增加收益的规则。
本文介绍了零知识证明(ZK)领域的最新进展,重点分析了Ulvetanna发布的Binius方案。Binius通过使用二进制域、针对小域的承诺方案以及基于HyperPlonk的SNARK,能更有效地处理位运算,降低内存占用,提高硬件友好性,从而加速可验证计算,并可能在软件工程和金融领域引发变革。
Polyhedra Network 和 Lagrange Labs 合作,利用 Lagrange State Committees 为 Optimistic Rollups 实现 zkBridge 快速最终性。
重要‼️Stark101虽然是希望成为任何软件工程师的入门教程,但是ZK确实有太多不得不说的概念,不过,我会尽量用最简单,最少公式的方式来讲解。所以,Start101绝对不会教会你如何成为数学大师,其目的在于让你轻松的理解Stark的逻辑。但是你需要遵守以下规则:任何标题开头为附加内容
计算轨迹是 Stark 的第一步,也是最简单的一步,但是最为重要的一步。 但是在章节开始之前,你需要必须 🚨掌握以下前置知识:
文章讨论了零知识证明(ZKPs)等密码学技术在应对日益复杂的社会挑战中的作用,强调了其在区块链、人工智能、硬件安全、国家安全以及数据隐私保护等多个领域的潜在应用。文章指出,随着AI普及和中心化信任的减弱,ZKPs和同态加密等技术将变得至关重要,并表示将致力于支持相关技术的初创企业。
低度拓展(LDE)是Stark中用于提高安全性的一个步骤,通过把多项式的域拓展到更大的域,从而提高计算的安全性。
StarkWare 将其 STARK Prover(现命名为 Stone)以 Apache 2.0 许可证开源。此举旨在通过开放源代码,促进 Starknet 的去中心化,鼓励社区协作和创新,使开发者能够观察、优化和使用 Prover 的代码,该Prover自2020年6月以来一直在生产环境中运行,压缩并验证了大量的交易和NFT铸造。
承诺(Commitments)是Stark中用于去除需要交互验证的步骤,通过将Trace的值进行默克尔树构建,从而获得虚拟的交互验证。
Manta Network 推出 Manta Pacific Mainnet Alpha,这是一个 EVM 原生模块化执行层,旨在支持零知识证明(ZK)应用的采用。该网络利用 Celestia 实现数据可用性,并通过通用电路提供 ZK 即服务,旨在降低 gas 费用并提升用户体验。目前已有超过 250 个智能合约部署在 Manta Pacific 测试网上。
本文深入探讨了密码学在区块链安全中的作用,包括哈希函数、公钥密码学、数字签名、共识机制等基础要素。同时,还讨论了零知识证明、Merkle树等高级技术如何增强区块链的安全性。最后,文章分析了量子抵抗代币、隐私保护代币、灵魂绑定代币(SBTs)和央行数字货币(CBDCs)等新兴趋势,展示了区块链密码学领域的不断发展。
本文主要介绍了ZK-EVM的不同类型,包括Type 1、Type 2、Type 2.5、Type 3和Type 4,重点解释了Type 1和其他类型之间的区别,以及打破以太坊等效性可能产生的后果。Type 1 ZK-EVM与以太坊完全等效,而Type 4 ZK-EVM的证明生成效率最高。文章还探讨了各种类型的ZK-EVM在以太坊扩容中的作用,以及它们在安全性、开发人员体验等方面的考量。
本文介绍了zkSecurity与Matter Labs合作发布的关于区块链Rollups安全性的论文,该论文提出了一个形式化模型来分析不同的安全机制。文章讨论了Rollups的安全性,并对论文内容进行了初步介绍,强调了Rollups在以太坊未来发展中的核心作用,以及形式化分析对于确保Rollups安全性的重要性,并提出了强制交易、安全黑名单和可升级性这三个关键机制。
那些应该学 ZK 数学,有些人也许不需要学 ZK 数学
Zama 团队发布了 TFHE-rs (v0.11)、Concrete (v2.9)、Concrete ML (v1.8) 和 fhEVM (v0.6) 的新版本。