proving&verifying in swift works

generated/noir_swift/noir_swift.h

@@ -1,6 +1,5 @@
 // File automatically generated by swift-bridge.
 #include <stdint.h>
-#include <stdbool.h>
 typedef struct Proof Proof;
 void __swift_bridge__$Proof$_free(void* self);
 
@@ -14,6 +13,6 @@ uintptr_t __swift_bridge__$Vec_Proof$len(void* vec_ptr);
 void* __swift_bridge__$Vec_Proof$as_ptr(void* vec_ptr);
 
 void* __swift_bridge__$prove_swift(void* circuit_bytecode, void* initial_witness_vec_raw);
-bool __swift_bridge__$verify_swift(void* circuit_bytecode, void* proof);
+struct __private__OptionBool __swift_bridge__$verify_swift(void* circuit_bytecode, void* proof);
 
 

generated/noir_swift/noir_swift.swift

@@ -1,8 +1,8 @@
-public func prove_swift<GenericIntoRustString: IntoRustString>(_ circuit_bytecode: GenericIntoRustString, _ initial_witness_vec_raw: RustVec<Int32>) -> Proof {
-    Proof(ptr: __swift_bridge__$prove_swift({ let rustString = circuit_bytecode.intoRustString(); rustString.isOwned = false; return rustString.ptr }(), { let val = initial_witness_vec_raw; val.isOwned = false; return val.ptr }()))
+public func prove_swift<GenericIntoRustString: IntoRustString>(_ circuit_bytecode: GenericIntoRustString, _ initial_witness_vec_raw: RustVec<Int32>) -> Optional<Proof> {
+    { let val = __swift_bridge__$prove_swift({ let rustString = circuit_bytecode.intoRustString(); rustString.isOwned = false; return rustString.ptr }(), { let val = initial_witness_vec_raw; val.isOwned = false; return val.ptr }()); if val != nil { return Proof(ptr: val!) } else { return nil } }()
 }
-public func verify_swift<GenericIntoRustString: IntoRustString>(_ circuit_bytecode: GenericIntoRustString, _ proof: Proof) -> Bool {
-    __swift_bridge__$verify_swift({ let rustString = circuit_bytecode.intoRustString(); rustString.isOwned = false; return rustString.ptr }(), {proof.isOwned = false; return proof.ptr;}())
+public func verify_swift<GenericIntoRustString: IntoRustString>(_ circuit_bytecode: GenericIntoRustString, _ proof: Proof) -> Optional<Bool> {
+    __swift_bridge__$verify_swift({ let rustString = circuit_bytecode.intoRustString(); rustString.isOwned = false; return rustString.ptr }(), {proof.isOwned = false; return proof.ptr;}()).intoSwiftRepr()
 }
 
 public class Proof: ProofRefMut {

src/lib.rs

@@ -7,8 +7,11 @@ use noir_rs::{
 mod ffi {
     extern "Rust" {
         type Proof;
-        fn prove_swift(circuit_bytecode: String, initial_witness_vec_raw: Vec<i32>) -> Proof;
-        fn verify_swift(circuit_bytecode: String, proof: Proof) -> bool;
+        fn prove_swift(
+            circuit_bytecode: String,
+            initial_witness_vec_raw: Vec<i32>,
+        ) -> Option<Proof>;
+        fn verify_swift(circuit_bytecode: String, proof: Proof) -> Option<bool>;
     }
 }
 
@@ -17,7 +20,7 @@ pub struct Proof {
     pub verification_key: Vec<u8>,
 }
 
-pub fn prove_swift(circuit_bytecode: String, initial_witness_vec_raw: Vec<i32>) -> Proof {
+pub fn prove_swift(circuit_bytecode: String, initial_witness_vec_raw: Vec<i32>) -> Option<Proof> {
     let initial_witness_vec: Vec<FieldElement> = initial_witness_vec_raw
         .into_iter()
         .map(|f| f as i128)
@@ -28,15 +31,15 @@ pub fn prove_swift(circuit_bytecode: String, initial_witness_vec_raw: Vec<i32>)
         initial_witness.insert(Witness(i as u32 + 1), witness);
     }
 
-    let (proof, verification_key) = prove(circuit_bytecode, initial_witness).unwrap();
-    Proof {
+    let (proof, verification_key) = prove(circuit_bytecode, initial_witness).ok()?;
+    Some(Proof {
         proof,
         verification_key,
-    }
+    })
 }
 
-pub fn verify_swift(circuit_bytecode: String, proof: Proof) -> bool {
-    verify(circuit_bytecode, proof.proof, proof.verification_key).unwrap()
+pub fn verify_swift(circuit_bytecode: String, proof: Proof) -> Option<bool> {
+    verify(circuit_bytecode, proof.proof, proof.verification_key).ok()
 }
 
 #[cfg(test)]
@@ -47,8 +50,8 @@ mod tests {
 
     #[test]
     fn test_prove_verify() {
-        let proof = prove_swift(String::from(BYTECODE), vec![1_i32, 10_i32]);
-        let verdict = verify_swift(String::from(BYTECODE), proof);
+        let proof = prove_swift(String::from(BYTECODE), vec![1_i32, 10_i32]).unwrap();
+        let verdict = verify_swift(String::from(BYTECODE), proof).unwrap();
         assert!(verdict);
     }
 }

swift/bridging-header.h

@@ -1,7 +1,7 @@
 #ifndef BridgingHeader_h
 #define BridgingHeader_h
 
-#include "../generated/noir_swift/noir_swift.h"
 #include "../generated/SwiftBridgeCore.h"
+#include "../generated/noir_swift/noir_swift.h"
 
 #endif /* BridgingHeader_h */

swift/main.swift

@@ -1,12 +1,15 @@
 let BYTECODE = "H4sIAAAAAAAA/7WTMRLEIAhFMYkp9ywgGrHbq6yz5v5H2JkdCyaxC9LgWDw+H9gBwMM91p7fPeOzIKdYjEeMLYdGTB8MpUrCmOohJJQkfYMwN4mSSy0ZC0VudKbCZ4cthqzVrsc/yw28dMZeWmrWerfBexnsxD6hJ7jUufr4GvyZFp8xpG0C14Pd8s/q29vPCBXypvmpDx7sD8opnfqIfsM1RNtxBQAA"
 
 func testProveVerify() -> Bool {
-    let vec = RustVec<Int32>();
+    let vec = RustVec<Int32>()
     vec.push(value: 1)
     vec.push(value: 2)
-    let proof = prove_swift(BYTECODE, vec)
-    return verify_swift(BYTECODE, proof)
+
+    guard let proof = prove_swift(BYTECODE, vec) else {
+        return false
+    }
+
+    return verify_swift(BYTECODE, proof) ?? false
 }
 
-// Call the function
 print(testProveVerify())