mirror of
https://gitlab.com/pulsechaincom/prysm-pulse.git
synced 2024-12-24 12:27:18 +00:00
4008ea736f
* scaffolding for verification package * WIP blob verification methods * lock wrapper for safer forkchoice sharing * more solid cache and verification designs; adding tests * more test coverage, adding missing cache files * clearer func name * remove forkchoice borrower (it's in another PR) * revert temporary interface experiment * lint * nishant feedback * add comments with spec text to all verifications * some comments on public methods * invert confusing verification name * deep source * remove cache from ProposerCache + gaz * more consistently early return on error paths * messed up the test with the wrong config value * terence naming feedback * tests on BeginsAt * lint * deep source... * name errors after failure, not expectation * deep sooource * check len()==0 instead of nil so empty lists work * update test for EIP-7044 --------- Co-authored-by: Kasey Kirkham <kasey@users.noreply.github.com>
54 lines
1.7 KiB
Go
54 lines
1.7 KiB
Go
package kzg
|
|
|
|
import (
|
|
"fmt"
|
|
|
|
GoKZG "github.com/crate-crypto/go-kzg-4844"
|
|
"github.com/prysmaticlabs/prysm/v4/consensus-types/blocks"
|
|
ethpb "github.com/prysmaticlabs/prysm/v4/proto/prysm/v1alpha1"
|
|
)
|
|
|
|
// IsDataAvailable checks that
|
|
// - all blobs in the block are available
|
|
// - Expected KZG commitments match the number of blobs in the block
|
|
// - That the number of proofs match the number of blobs
|
|
// - That the proofs are verified against the KZG commitments
|
|
func IsDataAvailable(commitments [][]byte, sidecars []*ethpb.DeprecatedBlobSidecar) error {
|
|
if len(commitments) != len(sidecars) {
|
|
return fmt.Errorf("could not check data availability, expected %d commitments, obtained %d",
|
|
len(commitments), len(sidecars))
|
|
}
|
|
if len(commitments) == 0 {
|
|
return nil
|
|
}
|
|
blobs := make([]GoKZG.Blob, len(commitments))
|
|
proofs := make([]GoKZG.KZGProof, len(commitments))
|
|
cmts := make([]GoKZG.KZGCommitment, len(commitments))
|
|
for i, sidecar := range sidecars {
|
|
blobs[i] = bytesToBlob(sidecar.Blob)
|
|
proofs[i] = bytesToKZGProof(sidecar.KzgProof)
|
|
cmts[i] = bytesToCommitment(commitments[i])
|
|
}
|
|
return kzgContext.VerifyBlobKZGProofBatch(blobs, cmts, proofs)
|
|
}
|
|
|
|
// VerifyROBlobCommitment is a helper that massages the fields of an ROBlob into the types needed to call VerifyBlobKZGProof.
|
|
func VerifyROBlobCommitment(sc blocks.ROBlob) error {
|
|
return kzgContext.VerifyBlobKZGProof(bytesToBlob(sc.Blob), bytesToCommitment(sc.KzgCommitment), bytesToKZGProof(sc.KzgProof))
|
|
}
|
|
|
|
func bytesToBlob(blob []byte) (ret GoKZG.Blob) {
|
|
copy(ret[:], blob)
|
|
return
|
|
}
|
|
|
|
func bytesToCommitment(commitment []byte) (ret GoKZG.KZGCommitment) {
|
|
copy(ret[:], commitment)
|
|
return
|
|
}
|
|
|
|
func bytesToKZGProof(proof []byte) (ret GoKZG.KZGProof) {
|
|
copy(ret[:], proof)
|
|
return
|
|
}
|