发送短信: Proof technology and computation /