github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-01-10 06:08:02 -05:00
Code Issues Packages Projects Releases Wiki Activity

r1cs: lift r1cs to IR term (#87)

Browse Source
This commit is contained in:
Alex Ozdemir
2022-06-17 20:12:45 -07:00
committed by GitHub
parent 526f5c8675
commit e9b777f40e
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
src/target/r1cs/mod.rs
View File

@@ -433,6 +433,19 @@ impl R1cs<String> {
r1cs: self.clone(),
}
}
/// Get an IR term that represents this system.
pub fn lc_ir_term(&self, lc: &Lc) -> Term {
term(PF_ADD,
std::iter::once(pf_lit(lc.constant.clone())).chain(lc.monomials.iter().map(|(i, coeff)| term![PF_MUL; pf_lit(coeff.clone()), leaf_term(Op::Var(self.idxs_signals.get(i).unwrap().into(), Sort::Field(self.modulus.clone())))])).collect())
}
/// Get an IR term that represents this system.
pub fn ir_term(&self) -> Term {
term(AND,
self.constraints.iter().map(|(a, b, c)|
term![EQ; term![PF_ADD; self.lc_ir_term(a), self.lc_ir_term(b)], self.lc_ir_term(c)]).collect())
}
}
/// Relation-related data that a verifier needs to check a proof.