refactor: rename gnark ffis functions

Author: JuArce

crates/batcher/go_verifiers_lib/verifier.go

@@ -35,23 +35,23 @@ func listRefToBytes(listRef C.ListRef) []byte {
 
 func main() {}
 
-//export VerifyPlonkProofBLS12_381
-func VerifyPlonkProofBLS12_381(proofBytes C.ListRef, pubInputBytes C.ListRef, verificationKeyBytes C.ListRef) bool {
-	return verifyPlonkProof(proofBytes, pubInputBytes, verificationKeyBytes, ecc.BLS12_381)
+//export VerifyGnarkPlonkProofBLS12_381
+func VerifyGnarkPlonkProofBLS12_381(proofBytes C.ListRef, pubInputBytes C.ListRef, verificationKeyBytes C.ListRef) bool {
+	return verifyGnarkPlonkProof(proofBytes, pubInputBytes, verificationKeyBytes, ecc.BLS12_381)
 }
 
-//export VerifyPlonkProofBN254
-func VerifyPlonkProofBN254(proofBytes C.ListRef, pubInputBytes C.ListRef, verificationKeyBytes C.ListRef) bool {
-	return verifyPlonkProof(proofBytes, pubInputBytes, verificationKeyBytes, ecc.BN254)
+//export VerifyGnarkPlonkProofBN254
+func VerifyGnarkPlonkProofBN254(proofBytes C.ListRef, pubInputBytes C.ListRef, verificationKeyBytes C.ListRef) bool {
+	return verifyGnarkPlonkProof(proofBytes, pubInputBytes, verificationKeyBytes, ecc.BN254)
 }
 
-//export VerifyGroth16ProofBN254
-func VerifyGroth16ProofBN254(proofBytes C.ListRef, pubInputBytes C.ListRef, verificationKeyBytes C.ListRef) bool {
-	return verifyGroth16Proof(proofBytes, pubInputBytes, verificationKeyBytes, ecc.BN254)
+//export VerifyGnarkGroth16ProofBN254
+func VerifyGnarkGroth16ProofBN254(proofBytes C.ListRef, pubInputBytes C.ListRef, verificationKeyBytes C.ListRef) bool {
+	return verifyGnarkGroth16Proof(proofBytes, pubInputBytes, verificationKeyBytes, ecc.BN254)
 }
 
-// verifyPlonkProof contains the common proof verification logic.
-func verifyPlonkProof(proofBytesRef C.ListRef, pubInputBytesRef C.ListRef, verificationKeyBytesRef C.ListRef, curve ecc.ID) bool {
+// verifyGnarkPlonkProof contains the common proof verification logic.
+func verifyGnarkPlonkProof(proofBytesRef C.ListRef, pubInputBytesRef C.ListRef, verificationKeyBytesRef C.ListRef, curve ecc.ID) bool {
 	proofBytes := listRefToBytes(proofBytesRef)
 	pubInputBytes := listRefToBytes(pubInputBytesRef)
 	verificationKeyBytes := listRefToBytes(verificationKeyBytesRef)
@@ -85,8 +85,8 @@ func verifyPlonkProof(proofBytesRef C.ListRef, pubInputBytesRef C.ListRef, verif
 	return err == nil
 }
 
-// verifyGroth16Proof contains the common proof verification logic.
-func verifyGroth16Proof(proofBytesRef C.ListRef, pubInputBytesRef C.ListRef, verificationKeyBytesRef C.ListRef, curve ecc.ID) bool {
+// verifyGnarkGroth16Proof contains the common proof verification logic.
+func verifyGnarkGroth16Proof(proofBytesRef C.ListRef, pubInputBytesRef C.ListRef, verificationKeyBytesRef C.ListRef, curve ecc.ID) bool {
 	proofBytes := listRefToBytes(proofBytesRef)
 	pubInputBytes := listRefToBytes(pubInputBytesRef)
 	verificationKeyBytes := listRefToBytes(verificationKeyBytesRef)

crates/batcher/src/ffi/gnark_ffi.rs

@@ -1,17 +1,17 @@
 use crate::ffi::list_ref::ListRef;
 
 extern "C" {
-    pub fn VerifyPlonkProofBLS12_381(
+    pub fn VerifyGnarkPlonkProofBLS12_381(
         proof: ListRef,
         public_input: ListRef,
         verification_key: ListRef,
     ) -> bool;
-    pub fn VerifyPlonkProofBN254(
+    pub fn VerifyGnarkPlonkProofBN254(
         proof: ListRef,
         public_input: ListRef,
         verification_key: ListRef,
     ) -> bool;
-    pub fn VerifyGroth16ProofBN254(
+    pub fn VerifyGnarkGroth16ProofBN254(
         proof: ListRef,
         public_input: ListRef,
         verification_key: ListRef,

crates/batcher/src/gnark/mod.rs

@@ -1,5 +1,5 @@
 use crate::ffi::gnark_ffi::{
-    VerifyGroth16ProofBN254, VerifyPlonkProofBLS12_381, VerifyPlonkProofBN254,
+    VerifyGnarkGroth16ProofBN254, VerifyGnarkPlonkProofBLS12_381, VerifyGnarkPlonkProofBN254,
 };
 use aligned_sdk::common::types::ProvingSystemId;
 
@@ -15,13 +15,13 @@ pub fn verify_gnark(
 
     match proving_system {
         ProvingSystemId::GnarkPlonkBn254 => unsafe {
-            VerifyPlonkProofBN254(proof, public_input, verification_key)
+            VerifyGnarkPlonkProofBN254(proof, public_input, verification_key)
         },
         ProvingSystemId::GnarkPlonkBls12_381 => unsafe {
-            VerifyPlonkProofBLS12_381(proof, public_input, verification_key)
+            VerifyGnarkPlonkProofBLS12_381(proof, public_input, verification_key)
         },
         ProvingSystemId::GnarkGroth16Bn254 => unsafe {
-            VerifyGroth16ProofBN254(proof, public_input, verification_key)
+            VerifyGnarkGroth16ProofBN254(proof, public_input, verification_key)
         },
         _ => false,
     }