Commit mina header and lib

Makefile

@@ -10,6 +10,8 @@ GORUN = env GO111MODULE=on go run
 
 mina:
 	cd mina && cargo build --release
+	cp mina/target/mina.h mina/lib/mina.h
+	cp mina/target/release/libmina.a mina/lib/libmina.a
 
 geth: mina
 	$(GORUN) build/ci.go install ./cmd/geth

core/vm/mina_contracts.go

@@ -27,8 +27,8 @@ package vm
 // }
 
 /*
-#cgo LDFLAGS: ${SRCDIR}/../../mina/target/release/libmina.a -ldl
-#include "../../mina/target/mina.h"
+#cgo LDFLAGS: ${SRCDIR}/../../mina/lib/libmina.a -ldl
+#include "../../mina/lib/mina.h"
 */
 import "C"
 import (

mina/lib/mina.h

@@ -0,0 +1,20 @@
+#include <stdarg.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdlib.h>
+
+#define FIELD_SIZE 32
+
+bool poseidon(uint8_t network_id,
+              const uint8_t *field_ptr,
+              uintptr_t field_len,
+              uint8_t *output_ptr);
+
+bool verify(uint8_t network_id,
+            const uint8_t *pubkey_x,
+            const uint8_t *pubkey_y,
+            const uint8_t *sig_rx,
+            const uint8_t *sig_s,
+            const uint8_t *field_ptr,
+            uintptr_t field_len,
+            bool *output_ptr);