Skip to content

Commit

Permalink
Rename ccs.rs -> dump.rs
Browse files Browse the repository at this point in the history
  • Loading branch information
pnyda committed Sep 13, 2024
1 parent cb26e6a commit 66e14be
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
8 changes: 4 additions & 4 deletions halo2_proofs/src/ccs.rs → halo2_proofs/src/dump.rs
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ use crate::plonk::{Advice, Any, Assigned, Assignment, Column, Error, Fixed, Inst

/// Visit a circuit and keep track of cell assignment.
#[derive(Debug)]
pub struct CellDumper<F: Field> {
pub struct AssignmentDumper<F: Field> {
pub k: u32,

pub copy_constraints: Vec<(
Expand All @@ -33,7 +33,7 @@ pub struct CellDumper<F: Field> {
}

// Based on keygen.rs.
impl<F: Field> Assignment<F> for CellDumper<F> {
impl<F: Field> Assignment<F> for AssignmentDumper<F> {
fn enter_region<NR, N>(&mut self, _: N)
where
NR: Into<String>,
Expand Down Expand Up @@ -189,7 +189,7 @@ impl<F: Field> Assignment<F> for CellDumper<F> {

#[cfg(test)]
mod tests {
use super::CellDumper;
use super::AssignmentDumper;
use crate::circuit::{Layouter, SimpleFloorPlanner, Value};
use crate::plonk::{
Advice, Any, Circuit, Column, ConstraintSystem, Error, Fixed, FloorPlanner, Instance,
Expand Down Expand Up @@ -278,7 +278,7 @@ mod tests {
let mut instance = vec![vec![Value::unknown(); n]; meta.num_instance_columns];
instance[0][0] = Value::known(Fp::from(777));

let mut cell_dumper: CellDumper<Fp> = CellDumper {
let mut cell_dumper: AssignmentDumper<Fp> = AssignmentDumper {
k,
instance,
fixed: vec![vec![None; n]; meta.num_fixed_columns],
Expand Down
2 changes: 1 addition & 1 deletion halo2_proofs/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
pub mod arithmetic;
pub mod circuit;
pub use pasta_curves as pasta;
pub mod ccs;
pub mod dump;
mod multicore;
pub mod plonk;
pub mod poly;
Expand Down

0 comments on commit 66e14be

Please sign in to comment.