refactor: use a single ffi for gnark and circom verifiers

Author: JuArce

crates/batcher/build.rs

@@ -1,13 +1,9 @@
 use std::{env, path::PathBuf, process::Command};
 
-const GO_SRC: &str = "./gnark/verifier.go";
+const GO_SRC: &str = "./verifiers_ffi/verifier.go";
 const GO_OUT: &str = "libverifier.a";
 const GO_LIB: &str = "verifier";
 
-const CIRCOM_SRC: &str = "./circom/verifier.go";
-const CIRCOM_OUT: &str = "libcircomverifier.a";
-const CIRCOM_LIB: &str = "circomverifier";
-
 fn main() {
     let out_dir = PathBuf::from(env::var("OUT_DIR").unwrap());
 
@@ -18,7 +14,7 @@ fn main() {
 
     let _ = get_cmd.output(); // Run but don't fail if it has issues
 
-    // Build gnark library
+    // Build library
     let mut go_build = Command::new("go");
     go_build
         .arg("build")
@@ -29,23 +25,7 @@ fn main() {
 
     go_build.status().expect("Go build failed");
 
-    // Build circom library
-    let mut circom_build = Command::new("go");
-    circom_build
-        .arg("build")
-        .arg("-buildmode=c-archive")
-        .arg("-o")
-        .arg(out_dir.join(CIRCOM_OUT))
-        .arg(CIRCOM_SRC);
-    
-    let output = circom_build.output().expect("Failed to execute Circom build command");
-    if !output.status.success() {
-        eprintln!("Circom build failed: {}", String::from_utf8_lossy(&output.stderr));
-        panic!("Circom build failed");
-    }
-
     println!("cargo:rerun-if-changed={}", GO_SRC);
-    println!("cargo:rerun-if-changed={}", CIRCOM_SRC);
     println!(
         "cargo:rustc-link-search=native={}",
         out_dir.to_str().unwrap()
@@ -56,5 +36,4 @@ fn main() {
     }
 
     println!("cargo:rustc-link-lib=static={}", GO_LIB);
-    println!("cargo:rustc-link-lib=static={}", CIRCOM_LIB);
 }

crates/batcher/circom/go.mod

@@ -5,6 +5,7 @@ go 1.22.3
 require (
 	github.com/consensys/gnark v0.12.0
 	github.com/consensys/gnark-crypto v0.17.0
+	github.com/yetanotherco/go-circom-prover-verifier v0.0.0-20250618185957-f01a8a8ec4a6
 )
 
 require (
@@ -25,3 +26,5 @@ require (
 	golang.org/x/sys v0.30.0 // indirect
 	rsc.io/tmplfunc v0.0.3 // indirect
 )
+
+require github.com/ethereum/go-ethereum v1.14.0 // indirect

crates/batcher/circom/go.sum

@@ -11,6 +11,7 @@ github.com/consensys/gnark-crypto v0.17.0/go.mod h1:A2URlMHUT81ifJ0UlLzSlm7TmnE3
 github.com/coreos/go-systemd/v22 v22.5.0/go.mod h1:Y58oyj3AT4RCenI/lSvhwexgC+NSVTIJ3seZv2GcEnc=
 github.com/davecgh/go-spew v1.1.1 h1:vj9j/u1bqnvCEfJOwUhtlOARqs3+rkHYY13jYWTU97c=
 github.com/davecgh/go-spew v1.1.1/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
+github.com/ethereum/go-ethereum v1.14.0/go.mod h1:1STrq471D0BQbCX9He0hUj4bHxX2k6mt5nOQJhDNOJ8=
 github.com/fxamacker/cbor/v2 v2.7.0 h1:iM5WgngdRBanHcxugY4JySA0nk1wZorNOpTgCMedv5E=
 github.com/fxamacker/cbor/v2 v2.7.0/go.mod h1:pxXPTn3joSm21Gbwsv0w9OSA2y1HFR9qXEeXQVeNoDQ=
 github.com/godbus/dbus/v5 v5.0.4/go.mod h1:xhWf0FNVPg57R7Z0UbKHbJfkEywrmjJnf7w5xrFpKfA=
@@ -44,6 +45,7 @@ github.com/stretchr/testify v1.10.0 h1:Xv5erBjTwe/5IxqUQTdXv5kgmIvbHo3QQyRwhJsOf
 github.com/stretchr/testify v1.10.0/go.mod h1:r2ic/lqez/lEtzL7wO/rwa5dbSLXVDPFyf8C91i36aY=
 github.com/x448/float16 v0.8.4 h1:qLwI1I70+NjRFUR3zs1JPUCgaCXSh3SW62uAKT1mSBM=
 github.com/x448/float16 v0.8.4/go.mod h1:14CWIYCyZA/cWjXOioeEpHeN/83MdbZDRQHoFcYsOfg=
+github.com/yetanotherco/go-circom-prover-verifier v0.0.0-20250618185957-f01a8a8ec4a6/go.mod h1:A6TUcQ/lvmwAA/Ir8kRMIX5NcIglk8iNKeHF8Nj6Hu0=
 golang.org/x/crypto v0.33.0 h1:IOBPskki6Lysi0lo9qQvbxiQ+FvsCC/YWOecCHAixus=
 golang.org/x/crypto v0.33.0/go.mod h1:bVdXmD7IV/4GdElGPozy6U7lWdRXA4qyRVGJV57uQ5M=
 golang.org/x/sync v0.11.0 h1:GGz8+XQP4FvTTrjZPzNKTMFtSXH80RAzG+5ghFPgK9w=

crates/batcher/circom/verifier.go

@@ -8,13 +8,13 @@ typedef struct ListRef {
   const uint8_t *ptr;
   uintptr_t len;
 } ListRef;
-
-
 */
 import "C"
 
 import (
 	"bytes"
+	"github.com/yetanotherco/go-circom-prover-verifier/parsers"
+	"github.com/yetanotherco/go-circom-prover-verifier/verifier"
 	"log"
 	"unsafe"
 
@@ -119,3 +119,33 @@ func verifyGroth16Proof(proofBytesRef C.ListRef, pubInputBytesRef C.ListRef, ver
 	err = groth16.Verify(proof, verificationKey, pubInput)
 	return err == nil
 }
+
+//export VerifyCircomGroth16ProofBN128
+func VerifyCircomGroth16ProofBN128(proofBytesRef C.ListRef, pubInputBytesRef C.ListRef, verificationKeyBytesRef C.ListRef) bool {
+	proofBytes := listRefToBytes(proofBytesRef)
+	pubInputBytes := listRefToBytes(pubInputBytesRef)
+	verificationKeyBytes := listRefToBytes(verificationKeyBytesRef)
+	print("FFI proofBytes: ", unsafe.Pointer(proofBytesRef.ptr), " len: ", len(proofBytes))
+	print("FFI pubInputBytes: ", unsafe.Pointer(pubInputBytesRef.ptr), " len: ", len(pubInputBytes))
+	print("FFI verificationKeyBytes: ", unsafe.Pointer(verificationKeyBytesRef.ptr), " len: ", len(verificationKeyBytes))
+
+	proof, err := parsers.ParseProof(proofBytes)
+	if err != nil {
+		print("FFI ParseProof error: ", err)
+		return false
+	}
+	public, err := parsers.ParsePublicSignals(pubInputBytes)
+	if err != nil {
+		print("FFI ParsePublicSignals error: ", err)
+		return false
+	}
+	vk, err := parsers.ParseVk(verificationKeyBytes)
+	if err != nil {
+		print("FFI ParseVk error: ", err)
+		return false
+	}
+
+	is_valid := verifier.Verify(vk, proof, public)
+	print("FFI is_valid: ", is_valid)
+	return is_valid
+}