LotusPoSt的一部分已从竞选PoSt更改为两个新的PoSt,一个是winningPoSt,另一个是windowPoSt。 LotusPoSt的一部分已从竞选PoSt更改为两个新的PoSt,一个是winningPoSt,另一个是windowPoSt。 让我们先来谈谈winningPoSt。顾名思义,winningPoSt是获胜时的PoSt。所谓获胜就是获得区块权。 简单地说,winningPoSt是一个随机检查的扇区,该扇区中66条随机选择的Merkle路径可以是正确的。然后说说代码逻辑。从Lotus的代码来讲。这一切都从Lotus / miner / miner.go的Miner结构的mineOne函数的块开始。 func (m *Miner) mineOne(ctx context.Context, addr address.Address, base *MiningBase) (*types.BlockMsg, error) {mbi, err := m.api.MinerGetBaseInfo(ctx, addr, round, base.TipSet.Key())rand, err := m.api.ChainGetRandomness(ctx, base.TipSet.Key(), crypto.DomainSeparationTag_WinningPoStChallengeSeed, base.TipSet.Height()+base.NullRounds, nil) 其中,MinerGetBaseInfo函数用于获取一些基本信息,包括需要提取的扇区信息。ComputeProof函数用于计算winningPoSt证明。 因为这些逻辑的特定实现是在rust-fil-proofs(即rust语言)中实现的。从防锈到防锈,许多接口被交叉: 仅介绍rust-fil-proofs提供的两个API函数,就不会介绍中间的接口。 挑战叶数 在rust-fil-proofs / filecoin-proofs / src / constant.rs中定义了要挑战的扇区数和叶子总数: pub const WINNING_POST_CHALLENGE_COUNT: usize = 66; 也就是说,从有效扇区中提取一个扇区,并在该扇区上选择受挑战的66个叶节点。 面临挑战的行业选择逻辑 generate_winning_post_sector_challenge函数实现部门的质询逻辑。核心逻辑点如何检查部门?具体逻辑是在: fallback :: generate_sector_challenges函数中: let mut hasher = Sha256::new(); 简而言之,它是使用random_provider_id的random_information和该扇区的随机数来计算sha256的哈希值。计算结果和当前有限的扇区数是模数。即,sector_index是最终质询的扇区ID。 挑战叶子选择逻辑 generate_winning_post检查由所选扇区组成的Merkle树(replica_r_last)上的叶节点。质询叶节点的计算逻辑是通过fallback :: generate_leaf_challenge函数实现的: let mut hasher = Sha256::new(); 散列随机信息,扇区ID和质询叶编号。计算结果和叶总数为模。32G扇区有1G树叶。 zk-SNARK电路 零知识证明的计算部分可以在rust-fil-proofs / post / fallback目录中查看。 在防锈/后防/后备/circuit.rs中讨论扇区结构。这种结构是一个挑战。从synthesize函数可以看出: // 1. Verify comm_r comm_r作为公共输入,其他comm_r_last和comm_c作为私有输入。 // 1. Verify H(Comm_C || comm_r_last) == comm_r 验证comm_r是由comm_c和comm_r_last计算得出的。 // 2. Verify Inclusion Paths for(i,(leaf,path))in leafs.iter().zip(paths.iter()).enumerate() { 验证叶节点可以正确计算Merkle树的根。 摘 要 Lotus PoSt包括两个部分:winningPoSt和windowPoSt。WinningPoSt是获得块权限时需要提供的PoSt证书。从所有有效扇区中提取一个扇区,并挑战该扇区上的66张叶子。 ——End—— 编辑:星际视界IPFSNEWS Sue 本文来源:星际视界IPFSNEWS —- 编译者/作者:星际视界IPFSNEWS 玩币族申明:玩币族作为开放的资讯翻译/分享平台,所提供的所有资讯仅代表作者个人观点,与玩币族平台立场无关,且不构成任何投资理财建议。文章版权归原作者所有。 |
Filecoin 解读|赢得PoST的是什么?
2020-08-08 星际视界IPFSNEWS 来源:火星财经
LOADING...
相关阅读:
- 诗爷对话七爷丨Filecoin:点燃大牛市的最后一颗火种?2020-08-08
- 星际联盟拍了拍您,首次分布式存储峰会倒计时2天2020-08-08
- 麦客存储|如何抓住Filecoin的商业新机会2020-08-07
- 一文了解IPNS,星际命名系统2020-08-07
- 大湾区国际区块链周—点对点CEO马慧超观点:去中心化存储永远不会取2020-08-07