-record(successful, {server_proof :: bitstring()}).