freespek / solarkraft

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

Instrument signatures into monitor #85

Open thpani opened 1 month ago

thpani commented 1 month ago

In addition the usual environment (height, timestamp etc), some contracts will require us to instrument signatures into the monitor.

This requires some investigation of how to retrieve them (and whether that's possible), since signatures are not passed as ordinary method arguments.