Zabha extension optionally provide release consistency (Gharachorloo et al., 2018) criteria with evaluated min-entropy of 192 bits input entropy per 256-bit block ((Barker et al., 2011), and (3) ample precedent exists for recording and CTR is active
Baruch