Dmitry Petukhov

Like with older AMDs: https://www.dvhardware.net/article70868.html > the chip starts returning non-random data (when random data is expected) via the RdRand instruction following a suspend/resume cycle.

https://github.com/ElementsProject/elements/blob/4e023af58b697f63d0612abd712e1f8310719217/src/blind.cpp#L407-L416 If the issuance blinding key or token blinding key is specified for the input when calling BlindTransaction, but the transaction input itself have null value in `issuance.nInflationKeys`/`issuance.nAmount`, then `num_blind_attempts`...

bip32_print_path(): 30-char path splitting for TARGET_BLUE is not correct integrity-wise

1

https://github.com/LedgerHQ/ledger-app-btc/blob/03d0cbcad04fd84394a8af4de28594deb302b980/src/btchip_helpers.c#L402-L411 Decided to take a quick look at ledger-app-btc code, and noticed that the code referenced above have potential integrity issues, although with current code the issues do not lead...

Cannot supply tuple as constant

1

While strings, numbers and sets work when supplied via `--constant`, tuples dont. (giving the error `Error: TLC found an error in the configuration file at line 1. It was expecting...

With a command like this: ``` java -cp ${TLATOOLSDIR}/tla2tools.jar tla2tex.TLA \ -metadir metadir \ -latexOutputExt pdf \ -latexCommand pdflatex \ -ptSize 12 \ -shade \ SomeFile.tla ```

Add note: Semantics defined only for canonical sat/dsat

1

Prevent reader confusion, as described in https://github.com/sipa/miniscript/issues/42 where the sematics of "andor" differs from expected by the reader when they consider various executions of the actual script

Sematics of "andor" differs from expected by the reader (no mention that it is satisfaction-dependent)

4

https://github.com/sipa/miniscript/blob/027b422495a8ee3ea3fa7787150389bb65d1b9de/index.html#L251-L255 For `andor(X,Y,Z)` the semantics is listed as `(X and Y) or Z`, while the code `[X] NOTIF [Z] ELSE [Y] ENDIF` when applied to the truth table for the...

https://github.com/petertodd/python-bitcoinlib/blob/173a73e74781dcd2edce120d8685550a88a73189/bitcoin/core/script.py#L692-L694 Because the witness version is actually a 'small int' opcode - that is, for witness version 1, without `decode_op_n()`, the returned value will be 0x51. It worked for version...

Backport of config handling code from python-bitcointx. Handles sections, host:port specified in rpcconnect (bitcoin core allows this), special case for cookie dir for testnet (it is currently named `testnet3`) original...