mirror of
https://github.com/pezkuwichain/pezkuwi-subxt.git
synced 2026-04-26 04:07:57 +00:00
Arkworks Elliptic Curve utils overhaul (#1870)
- Removal of Arkworks unit tests. These tests were just testing the arkworks upstream implementation which should be assumed correct. This is not the place to test well known dependencies. - Removal of some over-engineering. We just store the calls to Arkworks in one file. Per-curve sources are not required. - Docs formatting --- I also took the opportunity to bump the `bandersnatch-vrfs` crate revision internally providing some new shiny stuff.
This commit is contained in:
Davide Galassi
@@ -2,7 +2,7 @@
|
||||
name = "sp-crypto-ec-utils"
|
||||
version = "0.4.0"
|
||||
authors.workspace = true
|
||||
description = "Host function interface for common elliptic curve operations in Substrate runtimes"
|
||||
description = "Host functions for common Arkworks elliptic curve operations"
|
||||
edition.workspace = true
|
||||
license = "Apache-2.0"
|
||||
homepage = "https://substrate.io"
|
||||
@@ -12,51 +12,26 @@ repository.workspace = true
|
||||
targets = ["x86_64-unknown-linux-gnu"]
|
||||
|
||||
[dependencies]
|
||||
ark-serialize = { version = "0.4.2", default-features = false }
|
||||
ark-ff = { version = "0.4.2", default-features = false }
|
||||
ark-ec = { version = "0.4.2", default-features = false }
|
||||
ark-std = { version = "0.4.0", default-features = false }
|
||||
ark-bls12-377 = { version = "0.4.0", features = ["curve"], default-features = false }
|
||||
ark-bls12-381 = { version = "0.4.0", features = ["curve"], default-features = false }
|
||||
ark-bw6-761 = { version = "0.4.0", default-features = false }
|
||||
ark-ed-on-bls12-381-bandersnatch = { version = "0.4.0", default-features = false }
|
||||
ark-ed-on-bls12-377 = { version = "0.4.0", default-features = false }
|
||||
sp-std = { path = "../../std", default-features = false }
|
||||
codec = { package = "parity-scale-codec", version = "3.6.1", default-features = false }
|
||||
ark-scale = { version = "0.0.10", features = ["hazmat"], default-features = false }
|
||||
ark-scale = { version = "0.0.11", features = ["hazmat"], default-features = false }
|
||||
sp-runtime-interface = { path = "../../runtime-interface", default-features = false}
|
||||
|
||||
[dev-dependencies]
|
||||
sp-io = { path = "../../io", default-features = false }
|
||||
ark-algebra-test-templates = { version = "0.4.2", default-features = false }
|
||||
sp-ark-models = { version = "0.4.1-beta", default-features = false }
|
||||
sp-ark-bls12-377 = { version = "0.4.1-beta", default-features = false }
|
||||
sp-ark-bls12-381 = { version = "0.4.1-beta", default-features = false }
|
||||
sp-ark-bw6-761 = { version = "0.4.1-beta", default-features = false }
|
||||
sp-ark-ed-on-bls12-377 = { version = "0.4.1-beta", default-features = false }
|
||||
sp-ark-ed-on-bls12-381-bandersnatch = { version = "0.4.1-beta", default-features = false }
|
||||
sp-std = { path = "../../std", default-features = false }
|
||||
|
||||
[features]
|
||||
default = [ "std" ]
|
||||
std = [
|
||||
"ark-algebra-test-templates/std",
|
||||
"ark-bls12-377/std",
|
||||
"ark-bls12-381/std",
|
||||
"ark-bw6-761/std",
|
||||
"ark-ec/std",
|
||||
"ark-ed-on-bls12-377/std",
|
||||
"ark-ed-on-bls12-381-bandersnatch/std",
|
||||
"ark-ff/std",
|
||||
"ark-scale/std",
|
||||
"ark-serialize/std",
|
||||
"ark-std/std",
|
||||
"codec/std",
|
||||
"sp-ark-bls12-377/std",
|
||||
"sp-ark-bls12-381/std",
|
||||
"sp-ark-bw6-761/std",
|
||||
"sp-ark-ed-on-bls12-377/std",
|
||||
"sp-ark-ed-on-bls12-381-bandersnatch/std",
|
||||
"sp-io/std",
|
||||
"sp-runtime-interface/std",
|
||||
"sp-std/std",
|
||||
]
|
||||
|
||||
@@ -1,103 +0,0 @@
|
||||
// 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.
|
||||
|
||||
//! Support functions for bls12_377 to improve the performance of
|
||||
//! multi_miller_loop, final_exponentiation, msm's and projective
|
||||
//! multiplications by host function calls
|
||||
|
||||
use crate::utils::{
|
||||
final_exponentiation_generic, msm_sw_generic, mul_projective_generic, multi_miller_loop_generic,
|
||||
};
|
||||
use ark_bls12_377::{g1, g2, Bls12_377};
|
||||
use sp_std::vec::Vec;
|
||||
|
||||
/// Compute a multi miller loop through arkworks
|
||||
pub fn multi_miller_loop(a: Vec<u8>, b: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
multi_miller_loop_generic::<Bls12_377>(a, b)
|
||||
}
|
||||
|
||||
/// Compute a final exponentiation through arkworks
|
||||
pub fn final_exponentiation(target: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
final_exponentiation_generic::<Bls12_377>(target)
|
||||
}
|
||||
|
||||
/// Compute a multi scalar multiplication for short_weierstrass through
|
||||
/// arkworks on G1.
|
||||
pub fn msm_g1(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
msm_sw_generic::<g1::Config>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a multi scalar multiplication for short_weierstrass through
|
||||
/// arkworks on G2.
|
||||
pub fn msm_g2(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
msm_sw_generic::<g2::Config>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a projective scalar multiplication for short_weierstrass
|
||||
/// through arkworks on G1.
|
||||
pub fn mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
mul_projective_generic::<g1::Config>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute a projective scalar multiplication for short_weierstrass
|
||||
/// through arkworks on G2.
|
||||
pub fn mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
mul_projective_generic::<g2::Config>(base, scalar)
|
||||
}
|
||||
|
||||
#[cfg(test)]
|
||||
mod tests {
|
||||
use super::*;
|
||||
use ark_algebra_test_templates::*;
|
||||
use sp_ark_bls12_377::{
|
||||
Bls12_377 as Bls12_377Host, G1Projective as G1ProjectiveHost,
|
||||
G2Projective as G2ProjectiveHost, HostFunctions,
|
||||
};
|
||||
|
||||
#[derive(PartialEq, Eq)]
|
||||
struct Host;
|
||||
|
||||
impl HostFunctions for Host {
|
||||
fn bls12_377_multi_miller_loop(a: Vec<u8>, b: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bls12_377_multi_miller_loop(a, b)
|
||||
}
|
||||
fn bls12_377_final_exponentiation(f12: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bls12_377_final_exponentiation(f12)
|
||||
}
|
||||
fn bls12_377_msm_g1(bases: Vec<u8>, bigints: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bls12_377_msm_g1(bases, bigints)
|
||||
}
|
||||
fn bls12_377_msm_g2(bases: Vec<u8>, bigints: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bls12_377_msm_g2(bases, bigints)
|
||||
}
|
||||
fn bls12_377_mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bls12_377_mul_projective_g1(base, scalar)
|
||||
}
|
||||
fn bls12_377_mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bls12_377_mul_projective_g2(base, scalar)
|
||||
}
|
||||
}
|
||||
|
||||
type Bls12_377 = Bls12_377Host<Host>;
|
||||
type G1Projective = G1ProjectiveHost<Host>;
|
||||
type G2Projective = G2ProjectiveHost<Host>;
|
||||
|
||||
test_group!(g1; G1Projective; sw);
|
||||
test_group!(g2; G2Projective; sw);
|
||||
test_group!(pairing_output; ark_ec::pairing::PairingOutput<Bls12_377>; msm);
|
||||
test_pairing!(pairing; super::Bls12_377);
|
||||
}
|
||||
@@ -1,219 +0,0 @@
|
||||
// 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.
|
||||
|
||||
//! Support functions for bls12_381 to improve the performance of
|
||||
//! multi_miller_loop, final_exponentiation, msm's and projective
|
||||
//! multiplications by host function calls
|
||||
|
||||
use crate::utils::{
|
||||
final_exponentiation_generic, msm_sw_generic, mul_projective_generic, multi_miller_loop_generic,
|
||||
};
|
||||
use ark_bls12_381::{g1, g2, Bls12_381};
|
||||
use sp_std::vec::Vec;
|
||||
|
||||
/// Compute a multi miller loop through arkworks
|
||||
pub fn multi_miller_loop(a: Vec<u8>, b: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
multi_miller_loop_generic::<Bls12_381>(a, b)
|
||||
}
|
||||
|
||||
/// Compute a final exponentiation through arkworks
|
||||
pub fn final_exponentiation(target: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
final_exponentiation_generic::<Bls12_381>(target)
|
||||
}
|
||||
|
||||
/// Compute a multi scalar multiplication for short_weierstrass through
|
||||
/// arkworks on G1.
|
||||
pub fn msm_g1(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
msm_sw_generic::<g1::Config>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a multi scalar multiplication for short_weierstrass through
|
||||
/// arkworks on G2.
|
||||
pub fn msm_g2(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
msm_sw_generic::<g2::Config>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a projective scalar multiplication for short_weierstrass
|
||||
/// through arkworks on G1.
|
||||
pub fn mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
mul_projective_generic::<g1::Config>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute a projective scalar multiplication for short_weierstrass
|
||||
/// through arkworks on G2.
|
||||
pub fn mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
mul_projective_generic::<g2::Config>(base, scalar)
|
||||
}
|
||||
|
||||
#[cfg(test)]
|
||||
mod tests {
|
||||
use super::*;
|
||||
use ark_algebra_test_templates::*;
|
||||
use ark_ec::{AffineRepr, CurveGroup, Group};
|
||||
use ark_ff::{fields::Field, One, Zero};
|
||||
use ark_serialize::{CanonicalDeserialize, CanonicalSerialize, Compress, Validate};
|
||||
use ark_std::{rand::Rng, test_rng, vec, UniformRand};
|
||||
use sp_ark_bls12_381::{
|
||||
fq::Fq, fq2::Fq2, fr::Fr, Bls12_381 as Bls12_381Host, G1Affine as G1AffineHost,
|
||||
G1Projective as G1ProjectiveHost, G2Affine as G2AffineHost,
|
||||
G2Projective as G2ProjectiveHost, HostFunctions,
|
||||
};
|
||||
use sp_ark_models::pairing::PairingOutput;
|
||||
|
||||
#[derive(PartialEq, Eq)]
|
||||
struct Host;
|
||||
|
||||
impl HostFunctions for Host {
|
||||
fn bls12_381_multi_miller_loop(a: Vec<u8>, b: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bls12_381_multi_miller_loop(a, b)
|
||||
}
|
||||
fn bls12_381_final_exponentiation(f12: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bls12_381_final_exponentiation(f12)
|
||||
}
|
||||
fn bls12_381_msm_g1(bases: Vec<u8>, bigints: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bls12_381_msm_g1(bases, bigints)
|
||||
}
|
||||
fn bls12_381_msm_g2(bases: Vec<u8>, bigints: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bls12_381_msm_g2(bases, bigints)
|
||||
}
|
||||
fn bls12_381_mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bls12_381_mul_projective_g1(base, scalar)
|
||||
}
|
||||
fn bls12_381_mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bls12_381_mul_projective_g2(base, scalar)
|
||||
}
|
||||
}
|
||||
|
||||
type Bls12_381 = Bls12_381Host<Host>;
|
||||
type G1Projective = G1ProjectiveHost<Host>;
|
||||
type G2Projective = G2ProjectiveHost<Host>;
|
||||
type G1Affine = G1AffineHost<Host>;
|
||||
type G2Affine = G2AffineHost<Host>;
|
||||
|
||||
test_group!(g1; G1Projective; sw);
|
||||
test_group!(g2; G2Projective; sw);
|
||||
test_group!(pairing_output; PairingOutput<Bls12_381>; msm);
|
||||
test_pairing!(ark_pairing; super::Bls12_381);
|
||||
|
||||
#[test]
|
||||
fn test_g1_endomorphism_beta() {
|
||||
assert!(sp_ark_bls12_381::g1::BETA.pow([3u64]).is_one());
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_g1_subgroup_membership_via_endomorphism() {
|
||||
let mut rng = test_rng();
|
||||
let generator = G1Projective::rand(&mut rng).into_affine();
|
||||
assert!(generator.is_in_correct_subgroup_assuming_on_curve());
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_g1_subgroup_non_membership_via_endomorphism() {
|
||||
let mut rng = test_rng();
|
||||
loop {
|
||||
let x = Fq::rand(&mut rng);
|
||||
let greatest = rng.gen();
|
||||
|
||||
if let Some(p) = G1Affine::get_point_from_x_unchecked(x, greatest) {
|
||||
if !<G1Projective as ark_std::Zero>::is_zero(&p.mul_bigint(Fr::characteristic())) {
|
||||
assert!(!p.is_in_correct_subgroup_assuming_on_curve());
|
||||
return
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_g2_subgroup_membership_via_endomorphism() {
|
||||
let mut rng = test_rng();
|
||||
let generator = G2Projective::rand(&mut rng).into_affine();
|
||||
assert!(generator.is_in_correct_subgroup_assuming_on_curve());
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn test_g2_subgroup_non_membership_via_endomorphism() {
|
||||
let mut rng = test_rng();
|
||||
loop {
|
||||
let x = Fq2::rand(&mut rng);
|
||||
let greatest = rng.gen();
|
||||
|
||||
if let Some(p) = G2Affine::get_point_from_x_unchecked(x, greatest) {
|
||||
if !<G2Projective as Zero>::is_zero(&p.mul_bigint(Fr::characteristic())) {
|
||||
assert!(!p.is_in_correct_subgroup_assuming_on_curve());
|
||||
return
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
// Test vectors and macro adapted from https://github.com/zkcrypto/bls12_381/blob/e224ad4ea1babfc582ccd751c2bf128611d10936/src/test-data/mod.rs
|
||||
macro_rules! test_vectors {
|
||||
($projective:ident, $affine:ident, $compress:expr, $expected:ident) => {
|
||||
let mut e = $projective::zero();
|
||||
|
||||
let mut v = vec![];
|
||||
{
|
||||
let mut expected = $expected;
|
||||
for _ in 0..1000 {
|
||||
let e_affine = $affine::from(e);
|
||||
let mut serialized = vec![0u8; e.serialized_size($compress)];
|
||||
e_affine.serialize_with_mode(serialized.as_mut_slice(), $compress).unwrap();
|
||||
v.extend_from_slice(&serialized[..]);
|
||||
|
||||
let mut decoded = serialized;
|
||||
let len_of_encoding = decoded.len();
|
||||
(&mut decoded[..]).copy_from_slice(&expected[0..len_of_encoding]);
|
||||
expected = &expected[len_of_encoding..];
|
||||
let decoded =
|
||||
$affine::deserialize_with_mode(&decoded[..], $compress, Validate::Yes)
|
||||
.unwrap();
|
||||
assert_eq!(e_affine, decoded);
|
||||
|
||||
e += &$projective::generator();
|
||||
}
|
||||
}
|
||||
|
||||
assert_eq!(&v[..], $expected);
|
||||
};
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn g1_compressed_valid_test_vectors() {
|
||||
let bytes: &'static [u8] = include_bytes!("test-data/g1_compressed_valid_test_vectors.dat");
|
||||
test_vectors!(G1Projective, G1Affine, Compress::Yes, bytes);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn g1_uncompressed_valid_test_vectors() {
|
||||
let bytes: &'static [u8] =
|
||||
include_bytes!("test-data/g1_uncompressed_valid_test_vectors.dat");
|
||||
test_vectors!(G1Projective, G1Affine, Compress::No, bytes);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn g2_compressed_valid_test_vectors() {
|
||||
let bytes: &'static [u8] = include_bytes!("test-data/g2_compressed_valid_test_vectors.dat");
|
||||
test_vectors!(G2Projective, G2Affine, Compress::Yes, bytes);
|
||||
}
|
||||
|
||||
#[test]
|
||||
fn g2_uncompressed_valid_test_vectors() {
|
||||
let bytes: &'static [u8] =
|
||||
include_bytes!("test-data/g2_uncompressed_valid_test_vectors.dat");
|
||||
test_vectors!(G2Projective, G2Affine, Compress::No, bytes);
|
||||
}
|
||||
}
|
||||
@@ -1,103 +0,0 @@
|
||||
// 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.
|
||||
|
||||
//! Support functions for bw6_761 to improve the performance of
|
||||
//! multi_miller_loop, final_exponentiation, msm's and projective
|
||||
//! multiplications by host function calls.
|
||||
|
||||
use crate::utils::{
|
||||
final_exponentiation_generic, msm_sw_generic, mul_projective_generic, multi_miller_loop_generic,
|
||||
};
|
||||
use ark_bw6_761::{g1, g2, BW6_761};
|
||||
use sp_std::vec::Vec;
|
||||
|
||||
/// Compute a multi miller loop through arkworks
|
||||
pub fn multi_miller_loop(a: Vec<u8>, b: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
multi_miller_loop_generic::<BW6_761>(a, b)
|
||||
}
|
||||
|
||||
/// Compute a final exponentiation through arkworks
|
||||
pub fn final_exponentiation(target: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
final_exponentiation_generic::<BW6_761>(target)
|
||||
}
|
||||
|
||||
/// Compute a multi scalar multiplication for short_weierstrass through
|
||||
/// arkworks on G1.
|
||||
pub fn msm_g1(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
msm_sw_generic::<g1::Config>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a multi scalar multiplication for short_weierstrass through
|
||||
/// arkworks on G2.
|
||||
pub fn msm_g2(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
msm_sw_generic::<g2::Config>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a projective scalar multiplication for short_weierstrass through
|
||||
/// arkworks on G1.
|
||||
pub fn mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
mul_projective_generic::<g1::Config>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute a projective scalar multiplication for short_weierstrass through
|
||||
/// arkworks on G2.
|
||||
pub fn mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
mul_projective_generic::<g2::Config>(base, scalar)
|
||||
}
|
||||
|
||||
#[cfg(test)]
|
||||
mod tests {
|
||||
use super::*;
|
||||
use ark_algebra_test_templates::*;
|
||||
use sp_ark_bw6_761::{
|
||||
G1Projective as G1ProjectiveHost, G2Projective as G2ProjectiveHost, HostFunctions,
|
||||
BW6_761 as BW6_761Host,
|
||||
};
|
||||
|
||||
#[derive(PartialEq, Eq)]
|
||||
struct Host;
|
||||
|
||||
impl HostFunctions for Host {
|
||||
fn bw6_761_multi_miller_loop(a: Vec<u8>, b: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bw6_761_multi_miller_loop(a, b)
|
||||
}
|
||||
fn bw6_761_final_exponentiation(f12: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bw6_761_final_exponentiation(f12)
|
||||
}
|
||||
fn bw6_761_msm_g1(bases: Vec<u8>, bigints: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bw6_761_msm_g1(bases, bigints)
|
||||
}
|
||||
fn bw6_761_msm_g2(bases: Vec<u8>, bigints: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bw6_761_msm_g2(bases, bigints)
|
||||
}
|
||||
fn bw6_761_mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bw6_761_mul_projective_g1(base, scalar)
|
||||
}
|
||||
fn bw6_761_mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::bw6_761_mul_projective_g2(base, scalar)
|
||||
}
|
||||
}
|
||||
|
||||
type BW6_761 = BW6_761Host<Host>;
|
||||
type G1Projective = G1ProjectiveHost<Host>;
|
||||
type G2Projective = G2ProjectiveHost<Host>;
|
||||
|
||||
test_group!(g1; G1Projective; sw);
|
||||
test_group!(g2; G2Projective; sw);
|
||||
test_group!(pairing_output; ark_ec::pairing::PairingOutput<BW6_761>; msm);
|
||||
test_pairing!(pairing; super::BW6_761);
|
||||
}
|
||||
@@ -1,56 +0,0 @@
|
||||
// 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.
|
||||
|
||||
//! Support functions for ed_on_bls12_377 to improve the performance of
|
||||
//! msm and projective multiplication by host function calls
|
||||
|
||||
use crate::utils::{msm_te_generic, mul_projective_te_generic};
|
||||
use ark_ed_on_bls12_377::EdwardsConfig;
|
||||
use sp_std::vec::Vec;
|
||||
|
||||
/// Compute a multi scalar mulitplication for twisted_edwards through
|
||||
/// arkworks.
|
||||
pub fn msm(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
msm_te_generic::<EdwardsConfig>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a projective scalar multiplication for twisted_edwards
|
||||
/// through arkworks.
|
||||
pub fn mul_projective(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
mul_projective_te_generic::<EdwardsConfig>(base, scalar)
|
||||
}
|
||||
|
||||
#[cfg(test)]
|
||||
mod tests {
|
||||
use super::*;
|
||||
use ark_algebra_test_templates::*;
|
||||
use sp_ark_ed_on_bls12_377::{EdwardsProjective as EdwardsProjectiveHost, HostFunctions};
|
||||
|
||||
struct Host {}
|
||||
|
||||
impl HostFunctions for Host {
|
||||
fn ed_on_bls12_377_msm(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::ed_on_bls12_377_msm(bases, scalars)
|
||||
}
|
||||
fn ed_on_bls12_377_mul_projective(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::ed_on_bls12_377_mul_projective(base, scalar)
|
||||
}
|
||||
}
|
||||
|
||||
type EdwardsProjective = EdwardsProjectiveHost<Host>;
|
||||
test_group!(te; EdwardsProjective; te);
|
||||
}
|
||||
@@ -1,94 +0,0 @@
|
||||
// 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.
|
||||
|
||||
//! Support functions for ed_on_bls12_381_bandersnatch to improve the
|
||||
//! performance of msm' and projective multiplications by host function
|
||||
//! calls.
|
||||
|
||||
use crate::utils::{
|
||||
msm_sw_generic, msm_te_generic, mul_projective_generic, mul_projective_te_generic,
|
||||
};
|
||||
use ark_ed_on_bls12_381_bandersnatch::BandersnatchConfig;
|
||||
use sp_std::vec::Vec;
|
||||
|
||||
/// Compute a multi scalar multiplication for short_weierstrass through
|
||||
/// arkworks.
|
||||
pub fn sw_msm(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
msm_sw_generic::<BandersnatchConfig>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a multi scalar mulitplication for twisted_edwards through
|
||||
/// arkworks.
|
||||
pub fn te_msm(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
msm_te_generic::<BandersnatchConfig>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a projective scalar multiplication for short_weierstrass
|
||||
/// through arkworks.
|
||||
pub fn sw_mul_projective(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
mul_projective_generic::<BandersnatchConfig>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute a projective scalar multiplication for twisted_edwards
|
||||
/// through arkworks.
|
||||
pub fn te_mul_projective(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
mul_projective_te_generic::<BandersnatchConfig>(base, scalar)
|
||||
}
|
||||
|
||||
#[cfg(test)]
|
||||
mod tests {
|
||||
use super::*;
|
||||
use ark_algebra_test_templates::*;
|
||||
use sp_ark_ed_on_bls12_381_bandersnatch::{
|
||||
EdwardsProjective as EdwardsProjectiveHost, HostFunctions, SWProjective as SWProjectiveHost,
|
||||
};
|
||||
|
||||
pub struct Host {}
|
||||
|
||||
impl HostFunctions for Host {
|
||||
fn ed_on_bls12_381_bandersnatch_te_msm(
|
||||
bases: Vec<u8>,
|
||||
scalars: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::ed_on_bls12_381_bandersnatch_te_msm(bases, scalars)
|
||||
}
|
||||
fn ed_on_bls12_381_bandersnatch_sw_msm(
|
||||
bases: Vec<u8>,
|
||||
scalars: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::ed_on_bls12_381_bandersnatch_sw_msm(bases, scalars)
|
||||
}
|
||||
fn ed_on_bls12_381_bandersnatch_te_mul_projective(
|
||||
base: Vec<u8>,
|
||||
scalar: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::ed_on_bls12_381_bandersnatch_te_mul_projective(base, scalar)
|
||||
}
|
||||
fn ed_on_bls12_381_bandersnatch_sw_mul_projective(
|
||||
base: Vec<u8>,
|
||||
scalar: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
crate::elliptic_curves::ed_on_bls12_381_bandersnatch_sw_mul_projective(base, scalar)
|
||||
}
|
||||
}
|
||||
|
||||
type EdwardsProjective = EdwardsProjectiveHost<Host>;
|
||||
type SWProjective = SWProjectiveHost<Host>;
|
||||
|
||||
test_group!(sw; SWProjective; sw);
|
||||
test_group!(te; EdwardsProjective; te);
|
||||
}
|
||||
@@ -15,251 +15,272 @@
|
||||
// See the License for the specific language governing permissions and
|
||||
// limitations under the License.
|
||||
|
||||
//! The main elliptic curves trait, allowing Substrate to call into host functions
|
||||
//! for operations on elliptic curves.
|
||||
//! Elliptic Curves host functions which may be used to handle some of the *Arkworks*
|
||||
//! computationally expensive operations.
|
||||
|
||||
#![warn(missing_docs)]
|
||||
#![cfg_attr(not(feature = "std"), no_std)]
|
||||
|
||||
use sp_runtime_interface::runtime_interface;
|
||||
use sp_std::vec::Vec;
|
||||
|
||||
pub mod bls12_377;
|
||||
pub mod bls12_381;
|
||||
pub mod bw6_761;
|
||||
pub mod ed_on_bls12_377;
|
||||
pub mod ed_on_bls12_381_bandersnatch;
|
||||
mod utils;
|
||||
|
||||
/// Interfaces for working with elliptic curves related types from within the runtime.
|
||||
/// All type are (de-)serialized through the wrapper types from the ark-scale trait,
|
||||
/// with ark_scale::{ArkScale, ArkScaleProjective};
|
||||
use sp_runtime_interface::runtime_interface;
|
||||
use sp_std::vec::Vec;
|
||||
use utils::*;
|
||||
|
||||
/// Interfaces for working with *Arkworks* elliptic curves 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 `HOST_CALL`, which is
|
||||
/// a shortcut for "not-validated" and "not-compressed".
|
||||
#[runtime_interface]
|
||||
pub trait EllipticCurves {
|
||||
/// Compute a multi Miller loop for bls12_37
|
||||
/// Receives encoded:
|
||||
/// a: ArkScale<Vec<ark_ec::bls12::G1Prepared::<ark_bls12_377::Config>>>
|
||||
/// b: ArkScale<Vec<ark_ec::bls12::G2Prepared::<ark_bls12_377::Config>>>
|
||||
/// Returns encoded: ArkScale<MillerLoopOutput<Bls12<ark_bls12_377::Config>>>
|
||||
/// Pairing multi Miller loop for BLS12-377.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `a: ArkScale<Vec<ark_ec::bls12::G1Prepared::<ark_bls12_377::Config>>>`.
|
||||
/// - `b: ArkScale<Vec<ark_ec::bls12::G2Prepared::<ark_bls12_377::Config>>>`.
|
||||
/// - Returns encoded: ArkScale<MillerLoopOutput<Bls12<ark_bls12_377::Config>>>.
|
||||
fn bls12_377_multi_miller_loop(a: Vec<u8>, b: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bls12_377::multi_miller_loop(a, b)
|
||||
multi_miller_loop::<ark_bls12_377::Bls12_377>(a, b)
|
||||
}
|
||||
|
||||
/// Compute a final exponentiation for bls12_377
|
||||
/// Receives encoded: ArkScale<MillerLoopOutput<Bls12<ark_bls12_377::Config>>>
|
||||
/// Returns encoded: ArkScale<PairingOutput<Bls12<ark_bls12_377::Config>>>
|
||||
fn bls12_377_final_exponentiation(f12: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bls12_377::final_exponentiation(f12)
|
||||
/// Pairing final exponentiation for BLS12-377.
|
||||
///
|
||||
/// - Receives encoded: `ArkScale<MillerLoopOutput<Bls12<ark_bls12_377::Config>>>`.
|
||||
/// - Returns encoded: `ArkScale<PairingOutput<Bls12<ark_bls12_377::Config>>>`.
|
||||
fn bls12_377_final_exponentiation(f: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
final_exponentiation::<ark_bls12_377::Bls12_377>(f)
|
||||
}
|
||||
|
||||
/// Compute a projective multiplication on G1 for bls12_377
|
||||
/// Receives encoded:
|
||||
/// base: ArkScaleProjective<ark_bls12_377::G1Projective>
|
||||
/// scalar: ArkScale<&[u64]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_bls12_377::G1Projective>
|
||||
/// Projective multiplication on G1 for BLS12-377.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `base`: `ArkScaleProjective<ark_bls12_377::G1Projective>`.
|
||||
/// - `scalar`: `ArkScale<&[u64]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_bls12_377::G1Projective>`.
|
||||
fn bls12_377_mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bls12_377::mul_projective_g1(base, scalar)
|
||||
mul_projective_sw::<ark_bls12_377::g1::Config>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute a projective multiplication on G2 for bls12_377
|
||||
/// through arkworks on G2
|
||||
/// Receives encoded:
|
||||
/// base: ArkScaleProjective<ark_bls12_377::G2Projective>
|
||||
/// scalar: ArkScale<&[u64]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_bls12_377::G2Projective>
|
||||
/// Projective multiplication on G2 for BLS12-377.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `base`: `ArkScaleProjective<ark_bls12_377::G2Projective>`.
|
||||
/// - `scalar`: `ArkScale<&[u64]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_bls12_377::G2Projective>`.
|
||||
fn bls12_377_mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bls12_377::mul_projective_g2(base, scalar)
|
||||
mul_projective_sw::<ark_bls12_377::g2::Config>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute a msm on G1 for bls12_377
|
||||
/// Receives encoded:
|
||||
/// bases: ArkScale<&[ark_bls12_377::G1Affine]>
|
||||
/// scalars: ArkScale<&[ark_bls12_377::Fr]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_bls12_377::G1Projective>
|
||||
/// Multi scalar multiplication on G1 for BLS12-377.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `bases`: `ArkScale<&[ark_bls12_377::G1Affine]>`.
|
||||
/// - `scalars`: `ArkScale<&[ark_bls12_377::Fr]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_bls12_377::G1Projective>`.
|
||||
fn bls12_377_msm_g1(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bls12_377::msm_g1(bases, scalars)
|
||||
msm_sw::<ark_bls12_377::g1::Config>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a msm on G2 for bls12_377
|
||||
/// Receives encoded:
|
||||
/// bases: ArkScale<&[ark_bls12_377::G2Affine]>
|
||||
/// scalars: ArkScale<&[ark_bls12_377::Fr]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_bls12_377::G2Projective>
|
||||
/// Multi scalar multiplication on G2 for BLS12-377.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `bases`: `ArkScale<&[ark_bls12_377::G2Affine]>`.
|
||||
/// - `scalars`: `ArkScale<&[ark_bls12_377::Fr]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_bls12_377::G2Projective>`.
|
||||
fn bls12_377_msm_g2(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bls12_377::msm_g2(bases, scalars)
|
||||
msm_sw::<ark_bls12_377::g2::Config>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a multi Miller loop on bls12_381
|
||||
/// Receives encoded:
|
||||
/// a: ArkScale<Vec<ark_ec::bls12::G1Prepared::<ark_bls12_381::Config>>>
|
||||
/// b: ArkScale<Vec<ark_ec::bls12::G2Prepared::<ark_bls12_381::Config>>>
|
||||
/// Returns encoded: ArkScale<MillerLoopOutput<Bls12<ark_bls12_381::Config>>>
|
||||
/// Pairing multi Miller loop for BLS12-381.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `a`: `ArkScale<Vec<ark_ec::bls12::G1Prepared::<ark_bls12_381::Config>>>`.
|
||||
/// - `b`: `ArkScale<Vec<ark_ec::bls12::G2Prepared::<ark_bls12_381::Config>>>`.
|
||||
/// - Returns encoded: ArkScale<MillerLoopOutput<Bls12<ark_bls12_381::Config>>>
|
||||
fn bls12_381_multi_miller_loop(a: Vec<u8>, b: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bls12_381::multi_miller_loop(a, b)
|
||||
multi_miller_loop::<ark_bls12_381::Bls12_381>(a, b)
|
||||
}
|
||||
|
||||
/// Compute a final exponentiation on bls12_381
|
||||
/// Receives encoded: ArkScale<MillerLoopOutput<Bls12<ark_bls12_381::Config>>>
|
||||
/// Returns encoded:ArkScale<PairingOutput<Bls12<ark_bls12_381::Config>>>
|
||||
fn bls12_381_final_exponentiation(f12: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bls12_381::final_exponentiation(f12)
|
||||
/// Pairing final exponentiation for BLS12-381.
|
||||
///
|
||||
/// - Receives encoded: `ArkScale<MillerLoopOutput<Bls12<ark_bls12_381::Config>>>`.
|
||||
/// - Returns encoded: `ArkScale<PairingOutput<Bls12<ark_bls12_381::Config>>>`.
|
||||
fn bls12_381_final_exponentiation(f: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
final_exponentiation::<ark_bls12_381::Bls12_381>(f)
|
||||
}
|
||||
|
||||
/// Compute a projective multiplication on G1 for bls12_381
|
||||
/// Receives encoded:
|
||||
/// base: ArkScaleProjective<ark_bls12_381::G1Projective>
|
||||
/// scalar: ArkScale<&[u64]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_bls12_381::G1Projective>
|
||||
/// Projective multiplication on G1 for BLS12-381.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `base`: `ArkScaleProjective<ark_bls12_381::G1Projective>`.
|
||||
/// - `scalar`: `ArkScale<&[u64]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_bls12_381::G1Projective>`.
|
||||
fn bls12_381_mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bls12_381::mul_projective_g1(base, scalar)
|
||||
mul_projective_sw::<ark_bls12_381::g1::Config>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute a projective multiplication on G2 for bls12_381
|
||||
/// Receives encoded:
|
||||
/// base: ArkScaleProjective<ark_bls12_381::G2Projective>
|
||||
/// scalar: ArkScale<&[u64]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_bls12_381::G2Projective>
|
||||
/// Projective multiplication on G2 for BLS12-381.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `base`: `ArkScaleProjective<ark_bls12_381::G2Projective>`.
|
||||
/// - `scalar`: `ArkScale<&[u64]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_bls12_381::G2Projective>`.
|
||||
fn bls12_381_mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bls12_381::mul_projective_g2(base, scalar)
|
||||
mul_projective_sw::<ark_bls12_381::g2::Config>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute a msm on G1 for bls12_381
|
||||
/// Receives encoded:
|
||||
/// bases: ArkScale<&[ark_bls12_381::G1Affine]>
|
||||
/// scalars: ArkScale<&[ark_bls12_381::Fr]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_bls12_381::G1Projective>
|
||||
/// Multi scalar multiplication on G1 for BLS12-381.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - bases: `ArkScale<&[ark_bls12_381::G1Affine]>`.
|
||||
/// - scalars: `ArkScale<&[ark_bls12_381::Fr]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_bls12_381::G1Projective>`.
|
||||
fn bls12_381_msm_g1(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bls12_381::msm_g1(bases, scalars)
|
||||
msm_sw::<ark_bls12_381::g1::Config>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a msm on G2 for bls12_381
|
||||
/// Receives encoded:
|
||||
/// bases: ArkScale<&[ark_bls12_381::G2Affine]>
|
||||
/// scalars: ArkScale<&[ark_bls12_381::Fr]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_bls12_381::G2Projective>
|
||||
/// Multi scalar multiplication on G2 for BLS12-381.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `bases`: `ArkScale<&[ark_bls12_381::G2Affine]>`.
|
||||
/// - `scalars`: `ArkScale<&[ark_bls12_381::Fr]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_bls12_381::G2Projective>`.
|
||||
fn bls12_381_msm_g2(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bls12_381::msm_g2(bases, scalars)
|
||||
msm_sw::<ark_bls12_381::g2::Config>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute a multi Miller loop on bw6_761
|
||||
/// Receives encoded:
|
||||
/// a: ArkScale<Vec<ark_ec::bw6::G1Prepared::<ark_bw6_761::Config>>>
|
||||
/// b: ArkScale<Vec<ark_ec::bw6::G2Prepared::<ark_bw6_761::Config>>>
|
||||
/// Returns encoded: ArkScale<MillerLoopOutput<Bls12<ark_bw6_761::Config>>>
|
||||
/// Pairing multi Miller loop for BW6-761.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `a`: `ArkScale<Vec<ark_ec::bw6::G1Prepared::<ark_bw6_761::Config>>>`.
|
||||
/// - `b`: `ArkScale<Vec<ark_ec::bw6::G2Prepared::<ark_bw6_761::Config>>>`.
|
||||
/// - Returns encoded: `ArkScale<MillerLoopOutput<Bls12<ark_bw6_761::Config>>>`.
|
||||
fn bw6_761_multi_miller_loop(a: Vec<u8>, b: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bw6_761::multi_miller_loop(a, b)
|
||||
multi_miller_loop::<ark_bw6_761::BW6_761>(a, b)
|
||||
}
|
||||
|
||||
/// Compute a final exponentiation on bw6_761
|
||||
/// Receives encoded: ArkScale<MillerLoopOutput<BW6<ark_bw6_761::Config>>>
|
||||
/// Returns encoded: ArkScale<PairingOutput<BW6<ark_bw6_761::Config>>>
|
||||
fn bw6_761_final_exponentiation(f12: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bw6_761::final_exponentiation(f12)
|
||||
/// Pairing final exponentiation for BW6-761.
|
||||
///
|
||||
/// - Receives encoded: `ArkScale<MillerLoopOutput<BW6<ark_bw6_761::Config>>>`.
|
||||
/// - Returns encoded: `ArkScale<PairingOutput<BW6<ark_bw6_761::Config>>>`.
|
||||
fn bw6_761_final_exponentiation(f: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
final_exponentiation::<ark_bw6_761::BW6_761>(f)
|
||||
}
|
||||
|
||||
/// Compute a projective multiplication on G1 for bw6_761
|
||||
/// Receives encoded:
|
||||
/// base: ArkScaleProjective<ark_bw6_761::G1Projective>
|
||||
/// scalar: ArkScale<&[u64]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_bw6_761::G1Projective>
|
||||
/// Projective multiplication on G1 for BW6-761.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `base`: `ArkScaleProjective<ark_bw6_761::G1Projective>`.
|
||||
/// - `scalar`: `ArkScale<&[u64]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_bw6_761::G1Projective>`.
|
||||
fn bw6_761_mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bw6_761::mul_projective_g1(base, scalar)
|
||||
mul_projective_sw::<ark_bw6_761::g1::Config>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute a projective multiplication on G2 for bw6_761
|
||||
/// Receives encoded:
|
||||
/// base: ArkScaleProjective<ark_bw6_761::G2Projective>
|
||||
/// scalar: ArkScale<&[u64]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_bw6_761::G2Projective>
|
||||
/// Projective multiplication on G2 for BW6-761.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `base`: `ArkScaleProjective<ark_bw6_761::G2Projective>`.
|
||||
/// - `scalar`: `ArkScale<&[u64]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_bw6_761::G2Projective>`.
|
||||
fn bw6_761_mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bw6_761::mul_projective_g2(base, scalar)
|
||||
mul_projective_sw::<ark_bw6_761::g2::Config>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute a msm on G1 for bw6_761
|
||||
/// Receives encoded:
|
||||
/// bases: ArkScale<&[ark_bw6_761::G1Affine]>
|
||||
/// scalars: ArkScale<&[ark_bw6_761::Fr]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_bw6_761::G1Projective>
|
||||
/// Multi scalar multiplication on G1 for BW6-761.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `bases`: `ArkScale<&[ark_bw6_761::G1Affine]>`.
|
||||
/// - `scalars`: `ArkScale<&[ark_bw6_761::Fr]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_bw6_761::G1Projective>`.
|
||||
fn bw6_761_msm_g1(bases: Vec<u8>, bigints: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bw6_761::msm_g1(bases, bigints)
|
||||
msm_sw::<ark_bw6_761::g1::Config>(bases, bigints)
|
||||
}
|
||||
|
||||
/// Compute a msm on G2 for bw6_761
|
||||
/// Receives encoded:
|
||||
/// bases: ArkScale<&[ark_bw6_761::G2Affine]>
|
||||
/// scalars: ArkScale<&[ark_bw6_761::Fr]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_bw6_761::G2Projective>
|
||||
/// Multi scalar multiplication on G2 for BW6-761.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `bases`: `ArkScale<&[ark_bw6_761::G2Affine]>`.
|
||||
/// - `scalars`: `ArkScale<&[ark_bw6_761::Fr]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_bw6_761::G2Projective>`.
|
||||
fn bw6_761_msm_g2(bases: Vec<u8>, bigints: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
bw6_761::msm_g2(bases, bigints)
|
||||
msm_sw::<ark_bw6_761::g2::Config>(bases, bigints)
|
||||
}
|
||||
|
||||
/// Compute projective multiplication on ed_on_bls12_377
|
||||
/// Receives encoded:
|
||||
/// base: ArkScaleProjective<ark_ed_on_bls12_377::EdwardsProjective>
|
||||
/// scalar: ArkScale<&[u64]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_ed_on_bls12_377::EdwardsProjective>
|
||||
/// Twisted Edwards projective multiplication for Ed-on-BLS12-377.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `base`: `ArkScaleProjective<ark_ed_on_bls12_377::EdwardsProjective>`.
|
||||
/// - `scalar`: `ArkScale<&[u64]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_ed_on_bls12_377::EdwardsProjective>`.
|
||||
fn ed_on_bls12_377_mul_projective(base: Vec<u8>, scalar: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
ed_on_bls12_377::mul_projective(base, scalar)
|
||||
mul_projective_te::<ark_ed_on_bls12_377::EdwardsConfig>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute msm on ed_on_bls12_377
|
||||
/// Receives encoded:
|
||||
/// bases: ArkScale<&[ark_ed_on_bls12_377::EdwardsAffine]>
|
||||
/// scalars:
|
||||
/// ArkScale<&[ark_ed_on_bls12_377::Fr]>
|
||||
/// Returns encoded:
|
||||
/// ArkScaleProjective<ark_ed_on_bls12_377::EdwardsProjective>
|
||||
/// Twisted Edwards multi scalar multiplication for Ed-on-BLS12-377.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `bases`: `ArkScale<&[ark_ed_on_bls12_377::EdwardsAffine]>`.
|
||||
/// - `scalars`: `ArkScale<&[ark_ed_on_bls12_377::Fr]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_ed_on_bls12_377::EdwardsProjective>`.
|
||||
fn ed_on_bls12_377_msm(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
ed_on_bls12_377::msm(bases, scalars)
|
||||
msm_te::<ark_ed_on_bls12_377::EdwardsConfig>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute short weierstrass projective multiplication on ed_on_bls12_381_bandersnatch
|
||||
/// Receives encoded:
|
||||
/// base: ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::SWProjective>
|
||||
/// scalar: ArkScale<&[u64]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::SWProjective>
|
||||
/// Short Weierstrass projective multiplication for Ed-on-BLS12-381-Bandersnatch.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `base`: `ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::SWProjective>`.
|
||||
/// - `scalar`: `ArkScale<&[u64]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::SWProjective>`.
|
||||
fn ed_on_bls12_381_bandersnatch_sw_mul_projective(
|
||||
base: Vec<u8>,
|
||||
scalar: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
ed_on_bls12_381_bandersnatch::sw_mul_projective(base, scalar)
|
||||
mul_projective_sw::<ark_ed_on_bls12_381_bandersnatch::SWConfig>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute twisted edwards projective multiplication on ed_on_bls12_381_bandersnatch
|
||||
/// Receives encoded:
|
||||
/// base: ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::EdwardsProjective>
|
||||
/// scalar: ArkScale<&[u64]>
|
||||
/// Returns encoded: ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::EdwardsProjective>
|
||||
/// Twisted Edwards projective multiplication for Ed-on-BLS12-381-Bandersnatch.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `base`: `ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::EdwardsProjective>`.
|
||||
/// - `scalar`: `ArkScale<&[u64]>`.
|
||||
/// - Returns encoded:
|
||||
/// `ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::EdwardsProjective>`.
|
||||
fn ed_on_bls12_381_bandersnatch_te_mul_projective(
|
||||
base: Vec<u8>,
|
||||
scalar: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
ed_on_bls12_381_bandersnatch::te_mul_projective(base, scalar)
|
||||
mul_projective_te::<ark_ed_on_bls12_381_bandersnatch::EdwardsConfig>(base, scalar)
|
||||
}
|
||||
|
||||
/// Compute short weierstrass msm on ed_on_bls12_381_bandersnatch
|
||||
/// Receives encoded:
|
||||
/// bases: ArkScale<&[ark_ed_on_bls12_381_bandersnatch::SWAffine]>
|
||||
/// scalars: ArkScale<&[ark_ed_on_bls12_381_bandersnatch::Fr]>
|
||||
/// Returns encoded:
|
||||
/// ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::SWProjective>
|
||||
/// Short Weierstrass multi scalar multiplication for Ed-on-BLS12-381-Bandersnatch.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `bases`: `ArkScale<&[ark_ed_on_bls12_381_bandersnatch::SWAffine]>`.
|
||||
/// - `scalars`: `ArkScale<&[ark_ed_on_bls12_381_bandersnatch::Fr]>`.
|
||||
/// - Returns encoded: `ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::SWProjective>`.
|
||||
fn ed_on_bls12_381_bandersnatch_sw_msm(
|
||||
bases: Vec<u8>,
|
||||
scalars: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
ed_on_bls12_381_bandersnatch::sw_msm(bases, scalars)
|
||||
msm_sw::<ark_ed_on_bls12_381_bandersnatch::SWConfig>(bases, scalars)
|
||||
}
|
||||
|
||||
/// Compute twisted edwards msm on ed_on_bls12_381_bandersnatch
|
||||
/// Receives encoded:
|
||||
/// base: ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::EdwardsProjective>
|
||||
/// scalars: ArkScale<&[ark_ed_on_bls12_381_bandersnatch::Fr]>
|
||||
/// Returns encoded:
|
||||
/// ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::EdwardsProjective>
|
||||
/// Twisted Edwards multi scalar multiplication for Ed-on-BLS12-381-Bandersnatch.
|
||||
///
|
||||
/// - Receives encoded:
|
||||
/// - `base`: `ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::EdwardsProjective>`.
|
||||
/// - `scalars`: `ArkScale<&[ark_ed_on_bls12_381_bandersnatch::Fr]>`.
|
||||
/// - Returns encoded:
|
||||
/// `ArkScaleProjective<ark_ed_on_bls12_381_bandersnatch::EdwardsProjective>`.
|
||||
fn ed_on_bls12_381_bandersnatch_te_msm(
|
||||
bases: Vec<u8>,
|
||||
scalars: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
ed_on_bls12_381_bandersnatch::te_msm(bases, scalars)
|
||||
msm_te::<ark_ed_on_bls12_381_bandersnatch::EdwardsConfig>(bases, scalars)
|
||||
}
|
||||
}
|
||||
|
||||
BIN
Binary file not shown.
BIN
Binary file not shown.
BIN
Binary file not shown.
BIN
Binary file not shown.
@@ -15,8 +15,8 @@
|
||||
// See the License for the specific language governing permissions and
|
||||
// limitations under the License.
|
||||
|
||||
//! The generic executions of the operations on arkworks elliptic curves
|
||||
//! which get instantiatied by the corresponding curves.
|
||||
//! Generic executions of the operations for *Arkworks* elliptic curves.
|
||||
|
||||
use ark_ec::{
|
||||
pairing::{MillerLoopOutput, Pairing, PairingOutput},
|
||||
short_weierstrass,
|
||||
@@ -25,17 +25,18 @@ use ark_ec::{
|
||||
twisted_edwards::TECurveConfig,
|
||||
CurveConfig, VariableBaseMSM,
|
||||
};
|
||||
use ark_scale::hazmat::ArkScaleProjective;
|
||||
use ark_std::vec::Vec;
|
||||
use codec::{Decode, Encode};
|
||||
use ark_scale::{
|
||||
hazmat::ArkScaleProjective,
|
||||
scale::{Decode, Encode},
|
||||
};
|
||||
use sp_std::vec::Vec;
|
||||
|
||||
const HOST_CALL: ark_scale::Usage = ark_scale::HOST_CALL;
|
||||
type ArkScale<T> = ark_scale::ArkScale<T, HOST_CALL>;
|
||||
// Scale codec type which is expected to be used by the host functions.
|
||||
//
|
||||
// Encoding is set to `HOST_CALL` which is a shortcut for "not-validated" and "not-compressed".
|
||||
type ArkScale<T> = ark_scale::ArkScale<T, { ark_scale::HOST_CALL }>;
|
||||
|
||||
pub(crate) fn multi_miller_loop_generic<Curve: Pairing>(
|
||||
g1: Vec<u8>,
|
||||
g2: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
pub fn multi_miller_loop<Curve: Pairing>(g1: Vec<u8>, g2: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
let g1 = <ArkScale<Vec<<Curve as Pairing>::G1Affine>> as Decode>::decode(&mut g1.as_slice())
|
||||
.map_err(|_| ())?;
|
||||
let g2 = <ArkScale<Vec<<Curve as Pairing>::G2Affine>> as Decode>::decode(&mut g2.as_slice())
|
||||
@@ -47,7 +48,7 @@ pub(crate) fn multi_miller_loop_generic<Curve: Pairing>(
|
||||
Ok(result.encode())
|
||||
}
|
||||
|
||||
pub(crate) fn final_exponentiation_generic<Curve: Pairing>(target: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
pub fn final_exponentiation<Curve: Pairing>(target: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
let target =
|
||||
<ArkScale<<Curve as Pairing>::TargetField> as Decode>::decode(&mut target.as_slice())
|
||||
.map_err(|_| ())?;
|
||||
@@ -58,10 +59,7 @@ pub(crate) fn final_exponentiation_generic<Curve: Pairing>(target: Vec<u8>) -> R
|
||||
Ok(result.encode())
|
||||
}
|
||||
|
||||
pub(crate) fn msm_sw_generic<Curve: SWCurveConfig>(
|
||||
bases: Vec<u8>,
|
||||
scalars: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
pub fn msm_sw<Curve: SWCurveConfig>(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
let bases =
|
||||
<ArkScale<Vec<short_weierstrass::Affine<Curve>>> as Decode>::decode(&mut bases.as_slice())
|
||||
.map_err(|_| ())?;
|
||||
@@ -78,10 +76,7 @@ pub(crate) fn msm_sw_generic<Curve: SWCurveConfig>(
|
||||
Ok(result.encode())
|
||||
}
|
||||
|
||||
pub(crate) fn msm_te_generic<Curve: TECurveConfig>(
|
||||
bases: Vec<u8>,
|
||||
scalars: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
pub fn msm_te<Curve: TECurveConfig>(bases: Vec<u8>, scalars: Vec<u8>) -> Result<Vec<u8>, ()> {
|
||||
let bases =
|
||||
<ArkScale<Vec<twisted_edwards::Affine<Curve>>> as Decode>::decode(&mut bases.as_slice())
|
||||
.map_err(|_| ())?;
|
||||
@@ -97,7 +92,7 @@ pub(crate) fn msm_te_generic<Curve: TECurveConfig>(
|
||||
Ok(result.encode())
|
||||
}
|
||||
|
||||
pub(crate) fn mul_projective_generic<Group: SWCurveConfig>(
|
||||
pub fn mul_projective_sw<Group: SWCurveConfig>(
|
||||
base: Vec<u8>,
|
||||
scalar: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
@@ -113,7 +108,7 @@ pub(crate) fn mul_projective_generic<Group: SWCurveConfig>(
|
||||
Ok(result.encode())
|
||||
}
|
||||
|
||||
pub(crate) fn mul_projective_te_generic<Group: TECurveConfig>(
|
||||
pub fn mul_projective_te<Group: TECurveConfig>(
|
||||
base: Vec<u8>,
|
||||
scalar: Vec<u8>,
|
||||
) -> Result<Vec<u8>, ()> {
|
||||
|
||||
Reference in New Issue
Block a user