|
LLZK 0.1.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <LLZKLoweringUtils.h>
Public Attributes | |
| std::string | auxMemberName |
| mlir::Value | computedValue |
Definition at line 23 of file LLZKLoweringUtils.h.
| std::string llzk::AuxAssignment::auxMemberName |
Definition at line 24 of file LLZKLoweringUtils.h.
| mlir::Value llzk::AuxAssignment::computedValue |
Definition at line 25 of file LLZKLoweringUtils.h.