diff --git a/crates/cryptography/src/witness.rs b/crates/cryptography/src/witness.rs index faa9d1c..9b42cc7 100644 --- a/crates/cryptography/src/witness.rs +++ b/crates/cryptography/src/witness.rs @@ -28,7 +28,7 @@ pub struct EigenDABlobWitness { pub proofs: Vec, } -/// +/// impl EigenDABlobWitness impl EigenDABlobWitness { /// Create a default struct pub fn new() -> Self { @@ -40,7 +40,7 @@ impl EigenDABlobWitness { } /// This function computes a witness for a eigenDA blob - /// nitro code https://github.com/Layr-Labs/nitro/blob/14f09745b74321f91d1f702c3e7bb5eb7d0e49ce/arbitrator/prover/src/kzgbn254.rs#L141 + /// nitro code /// could refactor in the future, such that both host and client can compute the proof pub fn push_witness(&mut self, blob: &[u8], srs: &SRS) -> Result<(), KzgError> { // TODO check if KZG can just take a reference to srs, it saves memory @@ -120,10 +120,9 @@ impl EigenDABlobWitness { G1Affine::new(x, y) }) .collect(); - let pairing_result = - batch::verify_blob_kzg_proof(&lib_blobs, &lib_commitments, &lib_proofs).unwrap(); - - pairing_result + batch::verify_blob_kzg_proof(&lib_blobs, &lib_commitments, &lib_proofs) + .map_err(|_| false) + .unwrap() } }