Network Sustainability Mechanism - ZIP 234 & 235 implementation

Cargo.toml

@@ -25,14 +25,15 @@ resolver = "2"
 incrementalmerkletree = "0.7.0"
 orchard = "0.9.0"
 sapling-crypto = "0.2.0"
-zcash_address = "0.5.0"
-zcash_client_backend = "0.13.0"
-zcash_encoding = "0.2.1"
-zcash_history = "0.4.0"
-zcash_keys = "0.3.0"
-zcash_primitives = "0.17.0"
-zcash_proofs = "0.17.0"
-zcash_protocol = "0.3.0"
+# TODO: Revert to a release once librustzcash is released (#8749).
+zcash_address = { git = "https://github.com/ShieldedLabs/librustzcash/", branch = "nsm-zebra" }
+zcash_client_backend = { git = "https://github.com/ShieldedLabs/librustzcash/", branch = "nsm-zebra" }
+zcash_encoding = { git = "https://github.com/ShieldedLabs/librustzcash/", branch = "nsm-zebra" }
+zcash_history = { git = "https://github.com/ShieldedLabs/librustzcash/", branch = "nsm-zebra" }
+zcash_keys = { git = "https://github.com/ShieldedLabs/librustzcash/", branch = "nsm-zebra" }
+zcash_primitives = { git = "https://github.com/ShieldedLabs/librustzcash/", branch = "nsm-zebra" }
+zcash_proofs = { git = "https://github.com/ShieldedLabs/librustzcash/", branch = "nsm-zebra" }
+zcash_protocol = { git = "https://github.com/ShieldedLabs/librustzcash/", branch = "nsm-zebra" }
 
 [workspace.metadata.release]
 

zebra-chain/Cargo.toml

@@ -17,6 +17,8 @@ categories = ["asynchronous", "cryptography::cryptocurrencies", "encoding"]
 [features]
 default = []
 
+nsm = []
+
 # Production features that activate extra functionality
 
 # Consensus-critical conversion from JSON to Zcash types
@@ -178,3 +180,6 @@ required-features = ["bench"]
 [[bench]]
 name = "redpallas"
 harness = false
+
+[lints.rust]
+unexpected_cfgs = { level = "warn", check-cfg = ['cfg(zcash_unstable, values("nsm"))'] }

zebra-chain/src/amount.rs

@@ -557,7 +557,7 @@ impl Constraint for NonNegative {
 ///     -MAX_MONEY..=0,
 /// );
 /// ```
-#[derive(Clone, Copy, Debug, Eq, PartialEq, Hash)]
+#[derive(Clone, Copy, Debug, Eq, PartialEq, Hash, Default)]
 pub struct NegativeOrZero;
 
 impl Constraint for NegativeOrZero {

zebra-chain/src/block.rs

@@ -19,14 +19,15 @@ use crate::{
 };
 
 mod commitment;
-mod error;
 mod hash;
 mod header;
 mod height;
 mod serialize;
 
+pub mod error;
 pub mod genesis;
 pub mod merkle;
+pub mod subsidy;
 
 #[cfg(any(test, feature = "proptest-impl"))]
 pub mod arbitrary;

zebra-chain/src/block/commitment.rs

@@ -139,6 +139,10 @@ impl Commitment {
             (Nu5 | Nu6, _) => Ok(ChainHistoryBlockTxAuthCommitment(
                 ChainHistoryBlockTxAuthCommitmentHash(bytes),
             )),
+            #[cfg(zcash_unstable = "nsm")]
+            (ZFuture, _) => Ok(ChainHistoryBlockTxAuthCommitment(
+                ChainHistoryBlockTxAuthCommitmentHash(bytes),
+            )),
         }
     }
 

zebra-chain/src/block/error.rs

@@ -2,9 +2,22 @@
 
 use thiserror::Error;
 
+use crate::error::SubsidyError;
+
+#[cfg(any(test, feature = "proptest-impl"))]
+use proptest_derive::Arbitrary;
+
+#[derive(Clone, Error, Debug, PartialEq, Eq)]
+#[cfg_attr(any(test, feature = "proptest-impl"), derive(Arbitrary))]
 #[allow(missing_docs)]
-#[derive(Error, Debug, PartialEq, Eq)]
 pub enum BlockError {
+    #[error("block has no transactions")]
+    NoTransactions,
+
     #[error("transaction has wrong consensus branch id for block network upgrade")]
     WrongTransactionConsensusBranchId,
+
+    #[error("block failed subsidy validation")]
+    #[cfg_attr(any(test, feature = "proptest-impl"), proptest(skip))]
+    Subsidy(#[from] SubsidyError),
 }

zebra-consensus/src/block/subsidy/funding_streams.rs → zebra-chain/src/block/subsidy/funding_streams.rs

@@ -4,7 +4,7 @@
 
 use std::collections::HashMap;
 
-use zebra_chain::{
+use crate::{
     amount::{Amount, Error, NonNegative},
     block::Height,
     parameters::{subsidy::*, Network, NetworkUpgrade::*},

zebra-consensus/src/block/subsidy/funding_streams/tests.rs → zebra-chain/src/block/subsidy/funding_streams/tests.rs

@@ -1,17 +1,19 @@
 //! Tests for funding streams.
 
 use color_eyre::Report;
-use zebra_chain::parameters::{
-    subsidy::FundingStreamReceiver,
-    testnet::{
-        self, ConfiguredActivationHeights, ConfiguredFundingStreamRecipient,
-        ConfiguredFundingStreams,
+
+use crate::{
+    block::subsidy::general::block_subsidy_pre_nsm,
+    parameters::{
+        subsidy::FundingStreamReceiver,
+        testnet::{
+            self, ConfiguredActivationHeights, ConfiguredFundingStreamRecipient,
+            ConfiguredFundingStreams,
+        },
+        NetworkKind,
     },
-    NetworkKind,
 };
 
-use crate::block::subsidy::general::block_subsidy;
-
 use super::*;
 
 /// Check mainnet funding stream values are correct for the entire period.
@@ -26,7 +28,7 @@ fn test_funding_stream_values() -> Result<(), Report> {
     assert!(funding_stream_values(
         canopy_height_minus1,
         network,
-        block_subsidy(canopy_height_minus1, network)?
+        block_subsidy_pre_nsm(canopy_height_minus1, network)?
     )?
     .is_empty());
 
@@ -50,7 +52,7 @@ fn test_funding_stream_values() -> Result<(), Report> {
         funding_stream_values(
             canopy_height,
             network,
-            block_subsidy(canopy_height, network)?
+            block_subsidy_pre_nsm(canopy_height, network)?
         )
         .unwrap(),
         hash_map
@@ -60,7 +62,7 @@ fn test_funding_stream_values() -> Result<(), Report> {
         funding_stream_values(
             canopy_height_plus1,
             network,
-            block_subsidy(canopy_height_plus1, network)?
+            block_subsidy_pre_nsm(canopy_height_plus1, network)?
         )
         .unwrap(),
         hash_map
@@ -70,7 +72,7 @@ fn test_funding_stream_values() -> Result<(), Report> {
         funding_stream_values(
             canopy_height_plus2,
             network,
-            block_subsidy(canopy_height_plus2, network)?
+            block_subsidy_pre_nsm(canopy_height_plus2, network)?
         )
         .unwrap(),
         hash_map
@@ -82,11 +84,11 @@ fn test_funding_stream_values() -> Result<(), Report> {
     let last = (end - 1).unwrap();
 
     assert_eq!(
-        funding_stream_values(last, network, block_subsidy(last, network)?).unwrap(),
+        funding_stream_values(last, network, block_subsidy_pre_nsm(last, network)?).unwrap(),
         hash_map
     );
 
-    assert!(funding_stream_values(end, network, block_subsidy(end, network)?)?.is_empty());
+    assert!(funding_stream_values(end, network, block_subsidy_pre_nsm(end, network)?)?.is_empty());
 
     // TODO: Replace this with Mainnet once there's an NU6 activation height defined for Mainnet
     let network = testnet::Parameters::build()
@@ -137,7 +139,8 @@ fn test_funding_stream_values() -> Result<(), Report> {
         Height(nu6_height.0 + 1),
     ] {
         assert_eq!(
-            funding_stream_values(height, &network, block_subsidy(height, &network)?).unwrap(),
+            funding_stream_values(height, &network, block_subsidy_pre_nsm(height, &network)?)
+                .unwrap(),
             hash_map
         );
     }
@@ -191,7 +194,8 @@ fn test_funding_stream_values() -> Result<(), Report> {
         Height(nu6_height.0 + 1),
     ] {
         assert_eq!(
-            funding_stream_values(height, &network, block_subsidy(height, &network)?).unwrap(),
+            funding_stream_values(height, &network, block_subsidy_pre_nsm(height, &network)?)
+                .unwrap(),
             hash_map
         );
     }