@@ -5,13 +5,30 @@ All notable changes to this project will be documented in this file.
55The format is based on [ Keep a Changelog] ( https://keepachangelog.com/en/1.0.0/ ) ,
66and this project adheres to [ Semantic Versioning] ( https://semver.org/spec/v2.0.0.html ) .
77
8- ## [ Unreleased ]
8+ ## [ 13.0.0 ] - 2026-07-22
99
10- ### Breaking Changes
10+ ### Added
11+
12+ - ` error::TransactionError ` :
13+ - ` Halo2VerificationFailed `
14+ - ` SaplingVerificationFailed `
15+
16+ ### Changed
17+
18+ - ` transaction::Verifier::check_maturity_height ` is now private and takes ` tx ` , ` height ` ,
19+ ` network ` , and ` spent_utxos ` directly instead of ` &Request `
20+ ([ #10843 ] ( https://github.com/ZcashFoundation/zebra/pull/10843 ) ).
21+ - ` zebra-state ` dependency bumped to ` 11.1.1 ` .
22+
23+ ### Security
1124
12- - ` transaction::Verifier::check_maturity_height ` is now private and takes
13- ` tx ` , ` height ` , ` network ` , and ` spent_utxos ` directly instead of ` &Request ` .
14- ([ #10843 ] ( https://github.com/ZcashFoundation/zebra/pull/10843 ) )
25+ - Check the ZIP-317 mempool rules before verifying a transaction's shielded proofs, so an
26+ underpaying transaction is rejected before the expensive cryptographic checks run
27+ ([ #11053 ] ( https://github.com/ZcashFoundation/zebra/pull/11053 ) ).
28+ - Score failed shielded proof and signature verifications, and non-canonical Orchard and
29+ Ironwood proof sizes, as mempool misbehaviour, so a peer sending invalid shielded transactions
30+ is disconnected instead of repeatedly forcing their verification
31+ ([ #11054 ] ( https://github.com/ZcashFoundation/zebra/pull/11054 ) ).
1532
1633## [ 12.0.1] - 2026-07-17
1734
0 commit comments