diff --git a/crates/mpz-garble-core/src/view.rs b/crates/mpz-garble-core/src/view.rs index e1683951..6893e5ca 100644 --- a/crates/mpz-garble-core/src/view.rs +++ b/crates/mpz-garble-core/src/view.rs @@ -216,7 +216,7 @@ impl View { } pub(crate) fn is_committed(&self, range: Range) -> bool { - range.is_subset(&self.input.complete) + range.is_subset(&self.input.complete) || range.is_subset(&self.output.complete) } pub(crate) fn commit(&mut self, range: Range) -> Result<()> { diff --git a/crates/mpz-garble/src/protocol/semihonest/evaluator.rs b/crates/mpz-garble/src/protocol/semihonest/evaluator.rs index 92da484a..dcea1246 100644 --- a/crates/mpz-garble/src/protocol/semihonest/evaluator.rs +++ b/crates/mpz-garble/src/protocol/semihonest/evaluator.rs @@ -57,6 +57,7 @@ impl Evaluator { idx_outputs |= output.to_range(); true } else { + idx_outputs |= output.to_range(); false } })