|
@@ -1,16 +1,15 @@
|
|
|
use bellman::{
|
|
use bellman::{
|
|
|
gadgets::{
|
|
gadgets::{
|
|
|
- boolean::{AllocatedBit, Boolean},
|
|
|
|
|
- multipack, num, Assignment,
|
|
|
|
|
|
|
+ Assignment,
|
|
|
},
|
|
},
|
|
|
groth16, Circuit, ConstraintSystem, SynthesisError,
|
|
groth16, Circuit, ConstraintSystem, SynthesisError,
|
|
|
};
|
|
};
|
|
|
use bls12_381::Bls12;
|
|
use bls12_381::Bls12;
|
|
|
-use bls12_381::Scalar;
|
|
|
|
|
-use ff::{Field, PrimeField};
|
|
|
|
|
-use group::Curve;
|
|
|
|
|
|
|
+
|
|
|
|
|
+use ff::{Field};
|
|
|
|
|
+
|
|
|
use rand::rngs::OsRng;
|
|
use rand::rngs::OsRng;
|
|
|
-use std::ops::{MulAssign, Neg, SubAssign};
|
|
|
|
|
|
|
+
|
|
|
|
|
|
|
|
pub const CRH_IVK_PERSONALIZATION: &[u8; 8] = b"Zcashivk";
|
|
pub const CRH_IVK_PERSONALIZATION: &[u8; 8] = b"Zcashivk";
|
|
|
|
|
|
|
@@ -105,7 +104,7 @@ fn main() {
|
|
|
let proof = groth16::create_random_proof(c, ¶ms, &mut OsRng).unwrap();
|
|
let proof = groth16::create_random_proof(c, ¶ms, &mut OsRng).unwrap();
|
|
|
println!("Prove: [{:?}]", start.elapsed());
|
|
println!("Prove: [{:?}]", start.elapsed());
|
|
|
|
|
|
|
|
- let start = Instant::now();
|
|
|
|
|
|
|
+ let _start = Instant::now();
|
|
|
|
|
|
|
|
let public_input = vec![bls12_381::Scalar::from(27)];
|
|
let public_input = vec![bls12_381::Scalar::from(27)];
|
|
|
|
|
|