mirror of
https://github.com/pezkuwichain/pezkuwi-subxt.git
synced 2026-04-26 20:27:58 +00:00
Squirrel
1b5f4243d1
This PR removes sp-std crate from substrate/primitives sub-directories. For now crates that have `pub use` of sp-std or export macros that would necessitate users of the macros to `extern crate alloc` have been excluded from this PR. There should be no breaking changes in this PR. --------- Co-authored-by: Koute <koute@users.noreply.github.com>
89 lines
3.3 KiB
Rust
89 lines
3.3 KiB
Rust
// This file is part of Substrate.
|
|
|
|
// Copyright (C) Parity Technologies (UK) Ltd.
|
|
// SPDX-License-Identifier: Apache-2.0
|
|
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
//! *Ed-on-BLS12-377* types and host functions.
|
|
|
|
use crate::utils;
|
|
use alloc::vec::Vec;
|
|
use ark_ec::CurveConfig;
|
|
use ark_ed_on_bls12_377_ext::CurveHooks;
|
|
use sp_runtime_interface::runtime_interface;
|
|
|
|
/// Curve hooks jumping into [`host_calls`] host functions.
|
|
#[derive(Copy, Clone)]
|
|
pub struct HostHooks;
|
|
|
|
/// Group configuration.
|
|
pub type EdwardsConfig = ark_ed_on_bls12_377_ext::EdwardsConfig<HostHooks>;
|
|
/// Twisted Edwards form point affine representation.
|
|
pub type EdwardsAffine = ark_ed_on_bls12_377_ext::EdwardsAffine<HostHooks>;
|
|
/// Twisted Edwards form point projective representation.
|
|
pub type EdwardsProjective = ark_ed_on_bls12_377_ext::EdwardsProjective<HostHooks>;
|
|
|
|
impl CurveHooks for HostHooks {
|
|
fn ed_on_bls12_377_msm(
|
|
bases: &[EdwardsAffine],
|
|
scalars: &[<EdwardsConfig as CurveConfig>::ScalarField],
|
|
) -> Result<EdwardsProjective, ()> {
|
|
let bases = utils::encode(bases);
|
|
let scalars = utils::encode(scalars);
|
|
let res = host_calls::ed_on_bls12_377_te_msm(bases, scalars).unwrap_or_default();
|
|
utils::decode_proj_te(res)
|
|
}
|
|
|
|
fn ed_on_bls12_377_mul_projective(
|
|
base: &EdwardsProjective,
|
|
scalar: &[u64],
|
|
) -> Result<EdwardsProjective, ()> {
|
|
let base = utils::encode_proj_te(base);
|
|
let scalar = utils::encode(scalar);
|
|
let res = host_calls::ed_on_bls12_377_te_mul_projective(base, scalar).unwrap_or_default();
|
|
utils::decode_proj_te(res)
|
|
}
|
|
}
|
|
|
|
/// Interfaces for working with *Arkworks* *Ed-on-BLS12-377* elliptic curve
|
|
/// related types from within the runtime.
|
|
///
|
|
/// All types are (de-)serialized through the wrapper types from the `ark-scale` trait,
|
|
/// with `ark_scale::{ArkScale, ArkScaleProjective}`.
|
|
///
|
|
/// `ArkScale`'s `Usage` generic parameter is expected to be set to "not-validated"
|
|
/// and "not-compressed".
|
|
#[runtime_interface]
|
|
pub trait HostCalls {
|
|
/// Twisted Edwards multi scalar multiplication for *Ed-on-BLS12-377*.
|
|
///
|
|
/// - Receives encoded:
|
|
/// - `base`: `ArkScaleProjective<EdwardsProjective>`.
|
|
/// - `scalars`: `ArkScale<Vec<EdwardsConfig::ScalarField>>`.
|
|
/// - Returns encoded: `ArkScaleProjective<EdwardsProjective>`.
|
|
fn ed_on_bls12_377_te_msm(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
|
utils::msm_te::<ark_ed_on_bls12_377::EdwardsConfig>(bases, scalars)
|
|
}
|
|
|
|
/// Twisted Edwards projective multiplication for *Ed-on-BLS12-377*.
|
|
///
|
|
/// - Receives encoded:
|
|
/// - `base`: `ArkScaleProjective<EdwardsProjective>`.
|
|
/// - `scalar`: `ArkScale<Vec<u64>>`.
|
|
/// - Returns encoded: `ArkScaleProjective<EdwardsProjective>`.
|
|
fn ed_on_bls12_377_te_mul_projective(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
|
utils::mul_projective_te::<ark_ed_on_bls12_377::EdwardsConfig>(base, scalar)
|
|
}
|
|
}
|