Conversation Details

👥 Authors: Dmitry Petukhov ( nostr:npub10r66s2stvnancx9axwnfc5a34asjkwkgmkq7ztm5hf30x7fa4szsv9afdw )

📅 Messages Date: 2023-08-30

✉️ Message Count: 1

📚 Total Characters in Messages: 2513

Messages Summaries

✉️ Message by Dmitry Petukhov on 30/08/2023: B'SST is a Bitcoin-like Script Symbolic Tracer that analyzes Bitcoin and Elements scripts, providing a detailed report based on the analysis. It uses the Z3 theorem prover for more thorough analysis. B'SST is more comprehensive than previous projects and supports custom opcodes. It is released under the Prosperity Public License 3.0.0.

Follow nostr:npub15g7m7mrveqlpfnpa7njke3ccghmpryyqsn87vg8g8eqvqmxd60gqmx08lk for full threads