Skip to content

Commit

Permalink
Apply rustfmt changes
Browse files Browse the repository at this point in the history
  • Loading branch information
paulcadman committed Jun 29, 2023
1 parent a789714 commit 3584c44
Showing 1 changed file with 7 additions and 3 deletions.
10 changes: 7 additions & 3 deletions taiga_halo2/src/circuit/vp_circuit.rs
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ use halo2_proofs::{
plonk::{keygen_pk, keygen_vk, Circuit, ConstraintSystem, Error, VerifyingKey},
poly::commitment::Params,
};
use pasta_curves::{EqAffine, Fp, pallas, vesta};
use pasta_curves::{pallas, vesta, EqAffine, Fp};
use rand::rngs::OsRng;
use std::collections::HashMap;
use std::fs;
Expand All @@ -31,7 +31,7 @@ use std::rc::Rc;
use vamp_ir::ast::Module;
use vamp_ir::halo2::synth::{make_constant, Halo2Module, PrimeFieldOps};
use vamp_ir::transform::compile;
use vamp_ir::util::{Config, read_inputs_from_file};
use vamp_ir::util::{read_inputs_from_file, Config};

#[derive(Debug, Clone)]
pub struct VPVerifyingInfo {
Expand Down Expand Up @@ -497,7 +497,11 @@ impl VampIRValidityPredicateCircuit {
let config = Config { quiet: true };
let vamp_ir_source = fs::read_to_string(vamp_ir_file).expect("cannot read vamp-ir file");
let parsed_vamp_ir_module = Module::parse(&vamp_ir_source).unwrap();
let vamp_ir_module = compile(parsed_vamp_ir_module, &PrimeFieldOps::<Fp>::default(), &config);
let vamp_ir_module = compile(
parsed_vamp_ir_module,
&PrimeFieldOps::<Fp>::default(),
&config,
);
let mut circuit = Halo2Module::<Fp>::new(Rc::new(vamp_ir_module));
let params: Params<EqAffine> = Params::new(circuit.k);

Expand Down

0 comments on commit 3584c44

Please sign in to comment.