Nội dung này: Short attribute-based signatures for arbitrary Turing machines from standard assumptions