feat: added validation crate

src/lib.rs

@@ -5,6 +5,7 @@
 extern crate alloc;
 
 mod deserializer;
+pub mod validate;
 
 use deserializer::{deserialize_proof_with_pubs, deserialize_vk};
 

src/validate.rs

@@ -0,0 +1,49 @@
+//! Validation crate centered for plonky2-verifier.
+
+use crate::deserializer::deserialize_vk;
+use crate::DeserializeError;
+use plonky2::plonk::config::{GenericConfig, KeccakGoldilocksConfig, PoseidonGoldilocksConfig};
+use plonky2::util::serialization::DefaultGateSerializer;
+use snafu::Snafu;
+
+/// Validation error.
+#[derive(Debug, Snafu)]
+pub enum ValidateError {
+    /// Invalid data.
+    #[snafu(display("Invalid data: [{}]", cause))]
+    InvalidVK {
+        /// Internal error.
+        #[snafu(source)]
+        cause: DeserializeError,
+    },
+}
+
+impl From<DeserializeError> for ValidateError {
+    fn from(value: DeserializeError) -> Self {
+        ValidateError::InvalidVK { cause: value }
+    }
+}
+
+/// Validate vk with preset Poseidon over Goldilocks config available in `plonky2`.
+/// Uses `DefaultGateSerializer`.
+pub fn validate_vk_default_poseidon(vk: &[u8]) -> Result<(), ValidateError> {
+    const D: usize = 2;
+    type C = PoseidonGoldilocksConfig;
+    type F = <C as GenericConfig<D>>::F;
+
+    deserialize_vk::<F, C, D>(vk, &DefaultGateSerializer)
+        .map(|_| ()) // Discard `Ok` value, map it to `()`
+        .map_err(ValidateError::from) // Convert `DeserializeError` to `ValidateError`
+}
+
+/// Validate vk with preset Keccak over Goldilocks config available in `plonky2`.
+/// Uses `DefaultGateSerializer`.
+pub fn validate_vk_default_keccak(vk: &[u8]) -> Result<(), ValidateError> {
+    const D: usize = 2;
+    type C = KeccakGoldilocksConfig;
+    type F = <C as GenericConfig<D>>::F;
+
+    deserialize_vk::<F, C, D>(vk, &DefaultGateSerializer)
+        .map(|_| ()) // Discard `Ok` value, map it to `()`
+        .map_err(ValidateError::from) // Convert `DeserializeError` to `ValidateError`
+}