forked from paritytech/polkadot-sdk
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
9 changed files
with
1,227 additions
and
487 deletions.
There are no files selected for viewing
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,205 @@ | ||
| // 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. | ||
|
|
||
| //! *BLS12-377* types and host functions. | ||
|
|
||
| use crate::utils; | ||
| use ark_bls12_377_ext::CurveHooks; | ||
| use ark_ec::{pairing::Pairing, CurveConfig}; | ||
| use sp_runtime_interface::runtime_interface; | ||
| use sp_std::vec::Vec; | ||
|
|
||
| /// First pairing group definitions. | ||
| pub mod g1 { | ||
| pub use ark_bls12_377_ext::g1::{ | ||
| G1_GENERATOR_X, G1_GENERATOR_Y, TE_GENERATOR_X, TE_GENERATOR_Y, | ||
| }; | ||
| /// Group configuration. | ||
| pub type Config = ark_bls12_377_ext::g1::Config<super::HostHooks>; | ||
| /// Short Weierstrass form point affine representation. | ||
| pub type G1Affine = ark_bls12_377_ext::g1::G1Affine<super::HostHooks>; | ||
| /// Short Weierstrass form point projective representation. | ||
| pub type G1Projective = ark_bls12_377_ext::g1::G1Projective<super::HostHooks>; | ||
| /// Short Weierstrass form point affine representation. | ||
| pub type G1SWAffine = ark_bls12_377_ext::g1::G1SWAffine<super::HostHooks>; | ||
| /// Short Weierstrass form point projective representation. | ||
| pub type G1SWProjective = ark_bls12_377_ext::g1::G1SWProjective<super::HostHooks>; | ||
| /// Twisted Edwards form point affine representation. | ||
| pub type G1TEAffine = ark_bls12_377_ext::g1::G1TEAffine<super::HostHooks>; | ||
| /// Twisted Edwards form point projective representation. | ||
| pub type G1TEProjective = ark_bls12_377_ext::g1::G1TEProjective<super::HostHooks>; | ||
| } | ||
|
|
||
| /// Second pairing group definitions. | ||
| pub mod g2 { | ||
| pub use ark_bls12_377_ext::g2::{ | ||
| G2_GENERATOR_X, G2_GENERATOR_X_C0, G2_GENERATOR_X_C1, G2_GENERATOR_Y, G2_GENERATOR_Y_C0, | ||
| G2_GENERATOR_Y_C1, | ||
| }; | ||
| /// Group configuration. | ||
| pub type Config = ark_bls12_377_ext::g2::Config<super::HostHooks>; | ||
| /// Short Weierstrass form point affine representation. | ||
| pub type G2Affine = ark_bls12_377_ext::g2::G2Affine<super::HostHooks>; | ||
| /// Short Weierstrass form point projective representation. | ||
| pub type G2Projective = ark_bls12_377_ext::g2::G2Projective<super::HostHooks>; | ||
| } | ||
|
|
||
| pub use self::{ | ||
| g1::{Config as G1Config, G1Affine, G1Projective}, | ||
| g2::{Config as G2Config, G2Affine, G2Projective}, | ||
| }; | ||
|
|
||
| /// Curve hooks jumping into [`host_calls`] host functions. | ||
| #[derive(Copy, Clone)] | ||
| pub struct HostHooks; | ||
|
|
||
| /// Configuration for *BLS12-377* curve. | ||
| pub type Config = ark_bls12_377_ext::Config<HostHooks>; | ||
|
|
||
| /// *BLS12-377* definition. | ||
| /// | ||
| /// A generic *BLS12* model specialized with *BLS12-377* configuration. | ||
| pub type Bls12_377 = ark_bls12_377_ext::Bls12_377<HostHooks>; | ||
|
|
||
| impl CurveHooks for HostHooks { | ||
| fn bls12_377_multi_miller_loop( | ||
| g1: impl Iterator<Item = <Bls12_377 as Pairing>::G1Prepared>, | ||
| g2: impl Iterator<Item = <Bls12_377 as Pairing>::G2Prepared>, | ||
| ) -> Result<<Bls12_377 as Pairing>::TargetField, ()> { | ||
| let g1 = utils::encode(g1.collect::<Vec<_>>()); | ||
| let g2 = utils::encode(g2.collect::<Vec<_>>()); | ||
| let res = host_calls::bls12_377_multi_miller_loop(g1, g2).unwrap_or_default(); | ||
| utils::decode(res) | ||
| } | ||
|
|
||
| fn bls12_377_final_exponentiation( | ||
| target: <Bls12_377 as Pairing>::TargetField, | ||
| ) -> Result<<Bls12_377 as Pairing>::TargetField, ()> { | ||
| let target = utils::encode(target); | ||
| let res = host_calls::bls12_377_final_exponentiation(target).unwrap_or_default(); | ||
| utils::decode(res) | ||
| } | ||
|
|
||
| fn bls12_377_msm_g1( | ||
| bases: &[G1Affine], | ||
| scalars: &[<G1Config as CurveConfig>::ScalarField], | ||
| ) -> Result<G1Projective, ()> { | ||
| let bases = utils::encode(bases); | ||
| let scalars = utils::encode(scalars); | ||
| let res = host_calls::bls12_377_msm_g1(bases, scalars).unwrap_or_default(); | ||
| utils::decode_proj_sw(res) | ||
| } | ||
|
|
||
| fn bls12_377_msm_g2( | ||
| bases: &[G2Affine], | ||
| scalars: &[<G2Config as CurveConfig>::ScalarField], | ||
| ) -> Result<G2Projective, ()> { | ||
| let bases = utils::encode(bases); | ||
| let scalars = utils::encode(scalars); | ||
| let res = host_calls::bls12_377_msm_g2(bases, scalars).unwrap_or_default(); | ||
| utils::decode_proj_sw(res) | ||
| } | ||
|
|
||
| fn bls12_377_mul_projective_g1( | ||
| base: &G1Projective, | ||
| scalar: &[u64], | ||
| ) -> Result<G1Projective, ()> { | ||
| let base = utils::encode_proj_sw(base); | ||
| let scalar = utils::encode(scalar); | ||
| let res = host_calls::bls12_377_mul_projective_g1(base, scalar).unwrap_or_default(); | ||
| utils::decode_proj_sw(res) | ||
| } | ||
|
|
||
| fn bls12_377_mul_projective_g2( | ||
| base: &G2Projective, | ||
| scalar: &[u64], | ||
| ) -> Result<G2Projective, ()> { | ||
| let base = utils::encode_proj_sw(base); | ||
| let scalar = utils::encode(scalar); | ||
| let res = host_calls::bls12_377_mul_projective_g2(base, scalar).unwrap_or_default(); | ||
| utils::decode_proj_sw(res) | ||
| } | ||
| } | ||
|
|
||
| /// Interfaces for working with *Arkworks* *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 { | ||
| /// Pairing multi Miller loop for *BLS12-377*. | ||
| /// | ||
| /// - Receives encoded: | ||
| /// - `a`: `ArkScale<Vec<G1Affine>>`. | ||
| /// - `b`: `ArkScale<Vec<G2Affine>>`. | ||
| /// - Returns encoded: `ArkScale<Bls12_377::TargetField>`. | ||
| fn bls12_377_multi_miller_loop(a: Vec<u8>, b: Vec<u8>) -> Result<Vec<u8>, ()> { | ||
| utils::multi_miller_loop::<ark_bls12_377::Bls12_377>(a, b) | ||
| } | ||
|
|
||
| /// Pairing final exponentiation for *BLS12-377.* | ||
| /// | ||
| /// - Receives encoded: `ArkScale<Bls12_377::TargetField>`. | ||
| /// - Returns encoded: `ArkScale<Bls12_377::TargetField>`. | ||
| fn bls12_377_final_exponentiation(f: Vec<u8>) -> Result<Vec<u8>, ()> { | ||
| utils::final_exponentiation::<ark_bls12_377::Bls12_377>(f) | ||
| } | ||
|
|
||
| /// Multi scalar multiplication on *G1* for *BLS12-377*. | ||
| /// | ||
| /// - Receives encoded: | ||
| /// - `bases`: `ArkScale<Vec<G1Affine>>`. | ||
| /// - `scalars`: `ArkScale<Vec<G1Config::ScalarField>>`. | ||
| /// - Returns encoded: `ArkScaleProjective<G1Projective>`. | ||
| fn bls12_377_msm_g1(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> { | ||
| utils::msm_sw::<ark_bls12_377::g1::Config>(bases, scalars) | ||
| } | ||
|
|
||
| /// Multi scalar multiplication on *G2* for *BLS12-377*. | ||
| /// | ||
| /// - Receives encoded: | ||
| /// - `bases`: `ArkScale<Vec<G2Affine>>`. | ||
| /// - `scalars`: `ArkScale<Vec<G2Config::ScalarField>>`. | ||
| /// - Returns encoded: `ArkScaleProjective<G2Projective>`. | ||
| fn bls12_377_msm_g2(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> { | ||
| utils::msm_sw::<ark_bls12_377::g2::Config>(bases, scalars) | ||
| } | ||
|
|
||
| /// Projective multiplication on *G1* for *BLS12-377*. | ||
| /// | ||
| /// - Receives encoded: | ||
| /// - `base`: `ArkScaleProjective<G1Projective>`. | ||
| /// - `scalar`: `ArkScale<Vec<u64>>`. | ||
| /// - Returns encoded: `ArkScaleProjective<G1Projective>`. | ||
| fn bls12_377_mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> { | ||
| utils::mul_projective_sw::<ark_bls12_377::g1::Config>(base, scalar) | ||
| } | ||
|
|
||
| /// Projective multiplication on *G2* for *BLS12-377*. | ||
| /// | ||
| /// - Receives encoded: | ||
| /// - `base`: `ArkScaleProjective<G2Projective>`. | ||
| /// - `scalar`: `ArkScale<Vec<u64>>`. | ||
| /// - Returns encoded: `ArkScaleProjective<ark_bls12_377::G2Projective>`. | ||
| fn bls12_377_mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> { | ||
| utils::mul_projective_sw::<ark_bls12_377::g2::Config>(base, scalar) | ||
| } | ||
| } |
Oops, something went wrong.