Bitcoin Mailing List on Nostr: 🔖 Title: Announcing B'SST: Bitcoin-like Script Symbolic Tracer 🏷️ Categories: ...

🔖 Title: Announcing B'SST: Bitcoin-like Script Symbolic Tracer
🏷️ Categories: bitcoin-dev

quoting naddr1qq…0d5x

👥 Authors: Dmitry Petukhov ( Dmitry Petukhov [ARCHIVE] (npub10r6…afdw) )

📅 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 Bitcoin Mailing List (npub15g7…08lk) for full threads

⚠️ Heads up! We've now started linking to replaceable long-form events (NIP-23), which allow for dynamic display of thread details like summaries, authors, and more. If you're unable to see this, your client may not support this feature yet.