|
LLZK 2.0.0
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_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_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 54 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 129 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 88 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_GetResult | ) |
Definition at line 77 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_FeltToIndexOp_GetValue | ) |
Definition at line 56 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_FeltToIndexOp_SetValue | ) |
Definition at line 66 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_IntToFeltOp_Build | ) |
This test ensures llzkCast_IntToFeltOpBuild links properly.
Definition at line 98 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_IntToFeltOp_GetResult | ) |
Definition at line 152 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_IntToFeltOp_GetValue | ) |
Definition at line 131 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CastOperationLinkTests | , |
| llzk_IntToFeltOp_SetValue | ) |
Definition at line 141 of file Ops.capi.test.cpp.inc.