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 289f3f2 commit daa5839
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 5 deletions.
1 change: 0 additions & 1 deletion recursion/src/compressor12/compressor12_setup.rs
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,6 @@ pub fn setup(
// 1. plonk setup: generate plonk circuit, the pil file.
let res = PlonkSetup::new(&r1cs, &opts);

log::debug!("save");
// 2. And write it into pil_file.
let mut file =
File::create(pil_file).map_err(|_| anyhow!("Create file error, {}", pil_file))?;
Expand Down
4 changes: 0 additions & 4 deletions recursion/src/compressor12/plonk_setup.rs
Original file line number Diff line number Diff line change
Expand Up @@ -25,20 +25,16 @@ pub struct PlonkSetup {
impl PlonkSetup {
pub fn new(r1cs: &R1CS<GL>, opts: &Options) -> Self {
// 1. plonk_setup_render phase
log::debug!("setup");
let plonk_setup_info = PlonkSetupRenderInfo::plonk_setup_render(r1cs, opts);
// 2. render .pil file by template.
// // And save as a file.
log::debug!("render, plonk_setup_info");
let pil_str = compressor12_pil::render(plonk_setup_info.n_bits, plonk_setup_info.n_publics);
// let mut file = File::create(out_pil.clone()).unwrap();
// write!(file, "{}", pil_str).unwrap();

log::debug!("compile pil");
// 3. compile pil to pil_json
let pil_json = compile_pil_from_str(&pil_str);

log::debug!("plonk setup compressor");
//4. plonk_setup_fix_compressor phase
let (const_pols, s_map) = plonk_setup_compressor(r1cs, &pil_json, &plonk_setup_info);

Expand Down

0 comments on commit daa5839

Please sign in to comment.