Skip to content

Commit 8206ad1

Browse files
committed
chore: Derive Debug for Prover and Verifier structs
1 parent 2ae3e91 commit 8206ad1

File tree

8 files changed

+9
-0
lines changed

8 files changed

+9
-0
lines changed

bls12_381/src/fixed_base_msm.rs

+1
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,7 @@ use blstrs::{Fp, G1Affine};
33

44
/// FixedBasedMSM computes a multi scalar multiplication by precomputing a table of points.
55
/// It uses batch addition to amortize the cost of adding these points together.
6+
#[derive(Debug)]
67
pub struct FixedBaseMSM {
78
table: Vec<blst::blst_p1_affine>,
89
wbits: usize,

eip7594/src/lib.rs

+1
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@ pub type ColumnIndex = u64;
2626
mod errors;
2727

2828
/// The context that will be used to create and verify proofs.
29+
#[derive(Debug)]
2930
pub struct PeerDASContext {
3031
pub prover_ctx: ProverContext,
3132
pub verifier_ctx: VerifierContext,

eip7594/src/prover.rs

+1
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,7 @@ use crate::{
2424

2525
/// Context object that is used to call functions in the prover API.
2626
/// This includes, computing the commitments, proofs and cells.
27+
#[derive(Debug)]
2728
pub struct ProverContext {
2829
thread_pool: Arc<ThreadPool>,
2930

eip7594/src/verifier.rs

+1
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,7 @@ use kzg_multi_open::{
2121
use rayon::ThreadPool;
2222

2323
/// The context object that is used to call functions in the verifier API.
24+
#[derive(Debug)]
2425
pub struct VerifierContext {
2526
thread_pool: Arc<ThreadPool>,
2627
opening_key: OpeningKey,

erasure_codes/src/reed_solomon.rs

+1
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@ pub enum Erasures {
1010
Cells { cell_size: usize, cells: Vec<usize> },
1111
}
1212

13+
#[derive(Debug)]
1314
pub struct ReedSolomon {
1415
expansion_factor: usize,
1516
poly_len: usize,

kzg_multi_open/src/commit_key.rs

+1
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,7 @@ pub struct CommitKey {
2020
/// - `i` ranges from 0 to `degree`
2121
/// - L_i is the i'th lagrange polynomial
2222
/// - `G` is some generator of the group
23+
#[derive(Debug)]
2324
pub struct CommitKeyLagrange {
2425
pub g1s: Vec<G1Projective>,
2526
}

kzg_multi_open/src/fk20.rs

+1
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@ use crate::{commit_key::CommitKey, reverse_bit_order};
1818

1919
/// FK20 initializes all of the components needed to compute a KZG multipoint
2020
/// proof using the FK20 method.
21+
#[derive(Debug)]
2122
pub struct FK20 {
2223
batch_toeplitz: BatchToeplitzMatrixVecMul,
2324
/// FK20 allows you to open multiple points at once. This is the number of points in

kzg_multi_open/src/fk20/batch_toeplitz.rs

+2
Original file line numberDiff line numberDiff line change
@@ -5,10 +5,12 @@ use rayon::prelude::*;
55

66
use super::toeplitz::ToeplitzMatrix;
77
use crate::fk20::toeplitz::CirculantMatrix;
8+
89
/// BatchToeplitz is a structure that optimizes for the usecase where:
910
/// - You need to do multiple matrix-vector multiplications and sum them together
1011
/// - The vector is known at compile time, so you can precompute it's FFT
1112
/// - For now, the vector is a group element. We don't have any other usecases in the codebase.
13+
#[derive(Debug)]
1214
pub struct BatchToeplitzMatrixVecMul {
1315
/// fft_vectors represents the group elements in the FFT domain.
1416
/// This means when we are computing the matrix-vector multiplication by embedding it

0 commit comments

Comments
 (0)