remove functions from Stack

Author: kpandl

synthesizer/process/src/lib.rs

@@ -62,6 +62,7 @@ use synthesizer_program::{
     Program,
     RegistersLoad,
     RegistersStore,
+    StackKeys,
     StackProgram,
 };
 use synthesizer_snark::{ProvingKey, UniversalSRS, VerifyingKey};

synthesizer/process/src/stack/mod.rs

@@ -466,82 +466,6 @@ impl<N: Network> StackProgramTypes<N> for Stack<N> {
     }
 }
 
-impl<N: Network> Stack<N> {
-    /// Returns `true` if the proving key for the given function name exists.
-    #[inline]
-    pub fn contains_proving_key(&self, function_name: &Identifier<N>) -> bool {
-        self.proving_keys.read().contains_key(function_name)
-    }
-
-    /// Returns `true` if the verifying key for the given function name exists.
-    #[inline]
-    pub fn contains_verifying_key(&self, function_name: &Identifier<N>) -> bool {
-        self.verifying_keys.read().contains_key(function_name)
-    }
-
-    /// Returns the proving key for the given function name.
-    #[inline]
-    pub fn get_proving_key(&self, function_name: &Identifier<N>) -> Result<ProvingKey<N>> {
-        // If the program is 'credits.aleo', try to load the proving key, if it does not exist.
-        self.try_insert_credits_function_proving_key(function_name)?;
-        // Return the proving key, if it exists.
-        match self.proving_keys.read().get(function_name) {
-            Some(proving_key) => Ok(proving_key.clone()),
-            None => bail!("Proving key not found for: {}/{function_name}", self.program.id()),
-        }
-    }
-
-    /// Returns the verifying key for the given function name.
-    #[inline]
-    pub fn get_verifying_key(&self, function_name: &Identifier<N>) -> Result<VerifyingKey<N>> {
-        // Return the verifying key, if it exists.
-        match self.verifying_keys.read().get(function_name) {
-            Some(verifying_key) => Ok(verifying_key.clone()),
-            None => bail!("Verifying key not found for: {}/{function_name}", self.program.id()),
-        }
-    }
-
-    /// Inserts the given proving key for the given function name.
-    #[inline]
-    pub fn insert_proving_key(&self, function_name: &Identifier<N>, proving_key: ProvingKey<N>) -> Result<()> {
-        // Ensure the function name exists in the program.
-        ensure!(
-            self.program.contains_function(function_name),
-            "Function '{function_name}' does not exist in program '{}'.",
-            self.program.id()
-        );
-        // Insert the proving key.
-        self.proving_keys.write().insert(*function_name, proving_key);
-        Ok(())
-    }
-
-    /// Inserts the given verifying key for the given function name.
-    #[inline]
-    pub fn insert_verifying_key(&self, function_name: &Identifier<N>, verifying_key: VerifyingKey<N>) -> Result<()> {
-        // Ensure the function name exists in the program.
-        ensure!(
-            self.program.contains_function(function_name),
-            "Function '{function_name}' does not exist in program '{}'.",
-            self.program.id()
-        );
-        // Insert the verifying key.
-        self.verifying_keys.write().insert(*function_name, verifying_key);
-        Ok(())
-    }
-
-    /// Removes the proving key for the given function name.
-    #[inline]
-    pub fn remove_proving_key(&self, function_name: &Identifier<N>) {
-        self.proving_keys.write().shift_remove(function_name);
-    }
-
-    /// Removes the verifying key for the given function name.
-    #[inline]
-    pub fn remove_verifying_key(&self, function_name: &Identifier<N>) {
-        self.verifying_keys.write().shift_remove(function_name);
-    }
-}
-
 impl<N: Network> Stack<N> {
     /// Inserts the proving key if the program ID is 'credits.aleo'.
     fn try_insert_credits_function_proving_key(&self, function_name: &Identifier<N>) -> Result<()> {