Zaslat SMS: Proof technology and computation /