
Filecoin – 深入理解NSE算法
PoREP算法,从window SDR改成SDR,时间并不长。新的PoREP算法NSE已经在酝酿中。NSE算法的全称:Narrow Stacked Expander PoRep。在rust-fil-proofs的feat/nse分支,可以查看NSE算法的实现。
文章使用的源代码的最后一个提交信息如下:
commit af4bdcb6da4b371230eed441218c459e99d32068 (HEAD -> feat/nse, origin/feat/nse) Merge: 7e7eab2 578d12c Author: porcuquine <[email protected]> Date: Wed May 20 12:11:43 2020 -0700 Merge pull request #1118 from filecoin-project/feat/nse-update-neptune-alt Feat/nse update neptune alt
理解NSE算法,可以从storage-proofs/porep/src/nse/vanilla/porep.rs中NarrowStackedExpander结构的replicate函数看起。
01 整体流程
NSE,之所以称为NSE,因为N,Narrow。Narrow的意思是比之前的SDR算法,窄,每次处理的数据为一个Window。
每个Window经过层层的处理,都会生成对应的Replica。所有Window对应的每一层的数据一起构建成Merkle树。所有Window对应的Replica的数据也一起构建成Merkle树。这两棵树树根的Poseidon Hash的结果作为comm_r。comm_d以及comm_r是需要上链的数据。
02 多层处理
每个window需要经过很多层的处理,这些层分为mask layer,expander layer, butterfly layer。核心逻辑在storage-proofs/porep/src/nse/vanilla/labels.rs的encode_with_trees函数中。
层数的配置,以及Expander/Butterfly的一些参数配置都没有确定。从测试代码的配置看:
let num_windows = 1; let rng = &mut XorShiftRng::from_seed(crate::TEST_SEED); let replica_id = <PoseidonHasher as Hasher>::Domain::random(rng); let config = Config { k: 8, num_nodes_window: (sector_size / num_windows) / NODE_SIZE, degree_expander: 384, degree_butterfly: 16, num_expander_layers: 8, num_butterfly_layers: 7, sector_size, };
window设置为1,expander的依赖设置为384,butterfly的依赖为16。总共15层。
Mask Layer
Mask Layer和具体的数据没有关系,和window编号/节点编号有关:
Expander Layer
Expander Layer基于ExpanderGraph生成依赖的上一层的节点的数据。这些数据和一些编号信息的sha256的结果作为新的节点的数据。示意如下:
parent节点的计算请查看storage-proofs/porep/src/nse/vanilla/expander_graph.rs中ExpanderGraphParentsIter结构的update_hash和next函数:
pub struct ExpanderGraph { /// The number of bits required to identify a single parent. pub bits: u32, /// Batching hashing factor. pub k: u32, /// The degree of the graph. pub degree: usize, } // node index - 4 bytes self.hash[..4].copy_from_slice(&self.node.to_be_bytes()); // counter - 4 bytes self.hash[4..8].copy_from_slice(&self.counter.to_be_bytes()); // padding 0 - 24 bytes for i in 8..32 { self.hash[i] = 0; } let mut hasher = Sha256::new(); hasher.input(&[&self.hash[..], &[0u8; 32]]); self.hash = hasher.finish();
简单的说,每个node依赖的parent的个数是degree*k个。parents的确定通过节点编号以及parents序号的hash结果来确定。
具体的hash计算逻辑,请查看storage-proofs/porep/src/nse/vanilla/batch_hasher.rs的batch_hash函数。
for (i, j) in (0..degree).tuples() { let k = k as u32; let (el1, el2) = (0..k).fold( (FrRepr::from(0), FrRepr::from(0)), |(mut el1, mut el2), l| { let y1 = i + (l as usize * degree as usize); let parent1 = parents[y1 as usize]; let current1 = read_at(data, parent1 as usize); let y2 = j + (l as usize * degree as usize); let parent2 = parents[y2 as usize]; let current2 = read_at(data, parent2 as usize); add_assign(&mut el1, ¤t1, &modulus); add_assign(&mut el2, ¤t2, &modulus); (el1, el2) }, ); // hash two 32 byte chunks at once hasher.input(&[&fr_repr_as_bytes(&el1), &fr_repr_as_bytes(&el2)]); }
batch hash的名称,来自于batch,在做hash之前,需要将k个parents先做模加,模加的结果再做hash。
Butterfly Layer
Butterfly Layer的计算类似于Expander Layer,不同的是获取Parents的方式以及Parents的hash计算方式。Parents的计算依赖ButterflyGraph的实现:
pub struct ButterflyGraph { /// The degree of the graph. pub degree: usize, /// The number of nodes in a window. Must be a power of 2. pub num_nodes_window: u32, /// Total number of layers. pub num_layers: u32, /// Number of butterfly layers. pub num_butterfly_layers: u32, } fn next(&mut self) -> Option<Self::Item> { if self.pos >= self.graph.degree as u32 { return None; } let parent_raw = self.node + self.pos * self.factor; // mod N let parent = parent_raw & (self.graph.num_nodes_window - 1); self.pos += 1; Some(parent) } Butterfly Layer的一个节点,依赖degree个前一层的节点。每个Parent序号的计算公式: node + pos * factor
其中,node是节点编号,pos是Parents编号,factor是系数(和层的编号有关)。这种有固定间隔的依赖形状,有点像蝴蝶翅膀的条纹,所以称butterfly layer。
所有Parents的Hash计算,相对简单,就是所有Parent数据拼接后的Hash值。
// Compute hash of the parents. for (parent_a, parent_b) in graph.parents(node_index, layer_index).tuples() { let parent_a = parent_a as usize; let parent_b = parent_b as usize; let parent_a_value = &layer_in[parent_a * NODE_SIZE..(parent_a + 1) * NODE_SIZE]; let parent_b_value = &layer_in[parent_b * NODE_SIZE..(parent_b + 1) * NODE_SIZE]; hasher.input(&[parent_a_value, parent_b_value]); } let hash = hasher.finish();
03 生成Replica
在多层处理结束后,最后一层的bufferfly layer和原始数据进行encode,生成最后的Replica layer。计算过程,就是在最后一层bufferfly layer的基础上,再做一次bufferfly计算,结果和原始数据进行大数加法计算。详细的计算过程,请查看storage-proofs/porep/src/nse/vanilla/labels.rs的butterfly_encode_decode_layer函数。
总结:
PoREP的NSE算法,是SDR算法的另外一种尝试。尝试降低单个处理的数据大小(window),尝试不采用节点的前后依赖(layer的计算可以并行),加大单层的依赖,加大layer的层数。整个算法底层还是采用sha256算法。NSE算法可以理解为安全性和性能之间平衡的一种尝试。
作者:Star Li
比推快讯
更多 >>- 美国众议院议长:只要有必要,关于“大而美法案”的讨论将继续进行
- 美国取消对华芯片设计软件出口限制
- 美国比特币现货 ETF 昨日净流入 4.078 亿美元
- 新思科技称美方已撤销针对中国的出口限制,美股夜盘涨超 5%
- 数据:去中心化交易平台 Axiom 累计收入已超 1.57 亿美元
- 币安公布 Alpha 空投 6 月表现数据,LA、AB 和 SAHARA 为空投收益前 3 名
- 华尔街日报:四名共和党议员反对特朗普税收法案的程序性投票
- 澳大利亚加密亿万富翁遭绑架,咬断绑匪手指逃生
- Letsbonk.Fun 平台近 24 小时交易额超过 pump.fun
- Circle 今晨在 Solana 上新增铸造 2.5 亿枚 USDC
- RootData:B3 将于一周后解锁价值约 435 万美元的代币
- Project Hunt:跨平台即玩即赚开发商和发行商 Xterio 为过去 7 天被 Top 人物取关最多的项目
- Backpack 第二赛季积分活动已正式开启
- MELANIA 团队解锁 2,500 万枚 MELANIA,价值约 523 万美元
- 股票代币化平台 xStocks 上线第三日交易额达 773 万美元,标普 500 成交额居首
- Vana 生态项目 Unwrapped DataDAO 决定出售其 Spotify 数据给 AI 原生平台 SoloAI
- Binance Alpha 昨日交易量报 4.5049 亿美元,BR、KOGE、BULLA 分列前三
- 美国副总统万斯:“大而美法案”必须通过
- 加密货币总市值升至 3.485 万亿美元,部分山寨与 Meme 代币领涨
- 数据:USD1 持有地址数突破 29 万,当前发行量约 21.56 亿枚
- Willy Woo:在所有宏观资产中,BTC 对全球流动性最为敏感
- 美国财长重申 9 月之前降息,并称美联储错误预测通胀上升
- 观点:Robinhood 若获得成功将消灭 90%的金融中介机构
- 8 年前囤积 21,662 枚 ETH 的长期持有者将 4123 枚 ETH 转进 Gemini
- 多点数智股价一度飙升近 90%,已配置 BTC 并拟申请香港稳定币牌照
- 港股上市公司多点数智开盘涨超 89%,正筹备申请香港稳定币牌照
- 1RT Acquisition 纳斯达克上市首日交易量报 6334 万美元,收涨 0.37%
- 10x Research:比特币或将迎来夏季爆发,市场关键窗口开启
- 港股京基金融国际开盘冲高,涨超 14%
- 某 ETH 波段鲸鱼清仓 4153.8 枚 ETH,再次获利 52.2 万美元
- 巨鲸购买 Meme 币一分钟内亏损 158 万美元,另一投资者两分钟赚取 88 万美元
- 特朗普:众议院似乎已准备好今晚(就税改法案)进行投票
- 美国司法部破获史上规模最大医保欺诈案,2.45 亿美元加密货币、现金等被查获
- 下周将举行加密市场结构全体委员会听证会,Ripple CEO 等出席
- 分析:Ripple 申请美联储主账户意义较申请国家银行牌照更为重大
- 数据:稳定币发行商年收入近 100 亿美元
- 某鲸鱼均价 40.13 美元增持 215,850 枚 HYPE
- 比特币涨至 109700 美元,专业交易员对价格动能持谨慎态度
- 摩根大通区块链部门 Kinexys 与 S&P Global 测试碳信用代币化
- 分析:现货以太坊 ETF 有望 2025 年下半年迎爆发式增长
- 德国前总理默克尔:欧盟不应惧怕美国的关税
- 中信证券:当前美联储 12 名票委的货币政策立场分歧较大
- 内幕巨鲸做空仓位连续清算减仓 8 次,利润回吐 1508 万美元
- Ripple 继 Circle 之后申请美国银行牌照,计划提供更多加密服务
- BONK 上涨近 10%,Tuttle Capital 拟于 7 月 16 日推出 2 倍杠杆 ETF
- 拜登患癌后首次发表长篇讲话,称其卸任后仍获欧洲领导人咨询
- 德国上市公司 Heidelberger Beteiligungsholding 宣布建立 SQD 代币储备
- Coinbase 宣布将 Sky (SKY)和 USDS (USDS)新增至上币路线图
- 特朗普以“政治偏见以及具有欺骗性的参议院证词”施压鲍威尔辞职
- 特朗普转发有关美国联邦住房金融署署长要求鲍威尔应立即辞职的报道
比推专栏
更多 >>观点
比推热门文章
- 新思科技称美方已撤销针对中国的出口限制,美股夜盘涨超 5%
- 数据:去中心化交易平台 Axiom 累计收入已超 1.57 亿美元
- 币安公布 Alpha 空投 6 月表现数据,LA、AB 和 SAHARA 为空投收益前 3 名
- 华尔街日报:四名共和党议员反对特朗普税收法案的程序性投票
- 澳大利亚加密亿万富翁遭绑架,咬断绑匪手指逃生
- Letsbonk.Fun 平台近 24 小时交易额超过 pump.fun
- Circle 今晨在 Solana 上新增铸造 2.5 亿枚 USDC
- RootData:B3 将于一周后解锁价值约 435 万美元的代币
- Project Hunt:跨平台即玩即赚开发商和发行商 Xterio 为过去 7 天被 Top 人物取关最多的项目
- Backpack 第二赛季积分活动已正式开启