Edit File: public_key.h