Filecoin の解釈 | PoST の勝者は誰でしょうか?

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)
prand := abi.PoStRandomness(rand)
postProof、err := m.epp.ComputeProof(ctx、mbi.Sectors、prand)

pub const WINNING_POST_CHALLENGE_COUNT:usize = 66;
pub const WINNING_POST_SECTOR_COUNT:usize = 1;

mut hasher = Sha256::new() とします。
hasher.input(AsRef::<[u8]>::as_ref(&prover_id));
hasher.input(AsRef::<[u8]>::as_ref(&randomness));
hasher.input(&n.to_le_bytes()[..]);let hash = hasher.result();let sector_challenge = LittleEndian::read_u64(&hash.as_ref()[..8]);
sector_index = sector_challenge % sector_set_len; とします。

mut hasher = Sha256::new() とします。
hasher.input(AsRef::<[u8]>::as_ref(&randomness));
hasher.input(&sector_id.to_le_bytes()[..]);
hasher.input(&leaf_challenge_index.to_le_bytes()[..]);
hash = hasher.result(); leaf_challenge = LittleEndian::read_u64(&hash.as_ref()[..8]); challenged_range_index = leaf_challenge % (pub_params.sector_size / NODE_SIZE as u64);

// 1. comm_r を検証する
comm_r_last_num = num::AllocatedNum::alloc(cs.namespace(|| "comm_r_last"), || { とします。
comm_r_last
.map(Into::into)
.ok_or_else(|| 合成エラー::割り当て不足)
})?;let comm_c_num = num::AllocatedNum::alloc(cs.namespace(|| "comm_c"), || {
通信
.map(Into::into)
.ok_or_else(|| 合成エラー::割り当て不足)
})?;let comm_r_num = num::AllocatedNum::alloc(cs.namespace(|| "comm_r"), || {
通信者
.map(Into::into)
.ok_or_else(|| 合成エラー::割り当て不足)
})?;comm_r_num.inputize(cs.namespace(|| "comm_r_input"))?;

// 1. H(Comm_C || comm_r_last) == comm_r を検証する
{
hash_num = とします::関数::hash2_circuit(
cs.namespace(|| "H_comm_c_comm_r_last"),
&通信番号、
&comm_r_last_num,
)?;// 実際の等価性をチェック
制約::等しい(
cs、
|| 「enforce_comm_c_comm_r_last_hash_comm_r」、
&通信番号,
&ハッシュ番号,
);
}

// 2. 包含パスを検証する for(i,(leaf,path))in leafs.iter().zip(paths.iter()).enumerate() {
PoR回路:: ::合成(
cs.namespace(|| フォーマット!("challenge_inclusion_{}", i)),
ルート::Val(*リーフ)、
パス.clone()、
ルート::from_allocated:: (comm_r_last_num.clone())、
真実、
)?;