3 ms·
I love this! Thanks for making it. Quick suggestion - adding simulators for checking all spend paths would add comfort. A lot of comfort. I understand you're d
by vessenes 11mo ago
I love this! Thanks for making it.
Quick suggestion - adding simulators for checking all spend paths would add comfort. A lot of comfort. I understand you're doing static analysis on construction, which is great; more safety would be awesome too.
If I missed that you have these, then, I doubly love this! :)
- hyunhum 11mo agoYes, simulator definitely would! Actually I'm planning to add input constructor or simulator to generate safe symbolic/static inputs for users, and simulate with symbolic script engine to validate even stricter. As it might require the Bitcoin Script interpreter (with symbolic execution for things like signature), I left it as a near future work.