Skip to content

Commit

Permalink
More progress towards Alpha cleanup
Browse files Browse the repository at this point in the history
* Get rid of unecessary parsing tests

* Finish up the migration of gadgets specific to Lurk data construction and deconstruction
  • Loading branch information
arthurpaulino committed Nov 14, 2023
1 parent e5d7338 commit f10ab75
Show file tree
Hide file tree
Showing 8 changed files with 698 additions and 700 deletions.
4 changes: 1 addition & 3 deletions src/coprocessor/circom.rs
Original file line number Diff line number Diff line change
Expand Up @@ -118,9 +118,7 @@ Then run `lurk coprocessor --name {name} <{}_FOLDER>` to instantiate a new gadge
SynthesisError::Unsatisfiable
})?;
let output = circom_scotia::synthesize(cs, self.config.r1cs.clone(), Some(witness))?;
let num_tag = g
.get_tag(&crate::tag::ExprTag::Num)
.expect("Num tag should have been allocated");
let num_tag = g.get_tag(&crate::tag::ExprTag::Num)?;
let res = AllocatedPtr::from_parts(num_tag.clone(), output);

Ok(res)
Expand Down
Loading

0 comments on commit f10ab75

Please sign in to comment.