Bind Kimchi to operator

Author: gabrielbosio

common/proving_systems.go

@@ -15,10 +15,11 @@ const (
 	Halo2KZG
 	Halo2IPA
 	Risc0
+	Mina
 )
 
 func (t *ProvingSystemId) String() string {
-	return [...]string{"GnarkPlonkBls12_381", "GnarkPlonkBn254", "Groth16Bn254", "SP1", "Halo2IPA"}[*t]
+	return [...]string{"GnarkPlonkBls12_381", "GnarkPlonkBn254", "Groth16Bn254", "SP1", "Halo2IPA", "Mina"}[*t]
 }
 
 func ProvingSystemIdFromString(provingSystem string) (ProvingSystemId, error) {
@@ -37,6 +38,8 @@ func ProvingSystemIdFromString(provingSystem string) (ProvingSystemId, error) {
 		return Halo2IPA, nil
 	case "Risc0":
 		return Risc0, nil
+	case "Mina":
+		return Mina, nil
 	}
 
 	return 0, fmt.Errorf("unknown proving system: %s", provingSystem)
@@ -58,6 +61,8 @@ func ProvingSystemIdToString(provingSystem ProvingSystemId) (string, error) {
 		return "Halo2IPA", nil
 	case Risc0:
 		return "Risc0", nil
+	case Mina:
+		return "Mina", nil
 	}
 
 	return "", fmt.Errorf("unknown proving system: %d", provingSystem)

operator/kimchi/kimchi.go

@@ -0,0 +1,21 @@
+package kimchi
+
+/*
+#cgo darwin LDFLAGS: -L./lib -lkimchi_verifier
+#cgo linux LDFLAGS: -L./lib -lkimchi_verifier -ldl -lrt -lm
+
+#include "lib/kimchi.h"
+*/
+import "C"
+import (
+	"unsafe"
+)
+
+const MAX_PROOF_SIZE = 10 * 1024
+const MAX_PUB_INPUT_SIZE = 3 * 1024 * 1024
+
+func VerifyKimchiProof(proofBuffer [MAX_PROOF_SIZE]byte, proofLen uint, pubInputBuffer [MAX_PUB_INPUT_SIZE]byte, pubInputLen uint) bool {
+	proofPtr := (*C.uchar)(unsafe.Pointer(&proofBuffer[0]))
+	pubInputPtr := (*C.uchar)(unsafe.Pointer(&pubInputBuffer[0]))
+	return (bool)(C.verify_kimchi_proof_ffi(proofPtr, (C.uint)(proofLen), pubInputPtr, (C.uint)(pubInputLen)))
+}

operator/kimchi/kimchi_test.go

@@ -0,0 +1,37 @@
+package kimchi_test
+
+import (
+	"fmt"
+	"os"
+	"testing"
+
+	"github.com/yetanotherco/aligned_layer/operator/kimchi"
+)
+
+func TestEcAddKimchiProofVerifies(t *testing.T) {
+	fmt.Println(os.Getwd())
+	proofFile, err := os.Open("lib/kimchi_ec_add.proof")
+	if err != nil {
+		t.Errorf("could not open kimchi proof file")
+	}
+
+	proofBuffer := make([]byte, kimchi.MAX_PROOF_SIZE)
+	proofLen, err := proofFile.Read(proofBuffer)
+	if err != nil {
+		t.Errorf("could not read bytes from kimchi proof file")
+	}
+
+	pubInputFile, err := os.Open("lib/kimchi_verifier_index.bin")
+	if err != nil {
+		t.Errorf("could not open kimchi aggregated public input file")
+	}
+	pubInputBuffer := make([]byte, kimchi.MAX_PUB_INPUT_SIZE)
+	pubInputLen, err := pubInputFile.Read(pubInputBuffer)
+	if err != nil {
+		t.Errorf("could not read bytes from kimchi aggregated public input")
+	}
+
+	if !kimchi.VerifyKimchiProof(([kimchi.MAX_PROOF_SIZE]byte)(proofBuffer), uint(proofLen), ([kimchi.MAX_PUB_INPUT_SIZE]byte)(pubInputBuffer), uint(pubInputLen)) {
+		t.Errorf("proof did not verify")
+	}
+}

operator/kimchi/lib/.gitignore

@@ -0,0 +1,2 @@
+/target
+