proof

Documentation

Index

• type AggregateSealVerifyInfo
• type AggregateSealVerifyProofAndInfos
• type PoStProof
• type SealVerifyInfo
• type SectorInfo
• type WindowPoStVerifyInfo
• type WinningPoStVerifyInfo

Types

type AggregateSealVerifyInfo

type AggregateSealVerifyInfo struct {
	Number                abi.SectorNumber
	Randomness            abi.SealRandomness
	InteractiveRandomness abi.InteractiveSealRandomness

	// Safe because we get those from the miner actor
	SealedCID   cid.Cid `checked:"true"` // CommR
	UnsealedCID cid.Cid `checked:"true"` // CommD
}

type AggregateSealVerifyProofAndInfos

type AggregateSealVerifyProofAndInfos struct {
	Miner          abi.ActorID
	SealProof      abi.RegisteredSealProof
	AggregateProof abi.RegisteredAggregationProof
	Proof          []byte
	Infos          []AggregateSealVerifyInfo
}

type PoStProof

type PoStProof = proof0.PoStProof

type PoStProof struct {
	PoStProof  abi.RegisteredPoStProof
	ProofBytes []byte
}

type SealVerifyInfo

type SealVerifyInfo = proof0.SealVerifyInfo

Information needed to verify a seal proof.

type SealVerifyInfo struct {
	SealProof abi.RegisteredSealProof
	abi.SectorID
	DealIDs               []abi.DealID
	Randomness            abi.SealRandomness
	InteractiveRandomness abi.InteractiveSealRandomness
	Proof                 []byte

	// Safe because we get those from the miner actor
	SealedCID   cid.Cid `checked:"true"` // CommR
	UnsealedCID cid.Cid `checked:"true"` // CommD
}

type SectorInfo

type SectorInfo = proof0.SectorInfo

Information about a proof necessary for PoSt verification.

type SectorInfo struct {
	SealProof    abi.RegisteredSealProof // RegisteredProof used when sealing - needs to be mapped to PoSt registered proof when used to verify a PoSt
	SectorNumber abi.SectorNumber
	SealedCID    cid.Cid // CommR
}

type WindowPoStVerifyInfo

type WindowPoStVerifyInfo = proof0.WindowPoStVerifyInfo

Information needed to verify a Window PoSt submitted directly to a miner actor.

type WindowPoStVerifyInfo struct {
	Randomness        abi.PoStRandomness
	Proofs            []PoStProof
	ChallengedSectors []SectorInfo
	Prover            abi.ActorID // used to derive 32-byte prover ID
}

type WinningPoStVerifyInfo

type WinningPoStVerifyInfo = proof0.WinningPoStVerifyInfo

Information needed to verify a Winning PoSt attached to a block header. Note: this is not used within the state machine, but by the consensus/election mechanisms.

type WinningPoStVerifyInfo struct {
	Randomness        abi.PoStRandomness
	Proofs            []PoStProof
	ChallengedSectors []SectorInfo
	Prover            abi.ActorID // used to derive 32-byte prover ID
}