proof

Documentation

Index

• Constants
• func GenerateAuthenticator(i int64, s int64, T0 T0, piece []byte, Alpha *pbc.Element, ...) []byte
• type FileTagT
• type HashNameAndI
• type PBCKeyPair
  • func Keygen() PBCKeyPair
• type PoDR2Commit
• type PoDR2CommitResponse
• type PoDR2Prove
  • func (prove PoDR2Prove) PoDR2ProofProve(spk []byte, sharedParams string, sharedG []byte, segmentSize int64) <-chan PoDR2ProveResponse
• type PoDR2ProveResponse
• type PoDR2StatueMsg
• type PoDR2Verify
  • func (verify PoDR2Verify) PoDR2ProofVerify(SharedG, spk []byte, sharedParams string) bool
• type QElement
  • func PoDR2ChallengeGenerate(N int64, SharedParams string) []QElement
  • func PoDR2ChallengeGenerateFromChain(blockindex types.Bytes, blockrandom []types.Bytes) ([]QElement, error)
• type T0
• type TagInfo

Constants

const (
	Success            = 200
	Error              = 201
	ErrorParam         = 202
	ErrorParamNotFound = 203
)

Functions

func GenerateAuthenticator

func GenerateAuthenticator(i int64, s int64, T0 T0, piece []byte, Alpha *pbc.Element, pairing *pbc.Pairing, segmentSize int64) []byte

Types

type FileTagT

type FileTagT struct {
	T0        `json:"t0"`
	Signature []byte `json:"signature"`
}

type HashNameAndI

type HashNameAndI struct {
	Name string
	I    int64
}

type PBCKeyPair

type PBCKeyPair struct {
	Spk          []byte
	Ssk          []byte
	SharedParams string
	SharedG      []byte
	Alpha        *pbc.Element
	V            *pbc.Element
	G            *pbc.Element
}

func Keygen

func Keygen() PBCKeyPair

type PoDR2Commit

type PoDR2Commit struct {
	FilePath  string `json:"file_path"`
	BlockSize int64  `json:"block_size"`
}

type PoDR2CommitResponse

type PoDR2CommitResponse struct {
	T         FileTagT       `json:"file_tag_t"`
	Sigmas    [][]byte       `json:"sigmas"`
	StatueMsg PoDR2StatueMsg `json:"statue_msg"`
}

type PoDR2Prove

type PoDR2Prove struct {
	QSlice []QElement `json:"q_slice"`
	T      FileTagT   `json:"file_tag_t"`
	Sigmas [][]byte   `json:"sigmas"`
	Matrix [][]byte   `json:"matrix"`
	S      int64      `json:"s"`
}

func (PoDR2Prove) PoDR2ProofProve

func (prove PoDR2Prove) PoDR2ProofProve(spk []byte, sharedParams string, sharedG []byte, segmentSize int64) <-chan PoDR2ProveResponse

type PoDR2ProveResponse

type PoDR2ProveResponse struct {
	Sigma     []byte         `json:"sigma"`
	MU        [][]byte       `json:"mu"`
	StatueMsg PoDR2StatueMsg `json:"statue_msg"`
}

type PoDR2StatueMsg

type PoDR2StatueMsg struct {
	StatusCode int    `json:"status"`
	Msg        string `json:"msg"`
}

type PoDR2Verify

type PoDR2Verify struct {
	T      FileTagT   `json:"file_tag_t"`
	QSlice []QElement `json:"q_slice"`
	MU     [][]byte   `json:"mu"`
	Sigma  []byte     `json:"sigma"`
}

func (PoDR2Verify) PoDR2ProofVerify

func (verify PoDR2Verify) PoDR2ProofVerify(SharedG, spk []byte, sharedParams string) bool

type QElement

type QElement struct {
	I int64
	V []byte
}

func PoDR2ChallengeGenerate

func PoDR2ChallengeGenerate(N int64, SharedParams string) []QElement

func PoDR2ChallengeGenerateFromChain

func PoDR2ChallengeGenerateFromChain(blockindex types.Bytes, blockrandom []types.Bytes) ([]QElement, error)

The key of ChallengeMap represents the serial number of the block to be challenged. Please start from 1 to represent the serial number of the block. For example, there are 40 files in total, and the serial number is [1,40]

type T0

type T0 struct {
	Name []byte   `json:"name"`
	N    int64    `json:"n"`
	U    [][]byte `json:"u"`
}

type TagInfo

type TagInfo struct {
	T      FileTagT
	Sigmas [][]byte `json:"sigmas"`
}