Lukáš Kuklínek

These types hold information about the block and transaction being verified. The verification procedure interfaces with the context types rather than inspecting block / transaction directly. Not quite happy with...

PR #809 removed some detail from error reporting. Some errors enum arms used to contain extra information regarding the exact cause of the failure of some sub-operation. Instead, a plain...

The `blockprod_generate_block` RPC call allows the user to include an invalid transaction, creating an invalid block. The block will then be rejected when attempting to submit it to the chain....

RBF (replace-by-fee) was disabled when mempool was ported over to use `TransactionVerifier`. The major missing piece is the ability to verify transactions where some UTXOs have already been spent. Transaction...

In the key prefix iteration introduced in #411, the prefix is currently passed by value but it is only read. In general, it would be more appropriate to pass it...

The `mintscript` module is currently only used internally for verifying transactions. It is, however, designed with the possibility of putting it on chain in mind. This allows users of the...

The `Destination` type is now included directly in the script. It could be broken down into its constituent parts during translation and represented in script explicitly: * The `Signature` script...

As it stands, the trait machinery in mintscript is rather elaborate. Would be nice to put some thought into simplifyintg them. A chunk of the complexity stems from the fact...