找到约 14 条结果

文章 基于凸优化构建 AMM 路由求解算法

...的 AMM 路由求解器,代码仓库为 [CFMMRouter.jl](https://github.com/bcc-research/CFMMRouter.jl),值得注意的是,该软件的 [文档](https://bcc-research.github.io/CFMMRouter.jl/dev/) 也是编写本文的重要参考,推荐读者阅读。 为了方便读者理解后文内容,...

文章 FOCIL共识层与执行层工作流程 - 权益证明/区块提议者

.../soispoke/summary),于 `2024年9月30日` **感谢** [Julian](https://x.com/_julianma), [Terence](https://ethresear.ch/u/terence/summary), [Jihoon](https://x.com/jih2nn), [Jacob](https://ethresear.ch/u/jacobkaufmann/summary) 和 [Anders](https://ethresear.ch/u/aelowsson/summary) 为本文提供...

文章 DeFi 安全观察: Balancer V2 架构与舍入漏洞分析

...文将以黑客在主网上发起的 [攻击交易](https://app.blocksec.com/explorer/tx/eth/0x6ed07db1a9fe5c0794d44cd36081d6a6df103fab868cdd75d581e3bd23bc9742) 为例,该攻击攻击了 `[WETH, BPT, osETH]` 池。我们将以此攻击为例,介绍攻击者如何执行攻击,以及攻击合约...

文章 Rust编程语言入门之模式匹配

...```rust fn main() { let favorite_color: Option = None; let is_tuesday = false; let age: Result = "34".parse(); if let Some(color) = favorite_color { println!("Using your favorite color, {}, as the background", color); } else if if_tuesday { println!("Tuesday is green da...

文章 ZK Mesh: 2025年3月回顾

...待每月更新一期。务必分享和 [订阅](https://zkmesh.substack.com/)! #### 研究 - [MERCURY: 一种具有恒定证明大小且无证明者 FFT 的多线性多项式承诺方案](https://eprint.iacr.org/2025/385) \| Liam Eagen 和 Ariel Gabizon - [来自双重海绵的 Fiat-Shamir 转...

文章 以太坊智能合约安全开发建议

> * 译文出自:[登链翻译计划](https://github.com/lbc-team/Pioneer) > * 译者:[六天](https://learnblockchain.cn/people/436) > * 校对:[Tiny熊](https://learnblockchain.cn/people/436) > * 来源:[原文链接](https://consensys.github.io/smart-contract-best-practices/recommendat...

文章 签名哈希标签

...实上的错误,请不吝在 Twitter 账号 [@engb\_os](https://twitter.com/engb_os) 下给我留言。 (完) >- 本文转载自: [btcstudy.org/2022/04/26/...](https://www.btcstudy.org/2022/04/26/signature-hash-flags-by-ochekiye) , 如有侵权请联系管理员删除。

文章 Solana 本地测试环境下创建和管理 SPL 代币

...明区块正在被处理,网络运行正常: ``` ⠴ 00:01:26 | Processed Slot: 182 | Confirmed Slot: 182 | Finalized Slot: 151 | ... ``` #### 🛠️ 实用技巧与故障排除 * ​**使用特定密钥对**​:如果你希望为不同项目使用不同的钱包,可以...

文章 近期Solana黑客攻击事件回顾:共同特征及防范措施是什么?

...,同时目睹了多个黑客攻击(涉及 [Wormhole](https://twitter.com/wormholecrypto)、[CashioApp](https://twitter.com/CashioApp)、[CremaFinance](https://twitter.com/Crema_Finance)、[Nirvana](https://twitter.com/nirvana_fi) 和 [Slope Wallet](https://twitter.com/slope_finance)),这些...

文章 实时猎杀:轻松的状态变量覆盖

...些牛人(尊敬)仅通过Etherscan或使用[dethcode](https://github.com/dethcrypto/dethcode)进行猎杀。 _快进到你找到一个漏洞的时刻⏩_ 一旦漏洞确认,如果还没有做(因为你在猎杀过程中可能已经使用了PoC模板),是时候编写PoC了。 这部...

文章 用 Rust 写一个 AI 日志分析器

...+ 聚合维度 接下来是最重的一步: * 人工设计 error code * 人工定义错误分类 * 按服务 / 接口 / 错误类型聚合 这些规则的特点是: * 非常依赖资深工程师经验 * 新错误必须手动补规则 * 无法覆盖所有边界情况 本质上...

文章 【zkMIPS系列】DEEP-FRI解析

...数,直至其低阶性质显而易见。该过程中的折叠操作(Polynomial Folding)可以有效减少证明者和验证者之间的通信量,使得它在大规模的证明系统中尤其高效,其通信复杂度和通信轮数(交互式证明系统)与多项式的阶呈对数关系...

文章 阈值方案攻击:第一部分

...分析期间发现,并在他们的[博客文章](https://www.fireblocks.com/blog/bitgo-wallet-zero-proof-vulnerability)中进行了描述。 **修复:** 包括缺少的证明。必须证明 Paillier 模数 $N_i$ 是双素数(正好是两个大素数的乘积),并且每个参与者都必...

文章 区块链中的数学 - 离散域模素数上的加法&椭圆曲线中离散对数问题

...非是在实数上取值。这个域上的方程得到如下改造: $y^2\ mod\ p =(x^3+ax+b)\ mod\ p$ 判别式$(4a^3+ 27b^2)\ mpd\ p\ !=0$ 满足上式所有正整数解和无穷远点O,数学符号记为$E_p(a,b)$, 这是一个有限的离散(非连续)的点集。由此可知集...