use conditions for sum checks, fix example expected witness

2025-09-23 12:18:44 +00:00 · 2018-08-31 13:41:13 +02:00 · 2018-08-31 13:41:13 +02:00 · 36f66194cc
commit 36f66194cc
parent 87ccd9b669
2 changed files with 5 additions and 5 deletions
--- a/zokrates_cli/tests/code/taxation.expected.witness
+++ b/zokrates_cli/tests/code/taxation.expected.witness
@ -1 +1 @@
-~out_0 1
+~out_0 0
--- a/zokrates_core/src/flatten/mod.rs
+++ b/zokrates_core/src/flatten/mod.rs
@ -203,8 +203,8 @@ impl Flattener {
                    }

                    statements_flattened
-                        .push(FlatStatement::Definition(
-                                lhs_name.clone(), 
+                        .push(FlatStatement::Condition(
+                                FlatExpression::Identifier(lhs_name.clone()), 
                                lhs_sum
                            )
                        );
@ -238,8 +238,8 @@ impl Flattener {
                    }

                    statements_flattened
-                        .push(FlatStatement::Definition(
-                                rhs_name.clone(), 
+                        .push(FlatStatement::Condition(
+                                FlatExpression::Identifier(rhs_name.clone()), 
                                rhs_sum
                            )
                        );