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

removes debug prints

Browse Source
This commit is contained in:
Kobi Gurkan 2019-09-04 15:54:48 +03:00
parent 470dff3d92
commit 1388c0a55e
2 changed files with 3 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
powersoftau/src/bin/verify.rs
View File

@ -162,7 +162,7 @@ fn new_accumulator_for_verify() -> BachedAccumulator<Bn256, Bn256CeremonyParamet
.write(true) .write(true)
.create_new(true) .create_new(true)
.open(file_name).expect("unable to create `./tmp_initial_challenge`"); .open(file_name).expect("unable to create `./tmp_initial_challenge`");
let expected_challenge_length = Bn256CeremonyParameters::ACCUMULATOR_BYTE_SIZE; let expected_challenge_length = Bn256CeremonyParameters::ACCUMULATOR_BYTE_SIZE;
file.set_len(expected_challenge_length as u64).expect("unable to allocate large enough file"); file.set_len(expected_challenge_length as u64).expect("unable to allocate large enough file");
@ -232,7 +232,6 @@ fn main() {
&last_response_file_hash, &last_response_file_hash,
i == 0, i == 0,
); );
println!("last challenge hash: {}", into_hex(&last_challenge_file_hash));
// Deserialize the accumulator provided by the player in // Deserialize the accumulator provided by the player in
// their response file. It's stored in the transcript in // their response file. It's stored in the transcript in
@ -245,8 +244,6 @@ fn main() {
UseCompression::Yes, UseCompression::Yes,
).expect("unable to read uncompressed accumulator"); ).expect("unable to read uncompressed accumulator");
println!("test: {}", response_file_accumulator.tau_powers_g1[8190]);
let response_file_pubkey = PublicKey::<Bn256>::read::<Bn256CeremonyParameters>(&response_readable_map, UseCompression::Yes).unwrap(); let response_file_pubkey = PublicKey::<Bn256>::read::<Bn256CeremonyParameters>(&response_readable_map, UseCompression::Yes).unwrap();
// Compute the hash of the response file. (we had it in uncompressed // Compute the hash of the response file. (we had it in uncompressed
// form in the transcript, but the response file is compressed to save // form in the transcript, but the response file is compressed to save
@ -257,8 +254,6 @@ fn main() {
&last_challenge_file_hash &last_challenge_file_hash
); );
println!("last response file hash: {}", into_hex(&last_response_file_hash));
// Verify the transformation from the previous accumulator to the new // Verify the transformation from the previous accumulator to the new
// one. This also verifies the correctness of the accumulators and the // one. This also verifies the correctness of the accumulators and the
// public keys, with respect to the transcript so far. // public keys, with respect to the transcript so far.
@ -306,7 +301,7 @@ fn main() {
.map(|e| Point(e.into_projective())) .map(|e| Point(e.into_projective()))
.collect() .collect()
).unwrap(); ).unwrap();
let mut g1_beta_coeffs = EvaluationDomain::from_coeffs( let mut g1_beta_coeffs = EvaluationDomain::from_coeffs(
current_accumulator.beta_tau_powers_g1[0..degree].iter() current_accumulator.beta_tau_powers_g1[0..degree].iter()
.map(|e| Point(e.into_projective())) .map(|e| Point(e.into_projective()))

1
powersoftau/test.sh
View File

@ -5,6 +5,7 @@ rm response
rm new_challenge rm new_challenge
rm challenge_old rm challenge_old
rm response_old rm response_old
rm phase1radix*
cargo run --release --bin new_constrained cargo run --release --bin new_constrained
cargo run --release --bin compute_constrained cargo run --release --bin compute_constrained