From a15e50363d9093a24a9bf8299b727fcaf4788164 Mon Sep 17 00:00:00 2001 From: Dmitry Lavrenov Date: Fri, 19 Apr 2024 20:24:35 +0300 Subject: [PATCH] Integrate BLS12-381 curve operations as precompiles to humanode-runtime --- Cargo.lock | 1 + crates/humanode-runtime/Cargo.toml | 1 + .../src/frontier_precompiles.rs | 42 +++++++++++++++++++ 3 files changed, 44 insertions(+) diff --git a/Cargo.lock b/Cargo.lock index b7f9e1bec..e7d689fb5 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -4146,6 +4146,7 @@ dependencies = [ "pallet-vesting", "parity-scale-codec", "precompile-bioauth", + "precompile-bls12381", "precompile-currency-swap", "precompile-evm-accounts-mapping", "precompile-native-currency", diff --git a/crates/humanode-runtime/Cargo.toml b/crates/humanode-runtime/Cargo.toml index 05ba416bf..bad96e2fc 100644 --- a/crates/humanode-runtime/Cargo.toml +++ b/crates/humanode-runtime/Cargo.toml @@ -32,6 +32,7 @@ pallet-pot = { path = "../pallet-pot", default-features = false } pallet-token-claims = { path = "../pallet-token-claims", default-features = false } pallet-vesting = { path = "../pallet-vesting", default-features = false } precompile-bioauth = { path = "../precompile-bioauth", default-features = false } +precompile-bls12381 = { path = "../precompile-bls12381", default-features = false } precompile-currency-swap = { path = "../precompile-currency-swap", default-features = false } precompile-evm-accounts-mapping = { path = "../precompile-evm-accounts-mapping", default-features = false } precompile-native-currency = { path = "../precompile-native-currency", default-features = false } diff --git a/crates/humanode-runtime/src/frontier_precompiles.rs b/crates/humanode-runtime/src/frontier_precompiles.rs index 004d768ef..fb6da6c68 100644 --- a/crates/humanode-runtime/src/frontier_precompiles.rs +++ b/crates/humanode-runtime/src/frontier_precompiles.rs @@ -6,6 +6,10 @@ use pallet_evm_precompile_modexp::Modexp; use pallet_evm_precompile_sha3fips::Sha3FIPS256; use pallet_evm_precompile_simple::{ECRecover, ECRecoverPublicKey, Identity, Ripemd160, Sha256}; use precompile_bioauth::Bioauth; +use precompile_bls12381::{ + Bls12381G1Add, Bls12381G1Mul, Bls12381G1MultiExp, Bls12381G2Add, Bls12381G2Mul, + Bls12381G2MultiExp, Bls12381MapG1, Bls12381MapG2, Bls12381Pairing, +}; use precompile_currency_swap::CurrencySwap; use precompile_evm_accounts_mapping::EvmAccountsMapping; use precompile_native_currency::NativeCurrency; @@ -28,6 +32,25 @@ pub mod precompiles_constants { /// `Modexp` precompile constant. pub const MODEXP: u64 = 5; + /// `Bls12381G1Add` precompile constant. + pub const BLS12381_G1_ADD: u64 = 11; + /// `Bls12381G1Mul` precompile constant. + pub const BLS12381_G1_MUL: u64 = 12; + /// `Bls12381G1MultiExp` precompile constant. + pub const BLS12381_G1_MULTI_EXP: u64 = 13; + /// `Bls12381G2Add` precompile constant. + pub const BLS12381_G2_ADD: u64 = 14; + /// `Bls12381G2Mul` precompile constant. + pub const BLS12381_G2_MUL: u64 = 15; + /// `Bls12381G2MultiExp` precompile constant. + pub const BLS12381_G2_MULTI_EXP: u64 = 16; + /// `Bls12381Pairing` precompile constant. + pub const BLS12381_PAIRING: u64 = 17; + /// `Bls12381MapG1` precompile constant. + pub const BLS12381_MAP_G1: u64 = 18; + /// `Bls12381MapG2` precompile constant. + pub const BLS12381_MAP_G2: u64 = 19; + /// `Sha3FIPS256` precompile constant. pub const SHA_3_FIPS256: u64 = 1024; /// `ECRecoverPublicKey` precompile constant. @@ -64,6 +87,15 @@ where RIPEMD_160, IDENTITY, MODEXP, + BLS12381_G1_ADD, + BLS12381_G1_MUL, + BLS12381_G1_MULTI_EXP, + BLS12381_G2_ADD, + BLS12381_G2_MUL, + BLS12381_G2_MULTI_EXP, + BLS12381_PAIRING, + BLS12381_MAP_G1, + BLS12381_MAP_G2, SHA_3_FIPS256, EC_RECOVER_PUBLIC_KEY, BIOAUTH, @@ -99,6 +131,16 @@ where a if a == hash(RIPEMD_160) => Some(Ripemd160::execute(handle)), a if a == hash(IDENTITY) => Some(Identity::execute(handle)), a if a == hash(MODEXP) => Some(Modexp::execute(handle)), + // BLS12-381 precompiles: + a if a == hash(BLS12381_G1_ADD) => Some(Bls12381G1Add::execute(handle)), + a if a == hash(BLS12381_G1_MUL) => Some(Bls12381G1Mul::execute(handle)), + a if a == hash(BLS12381_G1_MULTI_EXP) => Some(Bls12381G1MultiExp::execute(handle)), + a if a == hash(BLS12381_G2_ADD) => Some(Bls12381G2Add::execute(handle)), + a if a == hash(BLS12381_G2_MUL) => Some(Bls12381G2Mul::execute(handle)), + a if a == hash(BLS12381_G2_MULTI_EXP) => Some(Bls12381G2MultiExp::execute(handle)), + a if a == hash(BLS12381_PAIRING) => Some(Bls12381Pairing::execute(handle)), + a if a == hash(BLS12381_MAP_G1) => Some(Bls12381MapG1::execute(handle)), + a if a == hash(BLS12381_MAP_G2) => Some(Bls12381MapG2::execute(handle)), // Non-Frontier specific nor Ethereum precompiles : a if a == hash(SHA_3_FIPS256) => Some(Sha3FIPS256::execute(handle)), a if a == hash(EC_RECOVER_PUBLIC_KEY) => Some(ECRecoverPublicKey::execute(handle)),