Skip to content

Commit

Permalink
chore: nargo fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
f01dab1e committed Nov 27, 2023
1 parent 70ccb7e commit 7a3b2d2
Show file tree
Hide file tree
Showing 4 changed files with 23 additions and 4 deletions.
Original file line number Diff line number Diff line change
@@ -1,5 +1,11 @@
fn main(
x: [u32; 5], mut z: u32, t: u32, index: [Field;5], index2: [Field;5], offset: Field, sublen: Field
x: [u32; 5],
mut z: u32,
t: u32,
index: [Field;5],
index2: [Field;5],
offset: Field,
sublen: Field
) {
let idx = (z - 5 * t - 5) as Field;
//dynamic array test
Expand Down
Original file line number Diff line number Diff line change
@@ -1,7 +1,12 @@
use dep::std;

unconstrained fn main(
a: Field, a_pub_x: pub Field, a_pub_y: pub Field, b: Field, b_pub_x: pub Field, b_pub_y: pub Field
a: Field,
a_pub_x: pub Field,
a_pub_y: pub Field,
b: Field,
b_pub_x: pub Field,
b_pub_y: pub Field
) {
let mut priv_key = a;
let mut pub_x: Field = a_pub_x;
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,11 @@ use dep::std;
// Note: If main has any unsized types, then the verifier will never be able
// to figure out the circuit instance
unconstrained fn main(
message: [u8; 10], message_field: Field, pub_key_x: Field, pub_key_y: Field, signature: [u8; 64]
message: [u8; 10],
message_field: Field,
pub_key_x: Field,
pub_key_y: Field,
signature: [u8; 64]
) {
// Regression for issue #2421
// We want to make sure that we can accurately verify a signature whose message is a slice vs. an array
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,11 @@ use dep::std;
// Note: If main has any unsized types, then the verifier will never be able
// to figure out the circuit instance
fn main(
message: [u8; 10], message_field: Field, pub_key_x: Field, pub_key_y: Field, signature: [u8; 64]
message: [u8; 10],
message_field: Field,
pub_key_x: Field,
pub_key_y: Field,
signature: [u8; 64]
) {
// Regression for issue #2421
// We want to make sure that we can accurately verify a signature whose message is a slice vs. an array
Expand Down

0 comments on commit 7a3b2d2

Please sign in to comment.