v0.46.0

0.46.0

✨ Features

• Derive more for various BasicSnippets (3a66965b)
• Add snippet exports (e6a44361)
• (TasmObject) Decode more types from iterators (44976534)

🐛 Bug Fixes

• (TasmObject) Check all size indicators (a1813e24)
• (Fri) Don't access array as if it was a list (369fca5a)
• Run VM on InnerFunction::BasicSnippet (fdf70e23)

⚡️ Performance

• (TasmObject) Accumulate static jumps in TASM (ae839408)
• (!) Improve CalculateNewPeaksFromAppend (69ad217c)
• (MerkleRoot) Simplify power-of-2 check (5c3388a8)

📚 Documentation

• Fix start of code block in docstring (42426e39)
• Document absence of “capacity” from lists (bb4245c9)
• Fix intra-doc link (cc01e5f3)
• Fix internal intra-doc links (687cc309)

⚙️ Miscellaneous

• Remove deprecated items (ea54a09c)
• (!) (TasmObject) Overhaul generated code (beb3f2cd)
• (!) MerkleVerify (ab7d221c)

♻️ Refactor

• (!) Fail gracefully when looking up exports (5b7f9fac)
• (!) Consistify u32-Snippets exports (1968b578)
• (!) Remove field from some “list” snippets (ca6da237)
• (!) Check bounds in “list” helper functions (1bc79a03)
• (!) Check bounds in list::get::Get (7f5729ca)
• (!) Remove “contiguous list” (55fc928d)
• (!) Check bounds in list::set::Set (138fecb7)
• Check bounds in list::pop::Pop (83bc62c4)
• (!) Check bounds in list::push::Push (8d292754)
• (!) Make field of Contains private (a399b067)
• (!) Remove snippet BfeAdd (1cbf9e2f)
• (!) Remove DeprecatedSnippet for DivMod (cb18098b)
• (!) Remove impl for DeprecatedSnippet (eafc76a6)
• (!) Make helper type MemoryIter private (8887e566)
• (!) Remove unused snippets (d3d0eeea)
• (!) Remove trivial snippets (b5d874ab)
• (!) Remove unused helper functions (16a1c1c9)
• (!) Remove trivial snippet u64::Eq (e0ef6ca6)
• (!) Drop “generic” if no counterpart exists (10263084)

✅ Testing

• Check failure conditions of list::get::Get (293805a3)
• (TasmObject) Test decoding from iterator (00a5507b)

🖋 Snippet Sign-Off

• (!) U64::xor (8d272de8)
• (!) U64::safe_mul (eb8502ad)
• (!) U64::wrapping_mul (9a2f8ac8)
• U128::lt (c35e8896)
• Xfe::to_the_power_of_power_of_2 (8efe4f38)
• Horner evaluation (67441b63)
• Inner product of XFieldElements (cdfbb7ef)
• Inner product of three rows with weights (2975d7b8)
• (hashing) Absorb multiple (bd57aa2a)
• (!) (hashing) Hash varlen (bba98bfb)
• MutatorSet::commit (50ea214b)
• (!) List::length (e54ce189)
• (!) List::pop (4e17043c)
• (!) List::split_off (6975e5c8)
• MerkleRoot (bdf48c6f)
• (!) u64::Incr (6dbdb067)
• MerkleRootFromXfes (6774c9f2)

Note: (!) indicates a breaking change.