fix

Author: antoniolocascio

tests/fuzzer/Cargo.lock

@@ -51,7 +51,7 @@ fn fuzz(data: &[u8]) {
 
     let mut dst = dst.clone();
 
-    let _ = EcRecoverImpl::execute(
+    let _ = EcRecoverImpl::<false>::execute(
         &src.as_slice()[0..n],
         &mut dst,
         &mut resource,

tests/fuzzer/fuzz/fuzz_targets/system_functions/ecrecover.rs

@@ -69,19 +69,19 @@ pub fn p256_verify(src: &[u8], dst: &mut Vec<u8>) -> Result<(), SubsystemError<P
 pub fn ecrecover(src: &[u8], dst: &mut Vec<u8>) -> Result<(), SubsystemError<Secp256k1ECRecoverErrors>> {
     let allocator = std::alloc::Global;
     let mut resource = <BaseResources<DecreasingNative> as Resource>::FORMAL_INFINITE;
-    EcRecoverImpl::execute(&src, dst, &mut resource, &mut DummyOracle, &mut NullLogger, allocator)
+    EcRecoverImpl::<false>::execute(&src, dst, &mut resource, &mut DummyOracle, &mut NullLogger, allocator)
 }
 
 /// ecrecover using native field operations oracle (for comparing oracle vs non-oracle paths)
 pub fn ecrecover_with_oracle(src: &[u8], dst: &mut Vec<u8>) -> Result<(), SubsystemError<Secp256k1ECRecoverErrors>> {
     use callable_oracles::field_hints::NativeFieldOpsQuery;
     use oracle_provider::{DummyMemorySource, ZkEENonDeterminismSource};
-    
+
     let allocator = std::alloc::Global;
     let mut resource = <BaseResources<DecreasingNative> as Resource>::FORMAL_INFINITE;
     let mut oracle = ZkEENonDeterminismSource::<DummyMemorySource>::default();
     oracle.add_external_processor(NativeFieldOpsQuery::<DummyMemorySource>::default());
-    EcRecoverImpl::execute(&src, dst, &mut resource, &mut oracle, &mut NullLogger, allocator)
+    EcRecoverImpl::<true>::execute(&src, dst, &mut resource, &mut oracle, &mut NullLogger, allocator)
 }
 
 pub fn pairing(src: &[u8], dst: &mut Vec<u8>) -> Result<(), SubsystemError<Bn254PairingCheckErrors>> {
@@ -94,4 +94,4 @@ pub fn kzg(src: &[u8], dst: &mut Vec<u8>) -> Result<(), SubsystemError<PointEval
     let allocator = std::alloc::Global;
     let mut resource = <BaseResources<DecreasingNative> as Resource>::FORMAL_INFINITE;
     PointEvaluationImpl::execute(&src, dst, &mut resource, allocator)
-}
+}

tests/fuzzer/fuzz/wrappers/fuzz_precompiles_forward/src/precompiles.rs

@@ -31,7 +31,7 @@ use forward_system::run::result_keeper::ProverInputResultKeeper;
 use forward_system::run::test_impl::{InMemoryPreimageSource, InMemoryTree, NoopTxCallback};
 use forward_system::system::bootloader::run_forward_no_panic;
 use forward_system::system::bootloader::run_prover_input_no_panic;
-use forward_system::system::system_types::ethereum::EthereumStorageSystemTypesWithPostOps;
+use forward_system::system::system_types::ethereum::EthereumStorageSystemTypes;
 use forward_system::system::system_types::ForwardRunningSystem;
 use log::warn;
 use log::{debug, info, trace};
@@ -892,8 +892,8 @@ impl<const RANDOMIZED_TREE: bool> Chain<RANDOMIZED_TREE> {
         let mut nop_validator = NopTxValidator;
 
         BasicBootloader::<
-            EthereumStorageSystemTypesWithPostOps<_>,
-            EthereumTransactionFlow<EthereumStorageSystemTypesWithPostOps<_>>,
+            EthereumStorageSystemTypes<_>,
+            EthereumTransactionFlow<EthereumStorageSystemTypes<_>>,
         >::run_prepared::<BasicBootloaderForwardETHLikeConfig>(
             oracle,
             &mut (),