Release v0.40.0

[xgreenx]

Version 0.40.0

Added

• #607: Added ECAL instruction support.

Changed

• #612: Reduced the memory consumption in all places where we calculate BMT root.
• #615: Made ReceiptsCtx of the VM modifiable with test-helpers feature.

Breaking

• #618: Transaction fees for Create now include the cost of metadata calculations, including: contract root calculation, state root calculation, and contract id calculation.
• #613: Transaction fees now include the cost of signature verification for each input. For signed inputs, the cost of an EC recovery is charged. For predicate inputs, the cost of a BMT root of bytecode is charged.
• #607: The Interpreter expects the third generic argument during type definition that specifies the implementer of the EcalHandler trait for ecal opcode.
• #609: Checked transactions (Create, Script, and Mint) now enforce a maximum size. The maximum size is specified by MAX_TRANSACTION_SIZE in the transaction parameters, under consensus parameters. Checking a transaction above this size raises CheckError::TransactionSizeLimitExceeded.
• #617: Makes memory outside $is..$ssp range not executable. Separates ErrorFlag into InvalidFlags, MemoryNotExecutable and InvalidInstruction. Fixes related tests.
• #619: Avoid possible truncation of higher bits. It may invalidate the code that truncated higher bits causing different behavior on 32-bit vs. 64-bit systems.

What's Changed

• feat: Enforce maximum tx size by @bvrooman in feat: Enforce maximum tx size #609
• chore: Use MerkleRootCalculator when only BMT root is needed by @bvrooman in chore: Use MerkleRootCalculator when only BMT root is needed #612
• Add ECAL instruction by @Dentosal in Add ECAL instruction #607
• Memory write xor execute by @Dentosal in Memory write xor execute #617
• feat: Charge for input signature verification (address recovery and predicate roots) by @bvrooman in feat: Charge for input signature verification (address recovery and predicate roots) #613
• Avoid possible truncation of higher bits by @xgreenx in Avoid possible truncation of higher bits #619
• Make ReceiptsCtx public, allow mut access in tests by @Dentosal in Make ReceiptsCtx public, allow mut access in tests #615
• feat: Charge for Create metadata by @bvrooman in feat: Charge for Create metadata #618

Full Changelog: v0.39.0...v0.40.0