freespek / solarkraft

Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
Apache License 2.0
10 stars 0 forks source link

Alert contract transaction signing only works on TESTNET #97

Open Kukovec opened 3 weeks ago

Kukovec commented 3 weeks ago

Currently, whenever alerts to the alert contract are to be submitted, we generate and fund a random keypair, with which to sign the transaction. This makes alert contract invocation testnet-specific. If we want alert contracts deployable to mainnet, we have to implement a way to submit and sign alerts from a static, user-controlled addres (with external funding).