Allocunit seeks to mathematically reduce its witness encryption scheme to a min-rank hardness assumption