github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-04-21 03:00:54 -04:00
Code Issues Packages Projects Releases Wiki Activity

More efficient comparison calls (#14)

Browse Source
This commit is contained in:
Edward Chen
2021-08-20 07:25:52 -07:00
committed by GitHub
parent 0528353296
commit df8cdeece9
1 changed files with 4 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/target/aby/trans.rs
View File

@@ -272,12 +272,11 @@ impl ToABY {
match op {
BvBinPred::Uge => {
let eq = self.embed_eq(t.clone(), &t.cs[0], &t.cs[1]);
self.cache.insert(
t.clone(),
EmbeddedTerm::Bool(format!(
"((BooleanCircuit *)circ)->PutORGate(circ->PutGTGate({}, {}), {})",
a, b, eq
"((BooleanCircuit *)circ)->PutINVGate(circ->PutGTGate({}, {}))",
b, a
)),
);
}
@@ -288,12 +287,11 @@ impl ToABY {
);
}
BvBinPred::Ule => {
let eq = self.embed_eq(t.clone(), &t.cs[0], &t.cs[1]);
self.cache.insert(
t.clone(),
EmbeddedTerm::Bool(format!(
"((BooleanCircuit *)circ)->PutORGate(circ->PutGTGate({}, {}), {})",
b, a, eq
"((BooleanCircuit *)circ)->PutINVGate(circ->PutGTGate({}, {}))",
a, b
)),
);
}