Skip to content

Commit 00f2cef

Browse files
committed
git fmt
1 parent b85990c commit 00f2cef

3 files changed

Lines changed: 7 additions & 3 deletions

File tree

src/lib.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
// src/lib.rs
22

3-
pub mod hash;
43
pub mod debug;
54
pub mod field;
5+
pub mod hash;
66
pub mod relations;
77
pub mod shplemini;
88
pub mod sumcheck;

src/shplemini.rs

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -157,7 +157,11 @@ fn pairing_check(p0: &G1Affine, p1: &G1Affine) -> bool {
157157
}
158158

159159
/// Shplemini verification
160-
pub fn verify_shplemini(proof: &Proof, vk: &VerificationKey, tx: &Transcript) -> Result<(), String> {
160+
pub fn verify_shplemini(
161+
proof: &Proof,
162+
vk: &VerificationKey,
163+
tx: &Transcript,
164+
) -> Result<(), String> {
161165
// 1) r^{2^i}
162166
let log_n = vk.log_circuit_size as usize;
163167
let n_sum = proof.sumcheck_evaluations.len();

src/transcript.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@
44
use crate::debug::{dbg_fr, dbg_vec};
55
use crate::trace;
66
use crate::{
7-
hash::keccak256,
87
field::Fr,
8+
hash::keccak256,
99
types::{Proof, RelationParameters, Transcript, CONST_PROOF_SIZE_LOG_N},
1010
utils::fq_to_halves_be,
1111
};

0 commit comments

Comments
 (0)