feat(ffi): verify proof with arkzkey

zkmopro · Nov 11, 2023 · 1c78c24 · 1c78c24
1 parent 7d27abc
commit 1c78c24
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 0 deletions.
diff --git a/mopro-ffi/src/lib.rs b/mopro-ffi/src/lib.rs
@@ -76,6 +76,13 @@ pub fn generate_proof2(
     })
 }
 
+pub fn verify_proof2(proof: Vec<u8>, public_input: Vec<u8>) -> Result<bool, MoproError> {
+    let deserialized_proof = circom::serialization::deserialize_proof(proof);
+    let deserialized_public_input = circom::serialization::deserialize_inputs(public_input);
+    let is_valid = circom::verify_proof2(deserialized_proof, deserialized_public_input)?;
+    Ok(is_valid)
+}
+
 // TODO: Use FFIError::SerializationError instead
 impl MoproCircom {
     pub fn new() -> Self {

diff --git a/mopro-ffi/src/mopro.udl b/mopro-ffi/src/mopro.udl
@@ -7,6 +7,9 @@ namespace mopro {
 
   [Throws=MoproError]
   GenerateProofResult generate_proof2(record<string, sequence<string>> circuit_inputs);
+
+  [Throws=MoproError]
+  boolean verify_proof2(bytes proof, bytes public_input);
 };
 
 dictionary SetupResult {

diff --git a/mopro-ios/MoproKit/Include/moproFFI.h b/mopro-ios/MoproKit/Include/moproFFI.h
@@ -88,6 +88,8 @@ void uniffi_mopro_fn_func_initialize_mopro(RustCallStatus *_Nonnull out_status
 );
 RustBuffer uniffi_mopro_fn_func_generate_proof2(RustBuffer circuit_inputs, RustCallStatus *_Nonnull out_status
 );
+int8_t uniffi_mopro_fn_func_verify_proof2(RustBuffer proof, RustBuffer public_input, RustCallStatus *_Nonnull out_status
+);
 RustBuffer ffi_mopro_rustbuffer_alloc(int32_t size, RustCallStatus *_Nonnull out_status
 );
 RustBuffer ffi_mopro_rustbuffer_from_bytes(ForeignBytes bytes, RustCallStatus *_Nonnull out_status
@@ -107,6 +109,9 @@ uint16_t uniffi_mopro_checksum_func_initialize_mopro(void
 );
 uint16_t uniffi_mopro_checksum_func_generate_proof2(void
 
+);
+uint16_t uniffi_mopro_checksum_func_verify_proof2(void
+
 );
 uint16_t uniffi_mopro_checksum_method_moprocircom_setup(void