#ifndef _STARK_GET_PUB_KEY_H_
#define _STARK_GET_PUB_KEY_H_

#include "shared_context.h"

uint32_t set_result_get_stark_publicKey(void);

#endif  // _STARK_GET_PUB_KEY_H_