fix: overflow in r1cs trans on shifts

Author: alex-ozdemir

Cargo.lock

@@ -12,7 +12,7 @@ circ_opt = { path = "circ_opt" }
 circ_hc = { path = "circ_hc", default-features = false, features = ["rc", "lru"]}
 circ_waksman = { path = "circ_waksman" }
 rug = { version = "1.11", features = ["serde"] }
-gmp-mpfr-sys = { version = "1.4", optional = true }
+gmp-mpfr-sys = { version = "1.6", optional = true }
 lazy_static = { version = "1.4", optional = true }
 rand = "0.8"
 rand_chacha = "0.3"
@@ -26,7 +26,7 @@ typed-arena = { version = "2.0", optional = true }
 log = "0.4"
 thiserror = "1.0"
 bellman = { git = "https://github.com/alex-ozdemir/bellman.git", branch = "mirage", optional = true }
-rug-polynomial = { version = "0.2.5", optional = true }
+rug-polynomial = { version = "0.2.6", optional = true }
 rayon = { version = "1", optional = true }
 ff = { version = "0.12", optional = true }
 fxhash = "0.2"

Cargo.toml

@@ -314,7 +314,7 @@ impl FieldV {
         let ptr: *const FullFieldV = self.0 as *const _;
         unsafe { &*ptr }
     }
-    fn full_cow(&self) -> std::borrow::Cow<FullFieldV> {
+    fn full_cow<'a>(&'a self) -> std::borrow::Cow<'a, FullFieldV> {
         if self.is_full() {
             std::borrow::Cow::Borrowed(self.full_ref())
         } else {

circ_fields/src/lib.rs

@@ -228,7 +228,7 @@ pub struct IrWrapper<'a, T> {
 }
 
 /// Wrap a reference for IR formatting. Uses [IrCfg::from_circ_cfg].
-pub fn wrap<T>(t: &T) -> IrWrapper<T> {
+pub fn wrap<T>(t: &T) -> IrWrapper<'_, T> {
     IrWrapper::new(t, IrCfg::from_circ_cfg())
 }
 

src/ir/term/fmt.rs

@@ -125,7 +125,7 @@ impl Debug for TokTree<'_> {
 }
 
 /// Parse a token tree.
-fn parse_tok_tree(bytes: &[u8]) -> TokTree {
+fn parse_tok_tree(bytes: &[u8]) -> TokTree<'_> {
     let mut stack: Vec<Vec<TokTree>> = vec![vec![]];
     let lex = Token::lexer(bytes).spanned();
     for (t, s) in lex {