TAG Succinct Non-interactive ARgument of Knowledge