Zebra 1.0.0-alpha.19

Zebra's latest alpha updates dependencies, improves metrics, gossips verified blocks and transactions, and continues the mempool-related implementation.

Added

• Ignore AlreadyInChain error in the syncer (#2890)
• Give more information to the user in the wrong port init warning (#2853)
• Send looked up UTXOs to the transaction verifier (#2849)
• Return the transaction fee from the transaction verifier (#2876)
• Gossip recently verified block hashes to peers (#2729)
• Compute the serialized transaction size of unmined transactions (#2824)

Mempool

• Add a queue checker task, to make sure mempool transactions propagate (#2888)
• Store the transaction fee in the mempool storage (#2885)
• Add a debug config that enables the mempool (#2862)
• Pass the mempool config to the mempool (#2861)
• Add expired transactions to the mempool rejected list (#2852)
• Send AdvertiseTransactionIds to peers (#2823)
• Add a mempool config section (#2845)
• Add transactions that failed verification to the mempool rejected list (#2821)
• Un-reject mempool transactions if the rejection depends on the current tip
  (#2844)
• Split storage errors by match type: TXID or WTXID (#2833)
• Remove transactions in newly committed blocks from the mempool (#2827)

Documentation

• Improve the template for release versioning (#2906)
• Improve the documentation for the mempool transaction downloader (#2879)
• Add the documentation for the mempool storage and gossip modules (#2884)

Network Upgrade 5

• Set the minimum testnet network protocol version to NU5 (#2851)

Testing and CI

• Add some additional checks to the acceptance mempool test (#2880)

Metrics

• Refactor and add some new mempool metrics (#2878)
• Improve logging for initial peer connections (#2896)
• Always zero the mempool metrics when the mempool is disabled (#2875)
• Add a basic mempool storage Grafana dashboard (#2866)
• Add zcash.mempool.size.transactions and zcash.mempool.size.bytes metrics
  (#2860)
• Make some grafana labels shorter for graph readability (#2850)
• Make block metrics more accurate (#2835)

Changed

Mempool

• Avoid broadcasting mempool rejected or expired transactions to peers (#2858)
• Encapsulate some mempool functions with the Mempool type (#2872)
• Remove duplicate IDs in mempool requests and responses (#2887)
• Refactor mempool spend conflict checks to increase performance (#2826)
• Rename mempool storage methods by match type (#2841)
• Remove unused mempool errors (#2831)

Fixed

• Fix synchronization delay issue (#2921)
• Fix test failures by flushing output streams before exiting Zebra (#2911, #2923)
• Increase Zebra's restart acceptance test timeout (#2910)
• Avoid spurious acceptance test failures by decreasing the peer crawler timeout (#2905)
• Cancel pending download tasks when the mempool is disabled (#2886)
• Stop allowing some newly mined transactions into the mempool (#2874)
• Stop panicking when pruning unused queued blocks (#2842)

Security

• Upgrade to ed25519-zebra 3.0.0 (#2864)
• Stop ignoring the mempool conflicting transaction reject list size limit (#2855)

Zebra v1.0.0-alpha.18

Zebra's latest alpha updates dependencies, consensus parameters, and Orchard for NU5 testnet activation.
It continues our work on the mempool, including some mempool features that are used during network upgrade activation.

Added

Mempool

• Send crawled transaction IDs to the mempool downloader (#2801)
• Cancel mempool download tasks when a network upgrade activates (#2816)
• Send mined transaction IDs to the mempool download/verify task for cancellation (#2786)
• Remove expired transactions from the mempool (#2774)
• Cancel download and verify tasks when the mempool is deactivated (#2764, #2754)
• Reject mempool transactions with conflicting spends (#2765)
• Clear mempool at a network upgrade (#2773, #2785)

Network Upgrade 5

• Update Zebra's advertised network protocol version to the latest NU5 testnet version (#2803)

Testing and CI

• Add tests to ensure mempool is working correctly (#2769, #2770, #2815)
• Create and use a helper MockService type to help with writing tests (#2810, #2748, #2790)
• Update Zebra tests to use the NU5 testnet activation height (#2802)
• Regenerate NU5 test cases with the latest network upgrade parameters (#2802)

Metrics

• Add Zebra metrics and a Grafana dashboard for connected peers and their network protocol versions (#2804, #2811)

Changed

• Stop sending empty network messages to peers (#2791)
• Correctly validate transactions which never expire (#2782)

Network Upgrade 5

• Update zcash_script dependency to support V5 transactions (#2825)
• Set the NU5 testnet activation network upgrade parameters (#2802)
• Update shared Zcash Rust NU5 dependencies (#2739)
• Update Zebra to use modified APIs in shared Zcash Rust NU5 dependencies (#2739)

Fixed

• Stop panicking when using sync and async methods on the same ChainTipChange (#2800)
• Fix an incorrect assertion when the block locator is at the tip (#2789)
• Fix a missing NULL pointer check in zebra_script's FFI (#2802)

Security

Network Upgrade 5

• Update Zebra's orchard commitment calculations based on the latest orchard circuit (#2807)

Zebra v1.0.0-alpha.17

Zebra's latest alpha continues work on the mempool.

Added

• Monitor changes to the chain tip, decide if synchronization reached tip (#2695,
  #2685, #2686, #2715, #2721, #2722)
• Only enable the mempool crawler after synchronization reaches the chain tip (#2667)
• Reply to requests for transactions IDs in the mempool (#2720)
• Reply to requests for transactions in the mempool, given their IDs (#2725)
• Download and verify gossiped transactions (#2679, #2727, #2718, #2741)
• Internal additions and improvements to the mempool (#2742, #2747, #2749)

Documentation

• Document consensus rules for version group IDs (#2719)
• Specify Zebra Client will only support Unified Addresses (#2706)

Fixed

• Stop calculating transaction hashes twice in the checkpoint verifier (#2696)

Security

• Replace older duplicate queued checkpoint blocks with the latest block's data (#2697)

Zebra 1.0.0-alpha.16

Zebra's latest alpha finishes most of the state work needed for NU5 testnet activation and starts the mempool work.

Added

Network Upgrade 5

• Finished ZIP-209: Prohibit Negative Shielded Chain Value Pool Balances (#2599, #2649, #2656, #2648, #2644)
• ZIP-221 and ZIP-244: Commitment validation in non-finalized state and checkpoint verifier (#2609, #2633)
• Orchard binding_verification_key support (#2441)

Mempool

• Mempool component, storage and errors (#2615, #2651)
• Create a transaction crawler for the mempool (#2646, #2672)
• Create and use types for unmined transactions and their IDs (#2634, #2666)
• ZIP-239: Implement mempool transaction v5 data structures and network messages (#2618, #2638)
• Return a transaction verifier from zebra_consensus::init (#2665)
• Provide recent syncer response lengths as a watch channel (#2602)
• Derive Copy and Clone for zebra-consensus errors (#2664)
• ChainTip trait creation and usage (#2677, #2676)

Metrics

• Add a network message to the grafana dashboard (#2673)

Documentation

• Refactor Zebra metrics docs (#2678, #2687)

Fixed

• Stop converting Message::Inv(TxId+) into Request::TransactionsById (#2660)
• Fixed test.yml (#2635)
• Fixed a clippy lint (#2642)

Zebra 1.0.0-alpha.15

Zebra's latest alpha contains the last of the changes to zebra chain state ahead of NU5 testnet activation and before concentrating on mempool work. The remaining NU5 validation will be completed prior to NU5 mainnet activation.

Added

• Reject connections from outdated peers after network upgrade activation (#2519)

Network Upgrade 5

• ZIP-209: Prohibit Negative Shielded Chain Value Pool Balances Partial Implementation (#2546, #2554, #2561, #2569, #2576, #2577, #2578, #2596)
• ZIP-221: FlyClient - Consensus-Layer Changes Partial Implementation (#2531, #2553, #2583)
• ZIP-244: Implementation of authorizing data commitment (auth_digest) (#2547)
• Check remaining transaction value is non-negative (#2566)

Changed

• Cache note commitment tree roots to speed up chain synchronisation (#2584)
• Update state cache version to v9 (#2598)
• Refactor HistoryTree type into NonEmptyHistoryTree and HistoryTree types (#2582)

Testing and CI

• Reduce number of nullifier property test cases (#2574)
• Ensure regenerate-stateful-test-disks.yml syncs to the latest network upgrade (#2601)
• Increase coverage for generated chains and proptests (#2540, #2567)
• Remove unreliable tests for generated chains (#2548)
• Add test-only methods for modifying orchard shielded data and joinsplits (#2580)
• Generate test chains with valid chain value pools (#2597)
• Increase timeout of cached database creation (#2581)
• Use fixed genesis coinbase data in generated genesis blocks (#2568)
• Generate valid sapling shielded data for property tests (#2579)
• Optimize build to regenerate the test state faster (#2552)

Fixed

• Fix the storage of anchors in the state (#2563)
• Make zebra-state compile successfully by itself (#2611)

Documentation

• Fix Transparent Value sign and definition (#2555)

Zebra 1.0.0-alpha.14

Zebra's latest alpha continues our work on NU5, including Orchard and Transaction V5.

Added

• Reject UTXO double spends (#2511)
• Add a ValueBalance type (#2505)
• Implement Sum for Amount (#2500)
• Add an OrderedUtxo type for transparent spend validation (#2502)
• Pass the finalized state to chain contextual validation (#2503)
• Calculate incremental note commitment trees (#2407)
• Reject duplicate Sapling and Orchard nullifiers (#2497)
• Add proptest-impl feature to zebra-state crate to help simplify tests(#2529)
• Track anchors and note commitment trees (#2458)
• Validate spends of transparent coinbase outputs (#2525)
• Calculate the remaining value in the transparent transaction value pool (#2486)

Documentation

• Add value pools design to book summary (#2520)

Testing

• Test consensus-critical Amount deserialization (#2487)
• Update to use new GitHub action names in Google Cloud workflows (#2533)
• Add test intialization helper function for tests (#2539)

Changed

• Decrease the number of randomised test cases in zebra-state (#2521, #2513)
• Make nullifier tests consistent with UTXO tests (#2513)

Testing

• Disable Rust beta tests in CI, due to a Rust bug (#2542)

Fixed

• Clarify a variable name and check for overflow in new_ordered_outputs (#2510)
• Update Orchard keys, hashes, and note commitments to match Zcash test vectors (#2445)

Zebra 1.0.0-alpha.13

Zebra's latest alpha continues our work on NU5, including Orchard and Transaction V5. New validation
rules were implemented for transactions, preventing double spends in the Sprout pool, checking
Sapling spends in V5 transactions, and some initial work to validate parts of Orchard transactions.

Added

• Reject duplicate sprout nullifiers in the state (#2477)
• Add methods for getting block nullifiers (#2465)
• Verify orchard spend auth (#2442)
• Parse and ignore MSG_WTX inventory type in network messages (part of ZIP-239) (#2446)
• Add ZIP-244 signature hash support (#2165)
• Add HistoryTree struct (#2396)
• Add ZIP-0244 TxId Digest support (#2129)
• Validate V5 transactions with Sapling shielded data (#2437)

Documentation

• Document some consensus-critical finalized state behaviour (#2476)
• Value pools design (#2430)

Changed

• Move Utxo type to zebra-chain (#2481)
• Combine near-duplicate Utxo creation functions (#2467)

Documentation

• Update state RFC for incremental trees, value pools, and RocksDB (#2456)
• Modify UTXO and state designs for transparent coinbase output checks (#2413)

Fixed

• When a parent block is rejected, also reject its children (#2479)
• Restore the previous non-finalized chain if a block is invalid (#2478)
• Stop ignoring sapling binding signature errors (#2472)
• Always compute sighash with librustzcash (#2469)
• Fix bug in sighash calculation for coinbase transactions (#2459)
• Increase coverage of cached state tests: full block and transaction validation, and non-finalized state validation (#2463)

Zebra 1.0.0-alpha.12

Zebra's latest alpha continues our work on NU5, including Orchard and Transaction V5. It also includes documentation updates and security fixes. In particular, Zebra no longer gossips unreachable addresses to other nodes and users should update and restart any running Zebra nodes.

Added

• Check if a previous version of Zebra followed a different consensus branch (#2366)
• API for a minimum protocol version during initial block download (#2395)
• Add a verification height to mempool transaction verification requests (#2400)
• Improved error messages by adding database path method to the Finalized State (#2349)
• Add property test strategies for V5 transactions (#2347)
• Re-use a shared Tokio runtime for some Zebra tests (#2397)

Documentation

• Add CHANGELOG.md file to the zebra git repo (#2346)
• Client RFC updates (#2367, #2341)
• Explain how Zebra validates shielded coinbase outputs like other shielded outputs (#2382)
• Document required request timeouts due to data dependencies (#2337)
• Update known issues and add inbound network ports to the README (#2373)
• Document shared to per-spend anchor conversion (#2363)
• Document note commitment trees storage (#2259)

Network Upgrade 5

• Orchard note commitment tree test vectors (#2384)
• Enable V5 transaction test vectors in the groth16 tests (#2383)
• Validate transparent inputs and outputs in V5 transactions (#2302)
• Batch math & variable-time multiscalar multiplication for RedPallas (#2288)
• Implement asynchronous verifier service for RedPallas (#2318)
• ZIP-211: Validate Disabling Addition of New Value to the Sprout Value Pool (#2399)

Changed

• Various transaction verifier refactors (#2371, #2432)
• Remove unicode in Zebra's user agent (#2376)
• Update multiple crates to ensure bitvec 0.22.3 is being used (#2351)
• Move transaction consensus branch ID check function to zebra-chain (#2354)
• Replace primitives_types with uint (#2350)
• Refactor to return errors from state update methods to prepare for contextual validation (#2417)
• Refactor of the validation of Sapling shielded data (#2419)

Network Upgrade 5

• Update spend and output checks for new Orchard consensus rules (#2398)

Fixed

• Failed tests in the cached state CI workflow are no longer ignored (#2403)
• Stop skipping the cached sync tests in CI (#2402)
• Fix intermittent errors in the groth16 verifier tests (#2412)
• Skip IPv6 tests when ZEBRA_SKIP_IPV6_TESTS environmental variable is set (#2405)
• Stop failing after the mandatory Canopy checkpoint due to incorrect coinbase script verification (#2404)
• Improved docs and panic messages for zebra_test::command (#2406)
• Gossip dynamic local listener ports to peers (#2277)
• Stop allowing JoinSplits for Halo (#2428)
• Fix failing legacy chain tests (#2427)

Security

• Zebra no longer gossips unreachable addresses to other nodes (#2392)
  • User Action Required: Update and restart any running Zebra nodes
• Avoid duplicate peer connections (#2276)
• Send local listener address to peers (#2276)
• Limit reconnection rate to individual peers (#2275)

Zebra 1.0.0-alpha.11

Zebra's latest alpha continues our work on NU5, including Orchard and Transaction V5. It also includes some security fixes.

Added

• Add and use a function for the mandatory checkpoint for a given Network (#2314)

Network Upgrade 5

• ZIP-221: integrate MMR tree from librustcash (without Orchard) (#2227)

Changed

• Replace usage of atomics with tokio::sync::watch in tests for CandidateSet (#2272)

Network Upgrade 5

• Use latest librustzcash version in zcash_history (#2332, #2345)

Testing and Diagnostics

• Refactor restart_stop_at_height test to make it more flexible (#2315)
• Use Swatinem/rust-cache@v1 (#2291)
• Replace bespoke source-based coverage config with cargo-llvm-cov (#2286)
• Remove outdated pinned nightly in coverage workflow (#2264)

Fixed

Network Upgrade 5

• Stop panicking on invalid orchard nullifiers (#2267)
• Reject V5 transactions before NU5 activation (#2285)

Testing

• Make acceptance test zebrad output matching more robust (#2252)

Security

• Stop gossiping failure and attempt times as last seen times (#2273)
• Return an error rather than panicking on invalid reserved orchard::Flags bits (#2284)
• Only apply the outbound connection rate-limit to actual connections (#2278)
• Rate limit initial genesis block download retries, Credit: Equilibrium (#2255)

Zebra 1.0.0-alpha.10

Zebra's latest alpha continues our work on NU5, including Orchard and Transaction V5. It also includes some security fixes.

Added

Network Upgrade 5

• Store Orchard nullifiers into the state (#2185)

Testing and Bug Reports

• Generate test chains that pass basic chain consistency tests (#2221)
• Make arbitrary block chains pass some genesis checks (#2208)
• Test Eq/PartialEq for Orchard keys (#2187, #2228)
• Further test new transaction consensus rules (#2246)
• Create workflow to regenerate cached state disks for tests (#2247)
• Add final sapling root test vectors (#2243)

Changed

• Make sure the mandatory checkpoint includes the Canopy activation block (#2235)
• Move the check in transaction::check::sapling_balances_match to V4 deserialization (#2234)

Network Upgrade 5

• Implement more Transaction checks for Transaction Version 5 and Orchard (#2229, #2236)

Testing and Diagnostics

• Make debugging easier on proptests with large vectors (#2232, #2222)
• Update test job to use cached state version 5 (#2253)
• Add the database format to the panic metadata (#2249)

Developer Workflows

• Update the GitHub and RFC templates based on retrospectives (#2242)

Fixed

• Get redpallas tweak proptests working again (#2219)

Testing

• Adjust the benchmark sample size so all benchmarks finish successfully (#2237)
• Fix scriptCode serialization and sighash test vectors (#2198)
• Allow multi-digit Zebra alpha versions in the zebrad acceptance tests (#2250)

Security

• Don't trust future gossiped last seen times (#2178)
• Stop panicking when serializing out-of-range times, Credit: Equilibrium (#2203, #2210)
• Rate limit GetAddr messages to any peer, Credit: Equilibrium (#2254)
• Prevent bursts of reconnection attempts (#2251)