Documentation
¶
Overview ¶
Package winningpost is the Stage B scaffold for a pure-Go WinningPoSt verifier.
Trust model:
- removes the filecoin-ffi dependency from verification path #1
- keeps all verification logic in Go
- does not attempt proving, parameter generation, or sector challenges yet
Scope:
- verify only
- proving remains out of scope
- this package is a placeholder for the future Groth16/BLS12-381 path
Index ¶
Constants ¶
This section is empty.
Variables ¶
View Source
var ErrNotImplemented = notImplementedError{}
Functions ¶
func Verify ¶
func Verify(info WinningPoStVerifyInfo) (bool, error)
Verify is the pure-Go scaffold entrypoint.
TODO:
- derive the winning post challenge from randomness + prover + tipset context
- assemble public inputs from challenged sectors and proof metadata
- load the correct verifying key for the registered PoSt proof type
- run the Groth16 pairing check over BLS12-381
- validate Poseidon-based commitments / transcript inputs as required
This stage intentionally does not verify anything yet.
Types ¶
type PoStProof ¶
type PoStProof = prooftypes.PoStProof
type SectorInfo ¶
type SectorInfo = prooftypes.SectorInfo
type WinningPoStVerifyInfo ¶
type WinningPoStVerifyInfo = prooftypes.WinningPoStVerifyInfo
Source Files
Click to show internal directories.
Click to hide internal directories.