tornado-packages/phase2-bn254
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

proper funciton name

Browse Source
This commit is contained in:
Alex Vlasov 2019-02-05 14:15:49 +03:00
parent e51284e754
commit 528f0623ef
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/domain.rs
View File

@ -98,14 +98,14 @@ impl<E: Engine, G: Group<E>> EvaluationDomain<E, G> {
} }
// this one does expect coefficients to be smaller than `num_roots_of_unity/2` as we expect multiplication // this one does expect coefficients to be smaller than `num_roots_of_unity/2` as we expect multiplication
pub fn from_coeffs_for_multiplication(mut coeffs: Vec<G>, expected_power: usize) -> Result<EvaluationDomain<E, G>, SynthesisError> pub fn from_coeffs_into_sized(mut coeffs: Vec<G>, size: usize) -> Result<EvaluationDomain<E, G>, SynthesisError>
{ {
use ff::PrimeField; use ff::PrimeField;
// Compute the size of our evaluation domain // Compute the size of our evaluation domain
assert!(expected_power >= coeffs.len()); assert!(size >= coeffs.len());
let coeffs_len = expected_power; let coeffs_len = size;
// m is a size of domain where Z polynomial does NOT vanish // m is a size of domain where Z polynomial does NOT vanish
// in normal domain Z is in a form of (X-1)(X-2)...(X-N) // in normal domain Z is in a form of (X-1)(X-2)...(X-N)

6
src/sonic/util.rs
View File

@ -266,7 +266,7 @@ fn laurent_division() {
assert_eq!(lhs, rhs); assert_eq!(lhs, rhs);
} }
pub fn multiply_polynomials<E: Engine>(mut a: Vec<E::Fr>, mut b: Vec<E::Fr>) -> Vec<E::Fr> { pub fn multiply_polynomials<E: Engine>(a: Vec<E::Fr>, b: Vec<E::Fr>) -> Vec<E::Fr> {
let result_len = a.len() + b.len() - 1; let result_len = a.len() + b.len() - 1;
use crate::multicore::Worker; use crate::multicore::Worker;
@ -274,10 +274,10 @@ pub fn multiply_polynomials<E: Engine>(mut a: Vec<E::Fr>, mut b: Vec<E::Fr>) ->
let worker = Worker::new(); let worker = Worker::new();
let scalars_a: Vec<Scalar<E>> = a.into_iter().map(|e| Scalar::<E>(e)).collect(); let scalars_a: Vec<Scalar<E>> = a.into_iter().map(|e| Scalar::<E>(e)).collect();
let mut domain_a = EvaluationDomain::from_coeffs_for_multiplication(scalars_a, result_len).unwrap(); let mut domain_a = EvaluationDomain::from_coeffs_into_sized(scalars_a, result_len).unwrap();
let scalars_b: Vec<Scalar<E>> = b.into_iter().map(|e| Scalar::<E>(e)).collect(); let scalars_b: Vec<Scalar<E>> = b.into_iter().map(|e| Scalar::<E>(e)).collect();
let mut domain_b = EvaluationDomain::from_coeffs_for_multiplication(scalars_b, result_len).unwrap(); let mut domain_b = EvaluationDomain::from_coeffs_into_sized(scalars_b, result_len).unwrap();
domain_a.fft(&worker); domain_a.fft(&worker);
domain_b.fft(&worker); domain_b.fft(&worker);