發送短信 : Mechanism design : from partial to probabilistic verification

   _____    ______   _____     __   __    _  __  
  / ___//  /_   _// |  __ \\   \ \\/ //  | |/ // 
  \___ \\   -| ||-  | |  \ ||   \ ` //   | ' //  
  /    //   _| ||_  | |__/ ||    | ||    | . \\  
 /____//   /_____// |_____//     |_||    |_|\_\\ 
`-----`    `-----`   -----`      `-`'    `-` --`