|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Classes | |
| class | ArrayOperationLinkTests |
| struct | ArrayLengthOpBuildFuncHelper |
| struct | ExtractArrayOpBuildFuncHelper |
| struct | InsertArrayOpBuildFuncHelper |
| struct | ReadArrayOpBuildFuncHelper |
| struct | WriteArrayOpBuildFuncHelper |
Functions | |
| TEST_F (ArrayOperationLinkTests, IsA_Array_ArrayLengthOp) | |
| This test ensures llzkOperationIsA_Array_ArrayLengthOp links properly. | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_Build) | |
| This test ensures llzkArray_ArrayLengthOpBuild links properly. | |
| TEST_F (CAPITest, ArrayLengthOp_build_pass) | |
| This test ensures llzkArrayArrayLengthOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_GetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_SetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_GetDim) | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_SetDim) | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_GetLength) | |
| TEST_F (ArrayOperationLinkTests, llzk_ArrayLengthOp_GetArrRefType) | |
| This test ensures llzkArray_ArrayLengthOpGetArrRefType links properly. | |
| TEST_F (ArrayOperationLinkTests, IsA_Array_CreateArrayOp) | |
| This test ensures llzkOperationIsA_Array_CreateArrayOp links properly. | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetElementsCount) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetElementsAt) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_SetElements_Variadic) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetMapOperandsCount) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetMapOperandsAt) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_SetMapOperands_Variadic) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetNumDimsPerMapAttr) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_SetNumDimsPerMapAttr) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetMapOpGroupSizesAttr) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_SetMapOpGroupSizesAttr) | |
| TEST_F (ArrayOperationLinkTests, llzk_CreateArrayOp_GetResult) | |
| TEST_F (ArrayOperationLinkTests, IsA_Array_ExtractArrayOp) | |
| This test ensures llzkOperationIsA_Array_ExtractArrayOp links properly. | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_Build) | |
| This test ensures llzkArray_ExtractArrayOpBuild links properly. | |
| TEST_F (CAPITest, ExtractArrayOp_build_pass) | |
| This test ensures llzkArrayExtractArrayOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_SetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetIndicesCount) | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetIndicesAt) | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_SetIndices_Variadic) | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetResult) | |
| TEST_F (ArrayOperationLinkTests, llzk_ExtractArrayOp_GetArrRefType) | |
| This test ensures llzkArray_ExtractArrayOpGetArrRefType links properly. | |
| TEST_F (ArrayOperationLinkTests, IsA_Array_InsertArrayOp) | |
| This test ensures llzkOperationIsA_Array_InsertArrayOp links properly. | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_Build) | |
| This test ensures llzkArray_InsertArrayOpBuild links properly. | |
| TEST_F (CAPITest, InsertArrayOp_build_pass) | |
| This test ensures llzkArrayInsertArrayOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_SetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetIndicesCount) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetIndicesAt) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_SetIndices_Variadic) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetRvalue) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_SetRvalue) | |
| TEST_F (ArrayOperationLinkTests, llzk_InsertArrayOp_GetArrRefType) | |
| This test ensures llzkArray_InsertArrayOpGetArrRefType links properly. | |
| TEST_F (ArrayOperationLinkTests, IsA_Array_ReadArrayOp) | |
| This test ensures llzkOperationIsA_Array_ReadArrayOp links properly. | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_Build) | |
| This test ensures llzkArray_ReadArrayOpBuild links properly. | |
| TEST_F (CAPITest, ReadArrayOp_build_pass) | |
| This test ensures llzkArrayReadArrayOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_SetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetIndicesCount) | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetIndicesAt) | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_SetIndices_Variadic) | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetResult) | |
| TEST_F (ArrayOperationLinkTests, llzk_ReadArrayOp_GetArrRefType) | |
| This test ensures llzkArray_ReadArrayOpGetArrRefType links properly. | |
| TEST_F (ArrayOperationLinkTests, IsA_Array_WriteArrayOp) | |
| This test ensures llzkOperationIsA_Array_WriteArrayOp links properly. | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_Build) | |
| This test ensures llzkArray_WriteArrayOpBuild links properly. | |
| TEST_F (CAPITest, WriteArrayOp_build_pass) | |
| This test ensures llzkArrayWriteArrayOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_SetArrRef) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetIndicesCount) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetIndicesAt) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_SetIndices_Variadic) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetRvalue) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_SetRvalue) | |
| TEST_F (ArrayOperationLinkTests, llzk_WriteArrayOp_GetArrRefType) | |
| This test ensures llzkArray_WriteArrayOpGetArrRefType links properly. | |
| TEST_F | ( | ArrayOperationLinkTests | , |
| IsA_Array_ArrayLengthOp | ) |
This test ensures llzkOperationIsA_Array_ArrayLengthOp links properly.
Definition at line 13 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| IsA_Array_CreateArrayOp | ) |
This test ensures llzkOperationIsA_Array_CreateArrayOp links properly.
Definition at line 121 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| IsA_Array_ExtractArrayOp | ) |
This test ensures llzkOperationIsA_Array_ExtractArrayOp links properly.
Definition at line 245 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| IsA_Array_InsertArrayOp | ) |
This test ensures llzkOperationIsA_Array_InsertArrayOp links properly.
Definition at line 367 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| IsA_Array_ReadArrayOp | ) |
This test ensures llzkOperationIsA_Array_ReadArrayOp links properly.
Definition at line 499 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| IsA_Array_WriteArrayOp | ) |
This test ensures llzkOperationIsA_Array_WriteArrayOp links properly.
Definition at line 621 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_Build | ) |
This test ensures llzkArray_ArrayLengthOpBuild links properly.
Definition at line 23 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_GetArrRef | ) |
Definition at line 56 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_GetArrRefType | ) |
This test ensures llzkArray_ArrayLengthOpGetArrRefType links properly.
Definition at line 109 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_GetDim | ) |
Definition at line 77 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_GetLength | ) |
Definition at line 98 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_SetArrRef | ) |
Definition at line 66 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ArrayLengthOp_SetDim | ) |
Definition at line 87 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetElementsAt | ) |
Definition at line 140 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetElementsCount | ) |
Definition at line 130 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetMapOperandsAt | ) |
Definition at line 172 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetMapOperandsCount | ) |
Definition at line 162 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetMapOpGroupSizesAttr | ) |
Definition at line 214 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetNumDimsPerMapAttr | ) |
Definition at line 194 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_GetResult | ) |
Definition at line 234 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_SetElements_Variadic | ) |
Definition at line 150 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_SetMapOperands_Variadic | ) |
Definition at line 182 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_SetMapOpGroupSizesAttr | ) |
Definition at line 224 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_CreateArrayOp_SetNumDimsPerMapAttr | ) |
Definition at line 204 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_Build | ) |
This test ensures llzkArray_ExtractArrayOpBuild links properly.
Definition at line 255 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_GetArrRef | ) |
Definition at line 291 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_GetArrRefType | ) |
This test ensures llzkArray_ExtractArrayOpGetArrRefType links properly.
Definition at line 355 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_GetIndicesAt | ) |
Definition at line 322 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_GetIndicesCount | ) |
Definition at line 312 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_GetResult | ) |
Definition at line 344 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_SetArrRef | ) |
Definition at line 301 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ExtractArrayOp_SetIndices_Variadic | ) |
Definition at line 332 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_Build | ) |
This test ensures llzkArray_InsertArrayOpBuild links properly.
Definition at line 377 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_GetArrRef | ) |
Definition at line 412 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_GetArrRefType | ) |
This test ensures llzkArray_InsertArrayOpGetArrRefType links properly.
Definition at line 487 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_GetIndicesAt | ) |
Definition at line 443 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_GetIndicesCount | ) |
Definition at line 433 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_GetRvalue | ) |
Definition at line 465 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_SetArrRef | ) |
Definition at line 422 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_SetIndices_Variadic | ) |
Definition at line 453 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_InsertArrayOp_SetRvalue | ) |
Definition at line 475 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_Build | ) |
This test ensures llzkArray_ReadArrayOpBuild links properly.
Definition at line 509 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_GetArrRef | ) |
Definition at line 545 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_GetArrRefType | ) |
This test ensures llzkArray_ReadArrayOpGetArrRefType links properly.
Definition at line 609 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_GetIndicesAt | ) |
Definition at line 576 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_GetIndicesCount | ) |
Definition at line 566 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_GetResult | ) |
Definition at line 598 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_SetArrRef | ) |
Definition at line 555 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_ReadArrayOp_SetIndices_Variadic | ) |
Definition at line 586 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_Build | ) |
This test ensures llzkArray_WriteArrayOpBuild links properly.
Definition at line 631 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_GetArrRef | ) |
Definition at line 666 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_GetArrRefType | ) |
This test ensures llzkArray_WriteArrayOpGetArrRefType links properly.
Definition at line 741 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_GetIndicesAt | ) |
Definition at line 697 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_GetIndicesCount | ) |
Definition at line 687 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_GetRvalue | ) |
Definition at line 719 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_SetArrRef | ) |
Definition at line 676 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_SetIndices_Variadic | ) |
Definition at line 707 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | ArrayOperationLinkTests | , |
| llzk_WriteArrayOp_SetRvalue | ) |
Definition at line 729 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| ArrayLengthOp_build_pass | ) |
This test ensures llzkArrayArrayLengthOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of ArrayLengthOpBuildFuncHelper::callBuild() that calls llzkArrayArrayLengthOpBuild().
Definition at line 54 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| ExtractArrayOp_build_pass | ) |
This test ensures llzkArrayExtractArrayOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of ExtractArrayOpBuildFuncHelper::callBuild() that calls llzkArrayExtractArrayOpBuild().
Definition at line 289 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| InsertArrayOp_build_pass | ) |
This test ensures llzkArrayInsertArrayOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of InsertArrayOpBuildFuncHelper::callBuild() that calls llzkArrayInsertArrayOpBuild().
Definition at line 410 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| ReadArrayOp_build_pass | ) |
This test ensures llzkArrayReadArrayOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of ReadArrayOpBuildFuncHelper::callBuild() that calls llzkArrayReadArrayOpBuild().
Definition at line 543 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| WriteArrayOp_build_pass | ) |
This test ensures llzkArrayWriteArrayOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of WriteArrayOpBuildFuncHelper::callBuild() that calls llzkArrayWriteArrayOpBuild().
Definition at line 664 of file Ops.capi.test.cpp.inc.