mirror of
https://github.com/saymrwulf/pasta_curves-source.git
synced 2026-09-03 19:53:40 +00:00
cargo fmt
This commit is contained in:
parent
95e41fcfcf
commit
6c0e6f7348
5 changed files with 6 additions and 6 deletions
|
|
@ -3,9 +3,9 @@ extern crate criterion;
|
||||||
|
|
||||||
extern crate halo2;
|
extern crate halo2;
|
||||||
use crate::arithmetic::{small_multiexp, FieldExt};
|
use crate::arithmetic::{small_multiexp, FieldExt};
|
||||||
|
use crate::pasta::{EqAffine, Fp, Fq};
|
||||||
use crate::poly::commitment::Params;
|
use crate::poly::commitment::Params;
|
||||||
use crate::transcript::DummyHash;
|
use crate::transcript::DummyHash;
|
||||||
use crate::pasta::{EqAffine, Fp, Fq};
|
|
||||||
use halo2::*;
|
use halo2::*;
|
||||||
|
|
||||||
use criterion::{black_box, Criterion};
|
use criterion::{black_box, Criterion};
|
||||||
|
|
|
||||||
|
|
@ -3,10 +3,10 @@ extern crate criterion;
|
||||||
|
|
||||||
extern crate halo2;
|
extern crate halo2;
|
||||||
use halo2::arithmetic::FieldExt;
|
use halo2::arithmetic::FieldExt;
|
||||||
|
use halo2::pasta::{EqAffine, Fp, Fq};
|
||||||
use halo2::plonk::*;
|
use halo2::plonk::*;
|
||||||
use halo2::poly::commitment::Params;
|
use halo2::poly::commitment::Params;
|
||||||
use halo2::transcript::DummyHash;
|
use halo2::transcript::DummyHash;
|
||||||
use halo2::pasta::{EqAffine, Fp, Fq};
|
|
||||||
|
|
||||||
use std::marker::PhantomData;
|
use std::marker::PhantomData;
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -1,10 +1,10 @@
|
||||||
use halo2::{
|
use halo2::{
|
||||||
arithmetic::{Curve, FieldExt},
|
arithmetic::{Curve, FieldExt},
|
||||||
model::ModelRecorder,
|
model::ModelRecorder,
|
||||||
|
pasta::{EqAffine, Fp, Fq},
|
||||||
plonk::*,
|
plonk::*,
|
||||||
poly::commitment::{Blind, Params},
|
poly::commitment::{Blind, Params},
|
||||||
transcript::DummyHash,
|
transcript::DummyHash,
|
||||||
pasta::{EqAffine, Fp, Fq},
|
|
||||||
};
|
};
|
||||||
|
|
||||||
use std::marker::PhantomData;
|
use std::marker::PhantomData;
|
||||||
|
|
|
||||||
|
|
@ -109,9 +109,9 @@ type ChallengeX<F> = ChallengeScalar<F, X>;
|
||||||
#[test]
|
#[test]
|
||||||
fn test_proving() {
|
fn test_proving() {
|
||||||
use crate::arithmetic::{Curve, FieldExt};
|
use crate::arithmetic::{Curve, FieldExt};
|
||||||
|
use crate::pasta::{EqAffine, Fp, Fq};
|
||||||
use crate::poly::commitment::{Blind, Params};
|
use crate::poly::commitment::{Blind, Params};
|
||||||
use crate::transcript::DummyHash;
|
use crate::transcript::DummyHash;
|
||||||
use crate::pasta::{EqAffine, Fp, Fq};
|
|
||||||
use circuit::{Advice, Column, Fixed};
|
use circuit::{Advice, Column, Fixed};
|
||||||
use std::marker::PhantomData;
|
use std::marker::PhantomData;
|
||||||
const K: u32 = 5;
|
const K: u32 = 5;
|
||||||
|
|
|
||||||
|
|
@ -225,8 +225,8 @@ impl<F: FieldExt> MulAssign<F> for Blind<F> {
|
||||||
fn test_commit_lagrange() {
|
fn test_commit_lagrange() {
|
||||||
const K: u32 = 6;
|
const K: u32 = 6;
|
||||||
|
|
||||||
use crate::transcript::DummyHash;
|
|
||||||
use crate::pasta::{EpAffine, Fp, Fq};
|
use crate::pasta::{EpAffine, Fp, Fq};
|
||||||
|
use crate::transcript::DummyHash;
|
||||||
let params = Params::<EpAffine>::new::<DummyHash<Fp>>(K);
|
let params = Params::<EpAffine>::new::<DummyHash<Fp>>(K);
|
||||||
let domain = super::EvaluationDomain::new(1, K);
|
let domain = super::EvaluationDomain::new(1, K);
|
||||||
|
|
||||||
|
|
@ -254,8 +254,8 @@ fn test_opening_proof() {
|
||||||
EvaluationDomain,
|
EvaluationDomain,
|
||||||
};
|
};
|
||||||
use crate::arithmetic::{eval_polynomial, Curve, FieldExt};
|
use crate::arithmetic::{eval_polynomial, Curve, FieldExt};
|
||||||
use crate::transcript::{ChallengeScalar, DummyHash, Transcript};
|
|
||||||
use crate::pasta::{EpAffine, Fp, Fq};
|
use crate::pasta::{EpAffine, Fp, Fq};
|
||||||
|
use crate::transcript::{ChallengeScalar, DummyHash, Transcript};
|
||||||
|
|
||||||
let params = Params::<EpAffine>::new::<DummyHash<Fp>>(K);
|
let params = Params::<EpAffine>::new::<DummyHash<Fp>>(K);
|
||||||
let domain = EvaluationDomain::new(1, K);
|
let domain = EvaluationDomain::new(1, K);
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue