|
LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Classes | |
| class | BoolOperationLinkTests |
| struct | AndBoolOpBuildFuncHelper |
| struct | AssertOpBuildFuncHelper |
| struct | CmpOpBuildFuncHelper |
| struct | NotBoolOpBuildFuncHelper |
| struct | OrBoolOpBuildFuncHelper |
| struct | XorBoolOpBuildFuncHelper |
Functions | |
| TEST_F (BoolOperationLinkTests, IsA_Bool_AndBoolOp) | |
| This test ensures llzkOperationIsA_Bool_AndBoolOp links properly. | |
| TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_Build) | |
| This test ensures llzkBool_AndBoolOpBuild links properly. | |
| TEST_F (CAPITest, AndBoolOp_build_pass) | |
| This test ensures llzkBoolAndBoolOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_GetLhs) | |
| TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_SetLhs) | |
| TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_GetRhs) | |
| TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_SetRhs) | |
| TEST_F (BoolOperationLinkTests, llzk_AndBoolOp_GetResult) | |
| TEST_F (BoolOperationLinkTests, IsA_Bool_AssertOp) | |
| This test ensures llzkOperationIsA_Bool_AssertOp links properly. | |
| TEST_F (BoolOperationLinkTests, llzk_AssertOp_Build) | |
| This test ensures llzkBool_AssertOpBuild links properly. | |
| TEST_F (CAPITest, AssertOp_build_pass) | |
| This test ensures llzkBoolAssertOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (BoolOperationLinkTests, llzk_AssertOp_GetCondition) | |
| TEST_F (BoolOperationLinkTests, llzk_AssertOp_SetCondition) | |
| TEST_F (BoolOperationLinkTests, llzk_AssertOp_GetMsgAttr) | |
| TEST_F (BoolOperationLinkTests, llzk_AssertOp_SetMsgAttr) | |
| TEST_F (BoolOperationLinkTests, IsA_Bool_CmpOp) | |
| This test ensures llzkOperationIsA_Bool_CmpOp links properly. | |
| TEST_F (BoolOperationLinkTests, llzk_CmpOp_Build) | |
| This test ensures llzkBool_CmpOpBuild links properly. | |
| TEST_F (CAPITest, CmpOp_build_pass) | |
| This test ensures llzkBoolCmpOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (BoolOperationLinkTests, llzk_CmpOp_GetLhs) | |
| TEST_F (BoolOperationLinkTests, llzk_CmpOp_SetLhs) | |
| TEST_F (BoolOperationLinkTests, llzk_CmpOp_GetRhs) | |
| TEST_F (BoolOperationLinkTests, llzk_CmpOp_SetRhs) | |
| TEST_F (BoolOperationLinkTests, llzk_CmpOp_GetPredicateAttr) | |
| TEST_F (BoolOperationLinkTests, llzk_CmpOp_SetPredicateAttr) | |
| TEST_F (BoolOperationLinkTests, llzk_CmpOp_GetResult) | |
| TEST_F (BoolOperationLinkTests, IsA_Bool_NotBoolOp) | |
| This test ensures llzkOperationIsA_Bool_NotBoolOp links properly. | |
| TEST_F (BoolOperationLinkTests, llzk_NotBoolOp_Build) | |
| This test ensures llzkBool_NotBoolOpBuild links properly. | |
| TEST_F (CAPITest, NotBoolOp_build_pass) | |
| This test ensures llzkBoolNotBoolOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (BoolOperationLinkTests, llzk_NotBoolOp_GetOperand) | |
| TEST_F (BoolOperationLinkTests, llzk_NotBoolOp_SetOperand) | |
| TEST_F (BoolOperationLinkTests, llzk_NotBoolOp_GetResult) | |
| TEST_F (BoolOperationLinkTests, IsA_Bool_OrBoolOp) | |
| This test ensures llzkOperationIsA_Bool_OrBoolOp links properly. | |
| TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_Build) | |
| This test ensures llzkBool_OrBoolOpBuild links properly. | |
| TEST_F (CAPITest, OrBoolOp_build_pass) | |
| This test ensures llzkBoolOrBoolOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_GetLhs) | |
| TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_SetLhs) | |
| TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_GetRhs) | |
| TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_SetRhs) | |
| TEST_F (BoolOperationLinkTests, llzk_OrBoolOp_GetResult) | |
| TEST_F (BoolOperationLinkTests, IsA_Bool_XorBoolOp) | |
| This test ensures llzkOperationIsA_Bool_XorBoolOp links properly. | |
| TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_Build) | |
| This test ensures llzkBool_XorBoolOpBuild links properly. | |
| TEST_F (CAPITest, XorBoolOp_build_pass) | |
| This test ensures llzkBoolXorBoolOpBuild() successfully builds an Operation of the correct type that passes verification. | |
| TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_GetLhs) | |
| TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_SetLhs) | |
| TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_GetRhs) | |
| TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_SetRhs) | |
| TEST_F (BoolOperationLinkTests, llzk_XorBoolOp_GetResult) | |
| TEST_F | ( | BoolOperationLinkTests | , |
| IsA_Bool_AndBoolOp | ) |
This test ensures llzkOperationIsA_Bool_AndBoolOp links properly.
Definition at line 13 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| IsA_Bool_AssertOp | ) |
This test ensures llzkOperationIsA_Bool_AssertOp links properly.
Definition at line 109 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| IsA_Bool_CmpOp | ) |
This test ensures llzkOperationIsA_Bool_CmpOp links properly.
Definition at line 195 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| IsA_Bool_NotBoolOp | ) |
This test ensures llzkOperationIsA_Bool_NotBoolOp links properly.
Definition at line 312 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| IsA_Bool_OrBoolOp | ) |
This test ensures llzkOperationIsA_Bool_OrBoolOp links properly.
Definition at line 387 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| IsA_Bool_XorBoolOp | ) |
This test ensures llzkOperationIsA_Bool_XorBoolOp links properly.
Definition at line 483 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_AndBoolOp_Build | ) |
This test ensures llzkBool_AndBoolOpBuild links properly.
Definition at line 23 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_AndBoolOp_GetLhs | ) |
Definition at line 56 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_AndBoolOp_GetResult | ) |
Definition at line 98 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_AndBoolOp_GetRhs | ) |
Definition at line 77 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_AndBoolOp_SetLhs | ) |
Definition at line 66 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_AndBoolOp_SetRhs | ) |
Definition at line 87 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_AssertOp_Build | ) |
This test ensures llzkBool_AssertOpBuild links properly.
Definition at line 119 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_AssertOp_GetCondition | ) |
Definition at line 153 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_AssertOp_GetMsgAttr | ) |
Definition at line 174 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_AssertOp_SetCondition | ) |
Definition at line 163 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_AssertOp_SetMsgAttr | ) |
Definition at line 184 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_CmpOp_Build | ) |
This test ensures llzkBool_CmpOpBuild links properly.
Definition at line 205 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_CmpOp_GetLhs | ) |
Definition at line 239 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_CmpOp_GetPredicateAttr | ) |
Definition at line 281 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_CmpOp_GetResult | ) |
Definition at line 301 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_CmpOp_GetRhs | ) |
Definition at line 260 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_CmpOp_SetLhs | ) |
Definition at line 249 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_CmpOp_SetPredicateAttr | ) |
Definition at line 291 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_CmpOp_SetRhs | ) |
Definition at line 270 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_NotBoolOp_Build | ) |
This test ensures llzkBool_NotBoolOpBuild links properly.
Definition at line 322 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_NotBoolOp_GetOperand | ) |
Definition at line 355 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_NotBoolOp_GetResult | ) |
Definition at line 376 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_NotBoolOp_SetOperand | ) |
Definition at line 365 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_OrBoolOp_Build | ) |
This test ensures llzkBool_OrBoolOpBuild links properly.
Definition at line 397 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_OrBoolOp_GetLhs | ) |
Definition at line 430 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_OrBoolOp_GetResult | ) |
Definition at line 472 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_OrBoolOp_GetRhs | ) |
Definition at line 451 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_OrBoolOp_SetLhs | ) |
Definition at line 440 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_OrBoolOp_SetRhs | ) |
Definition at line 461 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_XorBoolOp_Build | ) |
This test ensures llzkBool_XorBoolOpBuild links properly.
Definition at line 493 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_XorBoolOp_GetLhs | ) |
Definition at line 526 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_XorBoolOp_GetResult | ) |
Definition at line 568 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_XorBoolOp_GetRhs | ) |
Definition at line 547 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_XorBoolOp_SetLhs | ) |
Definition at line 536 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | BoolOperationLinkTests | , |
| llzk_XorBoolOp_SetRhs | ) |
Definition at line 557 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| AndBoolOp_build_pass | ) |
This test ensures llzkBoolAndBoolOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of AndBoolOpBuildFuncHelper::callBuild() that calls llzkBoolAndBoolOpBuild().
Definition at line 54 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| AssertOp_build_pass | ) |
This test ensures llzkBoolAssertOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of AssertOpBuildFuncHelper::callBuild() that calls llzkBoolAssertOpBuild().
Definition at line 151 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| CmpOp_build_pass | ) |
This test ensures llzkBoolCmpOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of CmpOpBuildFuncHelper::callBuild() that calls llzkBoolCmpOpBuild().
Definition at line 237 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| NotBoolOp_build_pass | ) |
This test ensures llzkBoolNotBoolOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of NotBoolOpBuildFuncHelper::callBuild() that calls llzkBoolNotBoolOpBuild().
Definition at line 353 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| OrBoolOp_build_pass | ) |
This test ensures llzkBoolOrBoolOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of OrBoolOpBuildFuncHelper::callBuild() that calls llzkBoolOrBoolOpBuild().
Definition at line 428 of file Ops.capi.test.cpp.inc.
| TEST_F | ( | CAPITest | , |
| XorBoolOp_build_pass | ) |
This test ensures llzkBoolXorBoolOpBuild() successfully builds an Operation of the correct type that passes verification.
It relies on a manual implemenation of XorBoolOpBuildFuncHelper::callBuild() that calls llzkBoolXorBoolOpBuild().
Definition at line 524 of file Ops.capi.test.cpp.inc.