update ffi with release_buffer

This commit is contained in:
Dmitriy Ryajov 2024-01-19 14:51:37 -06:00
parent 90cfd25bd3
commit 7b3d2870c7
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4
1 changed files with 2 additions and 0 deletions

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,