Remove unused batched-LDE wrapper functions

coset_lde_batch_base_into_with_merkle_tree, coset_lde_batch_ext3_into_with_merkle_tree, and coset_lde_batch_ext3_into_with_leaf_hash have no callers anywhere (only their own definitions + an assert-message string). They are thin non-keep wrappers over the *_inner functions, which stay live via the *_keep variants (the R1 GPU path, called from stark::gpu_lde) and coset_lde_batch_base_into_with_leaf_hash. Pure deletion, -75 lines.

Author: MauroToscano

crypto/math-cuda/src/lde.rs

@@ -617,33 +617,6 @@ pub fn coset_lde_batch_base_into_with_leaf_hash(
     .map(|_| ())
 }
 
-/// Like `coset_lde_batch_base_into_with_leaf_hash`, but also builds the full
-/// Merkle tree on device and returns the `2*lde_size - 1` node buffer back
-/// to the caller in `merkle_nodes_out` (byte length `(2*lde_size - 1) * 32`).
-///
-/// The leaf hashes are never exposed to the caller — they stay on device and
-/// feed straight into the pair-hash tree kernel, avoiding the
-/// pinned→pageable→pinned round-trip that the separate-step GPU tree build
-/// would pay.
-pub fn coset_lde_batch_base_into_with_merkle_tree(
-    columns: &[&[u64]],
-    blowup_factor: usize,
-    weights: &[u64],
-    outputs: &mut [&mut [u64]],
-    merkle_nodes_out: &mut [u8],
-) -> Result<()> {
-    coset_lde_batch_base_into_with_merkle_tree_inner(
-        columns,
-        blowup_factor,
-        weights,
-        outputs,
-        merkle_nodes_out,
-        KeccakCommit::FullTree,
-        false,
-    )
-    .map(|_| ())
-}
-
 /// Fused LDE + leaf-hash + Merkle tree build. If `keep_device_buf` is true,
 /// returns an `Arc<CudaSlice<u64>>` wrapping the LDE device buffer so callers
 /// (R2–R4 GPU paths) can reuse the LDE without a re-H2D.
@@ -828,54 +801,6 @@ fn coset_lde_batch_base_into_with_merkle_tree_inner(
     }
 }
 
-/// Ext3 variant of `coset_lde_batch_base_into_with_leaf_hash`: fused
-/// LDE + Keccak-256 leaf hashing over ext3 columns. Thin wrapper over
-/// `coset_lde_batch_ext3_into_with_merkle_tree_inner` with `LeavesOnly`.
-pub fn coset_lde_batch_ext3_into_with_leaf_hash(
-    columns: &[&[u64]],
-    n: usize,
-    blowup_factor: usize,
-    weights: &[u64],
-    outputs: &mut [&mut [u64]],
-    hashed_leaves_out: &mut [u8],
-) -> Result<()> {
-    coset_lde_batch_ext3_into_with_merkle_tree_inner(
-        columns,
-        n,
-        blowup_factor,
-        weights,
-        outputs,
-        hashed_leaves_out,
-        KeccakCommit::LeavesOnly,
-        false,
-    )
-    .map(|_| ())
-}
-
-/// Ext3 variant of the fused `coset_lde_batch_base_into_with_merkle_tree`.
-/// LDE + leaf hashing + inner-tree build, all on device; D2Hs only the LDE
-/// evaluations and the full `2*lde_size - 1` node buffer.
-pub fn coset_lde_batch_ext3_into_with_merkle_tree(
-    columns: &[&[u64]],
-    n: usize,
-    blowup_factor: usize,
-    weights: &[u64],
-    outputs: &mut [&mut [u64]],
-    merkle_nodes_out: &mut [u8],
-) -> Result<()> {
-    coset_lde_batch_ext3_into_with_merkle_tree_inner(
-        columns,
-        n,
-        blowup_factor,
-        weights,
-        outputs,
-        merkle_nodes_out,
-        KeccakCommit::FullTree,
-        false,
-    )
-    .map(|_| ())
-}
-
 /// Ext3 variant of [`coset_lde_batch_base_into_with_merkle_tree_keep`] —
 /// returns an `Arc<CudaSlice<u64>>` handle to the de-interleaved LDE device
 /// buffer.