|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
#include <OpTraits.h>
Static Public Member Functions | |
| static mlir::LogicalResult | verifyTrait (mlir::Operation *op) |
Definition at line 82 of file OpTraits.h.
|
inlinestatic |
Definition at line 84 of file OpTraits.h.