refactor!: Remove trivial snippets

Migration guide for…
- `EqDigest`:      `DataType::Digest.compare()`
- `ReverseDigest`: `pick 1 pick 2 pick 3 pick 4`
- `SwapDigest`:    `pick 9 pick 9 pick 9 pick 9 pick 9`
- `ToTheFourth`:   twice `dup 2 dup 2 dup 2 xx_mul`

Author: jan-ferdinand

tasm-lib/benchmarks/tasmlib_mmr_verify_from_memory.json

@@ -2,8 +2,8 @@
   {
     "name": "tasmlib_mmr_verify_from_memory",
     "benchmark_result": {
-      "clock_cycle_count": 1449,
-      "hash_table_height": 414,
+      "clock_cycle_count": 1447,
+      "hash_table_height": 408,
       "u32_table_height": 1409,
       "op_stack_table_height": 1164,
       "ram_table_height": 161
@@ -13,8 +13,8 @@
   {
     "name": "tasmlib_mmr_verify_from_memory",
     "benchmark_result": {
-      "clock_cycle_count": 2733,
-      "hash_table_height": 600,
+      "clock_cycle_count": 2731,
+      "hash_table_height": 594,
       "u32_table_height": 1568,
       "op_stack_table_height": 2228,
       "ram_table_height": 316

tasm-lib/benchmarks/tasmlib_verifier_out_of_domain_points.json

@@ -2,7 +2,7 @@
   {
     "name": "tasmlib_verifier_out_of_domain_points",
     "benchmark_result": {
-      "clock_cycle_count": 33,
+      "clock_cycle_count": 31,
       "hash_table_height": 36,
       "u32_table_height": 0,
       "op_stack_table_height": 33,
@@ -13,7 +13,7 @@
   {
     "name": "tasmlib_verifier_out_of_domain_points",
     "benchmark_result": {
-      "clock_cycle_count": 33,
+      "clock_cycle_count": 31,
       "hash_table_height": 36,
       "u32_table_height": 0,
       "op_stack_table_height": 33,

tasm-lib/benchmarks/tasmlib_verifier_stark_verify_dynamic_inner_padded_height_256_fri_exp_4.json

@@ -2,7 +2,7 @@
   {
     "name": "tasmlib_verifier_stark_verify_dynamic_inner_padded_height_256_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 187680,
+      "clock_cycle_count": 187678,
       "hash_table_height": 138835,
       "u32_table_height": 25449,
       "op_stack_table_height": 165836,

tasm-lib/benchmarks/tasmlib_verifier_stark_verify_dynamic_inner_padded_height_512_fri_exp_4.json

@@ -2,7 +2,7 @@
   {
     "name": "tasmlib_verifier_stark_verify_dynamic_inner_padded_height_512_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 195184,
+      "clock_cycle_count": 195182,
       "hash_table_height": 146527,
       "u32_table_height": 34071,
       "op_stack_table_height": 170540,

tasm-lib/benchmarks/tasmlib_verifier_stark_verify_static_inner_padded_height_256_fri_exp_4.json

@@ -2,8 +2,8 @@
   {
     "name": "tasmlib_verifier_stark_verify_static_inner_padded_height_256_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 175977,
-      "hash_table_height": 124795,
+      "clock_cycle_count": 175975,
+      "hash_table_height": 124789,
       "u32_table_height": 25449,
       "op_stack_table_height": 158030,
       "ram_table_height": 285271

tasm-lib/benchmarks/tasmlib_verifier_stark_verify_static_inner_padded_height_512_fri_exp_4.json

@@ -2,8 +2,8 @@
   {
     "name": "tasmlib_verifier_stark_verify_static_inner_padded_height_512_fri_exp_4",
     "benchmark_result": {
-      "clock_cycle_count": 183481,
-      "hash_table_height": 132487,
+      "clock_cycle_count": 183479,
+      "hash_table_height": 132481,
       "u32_table_height": 34071,
       "op_stack_table_height": 162734,
       "ram_table_height": 286422

tasm-lib/src/arithmetic/xfe.rs

@@ -1,3 +1,2 @@
 pub mod mod_pow_u32_generic;
-pub mod to_the_fourth;
 pub mod to_the_power_of_power_of_2;

tasm-lib/src/arithmetic/xfe/to_the_fourth.rs

@@ -73,9 +73,6 @@ pub fn name_to_snippet(fn_name: &str) -> Option<Box<dyn BasicSnippet>> {
         )),
 
         // XFieldElement
-        "tasmlib_arithmetic_xfe_to_the_fourth" => {
-            Some(Box::new(crate::arithmetic::xfe::to_the_fourth::ToTheFourth))
-        }
         "tasmlib_arithmetic_xfe_to_the_power_of_power_of_2" => Some(Box::new(
             crate::arithmetic::xfe::to_the_power_of_power_of_2::ToThePowerOfPowerOf2,
         )),
@@ -220,7 +217,6 @@ pub fn name_to_snippet(fn_name: &str) -> Option<Box<dyn BasicSnippet>> {
         "tasmlib_hashing_absorb_multiple" => {
             Some(Box::new(hashing::absorb_multiple::AbsorbMultiple))
         }
-        "tasmlib_hashing_eq_digest" => Some(Box::new(hashing::eq_digest::EqDigest)),
         "tasmlib_hashing_merkle_root" => Some(Box::new(hashing::merkle_root::MerkleRoot)),
         "tasmlib_hashing_merkle_root_from_xfes_generic" => Some(Box::new(
             hashing::merkle_root_from_xfes_generic::MerkleRootFromXfesGeneric,
@@ -232,8 +228,6 @@ pub fn name_to_snippet(fn_name: &str) -> Option<Box<dyn BasicSnippet>> {
             Some(Box::new(hashing::merkle_step_u64_index::MerkleStepU64Index))
         }
         "tasmlib_hashing_merkle_verify" => Some(Box::new(hashing::merkle_verify::MerkleVerify)),
-        "tasmlib_hashing_reverse_digest" => Some(Box::new(hashing::reverse_digest::ReverseDigest)),
-        "tasmlib_hashing_swap_digest" => Some(Box::new(hashing::swap_digest::SwapDigest)),
 
         // Hashing -> algebraic hasher trait
         "tasmlib_hashing_algebraic_hasher_hash_varlen" => {

tasm-lib/src/exported_snippets.rs

@@ -1,16 +1,13 @@
 pub mod absorb_multiple;
 pub mod absorb_multiple_static_size;
 pub mod algebraic_hasher;
-pub mod eq_digest;
 pub mod hash_from_stack;
 pub mod lt_digest;
 pub mod merkle_root;
 pub mod merkle_root_from_xfes_generic;
 pub mod merkle_step_mem_u64_index;
 pub mod merkle_step_u64_index;
 pub mod merkle_verify;
-pub mod reverse_digest;
 pub mod sponge_hasher;
 pub mod squeeze_repeatedly;
 pub mod squeeze_repeatedly_static_number;
-pub mod swap_digest;