mirror of
https://github.com/sigp/lighthouse.git
synced 2026-03-20 05:14:35 +00:00
2cfcb51207
* Move to using references in ckzg functions * cleanup TrustedSetup a bit * Remove BYTES_PER_FIELD_ELEMENT from KzgPreset
80 lines
2.5 KiB
Rust
80 lines
2.5 KiB
Rust
use kzg::{Error as KzgError, Kzg, KzgPreset};
|
|
use types::{Blob, EthSpec, Hash256, KzgCommitment, KzgProof};
|
|
|
|
/// Converts a blob ssz List object to an array to be used with the kzg
|
|
/// crypto library.
|
|
fn ssz_blob_to_crypto_blob<T: EthSpec>(
|
|
blob: &Blob<T>,
|
|
) -> Result<<<T as EthSpec>::Kzg as KzgPreset>::Blob, KzgError> {
|
|
T::blob_from_bytes(blob.as_ref())
|
|
}
|
|
|
|
/// Validate a single blob-commitment-proof triplet from a `BlobSidecar`.
|
|
pub fn validate_blob<T: EthSpec>(
|
|
kzg: &Kzg<T::Kzg>,
|
|
blob: Blob<T>,
|
|
kzg_commitment: KzgCommitment,
|
|
kzg_proof: KzgProof,
|
|
) -> Result<bool, KzgError> {
|
|
kzg.verify_blob_kzg_proof(
|
|
&ssz_blob_to_crypto_blob::<T>(&blob)?,
|
|
kzg_commitment,
|
|
kzg_proof,
|
|
)
|
|
}
|
|
|
|
/// Validate a batch of blob-commitment-proof triplets from multiple `BlobSidecars`.
|
|
pub fn validate_blobs<T: EthSpec>(
|
|
kzg: &Kzg<T::Kzg>,
|
|
expected_kzg_commitments: &[KzgCommitment],
|
|
blobs: &[Blob<T>],
|
|
kzg_proofs: &[KzgProof],
|
|
) -> Result<bool, KzgError> {
|
|
let blobs = blobs
|
|
.iter()
|
|
.map(|blob| ssz_blob_to_crypto_blob::<T>(blob)) // Avoid this clone
|
|
.collect::<Result<Vec<_>, KzgError>>()?;
|
|
|
|
kzg.verify_blob_kzg_proof_batch(&blobs, expected_kzg_commitments, kzg_proofs)
|
|
}
|
|
|
|
/// Compute the kzg proof given an ssz blob and its kzg commitment.
|
|
pub fn compute_blob_kzg_proof<T: EthSpec>(
|
|
kzg: &Kzg<T::Kzg>,
|
|
blob: &Blob<T>,
|
|
kzg_commitment: KzgCommitment,
|
|
) -> Result<KzgProof, KzgError> {
|
|
// Avoid this blob clone
|
|
kzg.compute_blob_kzg_proof(&ssz_blob_to_crypto_blob::<T>(blob)?, kzg_commitment)
|
|
}
|
|
|
|
/// Compute the kzg commitment for a given blob.
|
|
pub fn blob_to_kzg_commitment<T: EthSpec>(
|
|
kzg: &Kzg<T::Kzg>,
|
|
blob: &Blob<T>,
|
|
) -> Result<KzgCommitment, KzgError> {
|
|
kzg.blob_to_kzg_commitment(&ssz_blob_to_crypto_blob::<T>(blob)?)
|
|
}
|
|
|
|
/// Compute the kzg proof for a given blob and an evaluation point z.
|
|
pub fn compute_kzg_proof<T: EthSpec>(
|
|
kzg: &Kzg<T::Kzg>,
|
|
blob: &Blob<T>,
|
|
z: Hash256,
|
|
) -> Result<(KzgProof, Hash256), KzgError> {
|
|
let z = z.0.into();
|
|
kzg.compute_kzg_proof(&ssz_blob_to_crypto_blob::<T>(blob)?, &z)
|
|
.map(|(proof, z)| (proof, Hash256::from_slice(&z.to_vec())))
|
|
}
|
|
|
|
/// Verify a `kzg_proof` for a `kzg_commitment` that evaluating a polynomial at `z` results in `y`
|
|
pub fn verify_kzg_proof<T: EthSpec>(
|
|
kzg: &Kzg<T::Kzg>,
|
|
kzg_commitment: KzgCommitment,
|
|
kzg_proof: KzgProof,
|
|
z: Hash256,
|
|
y: Hash256,
|
|
) -> Result<bool, KzgError> {
|
|
kzg.verify_kzg_proof(kzg_commitment, &z.0.into(), &y.0.into(), kzg_proof)
|
|
}
|