Aptos 成为首个支持动态调度形式化验证的 L1
比推消息，Aptos 在 X 平台发文表示，Aptos 是首个支持动态调度形式化验证的 L1，可数学证明其按设计运行。Aptos 称，AI 编写规范，数学证明其正确性，Move Prover 即为预言机，这是市场与机器的信任层。
100天前
Prover · 149
Risc Zero 近日宣布关停其官方托管证明服务，Boundless 网络同步进入完全去中心化的新阶段
比推消息，Risc Zero 近日宣布关停其官方托管证明服务，Boundless 网络同步进入完全去中心化的新阶段，标志着这一通用 ZK 证明市场彻底走向完全开放，去中心化的市场驱动。Risc Zero 曾官方提供零知识证明，帮助开发者应用在无需自建硬件的前提下接入零知识计算能力。随着 Boundless 网络功能与验证能力逐步成熟，证明请求现在将由 Boundless 网络中的独立节点来处理，使证明机制与基于弹性和中立性构建的区块链特性相一致。Boundless：开放证明市场全面去中心化 Boundless 被设计为面向多链和应用的通用 ZK 证明市场，任何链或应用都能够让 Boundless 为其提供零知识证明，以提高可扩展性和互操作性。网络采用可验证工作量证明（PoVW）等机制，根据 Prover 的实际计算量对其进行奖励。这营造了一个竞争环境，激励证明者更快、更低成本地生成证明，从而使所有具备高效、易用零知识证明的链都受益。
248天前
行情惨淡，还有哪些低成本“薅羊毛”机会？
进入2025年尾声，加密市场寒意虽浓，但也有不少热度还不错的项目开始释放空投/TGE信号。这些机会大多不要求大额资金投入，操作门槛也相对友好，正好给想在熊市里保持手感、又怕被市场“教育”的投资者，提供了一个低风险的参与窗口。本文将为您梳理其中最具潜力的项目，帮助大家在低迷行情中，以更小的“阵痛”把握未来的可能性。1、Lighter (LITER)Lighter 是基于 Starknet L2 的高频永续合约 DEX，主打零手续费、ZK 证明匹配和即时执行，专为专业交易者设计，类似于链上版 Citadel。主网上线于 2025 年 10 月，目前正处于积分 farming Season 2，TGE 预计在 12 月底或 2026 年 Q1，Polymarket 概率高达 98% 被视为 2025 年最大空投。融资情况总计融了约 2500 万美元，投资阵容包括：YZi Labs（领投）、Binance CZ 家族办公室、a16z Crypto、Paradigm 等 Tier-1 VC。资金主要用于主网开发和积分奖励池，创始人 Vladimir Novakovski 背景来自 Citadel 交易团队。核心数据主网 TVL：11 亿美元（近 30 天 +150%） 日活跃用户：5.6 万+ 日交易量：峰值 189 亿美元（常超 Hyperliquid） 积分总量：每周分发 25 万点（Season 2 至 12 月 31 日） 预计 FDV：约 5-10 亿美元（总供应未公开，社区分配 50%） 积分 OTC 价：5-11 美元/点（潜在 ROI 25-100x）如何参与 主网交易永续合约（ETH/USDC 等，杠杆至 50x，赚积分） 提供 LLP 流动性（分享手续费 + 积分加成） 邀请子账户 farming（主账户获 25% 回扣，需 100 点解锁代码） 桥接资金 + 高频刷量（但注意“死亡区”风险，官方快照 12 月 31 日前）作为Perps DEX 里的黑马，Lighter零费 + ZK 技术壁垒高，50% 社区分配下空投潜力巨大，但 TGE 后交易量可持续性是关键，适合钱包厚的交易者冲刺一下季末积分。2、Aster（ASTER）Aster 是新一代多链去中心化交易所（DEX），专注于永续合约和现货交易，支持BNB Chain、Ethereum、Solana和Arbitrum链，提供MEV抵抗、一键执行、隐藏订单和高杠杆（至1001x），并创新性地允许使用asBNB（流动性质押代币）或USDF（收益稳定币）作为抵押，实现更高的资本效率。项目源于2024年底Astherus与APX Finance的合并，2025年9月17日完成TGE，主网上线后交易量迅速超Hyperliquid，成为Perp DEX领域的黑马。 融资情况累计融资金额约2500万美元，主要投资者包括：YZi Labs（Binance创始人家族办公室，领投） 、Binance Labs（孵化支持） 、a16z Crypto 、Paradigm 等，CZ个人投资超250万美元，并担任顾问，推动隐私交易基础设施发展。核心数据主网TVL：约15亿美元（近30天+120%） 日活跃用户：8万+ 日交易量：峰值超20亿美元 代币价格：约$1.16（24h范围$1.04-$1.08） 流通市值：约20...
260天前Wendy#Aster #CZ #DEX #TGE #何一 #合约 #空投
Brevis 发布 ProverNet 白皮书，提出去中心化零知识证明生成市场机制
比推消息，据官方消息，Brevis 发布 ProverNet 白皮书，提出用于零知识证明生成的去中心化市场机制，利用真实在线双向拍卖（Truthful Online Double Auction）在多样化计算任务与专用证明硬件之间实现高效匹配。ProverNet 基于在 PancakeSwap、Uniswap、Euler、Linea、MetaMask 等项目中的合作经验，针对性解决了现有证明基础设施的核心痛点。据悉，ProverNet 将运行于专用 rollup Brevis Chain 之上，官方计划在 2025 年底前正式启动。Brevis 表示，该机制将推动零知识证明服务从中心化单一供应商模式向竞争性市场转型，使专业证明节点能够针对特定任务深度优化，应用方在获得验证计算服务的同时，不再受限于单一供应商。
278天前
加密隐私如何成为捍卫用户自由的关键壁垒？
作者：blocmates.编译：深潮techFlow原标题：加密世界，押注隐私就是押注自由如果历史可以作为借鉴，自由总会找到胜出的方式。而在这个领域，押注隐私，归根结底就是在押注自由。嘿！我告诉你，如果拥有 ZachXBT 级别的链上侦查能力（加上一点耐心），加密交易是可以被追踪的——不过你早就知道了，不是吗？如今，我们能够查出是78岁的奶奶掏空了你的钱包，还是与朝鲜相关的黑客组织在威胁每一个协议。是的，这些所谓的“糟糕”案例确实存在，但它们的出现仅仅是因为链上活动对所有人公开可见。惊不惊喜？公链账本，确实是公开的。加密与隐私或许今天的年轻人还不了解，但那些资深玩家（Uncs）知道，比特币以及如今整个加密货币的旅程，始于密码朋克（Cypherpunk）们的愿景——构建一个以隐私为基础的开放社会。正是这一理念，催生了 David Chaum 的隐私数字货币 Digicash（基于盲签名技术），以及 Wei Dai 提出的匿名去中心化支付系统 b-money（听起来像个说唱歌手的名字，对吧）。而 Satoshi Nakamoto 更进一步，在完全透明的账本中嵌入了一定程度的隐私保护。比特币的设计依赖于假名地址和加密哈希值，而非真实姓名或身份，从而营造了一种匿名的假象。然而，这种匿名的假象并未持续太久。随着智能合约的兴起，注意力逐渐从隐私转向了链上可编程性。如今，随着加密货币的普及再次加速，我们重新回到了这一切的起点——隐私的首要原则。在加密领域，隐私正成为一个重要话题，其涵盖范围已超越在公链上发送和接收资金，扩展到链上应用的隐私保护。在今天的文章中，我们将探讨加密领域中的隐私意味着什么、它的各个方面、围绕隐私构建的产品、需要关注的点，以及我们对加密隐私未来的看法。请系好安全带，准备出发！加密货币中的隐私究竟意味着什么？理解隐私的最佳方式是通过传统金融（TradFi）的视角来审视。在传统金融领域，隐私的含义很简单：个人数据受到保护，不会向公众公开，仅对授权实体可见。这包括用户的个人信息，如生物识别数据、交易历史、账户余额等。当我们将这一理念引入加密领域时，隐私的核心在于保护链上交易中的个人数据。真正的隐私意味着，只有用户本人或指定的接收方作为授权实体，能够查看或理解他们自己的数据。在加密领域，人们常常将隐私与匿名混为一谈。虽然匿名文化源于隐私的概念，但二者在技术上存在差异。例如，隐私的重点是隐藏交易的细节，比如从一个人到另一个人的交易金额、交易对手以及其他信息；而匿名则更关注交易中用户身份的隐藏。一个清晰区分隐私与匿名的例子是 Zcash 和 Monero。前者主要依赖加密技术，利用 zk-SNARKs（零知识简洁非交互式知识论证）来隐藏交易金额；而后者通过隐匿地址和环签名技术来伪匿名化用户身份。不过，为了这篇文章的讨论，我们将隐私视为一个包含匿名在内的整体现象。为什么隐私是加密领域的重要议题？正如前文提到的，加密行业的基础源于密码朋克精神，即追求隐私和去中心化，以实现摆脱国家级别控制的自由。然而，随着私人监控公司迅速扩张并在金融领域展现出强大影响力，加之 AI 技术带来的数据滥用担忧，警钟比以往任何时候都敲得更响。如果没有隐私，区块链上的数据可能会暴露用户的消费习惯、财富分布、政治捐款以及交易对手关系等信息。这些数据一旦落入不当之手，可能被用于极端的控制或剥削。另一个隐私在加密领域至关重要的原因是：没有隐私技术的支撑，加密货币就无法真正实现抗审查性。隐私能够保护个人和组织免受胁迫，从而实现真正无需许可的链上金融系统参与。此外，隐私还能确保用户在现实生...
298天前burnking#隐私
MegaETH公售=捡钱机会？V神已上车
"实时以太坊兼容链"MegaETH将于10月27日启动公开销售——这已是该项目向社区开放的第三轮融资。此前两轮中，Echo社区轮与包括Dragonfly和Vitalik Buterin在内的顶级风投同价入场，Fluffle NFT轮更是达到5.32亿美元的完全稀释估值。目前这个被业内视为"Layer 2新贵"的项目即将迎来最关键的公售时刻。在Hyperliquid预市场上，$MEGA的隐含估值已被炒至50亿美元，而Polymarket的预测显示，其上市后突破20亿美元估值的机会高达89%。从VC抢筹到社区热议，MegaETH凭什么被看好？这场备受瞩目的公售又会否成为Layer 2赛道的新引爆点？根据项目方公布的信息，此次公开轮的分配额度为 5%，即 100 亿枚 MEGA 代币中的 5 亿枚。投资者需使用以太坊主网上的 USDT 参与，拍卖形式为英式拍卖，出价范围在 2,650 美元至 186,282 美元之间。美国投资者需强制锁仓一年，并享有 10% 折扣，非美国投资者则可选择是否锁仓。值得注意的是，在公开销售前，MegaETH 曾从早期种子前投资者手中回购约 4.75% 股权及代币关联认股权证，这一动作被解读为其希望进一步优化股权与代币结构、强化社区占比的信号。打造“实时以太坊”MegaETH 由MegaLabs 团队在 2023 年发起，核心愿景是让区块链交互达到互联网应用级速度。项目宣称，其区块确认时间可低至 10 毫秒，理论吞吐量超过每秒 100,000 笔交易（TPS），并保持与以太坊虚拟机（EVM）的完全兼容性。这一性能级别远超当前主流 Layer 2 方案。Arbitrum、Optimism 等在并行执行、Rollup 效率上虽有改进，但依旧存在秒级延迟。MegaETH 试图通过重新设计执行层架构实现“亚秒级结算”，让 DeFi、游戏、AI Agent、社交应用等能够实现真正的实时体验。在架构上，MegaETH 采用“模块化节点”设计，将区块排序、状态计算与验证工作分拆为不同角色：Sequencer 负责排序执行，Prover 生成零知识证明，Replica Node 负责状态复制。这种“专职化分工”被认为是其突破性能瓶颈的关键。与此同时，MegaETH 计划与 EigenLayer 的数据可用性层（EigenDA）对接，以进一步提升系统扩展性。MegaETH 的核心理念是：以性能换信任边界的扩展，通过在初期牺牲部分去中心化，换取交易实时性和用户体验的质变。正如团队在技术白皮书中所写：“区块链要成为真正的互联网基础设施，就必须具备 Web2 级速度。”团队与融资MegaETH 的团队成员来自以太坊社区核心开发圈与传统高性能系统工程背景。CEO Yilong Li、CTO Lei Yang、COO Shuyao Kong 皆为早期以太坊与 StarkWare 社区的活跃成员。融资层面，项目在 2024 年 6 月完成约 2,000 万美元的种子轮融资，由 Dragonfly 领投，Vitalik Buterin 参与支持。同年 12 月，又通过 Fluffle NFT 社区轮融资约 1,000 万美元。其生态计划“MegaMafia 10× Builders Program”已吸引超过十个项目入驻，包括 DeFi、AI、社交及链上游戏等多个领域。根据 RootData 数据显示，MegaETH 的累计融资金额超过 3,000 万美元。其主要投资者除 Dragonfly 外，还包括 QCP Ca...
302天前Wendy#MEGA #MegaETH #代币 #公售
190亿爆仓夜，Lighter“熄火”原因全解析
原文链接：Beosin原文标题：190亿爆仓夜，Lighter缘何“熄火”？10月11日，加密货币市场经历了史上最大爆仓事件，总清算金额约190亿美元。在这场极端市场考验中，多个去中心化永续合约交易平台（Perp Dex）出现宕机，其中Lighter因宕机事故最为严重，流动性提供者资金池（LLP）出现亏损引起了市场对PerpDex平台的广泛讨论。作为审计了Surf Protocol、Tifo.trade等多家Perp Dex的Web3安全公司，Beosin在本文将通过多年积累的技术和链上数据分析经验，帮助大家深入了解本次Lighter宕机事件的原因。Lighter技术框架Lighter通过零交易手续费的特点在PerpDex的热潮中脱颖而出，吸引了众多用户在其平台进行交易。Lighter构建在zkLight这一特定的ZK Rollup L2之上，以提高交易性能和订单簿的撮合效率。其核心运作机制如下图所示：排序器：作为用户交互的第一站，负责接收交易指令，并将交易进行排序和打包成Batch（交易的批处理数据包）。撮合引擎：接收来自排序器的Batch，并严格遵循 "价格优先、时间优先" 的撮合逻辑。每次成功的撮合都会为生成零知识证明准备好数据，确保任何人都能事后验证撮合过程的公平性，避免了操纵的可能。证明者（Prover）：将撮合引擎的操作生成为一个简洁的ZK-SNARK证明，用于后续验证撮合执行和状态转换的正确性。主网合约：负责验证证明者提交的零知识证明。一旦验证通过，就会更新状态根，至此交易结果便在以太坊上获得了最终确认最终性。除以上设计外，Lighter为用户提供了金库功能，用户可存入资金到Lighter Liquidity Pool（LLP），该流动性池承担流动性提供、报价生成与风险承接三重功能。LLP参与者可分享平台收益与对手方亏损产生的收益，同时在用户爆仓时承接部分风险，配合Lighter的清算体系，形成风险缓冲机制。Lighter宕机复盘2025年10月11日，加密市场合约清算规模创下历史纪录。在这场极端行情中，Lighter突发多个小时的服务中断导致用户无法操作仓位，LLP损失约5.35%。Beosin通过对本次事件的主要时间段（北京时间2025年10月11日00:17-05:08）的链上数据分析发现，Lighter自Batch#55661开始丢失了3个Batch，在00:17开始恢复产出Batch（00:23 Lighter发布公告表示用户的订单无法处理或执行）。Lighter平台在宕机前正常处理的交易量约为4005笔/分钟，从00:17开始交易量激增，Batch#55665包含560个区块，处理的交易量数为196913，平均每分钟需处理约65638笔交易，大约是平常时段的16倍。以下是10月11日00:17-05:08各Batch提交时间点处理交易数的统计图：由Beosin统计制作在10月11日04:56，Batch#55743处理交易数达到最大值，2分钟内完成了639370笔交易，是平常时段每分钟处理交易数的79.8倍。通过统计Lighter本次事件的数据我们发现，Lighter的Batch最多可容纳1600个区块，其区块最多可容纳500笔交易，其理论可处理交易笔数为800000/Batch，而实测最高为639370。以上是Lighter平台成功处理的交易，还有许多用户因提交交易失败无法调整仓位（宕机）而未能在链上记录的数据。从技术架构来看，本次宕机和造成LLP损失主要有2个原因：1. 除前端页面的访问和提交订单...
305天前Luxurytracy#Lighter #PerpDex
蚂蚁数科 L2 区块链 Jovay 发布白皮书，提出目标 10 万 TPS
比推消息，蚂蚁数科推出的 Layer2 区块链 Jovay 今日发布官方白皮书，采用并行流水线执行与混合有效性证明（TEE 过渡至 ZKP）。官方称单节点在特定负载下达 15,700–22,000 TPS，并在 32 核/64GB 配置下 ERC-20 转账峰值 30,000 TPS、原生转账 28,000 TPS，端到端延迟约 160ms。其 ZK Prover 引入 Sumcheck 式 PIOP、WHIR 承诺方案与 GPU 集群加速（Sumcheck 较 CPU 提速 > 20×），并规划通过集群扩展至 10 万 TPS，面向 RWA（真实世界资产）标准化流程与跨链安全架构。
328天前
比特币 L2 网络 GOAT Network 成立基金会，7%的代币 GOATED 将用于空投
比推消息，比特币原生 ZK Rollup GOAT Network 宣布成立基金会，并将发布代币 GOATED。GOATED 总量 10 亿，其中 39.42% 用于矿池奖励（涵盖 Sequencer、Prover、Challenger 等多角色激励），7% 用于空投，15% 用于金库支持生态激励与流动性，15.58% 分配给早期支持者，23% 分配给团队、顾问。GOATED 可用于质押提升收益、激励开发者和用户、增强节点排序权，并赋予持有者治理权。GOAT Network 是比特币原生 zkRollup，通过 Gas 费、MEV 与矿工奖励构建可持续收益模型，避免依赖通胀型代币。GOAT 基金会将作为协调者，确保 ZK 证明验证与角色轮换机制顺利执行，使收益分配透明且均衡。
332天前
Succinct Prover Network 已正式在主网上部署，并启用原生代币 PROVE
比推消息，Succinct Prover Network 是一个基于以太坊的去中心化证明者网络市场，允许各类应用提交零知识证明（ZK proof）请求，由独立的证明者进行竞争验证。它旨在让开发者无需定制配置即可使用零知识技术，从而更容易构建安全、透明、可扩展的加密基础设施。这一系统将支持包括以太坊在内的各类平台——以太坊已将 ZK 技术视为其未来发展的重点之一。同时，系统也支持高速 rollup，适用于处理每秒数万笔交易的计算密集型应用，如交易平台和 AI 代理。该网络的架构采用了链下执行、链上结算的设计——类似于 Layer 2 解决方案。证明会定期发布到以太坊，允许任何用户进行独立验证。用户与链下组件交互以获得更高性能，而结算过程则由链上机制强制执行。
382天前