arkworks integration

Cargo.toml

@@ -179,6 +179,8 @@ members = [
 	"primitives/application-crypto/test",
 	"primitives/arithmetic",
 	"primitives/arithmetic/fuzzer",
+	"primitives/arkworks",
+	"primitives/arkworks/test",
 	"primitives/authority-discovery",
 	"primitives/block-builder",
 	"primitives/blockchain",
@@ -326,3 +328,6 @@ inherits = "release"
 lto = "fat"
 # https://doc.rust-lang.org/rustc/codegen-options/index.html#codegen-units
 codegen-units = 1
+
+[patch.crates-io]
+sp-arkworks =  { path = "./primitives/arkworks" }

primitives/arkworks/Cargo.toml

@@ -0,0 +1,40 @@
+[package]
+name = "sp-arkworks"
+version = "0.4.0"
+authors = ["Parity Technologies <[email protected]>"]
+edition = "2021"
+license = "Apache-2.0"
+homepage = "https://substrate.io"
+repository = "https://github.com/paritytech/substrate/"
+
+[package.metadata.docs.rs]
+targets = ["x86_64-unknown-linux-gnu"]
+
+[dependencies]
+ark-serialize = { version = "0.4.0", default-features = false }
+ark-ff = { version = "0.4.0", default-features = false }
+ark-ec = { version = "0.4.0", 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 = { version = "0.4.0", default-features = false }
+ark-ed-on-bls12-377 = { version = "0.4.0", default-features = false }
+sp-std = { version = "5.0.0", path = "../std", default-features = false }
+codec = { package = "parity-scale-codec", version = "3.2.2", default-features = false }
+
+[features]
+default = [ "std" ]
+std = [
+	"ark-serialize/std",
+	"ark-ff/std",
+	"ark-ec/std",
+	"ark-std/std",
+	"ark-bls12-377/std",
+	"ark-bls12-381/std",
+	"ark-bw6-761/std",
+	"ark-ed-on-bls12-381/std",
+	"ark-ed-on-bls12-377/std",
+	"sp-std/std",
+	"codec/std",
+]

primitives/arkworks/src/bls12_377.rs

@@ -0,0 +1,59 @@
+// This file is part of Substrate.
+
+// Copyright (C) 2017-2022 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.
+
+//! Hashing Functions.
+
+#![warn(missing_docs)]
+
+use crate::utils::{
+	final_exponentiation_generic, msm_sw_generic, mul_affine_generic, mul_projective_generic,
+	multi_miller_loop_generic,
+};
+use ark_bls12_377::{g1, g2, Bls12_377};
+use sp_std::vec::Vec;
+
+pub fn multi_miller_loop(a: Vec<Vec<u8>>, b: Vec<Vec<u8>>) -> Result<Vec<u8>, ()> {
+	multi_miller_loop_generic::<Bls12_377>(a, b)
+}
+
+pub fn final_exponentiation(target: Vec<u8>) -> Result<Vec<u8>, ()> {
+	final_exponentiation_generic::<Bls12_377>(target)
+}
+
+pub fn msm_g1(bases: Vec<Vec<u8>>, scalars: Vec<Vec<u8>>) -> Vec<u8> {
+	msm_sw_generic::<g1::Config>(bases, scalars)
+}
+
+pub fn msm_g2(bases: Vec<Vec<u8>>, scalars: Vec<Vec<u8>>) -> Vec<u8> {
+	msm_sw_generic::<g2::Config>(bases, scalars)
+}
+
+pub fn mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_projective_generic::<g1::Config>(base, scalar)
+}
+
+pub fn mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_projective_generic::<g2::Config>(base, scalar)
+}
+
+pub fn mul_affine_g1(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_affine_generic::<g1::Config>(base, scalar)
+}
+
+pub fn mul_affine_g2(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_affine_generic::<g2::Config>(base, scalar)
+}

primitives/arkworks/src/bls12_381.rs

@@ -0,0 +1,59 @@
+// This file is part of Substrate.
+
+// Copyright (C) 2017-2022 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.
+
+//! Hashing Functions.
+
+#![warn(missing_docs)]
+
+use crate::utils::{
+	final_exponentiation_generic, msm_sw_generic, mul_affine_generic, mul_projective_generic,
+	multi_miller_loop_generic,
+};
+use ark_bls12_381::{g1, g2, Bls12_381};
+use sp_std::vec::Vec;
+
+pub fn multi_miller_loop(a: Vec<Vec<u8>>, b: Vec<Vec<u8>>) -> Result<Vec<u8>, ()> {
+	multi_miller_loop_generic::<Bls12_381>(a, b)
+}
+
+pub fn final_exponentiation(target: Vec<u8>) -> Result<Vec<u8>, ()> {
+	final_exponentiation_generic::<Bls12_381>(target)
+}
+
+pub fn msm_g1(bases: Vec<Vec<u8>>, scalars: Vec<Vec<u8>>) -> Vec<u8> {
+	msm_sw_generic::<g1::Config>(bases, scalars)
+}
+
+pub fn msm_g2(bases: Vec<Vec<u8>>, scalars: Vec<Vec<u8>>) -> Vec<u8> {
+	msm_sw_generic::<g2::Config>(bases, scalars)
+}
+
+pub fn mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_projective_generic::<g1::Config>(base, scalar)
+}
+
+pub fn mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_projective_generic::<g2::Config>(base, scalar)
+}
+
+pub fn mul_affine_g1(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_affine_generic::<g1::Config>(base, scalar)
+}
+
+pub fn mul_affine_g2(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_affine_generic::<g2::Config>(base, scalar)
+}

primitives/arkworks/src/bw6_761.rs

@@ -0,0 +1,59 @@
+// This file is part of Substrate.
+
+// Copyright (C) 2017-2022 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.
+
+//! Hashing Functions.
+
+#![warn(missing_docs)]
+
+use crate::utils::{
+	final_exponentiation_generic, msm_sw_generic, mul_affine_generic, mul_projective_generic,
+	multi_miller_loop_generic,
+};
+use ark_bw6_761::{g1, g2, BW6_761};
+use sp_std::vec::Vec;
+
+pub fn multi_miller_loop(a: Vec<Vec<u8>>, b: Vec<Vec<u8>>) -> Result<Vec<u8>, ()> {
+	multi_miller_loop_generic::<BW6_761>(a, b)
+}
+
+pub fn final_exponentiation(target: Vec<u8>) -> Result<Vec<u8>, ()> {
+	final_exponentiation_generic::<BW6_761>(target)
+}
+
+pub fn msm_g1(bases: Vec<Vec<u8>>, scalars: Vec<Vec<u8>>) -> Vec<u8> {
+	msm_sw_generic::<g1::Config>(bases, scalars)
+}
+
+pub fn msm_g2(bases: Vec<Vec<u8>>, scalars: Vec<Vec<u8>>) -> Vec<u8> {
+	msm_sw_generic::<g2::Config>(bases, scalars)
+}
+
+pub fn mul_projective_g1(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_projective_generic::<g1::Config>(base, scalar)
+}
+
+pub fn mul_projective_g2(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_projective_generic::<g2::Config>(base, scalar)
+}
+
+pub fn mul_affine_g1(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_affine_generic::<g1::Config>(base, scalar)
+}
+
+pub fn mul_affine_g2(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_affine_generic::<g2::Config>(base, scalar)
+}

primitives/arkworks/src/ed_on_bls12_377.rs

@@ -0,0 +1,36 @@
+// This file is part of Substrate.
+
+// Copyright (C) 2017-2022 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.
+
+//! Hashing Functions.
+
+#![warn(missing_docs)]
+
+use crate::utils::{msm_te_generic, mul_affine_te_generic, mul_projective_te_generic};
+use ark_ed_on_bls12_377::EdwardsConfig;
+use sp_std::vec::Vec;
+
+pub fn mul_projective(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_projective_te_generic::<EdwardsConfig>(base, scalar)
+}
+
+pub fn mul_affine(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_affine_te_generic::<EdwardsConfig>(base, scalar)
+}
+
+pub fn msm(bases: Vec<Vec<u8>>, scalars: Vec<Vec<u8>>) -> Vec<u8> {
+	msm_te_generic::<EdwardsConfig>(bases, scalars)
+}

primitives/arkworks/src/ed_on_bls12_381.rs

@@ -0,0 +1,51 @@
+// This file is part of Substrate.
+
+// Copyright (C) 2017-2022 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.
+
+//! Hashing Functions.
+
+#![warn(missing_docs)]
+
+use crate::utils::{
+	msm_sw_generic, msm_te_generic, mul_affine_generic, mul_affine_te_generic,
+	mul_projective_generic, mul_projective_te_generic,
+};
+use ark_ed_on_bls12_381::JubjubConfig;
+use sp_std::vec::Vec;
+
+pub fn sw_mul_projective(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_projective_generic::<JubjubConfig>(base, scalar)
+}
+
+pub fn sw_mul_affine(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_affine_generic::<JubjubConfig>(base, scalar)
+}
+
+pub fn te_mul_projective(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_projective_te_generic::<JubjubConfig>(base, scalar)
+}
+
+pub fn te_mul_affine(base: Vec<u8>, scalar: Vec<u8>) -> Vec<u8> {
+	mul_affine_te_generic::<JubjubConfig>(base, scalar)
+}
+
+pub fn te_msm(bases: Vec<Vec<u8>>, scalars: Vec<Vec<u8>>) -> Vec<u8> {
+	msm_te_generic::<JubjubConfig>(bases, scalars)
+}
+
+pub fn sw_msm(bases: Vec<Vec<u8>>, scalars: Vec<Vec<u8>>) -> Vec<u8> {
+	msm_sw_generic::<JubjubConfig>(bases, scalars)
+}

primitives/arkworks/src/lib.rs

@@ -0,0 +1,8 @@
+#![cfg_attr(not(feature = "std"), no_std)]
+
+pub mod bls12_377;
+pub mod bls12_381;
+pub mod bw6_761;
+pub mod ed_on_bls12_377;
+pub mod ed_on_bls12_381;
+mod utils;