perf(crypto): run the Silver-style verification on silver_crypto_simd

Cargo.toml

@@ -173,6 +173,10 @@ vergen-git2 = { version = "9", features = ["rustc"] }
 git2 = { version = "0.20", default-features = false }
 
 rayon = "1.11"
+# BLS12-381 decoding and pairings plus PeerDAS cell checks and extension, on
+# AVX-512 IFMA where the CPU has it (runtime detection, no build flags). Used by
+# `ethlambda-crypto`'s `bls` and `ethlambda-state-transition`'s `beacon::kzg`.
+silver_crypto_simd = "0.1.0"
 rand = "0.10"
 lru = "0.16"
 rocksdb = "0.24"

crates/blockchain/state_transition/Cargo.toml

@@ -83,6 +83,10 @@ rayon.workspace = true
 # version and feature set ethrex uses, plus the embedded mainnet trusted setup.
 c-kzg = { version = "2.1.8", features = ["ethereum_kzg_settings"] }
 
+# `beacon::kzg`'s cell extension and cell-proof batch check, on AVX-512 IFMA
+# where the CPU has it; everything else there stays on c-kzg.
+silver_crypto_simd.workspace = true
+
 # Reduction modulo the BLS field order, for the two Fiat-Shamir challenge
 # functions that c-kzg does not export.
 num-bigint = "0.4.6"

crates/blockchain/state_transition/src/beacon/data_columns.rs

@@ -172,8 +172,8 @@ fn column_sidecar(
     let column: Vec<fulu::Cell> = cells_and_proofs
         .iter()
         .map(|(cells, _)| {
-            SszVector::try_from(cells[column_index].to_bytes().to_vec())
-                .expect("a c-kzg cell is BYTES_PER_CELL bytes")
+            SszVector::try_from(cells[column_index].to_vec())
+                .expect("a cell is BYTES_PER_CELL bytes")
         })
         .collect();
     let kzg_proofs: Vec<KzgProof> = cells_and_proofs

crates/blockchain/state_transition/src/beacon/fork_choice.rs

@@ -4401,14 +4401,18 @@ fn verify_column_cells(
     let cell_indices = vec![index; column.len()];
     let mut cells = Vec::with_capacity(column.len());
     for cell in column {
-        cells.push(
-            c_kzg::Cell::from_bytes(&cell[..])
-                .map_err(|_| Error::SpecAssert("len(cell) == BYTES_PER_CELL"))?,
-        );
+        cells.push(kzg_cell(cell)?);
     }
     kzg::verify_cell_kzg_proof_batch(commitments, &cell_indices, &cells, proofs)
 }
 
+/// A column's cell as the KZG module's [`kzg::Cell`].
+fn kzg_cell(cell: &fulu::Cell) -> Result<kzg::Cell> {
+    cell[..]
+        .try_into()
+        .map_err(|_| Error::SpecAssert("len(cell) == BYTES_PER_CELL"))
+}
+
 /// One column's worth of input to [`verify_column_cells_batch`]: the cell
 /// position every cell of the column sits at, the cells, and the commitments
 /// and proofs they are checked against.
@@ -4437,10 +4441,7 @@ pub fn verify_column_cells_batch(columns: &[ColumnCells<'_>]) -> Result<bool> {
     for column in columns {
         cell_indices.extend(std::iter::repeat_n(column.index, column.column.len()));
         for cell in column.column {
-            cells.push(
-                c_kzg::Cell::from_bytes(&cell[..])
-                    .map_err(|_| Error::SpecAssert("len(cell) == BYTES_PER_CELL"))?,
-            );
+            cells.push(kzg_cell(cell)?);
         }
         commitments.extend_from_slice(column.commitments);
         proofs.extend_from_slice(column.proofs);

crates/blockchain/state_transition/src/beacon/gloas_block_production.rs

@@ -320,7 +320,7 @@ pub fn gloas_data_column_sidecars(
             let mut kzg_proofs = Vec::with_capacity(blobs.len());
             for (blob, cells) in per_blob_cells.iter().enumerate() {
                 let cell = ethlambda_types::beacon::containers::fulu::Cell::try_from(
-                    cells[column_index].to_bytes().to_vec(),
+                    cells[column_index].to_vec(),
                 )
                 .map_err(|_| Error::SpecAssert("len(cell) == BYTES_PER_CELL"))?;
                 column.push(cell);

crates/blockchain/state_transition/src/beacon/gossip/column.rs

@@ -1884,10 +1884,8 @@ mod tests {
                 let column: Vec<fulu::Cell> = cells
                     .iter()
                     .map(|blob_cells| {
-                        libssz_types::SszVector::try_from(
-                            blob_cells[index as usize].to_bytes().to_vec(),
-                        )
-                        .expect("exact cell size")
+                        libssz_types::SszVector::try_from(blob_cells[index as usize].to_vec())
+                            .expect("exact cell size")
                     })
                     .collect();
                 let column_proofs: Vec<KzgProof> = proofs