From bb3da3b2dc990803ef7d53b2f7bbd05bf43c6f09 Mon Sep 17 00:00:00 2001 From: teenager-ETH Date: Wed, 18 Dec 2024 16:01:06 +0100 Subject: [PATCH 1/3] Typo verify.rs --- zokrates_cli/src/ops/nova/verify.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zokrates_cli/src/ops/nova/verify.rs b/zokrates_cli/src/ops/nova/verify.rs index 9a6452bd0..cfb07ef0f 100644 --- a/zokrates_cli/src/ops/nova/verify.rs +++ b/zokrates_cli/src/ops/nova/verify.rs @@ -116,7 +116,7 @@ fn cli_nova_verify<'ast, T: NovaField>( let steps = instance.steps; if nova::verify_compressed(&proof, &vk, init, steps) { - println!("Compressed proof succesfully verified"); + println!("Compressed proof successfully verified"); } else { eprintln!("Compressed proof verification failed"); } From 16e5ce4ea1192c16cf632d257f07a7d8e04ae1d1 Mon Sep 17 00:00:00 2001 From: teenager-ETH Date: Wed, 18 Dec 2024 16:04:00 +0100 Subject: [PATCH 2/3] Typo expression.rs --- zokrates_ast/src/ir/expression.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zokrates_ast/src/ir/expression.rs b/zokrates_ast/src/ir/expression.rs index 5dff6e9a2..72f00d04b 100644 --- a/zokrates_ast/src/ir/expression.rs +++ b/zokrates_ast/src/ir/expression.rs @@ -195,7 +195,7 @@ impl WithSpan for LinComb { impl LinComb { pub fn try_constant(self) -> Result { match self.value.len() { - // if the lincomb is empty, it is reduceable to 0 + // if the lincomb is empty, it is reducible to 0 0 => Ok(T::zero()), _ => { // take the first variable in the lincomb From c42181699b68320a477e92d24bb9d940c070c388 Mon Sep 17 00:00:00 2001 From: teenager-ETH Date: Wed, 18 Dec 2024 16:04:29 +0100 Subject: [PATCH 3/3] Typo expression.rs --- zokrates_ast/src/ir/expression.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/zokrates_ast/src/ir/expression.rs b/zokrates_ast/src/ir/expression.rs index 72f00d04b..fb31b41c5 100644 --- a/zokrates_ast/src/ir/expression.rs +++ b/zokrates_ast/src/ir/expression.rs @@ -223,7 +223,7 @@ impl LinComb { pub fn try_summand(self) -> Result<(Variable, T), Self> { match self.value.len() { - // if the lincomb is empty, it is not reduceable to a summand + // if the lincomb is empty, it is not reducible to a summand 0 => Err(self), _ => { // take the first variable in the lincomb