|
LLZK 2.1.1
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Classes | |
| class | CastOperationLinkTests |
| struct | FeltToIndexOpBuildFuncHelper |
| struct | IntToFeltOpBuildFuncHelper |
Functions | |
| TEST_F (CastOperationLinkTests, IsA_Cast_FeltToIndexOp) | |
| This test ensures llzkOperationIsA_Cast_FeltToIndexOp links properly. | |
| TEST_F (CastOperationLinkTests, llzk_FeltToIndexOp_Build) | |
| This test ensures llzkCast_FeltToIndexOpBuild links properly. | |
| TEST_F (CAPITest, FeltToIndexOp_build_pass) | |
| This test ensures llzkCastFeltToIndexOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (CastOperationLinkTests, llzk_FeltToIndexOp_GetValue) | |
| TEST_F (CastOperationLinkTests, llzk_FeltToIndexOp_SetValue) | |
| TEST_F (CastOperationLinkTests, llzk_FeltToIndexOp_GetOverflowAttr) | |
| TEST_F (CastOperationLinkTests, llzk_FeltToIndexOp_SetOverflowAttr) | |
| TEST_F (CastOperationLinkTests, llzk_FeltToIndexOp_GetResult) | |
| TEST_F (CastOperationLinkTests, IsA_Cast_IntToFeltOp) | |
| This test ensures llzkOperationIsA_Cast_IntToFeltOp links properly. | |
| TEST_F (CastOperationLinkTests, llzk_IntToFeltOp_Build) | |
| This test ensures llzkCast_IntToFeltOpBuild links properly. | |
| TEST_F (CAPITest, IntToFeltOp_build_pass) | |
| This test ensures llzkCastIntToFeltOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (CastOperationLinkTests, llzk_IntToFeltOp_GetValue) | |
| TEST_F (CastOperationLinkTests, llzk_IntToFeltOp_SetValue) | |
| TEST_F (CastOperationLinkTests, llzk_IntToFeltOp_GetOverflowAttr) | |
| TEST_F (CastOperationLinkTests, llzk_IntToFeltOp_SetOverflowAttr) | |
| TEST_F (CastOperationLinkTests, llzk_IntToFeltOp_GetResult) | |
| TEST_F | ( | CAPITest | , |
| FeltToIndexOp_build_pass | ) |
This test ensures llzkCastFeltToIndexOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of FeltToIndexOpBuildFuncHelper::callBuild() that calls llzkCastFeltToIndexOpBuild().
Definition at line 55 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| IntToFeltOp_build_pass | ) |
This test ensures llzkCastIntToFeltOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of IntToFeltOpBuildFuncHelper::callBuild() that calls llzkCastIntToFeltOpBuild().
Definition at line 151 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| IsA_Cast_FeltToIndexOp | ) |
This test ensures llzkOperationIsA_Cast_FeltToIndexOp links properly.
Definition at line 13 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| IsA_Cast_IntToFeltOp | ) |
This test ensures llzkOperationIsA_Cast_IntToFeltOp links properly.
Definition at line 109 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_FeltToIndexOp_Build | ) |
This test ensures llzkCast_FeltToIndexOpBuild links properly.
Definition at line 23 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_FeltToIndexOp_GetOverflowAttr | ) |
Definition at line 78 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_FeltToIndexOp_GetResult | ) |
Definition at line 98 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_FeltToIndexOp_GetValue | ) |
Definition at line 57 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_FeltToIndexOp_SetOverflowAttr | ) |
Definition at line 88 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_FeltToIndexOp_SetValue | ) |
Definition at line 67 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_IntToFeltOp_Build | ) |
This test ensures llzkCast_IntToFeltOpBuild links properly.
Definition at line 119 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_IntToFeltOp_GetOverflowAttr | ) |
Definition at line 174 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_IntToFeltOp_GetResult | ) |
Definition at line 194 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_IntToFeltOp_GetValue | ) |
Definition at line 153 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_IntToFeltOp_SetOverflowAttr | ) |
Definition at line 184 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_IntToFeltOp_SetValue | ) |
Definition at line 163 of file Ops.capi.test.cpp.inc.