CacheHeader
type CacheHeader:
| StepKeyHeader<"step-pk">
| StepKeyHeader<"step-vk">
| WrapKeyHeader<"wrap-pk">
| WrapKeyHeader<"wrap-vk">
| PlainHeader<"srs">
| PlainHeader<"lagrange-basis"> & CommonHeader;
A header that is passed to the caching layer, to support rich caching strategies.
Both uniqueId
and programId
can safely be used as a file path.