Skip to content

Commit

Permalink
chore: fix rust version
Browse files Browse the repository at this point in the history
  • Loading branch information
eigmax committed Aug 4, 2024
1 parent daa5839 commit 08eec33
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 5 deletions.
2 changes: 0 additions & 2 deletions recursion/src/compressor12/compressor12_setup.rs
Original file line number Diff line number Diff line change
Expand Up @@ -24,13 +24,11 @@ pub fn setup(
) -> Result<()> {
// 0. readR1cs
let r1cs_reader = File::open(r1cs_file)?;
log::debug!("setup load r1cs");
let (r1cs, _) = load_r1cs_from_bin::<_, GL>(r1cs_reader);
let opts = Options {
force_bits: force_n_bits,
};

log::debug!("plonk setup");
// 1. plonk setup: generate plonk circuit, the pil file.
let res = PlonkSetup::new(&r1cs, &opts);

Expand Down
3 changes: 0 additions & 3 deletions recursion/src/compressor12/plonk_setup.rs
Original file line number Diff line number Diff line change
Expand Up @@ -178,15 +178,12 @@ pub struct PlonkSetupRenderInfo {
impl PlonkSetupRenderInfo {
pub fn plonk_setup_render(r1cs: &R1CS<GL>, opts: &Options) -> Self {
// 1. r1cs to plonk
log::debug!("r1cs2plonk");
let (plonk_constrains, plonk_additions) = r1cs2plonk(r1cs);

log::debug!("get plonk info");
// 2. get normal plonk info
let plonk_info = NormalPlonkInfo::new(&plonk_constrains);
// 3. get custom gate info

log::debug!("get custom gate");
let custom_gates_info = CustomGateInfo::from_r1cs(r1cs);

// 4. calculate columns,rows,constraints info.
Expand Down

0 comments on commit 08eec33

Please sign in to comment.