Laconic Evaluation of Branching Programs from the Diffie-Hellman Assumption