Support code for a faster garbling algorithm