update ffi with release_buffer

This commit is contained in:
Dmitriy Ryajov 2024-01-19 14:51:37 -06:00
parent 2ec081f127
commit 05a7531cc5
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4

View File

@ -36,6 +36,8 @@ proc init_circom_compat*(r1cs_path: pointer,
proc release_circom_compat*(ctx_ptr: ptr ptr CircomCompatCtx): void {.importc: "release_circom_compat".}
proc release_buffer*(buff_ptr: ptr ptr Buffer): void {.importc: "release_buffer".}
## # Safety
#
proc push_input_u256_array*(ctx_ptr: ptr CircomCompatCtx,