1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
use diem_crypto::{ed25519, traits::*};
use move_binary_format::errors::PartialVMResult;
use move_vm_runtime::native_functions::NativeContext;
use move_vm_types::{
gas_schedule::NativeCostIndex,
loaded_data::runtime_types::Type,
natives::function::{native_gas, NativeResult},
pop_arg,
values::Value,
};
use smallvec::smallvec;
use std::{collections::VecDeque, convert::TryFrom};
pub fn native_ed25519_publickey_validation(
context: &mut NativeContext,
_ty_args: Vec<Type>,
mut arguments: VecDeque<Value>,
) -> PartialVMResult<NativeResult> {
debug_assert!(_ty_args.is_empty());
debug_assert!(arguments.len() == 1);
let key_bytes = pop_arg!(arguments, Vec<u8>);
let cost = native_gas(
context.cost_table(),
NativeCostIndex::ED25519_VALIDATE_KEY,
key_bytes.len(),
);
let valid = ed25519::Ed25519PublicKey::try_from(&key_bytes[..]).is_ok();
Ok(NativeResult::ok(cost, smallvec![Value::bool(valid)]))
}
pub fn native_ed25519_signature_verification(
context: &mut NativeContext,
_ty_args: Vec<Type>,
mut arguments: VecDeque<Value>,
) -> PartialVMResult<NativeResult> {
debug_assert!(_ty_args.is_empty());
debug_assert!(arguments.len() == 3);
let msg = pop_arg!(arguments, Vec<u8>);
let pubkey = pop_arg!(arguments, Vec<u8>);
let signature = pop_arg!(arguments, Vec<u8>);
let cost = native_gas(
context.cost_table(),
NativeCostIndex::ED25519_VERIFY,
msg.len(),
);
let sig = match ed25519::Ed25519Signature::try_from(signature.as_slice()) {
Ok(sig) => sig,
Err(_) => {
return Ok(NativeResult::ok(cost, smallvec![Value::bool(false)]));
}
};
let pk = match ed25519::Ed25519PublicKey::try_from(pubkey.as_slice()) {
Ok(pk) => pk,
Err(_) => {
return Ok(NativeResult::ok(cost, smallvec![Value::bool(false)]));
}
};
let verify_result = sig.verify_arbitrary_msg(msg.as_slice(), &pk).is_ok();
Ok(NativeResult::ok(
cost,
smallvec![Value::bool(verify_result)],
))
}