Conversation Details on Nostr: 👥 Authors: Dmitry Petukhov ( Dmitry Petukhov [ARCHIVE] ) 📅 Messages Date: ...
👥 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
Published at
2023-09-07 11:52:33Event JSON
{
"id": "df8558e8db3de6d58a6655b787e31e06ddf8e6df32bdffb5aa90296d5effa826",
"pubkey": "57fe4c4ae74215fb92bd0dcb8a7787c5e907db74e987f30f1acaaad9c3a0271f",
"created_at": 1694087553,
"kind": 30023,
"tags": [
[
"d",
"bdb8c5ed-d528-4dfb-b630-f07641ef94f6"
],
[
"title",
"Conversation Details"
],
[
"image",
"https://nostr.build/i/dbc5bd7993c8d036431edeefea63a2b3b796e1f49baf96bf6b09e13c8c662833.jpg"
],
[
"p",
"78f5a82a0b64fb3c18bd33a69c53b1af612b3ac8dd81e12f74ba62f3793dac05"
],
[
"p",
"a23dbf6c6cc83e14cc3df4e56cc71845f611908084cfe620e83e40c06ccdd3d0"
]
],
"content": "👥 Authors: Dmitry Petukhov ( nostr:npub10r66s2stvnancx9axwnfc5a34asjkwkgmkq7ztm5hf30x7fa4szsv9afdw )\n\n📅 Messages Date: 2023-08-30\n\n✉️ Message Count: 1\n\n📚 Total Characters in Messages: 2513\n\n## Messages Summaries\n\n✉️ Message by Dmitry Petukhov on 30/08/2023:\nB'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.\n\n\nFollow nostr:npub15g7m7mrveqlpfnpa7njke3ccghmpryyqsn87vg8g8eqvqmxd60gqmx08lk for full threads",
"sig": "a96601fbd5f445a7ba9d68c6841ff97873f33e12f9629c25dabf124383a1041ebd88d0c72be576d540dca2fc5f9d42e358a645dea2456da3ee5d60d11c22fce6"
}