From d8d8bfaec7964ca4321346c8afb368ed2b1fb905 Mon Sep 17 00:00:00 2001 From: Dmitriy Ryajov Date: Tue, 23 Jan 2024 14:26:55 -0600 Subject: [PATCH] bump ffi --- circomcompatffi.nim | 46 ++++++++++++++++++++++------------------ vendor/circom-compat-ffi | 2 +- 2 files changed, 26 insertions(+), 22 deletions(-) diff --git a/circomcompatffi.nim b/circomcompatffi.nim index a5fe107..b48bbd3 100644 --- a/circomcompatffi.nim +++ b/circomcompatffi.nim @@ -28,6 +28,8 @@ const ERR_MAKING_PROOF* = 12 const ERR_SERIALIZE_PROOF* = 13 +const ERR_SERIALIZE_INPUTS* = 14 + type CircomCompatCtx* {.incompleteStruct.} = object @@ -49,12 +51,14 @@ proc release_buffer*(buff_ptr: ptr ptr Buffer): void {.importc: "release_buffer" ## # Safety # proc prove_circuit*(ctx_ptr: ptr CircomCompatCtx, + compress: bool, proof_bytes_ptr: ptr ptr Buffer, inputs_bytes_ptr: ptr ptr Buffer): int32 {.importc: "prove_circuit".} ## # Safety # proc verify_circuit*(ctx_ptr: ptr CircomCompatCtx, + compress: bool, proof_bytes_ptr: ptr Buffer, inputs_bytes_ptr: ptr Buffer): int32 {.importc: "verify_circuit".} @@ -65,30 +69,30 @@ proc push_input_u256_array*(ctx_ptr: ptr CircomCompatCtx, input_ptr: pointer, len: uint): int32 {.importc: "push_input_u256_array".} -proc push_input_numeric_i8*(ctx_ptr: ptr CircomCompatCtx, - name_ptr: pointer, - input: int8): int32 {.importc: "push_input_numeric_i8".} +proc push_input_i8*(ctx_ptr: ptr CircomCompatCtx, + name_ptr: pointer, + input: int8): int32 {.importc: "push_input_i8".} -proc push_input_numeric_u8*(ctx_ptr: ptr CircomCompatCtx, - name_ptr: pointer, - input: uint8): int32 {.importc: "push_input_numeric_u8".} +proc push_input_u8*(ctx_ptr: ptr CircomCompatCtx, + name_ptr: pointer, + input: uint8): int32 {.importc: "push_input_u8".} -proc push_input_numeric_i16*(ctx_ptr: ptr CircomCompatCtx, - name_ptr: pointer, - input: int16): int32 {.importc: "push_input_numeric_i16".} +proc push_input_i16*(ctx_ptr: ptr CircomCompatCtx, + name_ptr: pointer, + input: int16): int32 {.importc: "push_input_i16".} -proc push_input_numeric_u16*(ctx_ptr: ptr CircomCompatCtx, - name_ptr: pointer, - input: uint16): int32 {.importc: "push_input_numeric_u16".} +proc push_input_u16*(ctx_ptr: ptr CircomCompatCtx, + name_ptr: pointer, + input: uint16): int32 {.importc: "push_input_u16".} -proc push_input_numeric_i32*(ctx_ptr: ptr CircomCompatCtx, - name_ptr: pointer, - input: int32): int32 {.importc: "push_input_numeric_i32".} +proc push_input_i32*(ctx_ptr: ptr CircomCompatCtx, + name_ptr: pointer, + input: int32): int32 {.importc: "push_input_i32".} -proc push_input_numeric_u32*(ctx_ptr: ptr CircomCompatCtx, - name_ptr: pointer, - input: uint32): int32 {.importc: "push_input_numeric_u32".} +proc push_input_u32*(ctx_ptr: ptr CircomCompatCtx, + name_ptr: pointer, + input: uint32): int32 {.importc: "push_input_u32".} -proc push_input_numeric_u64*(ctx_ptr: ptr CircomCompatCtx, - name_ptr: pointer, - input: uint64): int32 {.importc: "push_input_numeric_u64".} +proc push_input_u64*(ctx_ptr: ptr CircomCompatCtx, + name_ptr: pointer, + input: uint64): int32 {.importc: "push_input_u64".} diff --git a/vendor/circom-compat-ffi b/vendor/circom-compat-ffi index a20e7cb..aed402f 160000 --- a/vendor/circom-compat-ffi +++ b/vendor/circom-compat-ffi @@ -1 +1 @@ -Subproject commit a20e7cba06b73ae995e75bec719c1b12bf26b24c +Subproject commit aed402f6ee8a2dc225ec2db2eb36d1888aab7790