1#include "secp256k1.hpp"
5WASM_EXPORT
void ecc_secp256k1__mul(uint8_t
const* point_buf, uint8_t
const* scalar_buf, uint8_t* result);
7WASM_EXPORT
void ecc_secp256k1__get_random_scalar_mod_circuit_modulus(uint8_t* result);
9WASM_EXPORT
void ecc_secp256k1__reduce512_buffer_mod_circuit_modulus(uint8_t* input, uint8_t* result);