feat: Add precompiled contracts for alt_bn128 curve [rebased]

Cargo.toml

@@ -106,8 +106,18 @@ no_cache = ["neard/no_cache"]
 metric_recorder = ["neard/metric_recorder"]
 delay_detector = ["neard/delay_detector"]
 rosetta_rpc = ["neard/rosetta_rpc"]
-protocol_feature_forward_chunk_parts = ["neard/protocol_feature_forward_chunk_parts"]
 nightly_protocol = ["near-primitives/nightly_protocol", "near-jsonrpc/nightly_protocol"]
+nightly_protocol_features = ["nightly_protocol", "neard/nightly_protocol_features", "protocol_feature_evm", "protocol_feature_block_header_v3", "protocol_feature_alt_bn128"]
+protocol_feature_forward_chunk_parts = ["neard/protocol_feature_forward_chunk_parts"]
+protocol_feature_evm = ["neard/protocol_feature_evm", "testlib/protocol_feature_evm", "runtime-params-estimator/protocol_feature_evm"]
+protocol_feature_alt_bn128 = ["neard/protocol_feature_alt_bn128", "testlib/protocol_feature_alt_bn128", "runtime-params-estimator/protocol_feature_alt_bn128"]
+protocol_feature_block_header_v3 = ["near-primitives/protocol_feature_block_header_v3", "near-chain/protocol_feature_block_header_v3", "neard/protocol_feature_block_header_v3"]
+costs_counting = [
+    "near-primitives/costs_counting",
+    "neard/costs_counting",
+    "node-runtime/costs_counting",
+    "testlib/costs_counting"
+]
 # enable this to build neard with wasmer 1.0 runner
 # now if none of wasmer0_default, wasmer1_default or wasmtime_default is enabled, wasmer1 would be default
 wasmer1_default = ["node-runtime/wasmer1_default"]
@@ -118,12 +128,3 @@ wasmtime_default = ["node-runtime/wasmtime_default"]
 wasmer1_vm = ["node-runtime/wasmer1_vm"]
 wasmer0_vm = ["node-runtime/wasmer0_vm"]
 wasmtime_vm = ["node-runtime/wasmtime_vm"]
-nightly_protocol_features = ["nightly_protocol", "neard/nightly_protocol_features", "protocol_feature_evm", "protocol_feature_block_header_v3"]
-protocol_feature_evm = ["neard/protocol_feature_evm", "testlib/protocol_feature_evm", "runtime-params-estimator/protocol_feature_evm"]
-protocol_feature_block_header_v3 = ["near-primitives/protocol_feature_block_header_v3", "near-chain/protocol_feature_block_header_v3", "neard/protocol_feature_block_header_v3"]
-costs_counting = [
-    "near-primitives/costs_counting",
-    "neard/costs_counting",
-    "node-runtime/costs_counting",
-    "testlib/costs_counting"
-]

core/primitives-core/Cargo.toml

@@ -26,3 +26,4 @@ lazy_static = "1.4"
 default = []
 costs_counting = []
 protocol_feature_evm = []
+protocol_feature_alt_bn128 = []

core/primitives-core/src/config.rs

@@ -161,6 +161,7 @@ impl Default for VMLimitConfig {
 }
 
 #[derive(Debug, Serialize, Deserialize, Clone, Hash, PartialEq, Eq)]
+#[serde(default)]
 pub struct ExtCostsConfig {
     /// Base cost for calling a host function.
     pub base: Gas,
@@ -290,6 +291,31 @@ pub struct ExtCostsConfig {
     pub validator_stake_base: Gas,
     /// Cost of calling `validator_total_stake`.
     pub validator_total_stake_base: Gas,
+
+    // #############
+    // # Alt BN128 #
+    // #############
+    /// Base cost for multiexp
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    pub alt_bn128_g1_multiexp_base: Gas,
+    /// byte cost for multiexp
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    pub alt_bn128_g1_multiexp_byte: Gas,
+    /// Base cost for sum
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    pub alt_bn128_g1_sum_base: Gas,
+    /// byte cost for sum
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    pub alt_bn128_g1_sum_byte: Gas,
+    /// sublinear cost for items
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    pub alt_bn128_g1_multiexp_sublinear: Gas,
+    /// Base cost for pairing check
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    pub alt_bn128_pairing_check_base: Gas,
+    /// Cost for pairing check per byte
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    pub alt_bn128_pairing_check_byte: Gas,
 }
 
 // We multiply the actual computed costs by the fixed factor to ensure we
@@ -348,6 +374,20 @@ impl Default for ExtCostsConfig {
             promise_return: SAFETY_MULTIPLIER * 186717462,
             validator_stake_base: SAFETY_MULTIPLIER * 303944908800,
             validator_total_stake_base: SAFETY_MULTIPLIER * 303944908800,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_multiexp_base: SAFETY_MULTIPLIER * 5345163514,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_multiexp_byte: SAFETY_MULTIPLIER * 21665818,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_multiexp_sublinear: SAFETY_MULTIPLIER * 1422687,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_pairing_check_base: SAFETY_MULTIPLIER * 2281902410880,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_pairing_check_byte: SAFETY_MULTIPLIER * 10267480326,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_sum_base: SAFETY_MULTIPLIER * 5345163514,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_sum_byte: SAFETY_MULTIPLIER * 21665818,
         }
     }
 }
@@ -404,6 +444,20 @@ impl ExtCostsConfig {
             promise_return: 0,
             validator_stake_base: 0,
             validator_total_stake_base: 0,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_multiexp_base: 0,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_multiexp_byte: 0,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_multiexp_sublinear: 0,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_pairing_check_base: 0,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_pairing_check_byte: 0,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_sum_base: 0,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_sum_byte: 0,
         }
     }
 }
@@ -461,6 +515,20 @@ pub enum ExtCosts {
     promise_return,
     validator_stake_base,
     validator_total_stake_base,
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    alt_bn128_g1_multiexp_base,
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    alt_bn128_g1_multiexp_byte,
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    alt_bn128_g1_multiexp_sublinear,
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    alt_bn128_pairing_check_base,
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    alt_bn128_pairing_check_byte,
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    alt_bn128_g1_sum_base,
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    alt_bn128_g1_sum_byte,
 }
 
 // Type of an action, used in fees logic.
@@ -565,6 +633,20 @@ impl ExtCosts {
             promise_return => config.promise_return,
             validator_stake_base => config.validator_stake_base,
             validator_total_stake_base => config.validator_total_stake_base,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_multiexp_base => config.alt_bn128_g1_multiexp_base,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_multiexp_byte => config.alt_bn128_g1_multiexp_byte,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_multiexp_sublinear => config.alt_bn128_g1_multiexp_sublinear,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_pairing_check_base => config.alt_bn128_pairing_check_base,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_pairing_check_byte => config.alt_bn128_pairing_check_byte,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_sum_base => config.alt_bn128_g1_sum_base,
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            alt_bn128_g1_sum_byte => config.alt_bn128_g1_sum_byte,
         }
     }
 
@@ -623,6 +705,20 @@ impl ExtCosts {
             "promise_return",
             "validator_stake_base",
             "validator_total_stake_base",
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            "alt_bn128_g1_multiexp_base",
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            "alt_bn128_g1_multiexp_byte",
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            "alt_bn128_g1_multiexp_sublinear",
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            "alt_bn128_pairing_check_base",
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            "alt_bn128_pairing_check_byte",
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            "alt_bn128_g1_sum_base",
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            "alt_bn128_g1_sum_byte",
         ][index]
     }
 }

core/primitives/Cargo.toml

@@ -47,7 +47,8 @@ protocol_feature_forward_chunk_parts = []
 protocol_feature_rectify_inflation = []
 protocol_feature_evm = ["near-primitives-core/protocol_feature_evm"]
 protocol_feature_block_header_v3 = []
-nightly_protocol_features = ["nightly_protocol", "protocol_feature_forward_chunk_parts", "protocol_feature_rectify_inflation", "protocol_feature_evm", "protocol_feature_block_header_v3"]
+protocol_feature_alt_bn128 = ["near-primitives-core/protocol_feature_alt_bn128", "near-vm-errors/protocol_feature_alt_bn128"]
+nightly_protocol_features = ["nightly_protocol", "protocol_feature_forward_chunk_parts", "protocol_feature_rectify_inflation", "protocol_feature_evm", "protocol_feature_block_header_v3", "protocol_feature_alt_bn128"]
 nightly_protocol = []
 costs_counting = ["near-primitives-core/costs_counting"]
 

core/primitives/src/version.rs

@@ -90,6 +90,8 @@ pub enum ProtocolFeature {
     /// Decreases the storage cost of 1 byte by 10X.
     #[cfg(feature = "protocol_feature_lower_storage_cost")]
     LowerStorageCost,
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    AltBn128,
 }
 
 /// Current latest stable version of the protocol.
@@ -134,6 +136,8 @@ lazy_static! {
             (ProtocolFeature::EVM, 103),
             #[cfg(feature = "protocol_feature_block_header_v3")]
             (ProtocolFeature::BlockHeaderV3, 104),
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            (ProtocolFeature::AltBn128, 105),
         ]
         .into_iter()
         .collect();

neard/Cargo.toml

@@ -66,8 +66,9 @@ rosetta_rpc = ["near-rosetta-rpc"]
 protocol_feature_forward_chunk_parts = ["near-client/protocol_feature_forward_chunk_parts"]
 protocol_feature_rectify_inflation = ["near-epoch-manager/protocol_feature_rectify_inflation"]
 protocol_feature_evm = ["near-primitives/protocol_feature_evm", "node-runtime/protocol_feature_evm", "near-chain-configs/protocol_feature_evm", "near-chain/protocol_feature_evm"]
+protocol_feature_alt_bn128 = ["near-primitives/protocol_feature_alt_bn128", "node-runtime/protocol_feature_alt_bn128"]
 protocol_feature_block_header_v3 = ["near-primitives/protocol_feature_block_header_v3", "near-chain/protocol_feature_block_header_v3", "near-client/protocol_feature_block_header_v3"]
-nightly_protocol_features = ["nightly_protocol", "near-primitives/nightly_protocol_features", "near-client/nightly_protocol_features", "near-epoch-manager/nightly_protocol_features", "near-store/nightly_protocol_features", "protocol_feature_forward_chunk_parts", "protocol_feature_rectify_inflation", "protocol_feature_evm", "protocol_feature_block_header_v3"]
+nightly_protocol_features = ["nightly_protocol", "near-primitives/nightly_protocol_features", "near-client/nightly_protocol_features", "near-epoch-manager/nightly_protocol_features", "near-store/nightly_protocol_features", "protocol_feature_forward_chunk_parts", "protocol_feature_rectify_inflation", "protocol_feature_evm", "protocol_feature_block_header_v3", "protocol_feature_alt_bn128"]
 nightly_protocol = ["near-primitives/nightly_protocol", "near-jsonrpc/nightly_protocol"]
 costs_counting = ["near-primitives/costs_counting", "node-runtime/costs_counting"]
 

runtime/near-evm-runner/Cargo.toml

@@ -51,7 +51,7 @@ near-crypto = { path = "../../core/crypto" }
 
 [features]
 costs_counting = ["near-vm-logic/costs_counting"]
-protocol_feature_evm = ["near-vm-logic/protocol_feature_evm", "near-primitives/protocol_feature_evm"]
+protocol_feature_evm = ["near-vm-logic/protocol_feature_evm", "near-primitives/protocol_feature_evm", "near-vm-errors/protocol_feature_alt_bn128"]
 
 [[test]]
 name = "failures"

runtime/near-vm-errors/Cargo.toml

@@ -22,6 +22,7 @@ near-rpc-error-macro = { path = "../../tools/rpctypegen/macro", version = "0.1.0
 
 [features]
 dump_errors_schema = ["near-rpc-error-macro/dump_errors_schema"]
+protocol_feature_alt_bn128 = []
 
 [package.metadata.workspaces]
 independent = true

runtime/near-vm-errors/src/lib.rs

@@ -187,6 +187,12 @@ pub enum HostError {
     ContractSizeExceeded { size: u64, limit: u64 },
     /// The host function was deprecated.
     Deprecated { method_name: String },
+    /// Deserialization error for alt_bn128 functions
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    AltBn128DeserializationError { msg: String },
+    /// Serialization error for alt_bn128 functions
+    #[cfg(feature = "protocol_feature_alt_bn128")]
+    AltBn128SerializationError { msg: String },
 }
 
 /// Errors specifically from native EVM.
@@ -468,6 +474,10 @@ impl std::fmt::Display for HostError {
             ReturnedValueLengthExceeded { length, limit } => write!(f, "The length of a returned value {} exceeds the limit {}", length, limit),
             ContractSizeExceeded { size, limit } => write!(f, "The size of a contract code in DeployContract action {} exceeds the limit {}", size, limit),
             Deprecated {method_name}=> write!(f, "Attempted to call deprecated host function {}", method_name),
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            AltBn128DeserializationError { msg } => write!(f, "AltBn128 deserialization error: {}", msg),
+            #[cfg(feature = "protocol_feature_alt_bn128")]
+            AltBn128SerializationError { msg } => write!(f, "AltBn128 serialization error: {}", msg),
         }
     }
 }

runtime/near-vm-logic/Cargo.toml

@@ -25,12 +25,16 @@ near-primitives-core = { path = "../../core/primitives-core", version = "0.1.0"
 near-vm-errors = { path = "../near-vm-errors", version = "3.0.0" }
 near-runtime-utils = { path = "../near-runtime-utils", version = "3.0.0" }
 
+bn = { package = "zeropool-bn", version = "0.5.9", features = [], optional = true }
+
 [dev-dependencies]
 serde_json = {version= "1", features= ["preserve_order"]}
 
 [features]
 default = []
 protocol_feature_evm = ["near-primitives-core/protocol_feature_evm"]
+protocol_feature_alt_bn128 = ["bn", "near-primitives-core/protocol_feature_alt_bn128", "near-vm-errors/protocol_feature_alt_bn128"]
+
 wasmer0_default = []
 wasmtime_default = []
 wasmer1_default = []