apply changes for sanity checks

Author: colinlyguo

common/types/message/message.go

@@ -97,9 +97,9 @@ type BatchTaskDetail struct {
 	ChunkProofs     []ChunkProof `json:"chunk_proofs"`
 	BatchHeader     interface{}  `json:"batch_header"`
 	BlobBytes       []byte       `json:"blob_bytes"`
-	KzgProof        Byte48       `json:"kzg_proof"`
-	KzgCommitment   Byte48       `json:"kzg_commitment"`
-	ChallengeDigest common.Hash  `json:"challenge_digest"`
+	KzgProof        Byte48       `json:"kzg_proof,omitempty"`
+	KzgCommitment   Byte48       `json:"kzg_commitment,omitempty"`
+	ChallengeDigest common.Hash  `json:"challenge_digest,omitempty"`
 }
 
 // BundleTaskDetail consists of all the information required to describe the task to generate a proof for a bundle of batches.

coordinator/internal/logic/provertask/batch_prover_task.go

@@ -294,7 +294,9 @@ func (bp *BatchProverTask) getBatchTaskDetail(dbBatch *orm.Batch, chunkInfos []*
 	taskDetail.KzgProof = message.Byte48{Big: hexutil.Big(*new(big.Int).SetBytes(dbBatch.BlobDataProof[112:160]))}
 	taskDetail.KzgCommitment = message.Byte48{Big: hexutil.Big(*new(big.Int).SetBytes(dbBatch.BlobDataProof[64:112]))}
 	// FIXME: Challenge = ChallengeDigest % BLS_MODULUS, get the original ChallengeDigest.
-	// Currently this is bypassed by disabling the sanity checks in the prover.
+	// Simply omit the field now to skip sanity check in prover side
+	// Resume it later (or FIXME has worked or the prover side has relax its checking)
+	// taskDetail.ChallengeDigest = common.BytesToHash(dbBatch.BlobDataProof[0:32])
 	taskDetail.ChallengeDigest = common.BytesToHash(dbBatch.BlobDataProof[0:32])
 	return taskDetail, nil
 }