add functions

Author: songwongtp

packages/kit/src/oei/mod.rs

@@ -66,3 +66,9 @@ pub fn get_external_data(eid: i64, vid: i64) -> Result<String, i64> {
         }
     }
 }
+
+/// Return the verification result of ecvrf given a pubkey, a vrf proof, and the
+/// corresponding result. 
+pub fn ecvrf_verify(y: &[u8], pi: &[u8], alpha: &[u8]) -> bool {
+    unsafe { raw::ecvrf_verify(y, pi, alpha) }
+}

packages/kit/src/oei/raw.rs

@@ -10,4 +10,5 @@ extern "C" {
     pub fn ask_external_data(eid: i64, did: i64, offset: i64, len: i64);
     pub fn get_external_data_status(eid: i64, vid: i64) -> i64;
     pub fn read_external_data(eid: i64, vid: i64, offset: i64) -> i64;
+    pub fn ecvrf_verify(y: &[u8], pi: &[u8], alpha: &[u8]) -> bool;
 }

packages/vm/Cargo.toml

@@ -14,6 +14,7 @@ hex = "0.4"
 parity-wasm = "0.41"
 pwasm-utils = "0.12"
 wasmer = { version = "1.0.2", default-features = false, features = ["jit", "singlepass", "compiler"] }
+owasm-crypto = "0.1.13"
 tempfile = "3.1.0"
 clru = "0.2.0"
 cosmwasm-vm = "0.13.2"

packages/vm/src/lib.rs

@@ -14,6 +14,8 @@ use pwasm_utils::{self, rules};
 
 use wasmer::{imports, wasmparser, Function, Singlepass, Store, JIT};
 
+use owasm_crypto::{ecvrf_verify}
+
 // inspired by https://github.com/CosmWasm/cosmwasm/issues/81
 // 512 pages = 32mb
 static MEMORY_LIMIT: u32 = 512; // in pages
@@ -261,6 +263,13 @@ where
                     Ok(data.len() as i64)
                 })
             }),
+            "ecvrf_verify" => Function::new_native_with_env(&store, owasm_env.clone(), |env: &Environment<E>, y: &[u8], pi: &[u8], alpha: &[u8]| {
+                env.with_vm(|vm| {
+                    // consume gas relatively to the function running time (~12ms)
+                    vm.consume_gas(700000)?;
+                    ecvrf_verify(y, pi, alpha)
+                })
+            }),
         },
     };