Joined October 2018
- Tweets 1,127
- Following 95
- Followers 578
- Likes 875
27 Photos and videos
9 Sep 2024
B'SST v0.1.4 is released. The only notable change is change of license. It is now licensed under AGPLv3: github.com/dgpv/bsst/blob/ma…
4
151
27 Jun 2024
B'SST v0.1.3 is released.
Improved display of execution paths, and a bunch of bugfixes
Release notes: github.com/dgpv/bsst/blob/ma…
1
1
246
12 May 2024
If you use B'SST to analyze Bitcoin or Elements scripts, please look at this proposed change to how execution paths are to be displayed in the report: github.com/dgpv/bsst/pull/33
I think this will make it easier to comprehend the report, but I want external opinion before merging
1
1
2
259
Dmitry Petukhov retweeted
1 May 2024
Dmitry Petukhov (@dmpsim) posted to Delving a spec he created using the Alloy specification language for an OP_CAT-based vault. Petukhov used Alloy to find useful modifications and to highlight important constraints that any implementors should observe...
bitcoinops.org/en/newsletter…
1
1
1
175
22 Jan 2024
B'SST: Bitcoin-like Script Symbolic Tracer v0.1.2 was released
New features and improvements: Plugins, assertions and assumptions, dynamic PICK/ROLL argument support, features to help with malleability analysis
delvingbitcoin.org/t/bsst-bi…
1
4
2,323
19 Jan 2024
CScript.witness_version() in python-bitcointx has incorrect behavior for witness versions > 0. I will create new release just for this fix. If your code relied on incorrect behavior (0x51 instead of 1 as witness version for taproot), please comment here: github.com/Simplexum/python-…
110
21 Sep 2023
Regarding the name B'SST for bitcoin-like script symbolic tracer, this name is a reference to Bastet, an ancient egyptian cat-goddess - b'sst is one of her most ancient names. I felt like naming this tool with some twist, and this seemed to be as good twist as any other :-)
21 Sep 2023
1
195
21 Sep 2023
regarding the pronunciation of B'SST, I myself pronounce it simply as abbreviation: bee-ess-ess-tee. It was amusing to learn that it can be pronounced as "bzzt" :-)
1
87
6 Sep 2023
B'SST v0.1.1 is released: github.com/dgpv/bsst/blob/ma…
I think 3 bugfixes, 2 detection improvements, and a small change in report format (data refs now start with &) is enough to justify a new version, so there it is.
2
126
Dmitry Petukhov retweeted
31 Aug 2023
Image of the cat through art history
[📹 makegallery]
271
11,500
63,204
6,554,663
31 Aug 2023
B'SST: Bitcoin-like Script Symbolic Tracer is released: lists.linuxfoundation.org/pi…
It analyses Bitcoin and Elements scripts by symbolically executing all possible execution paths, and tracking constraints that opcodes impose on data. It then outputs a report based on this analysis
8
23
79
70,477
Dmitry Petukhov retweeted
25 Feb 2022
Introducing our latest research paper on Elements Covenants where we propose a scheme to issue synthetic assets on the @Liquid_BTC
Detailed description document
vulpem.com/synthetic-asset-s…
Covenant code
github.com/vulpemventures/sy…
8
31
73
Dmitry Petukhov retweeted
16 Dec 2021
By the way, I've made my github test action to extract the libsecp commit hash from the README to avoid tests/README getting out of synth: github.com/Simplexum/python-… -- now the auto-tests are always done with the commit specified in README
1
2
14 Nov 2021
PR for python-bitcointx that adds taproot supprt: github.com/Simplexum/python-…, Reviews always welcome!
1
1
6
Dmitry Petukhov retweeted
10 Nov 2021
It is likely that even after release the support for schnorr signing will remain 'experimental' that will have to be enabled explicitly before use -- bitcointx uses libsecp256k1 through ABI, and the schnorrsig module in libsecp is still experimental (github.com/Simplexum/python-…)
1
1
Dmitry Petukhov retweeted
31 Aug 2021
Ever wondered which flags you should use for your C compiler to:
- detect the maximum number of bugs or potential security problems?
- enable security mitigations in binaries?
- enable runtime sanitizers?
We got you covered for GCC, Clang and MSVC!
airbus-seclab.github.io/c-co…
3
169
454
30 Aug 2021
Is there a bitcoin library (in any language) that has convenient and robust abstraction for construction of taproot script trees? Test framework in Core has taproot_construct() which takes simple recursive structure - OK for test framework, probably too simplistic for the library
1
30 Aug 2021
I want to find a good abstraction for this, to use in python-bitcointx, so that there won't be a need to change the API later