fluencelabs/lazy-snark
1
0
Fork 0
mirror of https://github.com/fluencelabs/lazy-snark synced 2025-06-09 13:01:25 +00:00
Code Issues Projects Releases Wiki Activity

wip: remove redundant dependencies

Browse Source
This commit is contained in:
Drygin 2019-07-04 13:35:26 +03:00
parent 65466e4471
commit 2f6bbc4a84
1 changed files with 5 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
test_back_fluence/src/main.rs
View File

@ -6,62 +6,23 @@ extern crate rand;
use bellman::pairing::ff::{ use bellman::pairing::ff::{
PrimeField, PrimeField,
PrimeFieldRepr, PrimeFieldRepr,
Field, Field
BitIterator
};
use bellman::pairing::{
Engine
};
use bellman::{
SynthesisError,
ConstraintSystem,
Circuit
};
use sapling_crypto::circuit::{
Assignment,
boolean,
ecc,
sha256,
num,
multipack,
};
use sapling_crypto::jubjub::{
JubjubEngine,
FixedGenerators,
PrimeOrder,
Unknown,
edwards,
JubjubParams
}; };
fn main() { fn main() {
use bellman::pairing::bn256::*; use bellman::pairing::bn256::*;
use rand::{SeedableRng, Rng, XorShiftRng, Rand};
use sapling_crypto::circuit::test::*;
use sapling_crypto::alt_babyjubjub::{AltJubjubBn256, fs, edwards, PrimeOrder};
use bellman::groth16::{verify_proof, prepare_verifying_key}; use bellman::groth16::{verify_proof, prepare_verifying_key};
use crypto::sha2::Sha256;
use crypto::digest::Digest;
use std::fs::File; use std::io::{Write};
use std::io::{BufRead, BufReader, Write};
use std::path::PathBuf;
use bellman::groth16::Proof; use bellman::groth16::Proof;
use bellman::groth16::VerifyingKey; use bellman::groth16::VerifyingKey;
use bellman::pairing::{ use bellman::pairing::{
Engine,
CurveAffine, CurveAffine,
EncodedPoint EncodedPoint
}; };
use std::io::{self, Read}; use std::io::{self, Read};
use std::sync::Arc;
use std::io::{Cursor, Seek, SeekFrom}; use std::io::{Cursor, Seek, SeekFrom};
// import verification key ---------------------------------------------------------------------------------------- // import verification key ----------------------------------------------------------------------------------------
@ -145,7 +106,7 @@ fn main() {
let mut g1_repr = <bellman::pairing::bn256::G1Affine as CurveAffine>::Uncompressed::empty(); let mut g1_repr = <bellman::pairing::bn256::G1Affine as CurveAffine>::Uncompressed::empty();
let mut g2_repr = <bellman::pairing::bn256::G2Affine as CurveAffine>::Uncompressed::empty(); let mut g2_repr = <bellman::pairing::bn256::G2Affine as CurveAffine>::Uncompressed::empty();
c.read_exact(g1_repr.as_mut()); c.read_exact(g1_repr.as_mut()).unwrap();
let a = g1_repr let a = g1_repr
.into_affine() .into_affine()
.map_err(|e| io::Error::new(io::ErrorKind::InvalidData, e)) .map_err(|e| io::Error::new(io::ErrorKind::InvalidData, e))
@ -156,7 +117,7 @@ fn main() {
}).unwrap(); }).unwrap();
//println!("proof a g1: {}", a); //println!("proof a g1: {}", a);
c.read_exact(g2_repr.as_mut()); c.read_exact(g2_repr.as_mut()).unwrap();
let b = g2_repr let b = g2_repr
.into_affine() .into_affine()
.map_err(|e| io::Error::new(io::ErrorKind::InvalidData, e)) .map_err(|e| io::Error::new(io::ErrorKind::InvalidData, e))
@ -167,7 +128,7 @@ fn main() {
}).unwrap(); }).unwrap();
//println!("proof b g2: {}", b); //println!("proof b g2: {}", b);
c.read_exact(g1_repr.as_mut()); c.read_exact(g1_repr.as_mut()).unwrap();
let c = g1_repr let c = g1_repr
.into_affine() .into_affine()
.map_err(|e| io::Error::new(io::ErrorKind::InvalidData, e)) .map_err(|e| io::Error::new(io::ErrorKind::InvalidData, e))