|
LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
|
Go to the source code of this file.
Namespaces | |
| namespace | llzk |
| namespace | llzk::detail |
| Provides the necessary information to the RemoveUnusedDiscardableAllocations pass about operations that load or store values from the result of an allocator op marked with the MemAlloc<DiscardableAllocationResource> memory effect so unused allocators and stores can be removed. | |