Function VerifyCircuitFile

ecgo/rust/wrapper/wrapper.go:235–245

(circuitFilename string, witness []byte, proof []byte, configId uint64)

}

func VerifyCircuitFile(circuitFilename string, witness []byte, proof []byte, configId uint64) bool {
	initCompilePtr()
	bytesFn := []byte(circuitFilename)
	cf := C.ByteArray{data: (*C.uint8_t)(C.CBytes(bytesFn)), length: C.uint64_t(len(bytesFn))}
	defer C.free(unsafe.Pointer(cf.data))
	wi := C.ByteArray{data: (*C.uint8_t)(C.CBytes(witness)), length: C.uint64_t(len(witness))}
	defer C.free(unsafe.Pointer(wi.data))
	pr := C.ByteArray{data: (*C.uint8_t)(C.CBytes(proof)), length: C.uint64_t(len(proof))}
	defer C.free(unsafe.Pointer(pr.data))
	return C.verify_circuit_file(verifyCircuitFilePtr, cf, wi, pr, C.uint64_t(configId)) != 0
}