Host-optimized pairing cryptography with the Barreto-Naehrig curve

execution_engine/Cargo.toml

@@ -12,6 +12,7 @@ license = "Apache-2.0"
 
 [dependencies]
 anyhow = "1.0.33"
+bn = { version = "0.5", package = "zeropool-bn", default-features = false }
 base16 = "0.2.1"
 bincode = "1.3.1"
 casper-storage = { version = "2.0.0", path = "../storage" }

execution_engine/src/resolvers/v1_function_index.rs

@@ -60,6 +60,9 @@ pub(crate) enum FunctionIndex {
     ManageMessageTopic,
     EmitMessage,
     LoadCallerInformation,
+    AltBn128Add,
+    AltBn128Mul,
+    AltBn128Pairing,
 }
 
 impl From<FunctionIndex> for usize {

execution_engine/src/resolvers/v1_resolver.rs

@@ -253,6 +253,18 @@ impl ModuleImportResolver for RuntimeModuleImportResolver {
                 Signature::new(&[ValueType::I32; 4][..], Some(ValueType::I32)),
                 FunctionIndex::EmitMessage.into(),
             ),
+            "casper_alt_bn128_add" => FuncInstance::alloc_host(
+                Signature::new(&[ValueType::I32; 6][..], Some(ValueType::I32)),
+                FunctionIndex::AltBn128Add.into(),
+            ),
+            "casper_alt_bn128_mul" => FuncInstance::alloc_host(
+                Signature::new(&[ValueType::I32; 5][..], Some(ValueType::I32)),
+                FunctionIndex::AltBn128Mul.into(),
+            ),
+            "casper_alt_bn128_pairing" => FuncInstance::alloc_host(
+                Signature::new(&[ValueType::I32; 3][..], Some(ValueType::I32)),
+                FunctionIndex::AltBn128Pairing.into(),
+            ),
             _ => {
                 return Err(InterpreterError::Function(format!(
                     "host module doesn't export function with name {}",

execution_engine/src/runtime/builtins.rs

@@ -0,0 +1,4 @@
+//! Builtin functions for the execution engine.
+//!
+//! Functions here are lifted to the host and are implemented in the host's native code.
+pub mod altbn128;