1 files changed, 41 insertions, 0 deletions
diff --git a/zkvms/zkm/sdk/src/local/libsnark/libsnark.go b/zkvms/zkm/sdk/src/local/libsnark/libsnark.go
new file mode 100644
index 0000000..9ef5024
--- /dev/null
+++ b/zkvms/zkm/sdk/src/local/libsnark/libsnark.go
@@ -0,0 +1,41 @@
+package main
+
+import (
+	"C"
+)
+//import "fmt"
+
+//export Stark2Snark
+func Stark2Snark(keypath *C.char, inputdir *C.char, outputdir *C.char, result **C.char) C.int {
+	// Convert C strings to Go strings
+	keyPath := C.GoString(keypath)
+	inputDir := C.GoString(inputdir)
+	outputDir := C.GoString(outputdir)
+	var prover SnarkProver
+	err := prover.Prove(keyPath, inputDir, outputDir)
+	if err != nil {
+		//fmt.Printf("Stark2Snark error: %v\n", err)
+		cErrMsg := C.CString(err.Error())
+		*result = cErrMsg
+		return -1
+	}
+	return 0
+}
+
+//export  SetupAndGenerateSolVerifier
+func SetupAndGenerateSolVerifier(inputdir *C.char, result **C.char) C.int {
+	// Convert C strings to Go strings
+	inputDir := C.GoString(inputdir)
+	var prover SnarkProver
+	err := prover.SetupAndGenerateSolVerifier(inputDir)
+	if err != nil {
+		//fmt.Printf("Setup error: %v\n", err)
+		cErrMsg := C.CString(err.Error())
+		*result = cErrMsg
+		return -1
+	}
+	return 0
+}
+
+
+func main() {}