From ce7bb605d72a971d15c5fe78657a66165e08fbd0 Mon Sep 17 00:00:00 2001
From: Matthias Goergens <matthias.goergens@gmail.com>
Date: Mon, 18 Nov 2024 17:32:38 +0800
Subject: [PATCH] Add missing newline at end of file

Like the POSIX standard decrees.  (It also shuts down git's complaints
in diffs.)
---
 circ_blocks/examples/C/mpc/benchmarks/biomatch/2pc_biomatch.c   | 2 +-
 circ_blocks/examples/C/mpc/benchmarks/gauss/2pc_gauss.c         | 2 +-
 .../examples/C/mpc/unit_tests/arithmetic_tests/2pc_add.c        | 2 +-
 .../C/mpc/unit_tests/arithmetic_tests/2pc_add_unsigned.c        | 2 +-
 .../examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_equals.c | 2 +-
 .../C/mpc/unit_tests/arithmetic_tests/2pc_int_greater_equals.c  | 2 +-
 .../C/mpc/unit_tests/arithmetic_tests/2pc_int_greater_than.c    | 2 +-
 .../C/mpc/unit_tests/arithmetic_tests/2pc_int_less_equals.c     | 2 +-
 .../C/mpc/unit_tests/arithmetic_tests/2pc_int_less_than.c       | 2 +-
 .../examples/C/mpc/unit_tests/arithmetic_tests/2pc_mod.c        | 2 +-
 .../examples/C/mpc/unit_tests/arithmetic_tests/2pc_mult.c       | 2 +-
 .../C/mpc/unit_tests/arithmetic_tests/2pc_mult_add_pub.c        | 2 +-
 .../examples/C/mpc/unit_tests/arithmetic_tests/2pc_sub.c        | 2 +-
 .../examples/C/mpc/unit_tests/array_tests/2pc_array_index.c     | 2 +-
 .../examples/C/mpc/unit_tests/array_tests/2pc_array_index_2.c   | 2 +-
 .../examples/C/mpc/unit_tests/array_tests/2pc_array_sum.c       | 2 +-
 .../examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_and.c   | 2 +-
 .../examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_or.c    | 2 +-
 .../examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_xor.c   | 2 +-
 .../examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_and.c   | 2 +-
 .../C/mpc/unit_tests/boolean_tests/2pc_boolean_equals.c         | 2 +-
 .../examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_or.c    | 2 +-
 circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array.c | 2 +-
 .../examples/C/mpc/unit_tests/c_array_tests/2pc_array_1.c       | 2 +-
 .../examples/C/mpc/unit_tests/c_array_tests/2pc_array_2.c       | 2 +-
 .../examples/C/mpc/unit_tests/c_array_tests/2pc_array_3.c       | 2 +-
 .../examples/C/mpc/unit_tests/c_array_tests/2pc_array_sum_c.c   | 2 +-
 .../examples/C/mpc/unit_tests/const_tests/2pc_const_arith.c     | 2 +-
 .../examples/C/mpc/unit_tests/const_tests/2pc_const_bool.c      | 2 +-
 circ_blocks/examples/C/mpc/unit_tests/div_tests/2pc_div.c       | 2 +-
 .../examples/C/mpc/unit_tests/function_tests/2pc_function_add.c | 2 +-
 .../C/mpc/unit_tests/function_tests/function_arg_order.c        | 2 +-
 .../examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_add.c     | 2 +-
 .../C/mpc/unit_tests/matrix_tests/2pc_matrix_assign_add.c       | 2 +-
 .../examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_ptr_add.c | 2 +-
 .../examples/C/mpc/unit_tests/misc_tests/2pc_millionaires.c     | 2 +-
 .../examples/C/mpc/unit_tests/misc_tests/2pc_multi_var.c        | 2 +-
 .../unit_tests/nary_arithmetic_tests/2pc_nary_arithmetic_add.c  | 2 +-
 .../C/mpc/unit_tests/nary_boolean_tests/2pc_nary_boolean_and.c  | 2 +-
 circ_blocks/examples/C/mpc/unit_tests/ptr_tests/2pc_ptr_add.c   | 2 +-
 circ_blocks/examples/C/mpc/unit_tests/shift_tests/2pc_lhs.c     | 2 +-
 circ_blocks/examples/C/mpc/unit_tests/shift_tests/2pc_rhs.c     | 2 +-
 .../examples/C/mpc/unit_tests/struct_tests/2pc_struct_add.c     | 2 +-
 .../C/mpc/unit_tests/struct_tests/2pc_struct_array_add.c        | 2 +-
 circ_blocks/examples/C/mpc/unit_tests/util.c                    | 2 +-
 .../examples/ZoKrates/mpc/unit_tests/2pc_millionaires.zok       | 2 +-
 .../ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_add.zok        | 2 +-
 .../ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_equals.zok | 2 +-
 .../mpc/unit_tests/arithmetic_tests/2pc_int_greater_equals.zok  | 2 +-
 .../mpc/unit_tests/arithmetic_tests/2pc_int_greater_than.zok    | 2 +-
 .../mpc/unit_tests/arithmetic_tests/2pc_int_less_equals.zok     | 2 +-
 .../mpc/unit_tests/arithmetic_tests/2pc_int_less_than.zok       | 2 +-
 .../ZoKrates/mpc/unit_tests/array_tests/2pc_array_ret.zok       | 2 +-
 .../ZoKrates/mpc/unit_tests/array_tests/2pc_array_sum.zok       | 2 +-
 .../ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_and.zok   | 2 +-
 .../ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_or.zok    | 2 +-
 .../ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_xor.zok   | 2 +-
 .../ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_and.zok   | 2 +-
 .../mpc/unit_tests/boolean_tests/2pc_boolean_equals.zok         | 2 +-
 .../ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_or.zok    | 2 +-
 .../mpc/unit_tests/function_tests/function_arg_order.zok        | 2 +-
 .../ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_only_if.zok       | 2 +-
 .../ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_ret_bool.zok      | 2 +-
 .../ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_ret_int.zok       | 2 +-
 .../ZoKrates/mpc/unit_tests/loop_tests/2pc_loop_sum.zok         | 2 +-
 .../examples/ZoKrates/mpc/unit_tests/shift_tests/2pc_lhs.zok    | 2 +-
 .../examples/ZoKrates/mpc/unit_tests/shift_tests/2pc_rhs.zok    | 2 +-
 circ_blocks/examples/ZoKrates/pf/many_pub.zok.vin               | 2 +-
 circ_blocks/examples/ZoKrates/pf/mm.zok.pin                     | 2 +-
 circ_blocks/examples/ZoKrates/pf/mm.zok.vin                     | 2 +-
 circ_blocks/examples/ZoKrates/pf/xor.zok.vin                    | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/add.txt               | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/add_2.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/and_1.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/and_2.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/and_3.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/and_4.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/array.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/array_1.txt           | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/array_2.txt           | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/array_3.txt           | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/array_4.txt           | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/biomatch_1.txt        | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/biomatch_2.txt        | 2 +-
 .../scripts/aby_tests/test_inputs/biomatch_benchmark_1.txt      | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/const_add.txt         | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/const_eq_1.txt        | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/const_eq_2.txt        | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/conv.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/db_join.txt           | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/div_1.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/div_2.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/div_3.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/div_4.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/eq_1.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/eq_2.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/gauss.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/ge_1.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/ge_2.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/ge_3.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/gt_1.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/gt_2.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/gt_3.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/index.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/ite_1.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/ite_2.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/kmeans.txt            | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/le_1.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/le_2.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/le_3.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/loop.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/loop_1.txt            | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/loop_2.txt            | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/lsh_1.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/lsh_2.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/lt_1.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/lt_2.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/lt_3.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/mod_1.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/mod_2.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/mod_3.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/mult_1.txt            | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/mult_2.txt            | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/mult_3.txt            | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/mult_add_pub_1.txt    | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/mult_add_pub_2.txt    | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/multi.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/nary_add.txt          | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/nary_and.txt          | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/or_1.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/or_2.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/or_3.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/or_4.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/rsh_1.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/rsh_2.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/sub_1.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/sub_2.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/test.txt              | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/test2.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/xor_1.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/xor_2.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/xor_3.txt             | 2 +-
 circ_blocks/scripts/aby_tests/test_inputs/xor_4.txt             | 2 +-
 circ_blocks/src/front/zsharp/documents/2pc_demo.zok             | 2 +-
 circ_blocks/src/front/zsharp/documents/pointer_strategy.md      | 2 +-
 .../third_party/ZoKrates/zokrates_parser/src/ace_mode/README.md | 2 +-
 .../ZoKrates/zokrates_parser/src/textmate/CHANGELOG.md          | 2 +-
 .../third_party/ZoKrates/zokrates_parser/src/textmate/README.md | 2 +-
 .../zokrates_parser/src/textmate/language-configuration.json    | 2 +-
 .../src/textmate/syntaxes/zokrates.tmLanguage.json              | 2 +-
 circ_blocks/third_party/ZoKrates/zokrates_pest_ast/README.md    | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/ecc/babyjubjubParams.zok    | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/ecc/edwardsScalarMult.zok   | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/blake2/blake2s.zok   | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/blake2/blake2s_p.zok | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/256bit.zok    | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/384bit.zok    | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/512bit.zok    | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/keccak.zok    | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/mimc7/mimc7.zok      | 2 +-
 .../zokrates_stdlib/stdlib/hashes/mimcSponge/mimcFeistel.zok    | 2 +-
 .../zokrates_stdlib/stdlib/hashes/poseidon/constants.zok        | 2 +-
 .../zokrates_stdlib/stdlib/hashes/poseidon/poseidon.zok         | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/1024bit.zok   | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/1536bit.zok   | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bit.zok    | 2 +-
 .../zokrates_stdlib/stdlib/hashes/sha256/512bitPacked.zok       | 2 +-
 .../zokrates_stdlib/stdlib/hashes/sha256/512bitPadded.zok       | 2 +-
 .../zokrates_stdlib/stdlib/hashes/sha256/embed/1024bit.zok      | 2 +-
 .../stdlib/hashes/sha256/embed/1024bitPadded.zok                | 2 +-
 .../zokrates_stdlib/stdlib/hashes/sha256/embed/1536bit.zok      | 2 +-
 .../zokrates_stdlib/stdlib/hashes/sha256/embed/256bitPadded.zok | 2 +-
 .../zokrates_stdlib/stdlib/hashes/sha256/embed/512bit.zok       | 2 +-
 .../zokrates_stdlib/stdlib/hashes/sha256/embed/512bitPacked.zok | 2 +-
 .../zokrates_stdlib/stdlib/hashes/sha256/embed/512bitPadded.zok | 2 +-
 .../zokrates_stdlib/stdlib/hashes/sha256/embed/IVconstants.zok  | 2 +-
 .../stdlib/hashes/sha256/embed/shaRoundNoBoolCheck.zok          | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/256bit.zok      | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/384bit.zok      | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/512bit.zok      | 2 +-
 .../stdlib/hashes/utils/256bitsDirectionHelper.zok              | 2 +-
 .../third_party/ZoKrates/zokrates_stdlib/stdlib/snark/gm17.zok  | 2 +-
 .../zokrates_stdlib/stdlib/utils/casts/1024to256array.zok       | 2 +-
 .../zokrates_stdlib/stdlib/utils/casts/bool_128_to_u32_4.zok    | 2 +-
 .../zokrates_stdlib/stdlib/utils/casts/bool_256_to_u32_8.zok    | 2 +-
 .../stdlib/utils/casts/bool_array_to_u32_array.zok              | 2 +-
 .../zokrates_stdlib/stdlib/utils/casts/field_to_u16.zok         | 2 +-
 .../zokrates_stdlib/stdlib/utils/casts/field_to_u32.zok         | 2 +-
 .../zokrates_stdlib/stdlib/utils/casts/field_to_u64.zok         | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u8.zok | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/utils/casts/u16_to_bits.zok | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/utils/casts/u32_to_bits.zok | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/utils/casts/u64_to_bits.zok | 2 +-
 .../zokrates_stdlib/stdlib/utils/multiplexer/lookup1bit.zok     | 2 +-
 .../zokrates_stdlib/stdlib/utils/multiplexer/lookup2bit.zok     | 2 +-
 .../stdlib/utils/multiplexer/lookup3bitSigned.zok               | 2 +-
 .../stdlib/utils/pack/bool/nonStrictUnpack256.zok               | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/pack128.zok | 2 +-
 .../ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack.zok  | 2 +-
 .../zokrates_stdlib/stdlib/utils/pack/bool/unpack128.zok        | 2 +-
 .../zokrates_stdlib/stdlib/utils/pack/bool/unpack256.zok        | 2 +-
 .../zokrates_stdlib/stdlib/utils/pack/bool/unpack_unchecked.zok | 2 +-
 .../stdlib/utils/pack/u32/nonStrictUnpack256.zok                | 2 +-
 .../zokrates_stdlib/stdlib/utils/pack/u32/unpack128.zok         | 2 +-
 circ_blocks/writeups/block_merge_split.md                       | 2 +-
 circ_blocks/writeups/bound_num_proofs.md                        | 2 +-
 circ_blocks/writeups/feb_23_talk_note.md                        | 2 +-
 circ_blocks/writeups/memory_construct.md                        | 2 +-
 circ_blocks/writeups/register_allocation.md                     | 2 +-
 circ_blocks/writeups/sequence_breaker.md                        | 2 +-
 circ_blocks/writeups/stack_simulation.md                        | 2 +-
 documentations/circ_blocks.md                                   | 2 +-
 documentations/spartan_parallel.md                              | 2 +-
 documentations/zok_format.md                                    | 2 +-
 spartan_parallel/CONTRIBUTING.md                                | 2 +-
 spartan_parallel/NOTICE.md                                      | 2 +-
 spartan_parallel/src/commitment/commitment_scheme.rs            | 2 +-
 spartan_parallel/writeups/backend_overview/main.tex             | 2 +-
 spartan_parallel/writeups/eliminate_bounds.md                   | 2 +-
 spartan_parallel/writeups/proofs_folding.md                     | 2 +-
 spartan_parallel/writeups/proofs_overview.md                    | 2 +-
 .../writeups/runtime_comparison/2pc_if_return_cc.txt            | 2 +-
 .../writeups/runtime_comparison/binary_search_sqrt.txt          | 2 +-
 .../writeups/runtime_comparison/bit_reverse_number.txt          | 2 +-
 spartan_parallel/writeups/runtime_comparison/elliptic_curve.txt | 2 +-
 spartan_parallel/writeups/runtime_comparison/find_min.txt       | 2 +-
 spartan_parallel/writeups/runtime_comparison/mat_mult.txt       | 2 +-
 spartan_parallel/writeups/runtime_comparison/sum_of_powers.txt  | 2 +-
 zok_tests/benchmarks/ceno_compact/mle.input                     | 2 +-
 zok_tests/benchmarks/ceno_compact/mle.zok                       | 2 +-
 zok_tests/benchmarks/ceno_compact/sumcheck_structs.zok          | 2 +-
 zok_tests/benchmarks/ceno_compact/sumcheck_verifier.input       | 2 +-
 zok_tests/benchmarks/ceno_compact/sumcheck_verifier.zok         | 2 +-
 zok_tests/benchmarks/ceno_compact/tower_struct.zok              | 2 +-
 zok_tests/benchmarks/ceno_compact/tower_verifier.input          | 2 +-
 zok_tests/benchmarks/ceno_compact/tower_verifier.zok            | 2 +-
 zok_tests/benchmarks/ceno_compact/transcript.zok                | 2 +-
 zok_tests/benchmarks/ceno_demo/ext_field.input                  | 2 +-
 zok_tests/benchmarks/ceno_demo/ext_field.witness                | 2 +-
 zok_tests/benchmarks/ceno_demo/ext_field.zok                    | 2 +-
 zok_tests/benchmarks/ceno_demo/mle.zok                          | 2 +-
 zok_tests/benchmarks/ceno_demo/poseidon.input                   | 2 +-
 zok_tests/benchmarks/ceno_demo/poseidon.zok                     | 2 +-
 zok_tests/benchmarks/ceno_demo/poseidon_constants.zok           | 2 +-
 zok_tests/benchmarks/ceno_demo/poseidon_old.zok                 | 2 +-
 zok_tests/benchmarks/ceno_demo/poseidon_permutation.zok         | 2 +-
 zok_tests/benchmarks/ceno_demo/sumcheck_structs.zok             | 2 +-
 zok_tests/benchmarks/ceno_demo/sumcheck_verifier.witness        | 2 +-
 zok_tests/benchmarks/ceno_demo/sumcheck_verifier.zok            | 2 +-
 zok_tests/benchmarks/ceno_demo/tower_struct.zok                 | 2 +-
 zok_tests/benchmarks/ceno_demo/tower_verifier.input             | 2 +-
 zok_tests/benchmarks/ceno_demo/tower_verifier.witness           | 2 +-
 zok_tests/benchmarks/ceno_demo/tower_verifier.zok               | 2 +-
 zok_tests/benchmarks/ceno_demo/transcript.zok                   | 2 +-
 zok_tests/benchmarks/unit_tests/2pc_array.input                 | 2 +-
 zok_tests/benchmarks/unit_tests/2pc_cond_store.input            | 2 +-
 zok_tests/benchmarks/unit_tests/2pc_cond_store.zok              | 2 +-
 zok_tests/benchmarks/unit_tests/2pc_if_return_cc.input          | 2 +-
 zok_tests/benchmarks/unit_tests/2pc_type_change.input           | 2 +-
 zok_tests/benchmarks/unit_tests/array_input.input               | 2 +-
 zok_tests/benchmarks/unit_tests/array_input.zok                 | 2 +-
 zok_tests/benchmarks/unit_tests/dead_input.input                | 2 +-
 zok_tests/benchmarks/unit_tests/dead_input.zok                  | 2 +-
 zok_tests/benchmarks/unit_tests/inline_func.zok                 | 2 +-
 zok_tests/benchmarks/unit_tests/multi_dim.zok                   | 2 +-
 zok_tests/benchmarks/unit_tests/read_only_array.input           | 2 +-
 zok_tests/benchmarks/unit_tests/read_only_array.zok             | 2 +-
 zok_tests/benchmarks/unit_tests/test.zok                        | 2 +-
 zok_tests/benchmarks/unit_tests/test_witness.input              | 2 +-
 zok_tests/benchmarks/unit_tests/test_witness.witness            | 2 +-
 zok_tests/benchmarks/unit_tests/test_witness.zok                | 2 +-
 zok_tests/benchmarks/unit_tests/weird_array.input               | 2 +-
 zok_tests/benchmarks/unit_tests/weird_array.zok                 | 2 +-
 zok_tests/constraints/ceno_demo/blocks_sumcheck_verifier        | 2 +-
 zok_tests/memos/Liveness_Framework.txt                          | 2 +-
 zok_tests/memos/function_call_scoping_test.txt                  | 2 +-
 zok_tests/memos/function_call_tests.txt                         | 2 +-
 zok_tests/memos/scoping_problem.md                              | 2 +-
 zok_tests/memos/scoping_tests.txt                               | 2 +-
 279 files changed, 279 insertions(+), 279 deletions(-)

diff --git a/circ_blocks/examples/C/mpc/benchmarks/biomatch/2pc_biomatch.c b/circ_blocks/examples/C/mpc/benchmarks/biomatch/2pc_biomatch.c
index 19674514..4597988d 100644
--- a/circ_blocks/examples/C/mpc/benchmarks/biomatch/2pc_biomatch.c
+++ b/circ_blocks/examples/C/mpc/benchmarks/biomatch/2pc_biomatch.c
@@ -35,4 +35,4 @@ int main(
     }
 
     return best_match;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/benchmarks/gauss/2pc_gauss.c b/circ_blocks/examples/C/mpc/benchmarks/gauss/2pc_gauss.c
index 8980627b..f42dc068 100644
--- a/circ_blocks/examples/C/mpc/benchmarks/gauss/2pc_gauss.c
+++ b/circ_blocks/examples/C/mpc/benchmarks/gauss/2pc_gauss.c
@@ -145,4 +145,4 @@ int main(__attribute__((private(0))) int a[N*N], __attribute__((private(1))) int
 	Output OUTPUT_res;
 	gaussj_D(INPUT_A_m.m, INPUT_B_b.b, OUTPUT_res.res);
 	return OUTPUT_res.res[2];
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_add.c b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_add.c
index b1914441..902c4545 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_add.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_add.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a + b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_add_unsigned.c b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_add_unsigned.c
index e1df6143..65ae58af 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_add_unsigned.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_add_unsigned.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) unsigned int a, __attribute__((private(1))) unsigned int b) {
    return a + b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_equals.c b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_equals.c
index 67c783e1..0a09b351 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_equals.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_equals.c
@@ -2,4 +2,4 @@
 
 bool main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a == b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_greater_equals.c b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_greater_equals.c
index fa06e041..053befe9 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_greater_equals.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_greater_equals.c
@@ -2,4 +2,4 @@
 
 bool main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a >= b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_greater_than.c b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_greater_than.c
index 54bd21ba..e5854c94 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_greater_than.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_greater_than.c
@@ -2,4 +2,4 @@
 
 bool main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a > b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_less_equals.c b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_less_equals.c
index 91f5afe7..8e2c9756 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_less_equals.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_less_equals.c
@@ -2,4 +2,4 @@
 
 bool main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a <= b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_less_than.c b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_less_than.c
index eb6cf29f..80a09308 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_less_than.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_int_less_than.c
@@ -2,4 +2,4 @@
 
 bool main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a < b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_mod.c b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_mod.c
index 2386baed..df67bb5f 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_mod.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_mod.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a % b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_mult.c b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_mult.c
index a028f867..5f030cd8 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_mult.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_mult.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a * b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_mult_add_pub.c b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_mult_add_pub.c
index 6519e814..a6fb5e59 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_mult_add_pub.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_mult_add_pub.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b, __attribute__((public)) int v) {
    return a * b + v;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_sub.c b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_sub.c
index bcef63af..7485b611 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_sub.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/arithmetic_tests/2pc_sub.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a - b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/array_tests/2pc_array_index.c b/circ_blocks/examples/C/mpc/unit_tests/array_tests/2pc_array_index.c
index 622257f7..2bb9ee2e 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/array_tests/2pc_array_index.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/array_tests/2pc_array_index.c
@@ -2,4 +2,4 @@ int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
     int index = a + b;
     int arr[10] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
     return arr[index];
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/array_tests/2pc_array_index_2.c b/circ_blocks/examples/C/mpc/unit_tests/array_tests/2pc_array_index_2.c
index 1637cf81..036961ad 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/array_tests/2pc_array_index_2.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/array_tests/2pc_array_index_2.c
@@ -5,4 +5,4 @@ int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
         new_arr[i] = arr[i];
     }
     return new_arr[0];
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/array_tests/2pc_array_sum.c b/circ_blocks/examples/C/mpc/unit_tests/array_tests/2pc_array_sum.c
index 5a49b089..0b63b961 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/array_tests/2pc_array_sum.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/array_tests/2pc_array_sum.c
@@ -1,4 +1,4 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
     int arr[2] = {a, b};
     return arr[0] + arr[1];
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_and.c b/circ_blocks/examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_and.c
index c5c3f1ef..10f1fb5a 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_and.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_and.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a & b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_or.c b/circ_blocks/examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_or.c
index 92544f53..be2ff19c 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_or.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_or.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a | b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_xor.c b/circ_blocks/examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_xor.c
index 0e5f7de8..c52f305c 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_xor.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/bitwise_tests/2pc_bitwise_xor.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a ^ b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_and.c b/circ_blocks/examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_and.c
index badafd4d..112eccb6 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_and.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_and.c
@@ -2,4 +2,4 @@
 
 bool main(__attribute__((private(0))) bool a, __attribute__((private(1))) bool b) {
    return a && b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_equals.c b/circ_blocks/examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_equals.c
index 2094acab..fa4328ae 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_equals.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_equals.c
@@ -2,4 +2,4 @@
 
 bool main(__attribute__((private(0))) bool a, __attribute__((private(1))) bool b) {
    return a == b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_or.c b/circ_blocks/examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_or.c
index 14cd0d3c..c498d8e3 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_or.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/boolean_tests/2pc_boolean_or.c
@@ -2,4 +2,4 @@
 
 bool main(__attribute__((private(0))) bool a, __attribute__((private(1))) bool b) {
    return a || b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array.c b/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array.c
index 3cca1504..c2deaeaa 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array.c
@@ -3,4 +3,4 @@ int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
     v[0] = a;
     b = v[0];
     return b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_1.c b/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_1.c
index 6868506e..6cd8173a 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_1.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_1.c
@@ -4,4 +4,4 @@ int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
     v[1] = a;
     b = v[1];
     return b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_2.c b/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_2.c
index a48f7b08..772c7381 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_2.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_2.c
@@ -5,4 +5,4 @@ int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
     v[i] = a;
     b = v[i];
     return b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_3.c b/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_3.c
index 0ac90d2b..720a4308 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_3.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_3.c
@@ -4,4 +4,4 @@ int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
     int acc = 0;
     for (int j = 0; j < 3; j++) acc += v[j];
     return acc;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_sum_c.c b/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_sum_c.c
index 91a86323..6a53f863 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_sum_c.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/c_array_tests/2pc_array_sum_c.c
@@ -8,4 +8,4 @@ int main(__attribute__((private(0))) int a[5], __attribute__((private(1))) int b
         acc += sum[j];
     }
     return acc;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/const_tests/2pc_const_arith.c b/circ_blocks/examples/C/mpc/unit_tests/const_tests/2pc_const_arith.c
index ab32a354..51e94ee6 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/const_tests/2pc_const_arith.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/const_tests/2pc_const_arith.c
@@ -1,4 +1,4 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
   int c = 1;
   return a + b + c;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/const_tests/2pc_const_bool.c b/circ_blocks/examples/C/mpc/unit_tests/const_tests/2pc_const_bool.c
index a4f596fb..e9df2e80 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/const_tests/2pc_const_bool.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/const_tests/2pc_const_bool.c
@@ -3,4 +3,4 @@
 bool main(__attribute__((private(0))) bool a, __attribute__((private(1))) bool b) {
   bool c = true;
   return a == c;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/div_tests/2pc_div.c b/circ_blocks/examples/C/mpc/unit_tests/div_tests/2pc_div.c
index f85ea235..f99235ea 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/div_tests/2pc_div.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/div_tests/2pc_div.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return a / b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/function_tests/2pc_function_add.c b/circ_blocks/examples/C/mpc/unit_tests/function_tests/2pc_function_add.c
index c65f310c..bae7bb29 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/function_tests/2pc_function_add.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/function_tests/2pc_function_add.c
@@ -6,4 +6,4 @@ int add_(int a, int b) {
 
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return add(a, b) + add_(a, b);
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/function_tests/function_arg_order.c b/circ_blocks/examples/C/mpc/unit_tests/function_tests/function_arg_order.c
index afc3e0ba..6ce28648 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/function_tests/function_arg_order.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/function_tests/function_arg_order.c
@@ -4,4 +4,4 @@ int sub(int b, int a) {
 
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return sub(b, a);
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_add.c b/circ_blocks/examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_add.c
index a463ea97..bf78d6f4 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_add.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_add.c
@@ -1,4 +1,4 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
     int c[1][2] = {{a, b}};
     return c[0][0] + c[0][1];
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_assign_add.c b/circ_blocks/examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_assign_add.c
index acfadce9..2abb385d 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_assign_add.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_assign_add.c
@@ -3,4 +3,4 @@ int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
     c[0][0] = a;
     c[0][1] = b;
     return c[0][0] + c[0][1];
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_ptr_add.c b/circ_blocks/examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_ptr_add.c
index 8b0253a5..2dfd6b41 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_ptr_add.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/matrix_tests/2pc_matrix_ptr_add.c
@@ -4,4 +4,4 @@ int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
     d[0] = a;
     d[1] = b;
     return c[0][0] + c[0][1];
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/misc_tests/2pc_millionaires.c b/circ_blocks/examples/C/mpc/unit_tests/misc_tests/2pc_millionaires.c
index 9e5432ef..2166d592 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/misc_tests/2pc_millionaires.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/misc_tests/2pc_millionaires.c
@@ -5,4 +5,4 @@ bool main(
     __attribute__((private(1))) int b)
 {
     return a < b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/misc_tests/2pc_multi_var.c b/circ_blocks/examples/C/mpc/unit_tests/misc_tests/2pc_multi_var.c
index 5103e0ca..92f04c27 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/misc_tests/2pc_multi_var.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/misc_tests/2pc_multi_var.c
@@ -1,4 +1,4 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    int c = 1, d = 1;
    return a + b + c + d;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/nary_arithmetic_tests/2pc_nary_arithmetic_add.c b/circ_blocks/examples/C/mpc/unit_tests/nary_arithmetic_tests/2pc_nary_arithmetic_add.c
index b092c91c..cbe30dd1 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/nary_arithmetic_tests/2pc_nary_arithmetic_add.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/nary_arithmetic_tests/2pc_nary_arithmetic_add.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b, __attribute__((private(1))) int c) {
   return a + b + c;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/nary_boolean_tests/2pc_nary_boolean_and.c b/circ_blocks/examples/C/mpc/unit_tests/nary_boolean_tests/2pc_nary_boolean_and.c
index 243c2e47..02760459 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/nary_boolean_tests/2pc_nary_boolean_and.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/nary_boolean_tests/2pc_nary_boolean_and.c
@@ -2,4 +2,4 @@
 
 bool main(__attribute__((private(0))) bool a, __attribute__((private(1))) bool b, __attribute__((private(1))) bool c) {
   return a && b && c;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/ptr_tests/2pc_ptr_add.c b/circ_blocks/examples/C/mpc/unit_tests/ptr_tests/2pc_ptr_add.c
index 58bf3211..22017079 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/ptr_tests/2pc_ptr_add.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/ptr_tests/2pc_ptr_add.c
@@ -2,4 +2,4 @@ int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
     int c[1][2] = {{a, b}};
     int * d = c[0];
     return d[0] + d[1];
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/shift_tests/2pc_lhs.c b/circ_blocks/examples/C/mpc/unit_tests/shift_tests/2pc_lhs.c
index 82f27afb..aa186d64 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/shift_tests/2pc_lhs.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/shift_tests/2pc_lhs.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return (a << 1) + b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/shift_tests/2pc_rhs.c b/circ_blocks/examples/C/mpc/unit_tests/shift_tests/2pc_rhs.c
index ba602480..42a080e3 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/shift_tests/2pc_rhs.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/shift_tests/2pc_rhs.c
@@ -1,3 +1,3 @@
 int main(__attribute__((private(0))) int a, __attribute__((private(1))) int b) {
    return (a >> 1) + b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/struct_tests/2pc_struct_add.c b/circ_blocks/examples/C/mpc/unit_tests/struct_tests/2pc_struct_add.c
index badf4d09..9fd0cb2d 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/struct_tests/2pc_struct_add.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/struct_tests/2pc_struct_add.c
@@ -11,4 +11,4 @@ int main(
     c.a = a;
     c.b = b;
     return c.a + c.b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/struct_tests/2pc_struct_array_add.c b/circ_blocks/examples/C/mpc/unit_tests/struct_tests/2pc_struct_array_add.c
index 0a1315d9..aeac144f 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/struct_tests/2pc_struct_array_add.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/struct_tests/2pc_struct_array_add.c
@@ -11,4 +11,4 @@ int main(
     c.a[0] = a;
     c.b[0] = b;
     return c.a[0] + c.b[0];
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/C/mpc/unit_tests/util.c b/circ_blocks/examples/C/mpc/unit_tests/util.c
index c86efad3..c3c71607 100644
--- a/circ_blocks/examples/C/mpc/unit_tests/util.c
+++ b/circ_blocks/examples/C/mpc/unit_tests/util.c
@@ -1,3 +1,3 @@
 int add(int a, int b) {
    return a + b;
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/2pc_millionaires.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/2pc_millionaires.zok
index 62a3d08e..9c046d72 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/2pc_millionaires.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/2pc_millionaires.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b) -> bool:
-    return a < b
\ No newline at end of file
+    return a < b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_add.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_add.zok
index 42d4a5ee..6c77453e 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_add.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_add.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b) -> u32:
-  return a + b
\ No newline at end of file
+  return a + b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_equals.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_equals.zok
index 3170556f..dd89a194 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_equals.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_equals.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b) -> bool:
-    return a == b
\ No newline at end of file
+    return a == b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_greater_equals.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_greater_equals.zok
index 1c09293e..08485d8c 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_greater_equals.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_greater_equals.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b) -> bool:
-    return a >= b
\ No newline at end of file
+    return a >= b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_greater_than.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_greater_than.zok
index 3aeac7b3..092e6244 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_greater_than.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_greater_than.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b) -> bool:
-    return a > b
\ No newline at end of file
+    return a > b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_less_equals.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_less_equals.zok
index 7702fde1..61951c1e 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_less_equals.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_less_equals.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b) -> bool:
-    return a <= b
\ No newline at end of file
+    return a <= b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_less_than.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_less_than.zok
index 62a3d08e..9c046d72 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_less_than.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/arithmetic_tests/2pc_int_less_than.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b) -> bool:
-    return a < b
\ No newline at end of file
+    return a < b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/array_tests/2pc_array_ret.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/array_tests/2pc_array_ret.zok
index f9b0ef39..fb01a3a4 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/array_tests/2pc_array_ret.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/array_tests/2pc_array_ret.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b) -> u32[2]:
-    return [a, b]
\ No newline at end of file
+    return [a, b]
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/array_tests/2pc_array_sum.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/array_tests/2pc_array_sum.zok
index 19efcfb1..3c0862e6 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/array_tests/2pc_array_sum.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/array_tests/2pc_array_sum.zok
@@ -1,3 +1,3 @@
 def main(private<1> u32 a, private<2> u32 b) -> u32:
     u32[2] c = [a, b]
-    return c[0] + c[1]
\ No newline at end of file
+    return c[0] + c[1]
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_and.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_and.zok
index 1b4538a1..66c0ed21 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_and.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_and.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b) -> u32:
-    return a & b
\ No newline at end of file
+    return a & b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_or.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_or.zok
index 117ae6cc..78279edf 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_or.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_or.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b) -> u32:
-    return a | b
\ No newline at end of file
+    return a | b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_xor.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_xor.zok
index 52b41960..088aab92 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_xor.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/bitwise_tests/2pc_bitwise_xor.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b) -> u32:
-    return a ^ b
\ No newline at end of file
+    return a ^ b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_and.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_and.zok
index 3e6c98fb..12d000d4 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_and.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_and.zok
@@ -1,2 +1,2 @@
 def main(private<1> bool a, private<2> bool b) -> bool:
-    return a && b
\ No newline at end of file
+    return a && b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_equals.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_equals.zok
index ef5de39b..4a89330c 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_equals.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_equals.zok
@@ -1,2 +1,2 @@
 def main(private<1> bool a, private<2> bool b) -> bool:
-    return a == b
\ No newline at end of file
+    return a == b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_or.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_or.zok
index 7d9a7a4a..a110150d 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_or.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/boolean_tests/2pc_boolean_or.zok
@@ -1,2 +1,2 @@
 def main(private<1> bool a, private<2> bool b) -> bool:
-    return a || b
\ No newline at end of file
+    return a || b
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/function_tests/function_arg_order.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/function_tests/function_arg_order.zok
index d25716c3..4b9543ea 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/function_tests/function_arg_order.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/function_tests/function_arg_order.zok
@@ -2,4 +2,4 @@ def sub(u32 b, u32 a) -> u32:
     return a - b
 
 def main(private<1> u32 a, private<2> u32 b) -> u32:
-  return sub(b, a)
\ No newline at end of file
+  return sub(b, a)
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_only_if.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_only_if.zok
index 8bfeece5..8db03730 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_only_if.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_only_if.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b, public bool sel) -> u32:
-    return if sel then a else b fi
\ No newline at end of file
+    return if sel then a else b fi
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_ret_bool.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_ret_bool.zok
index 79f6d448..6aeba6e4 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_ret_bool.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_ret_bool.zok
@@ -1,2 +1,2 @@
 def main(private<1> bool a, private<2> bool b, public bool sel) -> bool:
-    return if sel then a else b fi
\ No newline at end of file
+    return if sel then a else b fi
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_ret_int.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_ret_int.zok
index 8bfeece5..8db03730 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_ret_int.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/ite_tests/2pc_ite_ret_int.zok
@@ -1,2 +1,2 @@
 def main(private<1> u32 a, private<2> u32 b, public bool sel) -> u32:
-    return if sel then a else b fi
\ No newline at end of file
+    return if sel then a else b fi
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/loop_tests/2pc_loop_sum.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/loop_tests/2pc_loop_sum.zok
index 39699de0..be3631ce 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/loop_tests/2pc_loop_sum.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/loop_tests/2pc_loop_sum.zok
@@ -3,4 +3,4 @@ def main(private<1> u32 a, private<2> u32 b) -> u32:
     for u32 i in 0..5 do
         res = res + i
     endfor
-    return res
\ No newline at end of file
+    return res
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/shift_tests/2pc_lhs.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/shift_tests/2pc_lhs.zok
index 9940e152..1a9dc821 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/shift_tests/2pc_lhs.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/shift_tests/2pc_lhs.zok
@@ -1,3 +1,3 @@
 def main(private<1> u32 a, private<2> u32 b) -> u32:
   u32 c = 0x00000001
-  return a << c
\ No newline at end of file
+  return a << c
diff --git a/circ_blocks/examples/ZoKrates/mpc/unit_tests/shift_tests/2pc_rhs.zok b/circ_blocks/examples/ZoKrates/mpc/unit_tests/shift_tests/2pc_rhs.zok
index cc58559b..4c7138d0 100644
--- a/circ_blocks/examples/ZoKrates/mpc/unit_tests/shift_tests/2pc_rhs.zok
+++ b/circ_blocks/examples/ZoKrates/mpc/unit_tests/shift_tests/2pc_rhs.zok
@@ -1,3 +1,3 @@
 def main(private<1> u32 a, private<2> u32 b) -> u32:
   u32 c = 0x00000001
-  return a >> c
\ No newline at end of file
+  return a >> c
diff --git a/circ_blocks/examples/ZoKrates/pf/many_pub.zok.vin b/circ_blocks/examples/ZoKrates/pf/many_pub.zok.vin
index 6230501b..884ec886 100644
--- a/circ_blocks/examples/ZoKrates/pf/many_pub.zok.vin
+++ b/circ_blocks/examples/ZoKrates/pf/many_pub.zok.vin
@@ -5,4 +5,4 @@
     (d #x0004)
     (return #x0004)
 ) false ; ignored
-)
\ No newline at end of file
+)
diff --git a/circ_blocks/examples/ZoKrates/pf/mm.zok.pin b/circ_blocks/examples/ZoKrates/pf/mm.zok.pin
index bba3a610..310c65b1 100644
--- a/circ_blocks/examples/ZoKrates/pf/mm.zok.pin
+++ b/circ_blocks/examples/ZoKrates/pf/mm.zok.pin
@@ -10,4 +10,4 @@
 (B.1.1 #f1)
 
 ) true; ignored
-))
\ No newline at end of file
+))
diff --git a/circ_blocks/examples/ZoKrates/pf/mm.zok.vin b/circ_blocks/examples/ZoKrates/pf/mm.zok.vin
index 362bb5eb..b22a3033 100644
--- a/circ_blocks/examples/ZoKrates/pf/mm.zok.vin
+++ b/circ_blocks/examples/ZoKrates/pf/mm.zok.vin
@@ -5,4 +5,4 @@
 (return.1.0 #f0)
 (return.1.1 #f1)
 ) true; ignored
-))
\ No newline at end of file
+))
diff --git a/circ_blocks/examples/ZoKrates/pf/xor.zok.vin b/circ_blocks/examples/ZoKrates/pf/xor.zok.vin
index 5c0386a6..d8e7f801 100644
--- a/circ_blocks/examples/ZoKrates/pf/xor.zok.vin
+++ b/circ_blocks/examples/ZoKrates/pf/xor.zok.vin
@@ -3,4 +3,4 @@
     (d #x0000)
     (return #x0004)
 ) false ; ignored
-)
\ No newline at end of file
+)
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/add.txt b/circ_blocks/scripts/aby_tests/test_inputs/add.txt
index 88ebc8af..4a55a0b1 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/add.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/add.txt
@@ -1,3 +1,3 @@
 a 1
 b 2
-res 3
\ No newline at end of file
+res 3
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/add_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/add_2.txt
index db4790cb..a29a48fd 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/add_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/add_2.txt
@@ -1,3 +1,3 @@
 a 1
 b 2
-res 6
\ No newline at end of file
+res 6
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/and_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/and_1.txt
index bffd79e1..10e56798 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/and_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/and_1.txt
@@ -1,3 +1,3 @@
 a 0
 b 0
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/and_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/and_2.txt
index a9e356a5..550e4519 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/and_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/and_2.txt
@@ -1,3 +1,3 @@
 a 1
 b 0
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/and_3.txt b/circ_blocks/scripts/aby_tests/test_inputs/and_3.txt
index d516da12..ce0ad5a7 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/and_3.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/and_3.txt
@@ -1,3 +1,3 @@
 a 0
 b 1
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/and_4.txt b/circ_blocks/scripts/aby_tests/test_inputs/and_4.txt
index e7129253..5fad32ca 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/and_4.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/and_4.txt
@@ -1,3 +1,3 @@
 a 1
 b 1
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/array.txt b/circ_blocks/scripts/aby_tests/test_inputs/array.txt
index 05cb13a4..dcb7d66e 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/array.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/array.txt
@@ -1,3 +1,3 @@
 a 2
 b 2
-res 2
\ No newline at end of file
+res 2
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/array_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/array_1.txt
index d84cdf33..09ba4701 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/array_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/array_1.txt
@@ -1,3 +1,3 @@
 a 10
 b 3
-res 17
\ No newline at end of file
+res 17
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/array_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/array_2.txt
index d84cdf33..09ba4701 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/array_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/array_2.txt
@@ -1,3 +1,3 @@
 a 10
 b 3
-res 17
\ No newline at end of file
+res 17
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/array_3.txt b/circ_blocks/scripts/aby_tests/test_inputs/array_3.txt
index b64095e6..08c008a4 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/array_3.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/array_3.txt
@@ -1,3 +1,3 @@
 a 2
 b 3
-res 18
\ No newline at end of file
+res 18
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/array_4.txt b/circ_blocks/scripts/aby_tests/test_inputs/array_4.txt
index 52f6699a..38e4d6d9 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/array_4.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/array_4.txt
@@ -1,3 +1,3 @@
 a 1 2 3 4 5
 b 1 2 3 4 5
-res 30
\ No newline at end of file
+res 30
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/biomatch_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/biomatch_1.txt
index 74069d81..d70546e2 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/biomatch_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/biomatch_1.txt
@@ -1,3 +1,3 @@
 db 0 1 2 3 1 2 3 4 2 3 4 5 3 4 5 6 4 5 6 7 5 6 7 8 6 7 8 9 7 8 9 10 8 9 10 11 9 10 11 12 10 11 12 13 11 12 13 14 12 13 14 15 13 14 15 16 14 15 16 17 15 16 17 18 16 17 18 19 17 18 19 20 18 19 20 21 19 20 21 22 20 21 22 23 21 22 23 24 22 23 24 25 23 24 25 26 24 25 26 27 25 26 27 28 26 27 28 29 27 28 29 30 28 29 30 31 29 30 31 32 30 31 32 33 31 32 33 34 32 33 34 35 33 34 35 36 34 35 36 37 35 36 37 38 36 37 38 39 37 38 39 40 38 39 40 41 39 40 41 42 40 41 42 43 41 42 43 44 42 43 44 45 43 44 45 46 44 45 46 47 45 46 47 48 46 47 48 49 47 48 49 50 48 49 50 51 49 50 51 52 50 51 52 53 51 52 53 54 52 53 54 55 53 54 55 56 54 55 56 57 55 56 57 58 56 57 58 59 57 58 59 60 58 59 60 61 59 60 61 62 60 61 62 63 61 62 63 64 62 63 64 65 63 64 65 66 64 65 66 67 65 66 67 68 66 67 68 69 67 68 69 70 68 69 70 71 69 70 71 72 70 71 72 73 71 72 73 74 72 73 74 75 73 74 75 76 74 75 76 77 75 76 77 78 76 77 78 79 77 78 79 80 78 79 80 81 79 80 81 82 80 81 82 83 81 82 83 84 82 83 84 85 83 84 85 86 84 85 86 87 85 86 87 88 86 87 88 89 87 88 89 90 88 89 90 91 89 90 91 92 90 91 92 93 91 92 93 94 92 93 94 95 93 94 95 96 94 95 96 97 95 96 97 98 96 97 98 99 97 98 99 100 98 99 100 101 99 100 101 102 100 101 102 103 101 102 103 104 102 103 104 105 103 104 105 106 104 105 106 107 105 106 107 108 106 107 108 109 107 108 109 110 108 109 110 111 109 110 111 112 110 111 112 113 111 112 113 114 112 113 114 115 113 114 115 116 114 115 116 117 115 116 117 118 116 117 118 119 117 118 119 120 118 119 120 121 119 120 121 122 120 121 122 123 121 122 123 124 122 123 124 125 123 124 125 126 124 125 126 127 125 126 127 128 126 127 128 129 127 128 129 130 128 129 130 131 129 130 131 132 130 131 132 133 131 132 133 134 132 133 134 135 133 134 135 136 134 135 136 137 135 136 137 138 136 137 138 139 137 138 139 140 138 139 140 141 139 140 141 142 140 141 142 143 141 142 143 144 142 143 144 145 143 144 145 146 144 145 146 147 145 146 147 148 146 147 148 149 147 148 149 150 148 149 150 151 149 150 151 152 150 151 152 153 151 152 153 154 152 153 154 155 153 154 155 156 154 155 156 157 155 156 157 158 156 157 158 159 157 158 159 160 158 159 160 161 159 160 161 162 160 161 162 163 161 162 163 164 162 163 164 165 163 164 165 166 164 165 166 167 165 166 167 168 166 167 168 169 167 168 169 170 168 169 170 171 169 170 171 172 170 171 172 173 171 172 173 174 172 173 174 175 173 174 175 176 174 175 176 177 175 176 177 178 176 177 178 179 177 178 179 180 178 179 180 181 179 180 181 182 180 181 182 183 181 182 183 184 182 183 184 185 183 184 185 186 184 185 186 187 185 186 187 188 186 187 188 189 187 188 189 190 188 189 190 191 189 190 191 192 190 191 192 193 191 192 193 194 192 193 194 195 193 194 195 196 194 195 196 197 195 196 197 198 196 197 198 199 197 198 199 200 198 199 200 201 199 200 201 202 200 201 202 203 201 202 203 204 202 203 204 205 203 204 205 206 204 205 206 207 205 206 207 208 206 207 208 209 207 208 209 210 208 209 210 211 209 210 211 212 210 211 212 213 211 212 213 214 212 213 214 215 213 214 215 216 214 215 216 217 215 216 217 218 216 217 218 219 217 218 219 220 218 219 220 221 219 220 221 222 220 221 222 223 221 222 223 224 222 223 224 225 223 224 225 226 224 225 226 227 225 226 227 228 226 227 228 229 227 228 229 230 228 229 230 231 229 230 231 232 230 231 232 233 231 232 233 234 232 233 234 235 233 234 235 236 234 235 236 237 235 236 237 238 236 237 238 239 237 238 239 240 238 239 240 241 239 240 241 242 240 241 242 243 241 242 243 244 242 243 244 245 243 244 245 246 244 245 246 247 245 246 247 248 246 247 248 249 247 248 249 250 248 249 250 251 249 250 251 252 250 251 252 253 251 252 253 254 252 253 254 255 253 254 255 256 254 255 256 257 255 256 257 258
 sample 0 0 0 0
-res 14
\ No newline at end of file
+res 14
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/biomatch_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/biomatch_2.txt
index b69f333b..879d0c2f 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/biomatch_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/biomatch_2.txt
@@ -1,3 +1,3 @@
 db 0 1 2 3 1 2 3 4 2 3 4 5 3 4 5 6 4 5 6 7 5 6 7 8 6 7 8 9 7 8 9 10 8 9 10 11 9 10 11 12 10 11 12 13 11 12 13 14 12 13 14 15 13 14 15 16 14 15 16 17 15 16 17 18 16 17 18 19 17 18 19 20 18 19 20 21 19 20 21 22 20 21 22 23 21 22 23 24 22 23 24 25 23 24 25 26 24 25 26 27 25 26 27 28 26 27 28 29 27 28 29 30 28 29 30 31 29 30 31 32 30 31 32 33 31 32 33 34 32 33 34 35 33 34 35 36 34 35 36 37 35 36 37 38 36 37 38 39 37 38 39 40 38 39 40 41 39 40 41 42 40 41 42 43 41 42 43 44 42 43 44 45 43 44 45 46 44 45 46 47 45 46 47 48 46 47 48 49 47 48 49 50 48 49 50 51 49 50 51 52 50 51 52 53 51 52 53 54 52 53 54 55 53 54 55 56 54 55 56 57 55 56 57 58 56 57 58 59 57 58 59 60 58 59 60 61 59 60 61 62 60 61 62 63 61 62 63 64 62 63 64 65 63 64 65 66 64 65 66 67 65 66 67 68 66 67 68 69 67 68 69 70 68 69 70 71 69 70 71 72 70 71 72 73 71 72 73 74 72 73 74 75 73 74 75 76 74 75 76 77 75 76 77 78 76 77 78 79 77 78 79 80 78 79 80 81 79 80 81 82 80 81 82 83 81 82 83 84 82 83 84 85 83 84 85 86 84 85 86 87 85 86 87 88 86 87 88 89 87 88 89 90 88 89 90 91 89 90 91 92 90 91 92 93 91 92 93 94 92 93 94 95 93 94 95 96 94 95 96 97 95 96 97 98 96 97 98 99 97 98 99 100 98 99 100 101 99 100 101 102 100 101 102 103 101 102 103 104 102 103 104 105 103 104 105 106 104 105 106 107 105 106 107 108 106 107 108 109 107 108 109 110 108 109 110 111 109 110 111 112 110 111 112 113 111 112 113 114 112 113 114 115 113 114 115 116 114 115 116 117 115 116 117 118 116 117 118 119 117 118 119 120 118 119 120 121 119 120 121 122 120 121 122 123 121 122 123 124 122 123 124 125 123 124 125 126 124 125 126 127 125 126 127 128 126 127 128 129 127 128 129 130 128 129 130 131 129 130 131 132 130 131 132 133 131 132 133 134 132 133 134 135 133 134 135 136 134 135 136 137 135 136 137 138 136 137 138 139 137 138 139 140 138 139 140 141 139 140 141 142 140 141 142 143 141 142 143 144 142 143 144 145 143 144 145 146 144 145 146 147 145 146 147 148 146 147 148 149 147 148 149 150 148 149 150 151 149 150 151 152 150 151 152 153 151 152 153 154 152 153 154 155 153 154 155 156 154 155 156 157 155 156 157 158 156 157 158 159 157 158 159 160 158 159 160 161 159 160 161 162 160 161 162 163 161 162 163 164 162 163 164 165 163 164 165 166 164 165 166 167 165 166 167 168 166 167 168 169 167 168 169 170 168 169 170 171 169 170 171 172 170 171 172 173 171 172 173 174 172 173 174 175 173 174 175 176 174 175 176 177 175 176 177 178 176 177 178 179 177 178 179 180 178 179 180 181 179 180 181 182 180 181 182 183 181 182 183 184 182 183 184 185 183 184 185 186 184 185 186 187 185 186 187 188 186 187 188 189 187 188 189 190 188 189 190 191 189 190 191 192 190 191 192 193 191 192 193 194 192 193 194 195 193 194 195 196 194 195 196 197 195 196 197 198 196 197 198 199 197 198 199 200 198 199 200 201 199 200 201 202 200 201 202 203 201 202 203 204 202 203 204 205 203 204 205 206 204 205 206 207 205 206 207 208 206 207 208 209 207 208 209 210 208 209 210 211 209 210 211 212 210 211 212 213 211 212 213 214 212 213 214 215 213 214 215 216 214 215 216 217 215 216 217 218 216 217 218 219 217 218 219 220 218 219 220 221 219 220 221 222 220 221 222 223 221 222 223 224 222 223 224 225 223 224 225 226 224 225 226 227 225 226 227 228 226 227 228 229 227 228 229 230 228 229 230 231 229 230 231 232 230 231 232 233 231 232 233 234 232 233 234 235 233 234 235 236 234 235 236 237 235 236 237 238 236 237 238 239 237 238 239 240 238 239 240 241 239 240 241 242 240 241 242 243 241 242 243 244 242 243 244 245 243 244 245 246 244 245 246 247 245 246 247 248 246 247 248 249 247 248 249 250 248 249 250 251 249 250 251 252 250 251 252 253 251 252 253 254 252 253 254 255 253 254 255 256 254 255 256 257 255 256 257 258
 sample 1 2 3 4
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/biomatch_benchmark_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/biomatch_benchmark_1.txt
index 6e1667a0..3e3b6852 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/biomatch_benchmark_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/biomatch_benchmark_1.txt
@@ -1,3 +1,3 @@
 db 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032
 sample 0 1 2 3
-res 324
\ No newline at end of file
+res 324
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/const_add.txt b/circ_blocks/scripts/aby_tests/test_inputs/const_add.txt
index e50d94c4..79e05b67 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/const_add.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/const_add.txt
@@ -1,3 +1,3 @@
 a 2
 b 3
-res 6
\ No newline at end of file
+res 6
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/const_eq_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/const_eq_1.txt
index bffd79e1..10e56798 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/const_eq_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/const_eq_1.txt
@@ -1,3 +1,3 @@
 a 0
 b 0
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/const_eq_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/const_eq_2.txt
index b35d53a3..0e22d0b0 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/const_eq_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/const_eq_2.txt
@@ -1,3 +1,3 @@
 a 1
 b 0
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/conv.txt b/circ_blocks/scripts/aby_tests/test_inputs/conv.txt
index a716070f..6bd57fd2 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/conv.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/conv.txt
@@ -1,3 +1,3 @@
 a 0
 b 7
-res 7
\ No newline at end of file
+res 7
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/db_join.txt b/circ_blocks/scripts/aby_tests/test_inputs/db_join.txt
index 6c1c7815..5c177025 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/db_join.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/db_join.txt
@@ -1,3 +1,3 @@
 a 0 1 2 3 4 5 6 7 8 9
 b 0 1 2 3 4 5 6 7 8 9
-res 25
\ No newline at end of file
+res 25
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/div_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/div_1.txt
index aae5f347..fff32411 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/div_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/div_1.txt
@@ -1,3 +1,3 @@
 a 10
 b 1
-res 10
\ No newline at end of file
+res 10
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/div_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/div_2.txt
index 76522986..47ee770f 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/div_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/div_2.txt
@@ -1,3 +1,3 @@
 a 10
 b 2
-res 5
\ No newline at end of file
+res 5
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/div_3.txt b/circ_blocks/scripts/aby_tests/test_inputs/div_3.txt
index eae9243f..0637152d 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/div_3.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/div_3.txt
@@ -1,3 +1,3 @@
 a 11
 b 2
-res 5
\ No newline at end of file
+res 5
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/div_4.txt b/circ_blocks/scripts/aby_tests/test_inputs/div_4.txt
index dfd19935..652e0f78 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/div_4.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/div_4.txt
@@ -1,3 +1,3 @@
 a 1
 b 2
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/eq_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/eq_1.txt
index a9e356a5..550e4519 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/eq_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/eq_1.txt
@@ -1,3 +1,3 @@
 a 1
 b 0
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/eq_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/eq_2.txt
index e7129253..5fad32ca 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/eq_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/eq_2.txt
@@ -1,3 +1,3 @@
 a 1
 b 1
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/gauss.txt b/circ_blocks/scripts/aby_tests/test_inputs/gauss.txt
index ddd69895..d33d7059 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/gauss.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/gauss.txt
@@ -1,3 +1,3 @@
 a 2 1 3 3 7 9 0 3 1
 b 14 40 6
-res 1194
\ No newline at end of file
+res 1194
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/ge_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/ge_1.txt
index dfd19935..652e0f78 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/ge_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/ge_1.txt
@@ -1,3 +1,3 @@
 a 1
 b 2
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/ge_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/ge_2.txt
index e7129253..5fad32ca 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/ge_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/ge_2.txt
@@ -1,3 +1,3 @@
 a 1
 b 1
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/ge_3.txt b/circ_blocks/scripts/aby_tests/test_inputs/ge_3.txt
index b35d53a3..0e22d0b0 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/ge_3.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/ge_3.txt
@@ -1,3 +1,3 @@
 a 1
 b 0
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/gt_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/gt_1.txt
index dfd19935..652e0f78 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/gt_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/gt_1.txt
@@ -1,3 +1,3 @@
 a 1
 b 2
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/gt_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/gt_2.txt
index af7201b0..4e0676bb 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/gt_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/gt_2.txt
@@ -1,3 +1,3 @@
 a 1
 b 1
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/gt_3.txt b/circ_blocks/scripts/aby_tests/test_inputs/gt_3.txt
index b35d53a3..0e22d0b0 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/gt_3.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/gt_3.txt
@@ -1,3 +1,3 @@
 a 1
 b 0
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/index.txt b/circ_blocks/scripts/aby_tests/test_inputs/index.txt
index 9c3ab693..c132cc62 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/index.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/index.txt
@@ -1,3 +1,3 @@
 a 1
 b 2
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/ite_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/ite_1.txt
index 99990500..726c6423 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/ite_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/ite_1.txt
@@ -1,4 +1,4 @@
 a 0
 b 1
 sel 1
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/ite_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/ite_2.txt
index b76bbac1..c780a6d3 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/ite_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/ite_2.txt
@@ -1,4 +1,4 @@
 a 0
 b 1
 sel 0
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/kmeans.txt b/circ_blocks/scripts/aby_tests/test_inputs/kmeans.txt
index 5e99f917..1a9aa7a6 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/kmeans.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/kmeans.txt
@@ -1,3 +1,3 @@
 a 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
 b 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
-res 103
\ No newline at end of file
+res 103
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/le_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/le_1.txt
index 9c3ab693..c132cc62 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/le_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/le_1.txt
@@ -1,3 +1,3 @@
 a 1
 b 2
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/le_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/le_2.txt
index e7129253..5fad32ca 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/le_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/le_2.txt
@@ -1,3 +1,3 @@
 a 1
 b 1
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/le_3.txt b/circ_blocks/scripts/aby_tests/test_inputs/le_3.txt
index a9e356a5..550e4519 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/le_3.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/le_3.txt
@@ -1,3 +1,3 @@
 a 1
 b 0
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/loop.txt b/circ_blocks/scripts/aby_tests/test_inputs/loop.txt
index 597ba810..703af112 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/loop.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/loop.txt
@@ -5,4 +5,4 @@ a 1
 b 2
 
 // result
-15
\ No newline at end of file
+15
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/loop_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/loop_1.txt
index dbfc1f40..0e47c866 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/loop_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/loop_1.txt
@@ -1,3 +1,3 @@
 a 2
 b 1
-res 10
\ No newline at end of file
+res 10
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/loop_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/loop_2.txt
index cc2da46e..e8abd0ae 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/loop_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/loop_2.txt
@@ -1,3 +1,3 @@
 a 10
 b 3
-res 10
\ No newline at end of file
+res 10
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/lsh_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/lsh_1.txt
index 2084777d..ee8bc3cf 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/lsh_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/lsh_1.txt
@@ -1,3 +1,3 @@
 a 10
 b 2
-res 22
\ No newline at end of file
+res 22
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/lsh_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/lsh_2.txt
index 3249fe2e..2187169b 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/lsh_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/lsh_2.txt
@@ -1,3 +1,3 @@
 a 0
 b 2
-res 2
\ No newline at end of file
+res 2
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/lt_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/lt_1.txt
index 91a54bee..c8e088c7 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/lt_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/lt_1.txt
@@ -1,3 +1,3 @@
 a 2
 b 1
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/lt_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/lt_2.txt
index af7201b0..4e0676bb 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/lt_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/lt_2.txt
@@ -1,3 +1,3 @@
 a 1
 b 1
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/lt_3.txt b/circ_blocks/scripts/aby_tests/test_inputs/lt_3.txt
index e97a331b..14cd85ec 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/lt_3.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/lt_3.txt
@@ -1,3 +1,3 @@
 a 0
 b 1
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/mod_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/mod_1.txt
index aafb5057..455c181f 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/mod_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/mod_1.txt
@@ -1,3 +1,3 @@
 a 0
 b 2
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/mod_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/mod_2.txt
index 9c3ab693..c132cc62 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/mod_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/mod_2.txt
@@ -1,3 +1,3 @@
 a 1
 b 2
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/mod_3.txt b/circ_blocks/scripts/aby_tests/test_inputs/mod_3.txt
index f8b01ec4..19673032 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/mod_3.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/mod_3.txt
@@ -1,3 +1,3 @@
 a 2
 b 2
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/mult_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/mult_1.txt
index d9daf7ba..39f45d4e 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/mult_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/mult_1.txt
@@ -1,3 +1,3 @@
 a 0
 b 5
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/mult_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/mult_2.txt
index 65e830aa..b88cbf49 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/mult_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/mult_2.txt
@@ -1,3 +1,3 @@
 a 1
 b 5
-res 5
\ No newline at end of file
+res 5
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/mult_3.txt b/circ_blocks/scripts/aby_tests/test_inputs/mult_3.txt
index 5c45488f..686e4ff1 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/mult_3.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/mult_3.txt
@@ -1,3 +1,3 @@
 a 2
 b 5
-res 10
\ No newline at end of file
+res 10
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/mult_add_pub_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/mult_add_pub_1.txt
index 6aa6b1aa..214ab63d 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/mult_add_pub_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/mult_add_pub_1.txt
@@ -1,4 +1,4 @@
 a 5
 v 7
 b 7
-res 42
\ No newline at end of file
+res 42
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/mult_add_pub_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/mult_add_pub_2.txt
index 6aa6b1aa..214ab63d 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/mult_add_pub_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/mult_add_pub_2.txt
@@ -1,4 +1,4 @@
 a 5
 v 7
 b 7
-res 42
\ No newline at end of file
+res 42
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/multi.txt b/circ_blocks/scripts/aby_tests/test_inputs/multi.txt
index c2cf6dc9..23de2eca 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/multi.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/multi.txt
@@ -1,3 +1,3 @@
 a 1
 b 2
-res 5
\ No newline at end of file
+res 5
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/nary_add.txt b/circ_blocks/scripts/aby_tests/test_inputs/nary_add.txt
index 780d3579..bfa2549f 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/nary_add.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/nary_add.txt
@@ -1,4 +1,4 @@
 a 1
 b 2
 c 3
-res 6
\ No newline at end of file
+res 6
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/nary_and.txt b/circ_blocks/scripts/aby_tests/test_inputs/nary_and.txt
index 1fffca87..58dab923 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/nary_and.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/nary_and.txt
@@ -1,4 +1,4 @@
 a 1
 b 1
 c 1
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/or_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/or_1.txt
index bffd79e1..10e56798 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/or_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/or_1.txt
@@ -1,3 +1,3 @@
 a 0
 b 0
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/or_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/or_2.txt
index b35d53a3..0e22d0b0 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/or_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/or_2.txt
@@ -1,3 +1,3 @@
 a 1
 b 0
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/or_3.txt b/circ_blocks/scripts/aby_tests/test_inputs/or_3.txt
index e97a331b..14cd85ec 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/or_3.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/or_3.txt
@@ -1,3 +1,3 @@
 a 0
 b 1
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/or_4.txt b/circ_blocks/scripts/aby_tests/test_inputs/or_4.txt
index e7129253..5fad32ca 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/or_4.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/or_4.txt
@@ -1,3 +1,3 @@
 a 1
 b 1
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/rsh_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/rsh_1.txt
index e038b0d3..777cafd2 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/rsh_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/rsh_1.txt
@@ -1,3 +1,3 @@
 a 20
 b 2
-res 12
\ No newline at end of file
+res 12
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/rsh_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/rsh_2.txt
index 3249fe2e..2187169b 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/rsh_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/rsh_2.txt
@@ -1,3 +1,3 @@
 a 0
 b 2
-res 2
\ No newline at end of file
+res 2
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/sub_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/sub_1.txt
index 966bf09c..32c46131 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/sub_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/sub_1.txt
@@ -1,3 +1,3 @@
 a 3
 b 2
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/sub_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/sub_2.txt
index 76c9b4b5..786b5c4f 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/sub_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/sub_2.txt
@@ -1,3 +1,3 @@
 a 2
 b 3
-res -1
\ No newline at end of file
+res -1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/test.txt b/circ_blocks/scripts/aby_tests/test_inputs/test.txt
index c2cf6dc9..23de2eca 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/test.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/test.txt
@@ -1,3 +1,3 @@
 a 1
 b 2
-res 5
\ No newline at end of file
+res 5
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/test2.txt b/circ_blocks/scripts/aby_tests/test_inputs/test2.txt
index 5befe2be..b96621ce 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/test2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/test2.txt
@@ -5,4 +5,4 @@ a 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
 b 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
 
 // result
-1
\ No newline at end of file
+1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/xor_1.txt b/circ_blocks/scripts/aby_tests/test_inputs/xor_1.txt
index bffd79e1..10e56798 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/xor_1.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/xor_1.txt
@@ -1,3 +1,3 @@
 a 0
 b 0
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/xor_2.txt b/circ_blocks/scripts/aby_tests/test_inputs/xor_2.txt
index b35d53a3..0e22d0b0 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/xor_2.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/xor_2.txt
@@ -1,3 +1,3 @@
 a 1
 b 0
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/xor_3.txt b/circ_blocks/scripts/aby_tests/test_inputs/xor_3.txt
index e97a331b..14cd85ec 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/xor_3.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/xor_3.txt
@@ -1,3 +1,3 @@
 a 0
 b 1
-res 1
\ No newline at end of file
+res 1
diff --git a/circ_blocks/scripts/aby_tests/test_inputs/xor_4.txt b/circ_blocks/scripts/aby_tests/test_inputs/xor_4.txt
index af7201b0..4e0676bb 100644
--- a/circ_blocks/scripts/aby_tests/test_inputs/xor_4.txt
+++ b/circ_blocks/scripts/aby_tests/test_inputs/xor_4.txt
@@ -1,3 +1,3 @@
 a 1
 b 1
-res 0
\ No newline at end of file
+res 0
diff --git a/circ_blocks/src/front/zsharp/documents/2pc_demo.zok b/circ_blocks/src/front/zsharp/documents/2pc_demo.zok
index 7a8c6cf0..96129dec 100644
--- a/circ_blocks/src/front/zsharp/documents/2pc_demo.zok
+++ b/circ_blocks/src/front/zsharp/documents/2pc_demo.zok
@@ -15,4 +15,4 @@ def main() -> field:
         field b = 10
     endfor
     // Blk 4
-    return a + b
\ No newline at end of file
+    return a + b
diff --git a/circ_blocks/src/front/zsharp/documents/pointer_strategy.md b/circ_blocks/src/front/zsharp/documents/pointer_strategy.md
index 0f3b8487..066a9ca5 100644
--- a/circ_blocks/src/front/zsharp/documents/pointer_strategy.md
+++ b/circ_blocks/src/front/zsharp/documents/pointer_strategy.md
@@ -234,4 +234,4 @@ We can make the following observations:
 3. `var_assg` can only grow so we wouldn't lose any information on current stack frame.
 4. Every scope must have a `POP` at the end, even if the `POP` does nothing.
 5. The only part of the program where `%BP != %SP` is after an `INIT UPDATE` or `POP` and before the next `MAYBE INIT; PUSH`. Since RAM cannot be alterred without a `PUSH`, we can conclude that every time we write `var_assg.append(offset, "X")`, it must also be the case that `MEM[%BP + <offset>] = X`. If `%BP` is correct, then `POP` is correct.
-6. `%BP` can only be updated to 2 values: the beginning address of a new stack frame or the last value of itself, both syncing with grow and shrink of the stack. This means that `%BP` always points to the beginning of the current stack frame, and the address pointed by `%BP` is always the beginning of the last stack frame.
\ No newline at end of file
+6. `%BP` can only be updated to 2 values: the beginning address of a new stack frame or the last value of itself, both syncing with grow and shrink of the stack. This means that `%BP` always points to the beginning of the current stack frame, and the address pointed by `%BP` is always the beginning of the last stack frame.
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_parser/src/ace_mode/README.md b/circ_blocks/third_party/ZoKrates/zokrates_parser/src/ace_mode/README.md
index ced5138b..7692164c 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_parser/src/ace_mode/README.md
+++ b/circ_blocks/third_party/ZoKrates/zokrates_parser/src/ace_mode/README.md
@@ -1,4 +1,4 @@
 ### ZoKrates Ace Mode (Syntax Highlighting for Ace/Brace)
 
 [Ace](https://ace.c9.io/) Edit Mode for [ZoKrates DSL](https://github.com/Zokrates/ZoKrates).
-Compatible with browserify version of the ace editor, [brace](https://www.npmjs.com/package/brace).
\ No newline at end of file
+Compatible with browserify version of the ace editor, [brace](https://www.npmjs.com/package/brace).
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/CHANGELOG.md b/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/CHANGELOG.md
index afef5e74..bfc21cad 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/CHANGELOG.md
+++ b/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/CHANGELOG.md
@@ -4,4 +4,4 @@
 
 ## [0.0.1] - 2021-03-01
 
-- Initial release
\ No newline at end of file
+- Initial release
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/README.md b/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/README.md
index 15f478b0..ea0f2372 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/README.md
+++ b/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/README.md
@@ -10,4 +10,4 @@ VSCode offers a command `Convert to {JSON, YAML}-tmLanguage File` that achieves
 
 ## Release process
 
-This extension is currently released manually to the VSCode extension marketplace.
\ No newline at end of file
+This extension is currently released manually to the VSCode extension marketplace.
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/language-configuration.json b/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/language-configuration.json
index bdf83828..8095fdcc 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/language-configuration.json
+++ b/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/language-configuration.json
@@ -25,4 +25,4 @@
         ["(", ")"],
         ["\"", "\""],
     ]
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/syntaxes/zokrates.tmLanguage.json b/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/syntaxes/zokrates.tmLanguage.json
index c55cadb3..7adea986 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/syntaxes/zokrates.tmLanguage.json
+++ b/circ_blocks/third_party/ZoKrates/zokrates_parser/src/textmate/syntaxes/zokrates.tmLanguage.json
@@ -634,4 +634,4 @@
       ]
     }
   }
-}
\ No newline at end of file
+}
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_pest_ast/README.md b/circ_blocks/third_party/ZoKrates/zokrates_pest_ast/README.md
index a572d275..a53e0be5 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_pest_ast/README.md
+++ b/circ_blocks/third_party/ZoKrates/zokrates_pest_ast/README.md
@@ -1,3 +1,3 @@
 # zokrates_pest_ast
 
-ZoKrates AST generation based on pest output.
\ No newline at end of file
+ZoKrates AST generation based on pest output.
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/ecc/babyjubjubParams.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/ecc/babyjubjubParams.zok
index 766e0936..3149ff41 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/ecc/babyjubjubParams.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/ecc/babyjubjubParams.zok
@@ -33,4 +33,4 @@ const BabyJubJubParams BABYJUBJUB_PARAMS = BabyJubJubParams {
 }
 
 def main() -> BabyJubJubParams:
-    return BABYJUBJUB_PARAMS
\ No newline at end of file
+    return BABYJUBJUB_PARAMS
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/ecc/edwardsScalarMult.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/ecc/edwardsScalarMult.zok
index 7e90625c..6242f77a 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/ecc/edwardsScalarMult.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/ecc/edwardsScalarMult.zok
@@ -24,4 +24,4 @@ def main(bool[256] exponent, field[2] pt, BabyJubJubParams context) -> field[2]:
 
     assert(onCurve(accumulatedP, context))
 
-    return accumulatedP
\ No newline at end of file
+    return accumulatedP
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/blake2/blake2s.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/blake2/blake2s.zok
index 8bbf125f..e9c4f777 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/blake2/blake2s.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/blake2/blake2s.zok
@@ -1,4 +1,4 @@
 import "hashes/blake2/blake2s_p" as blake2s_p
 
 def main<K>(u32[K][16] input) -> (u32[8]):
-    return blake2s_p(input, [0; 2])
\ No newline at end of file
+    return blake2s_p(input, [0; 2])
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/blake2/blake2s_p.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/blake2/blake2s_p.zok
index 50e5a622..28192cec 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/blake2/blake2s_p.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/blake2/blake2s_p.zok
@@ -109,4 +109,4 @@ def main<K>(u32[K][16] input, u32[2] p) -> (u32[8]):
         h[i] = swap_u32(h[i])
     endfor
 
-    return h
\ No newline at end of file
+    return h
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/256bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/256bit.zok
index 59d800fe..204ec3b5 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/256bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/256bit.zok
@@ -1,4 +1,4 @@
 import "hashes/keccak/keccak" as keccak
 
 def main<N>(u64[N] input) -> u64[4]:
-    return keccak::<N, 256>(input, 0x0000000000000001)[..4]
\ No newline at end of file
+    return keccak::<N, 256>(input, 0x0000000000000001)[..4]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/384bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/384bit.zok
index f261ebcc..195fa2dc 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/384bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/384bit.zok
@@ -1,4 +1,4 @@
 import "hashes/keccak/keccak" as keccak
 
 def main<N>(u64[N] input) -> u64[6]:
-    return keccak::<N, 384>(input, 0x0000000000000001)[..6]
\ No newline at end of file
+    return keccak::<N, 384>(input, 0x0000000000000001)[..6]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/512bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/512bit.zok
index 8345df52..d0aeb394 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/512bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/512bit.zok
@@ -1,4 +1,4 @@
 import "hashes/keccak/keccak" as keccak
 
 def main<N>(u64[N] input) -> u64[8]:
-    return keccak::<N, 512>(input, 0x0000000000000001)[..8]
\ No newline at end of file
+    return keccak::<N, 512>(input, 0x0000000000000001)[..8]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/keccak.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/keccak.zok
index 29ca37bb..894a432a 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/keccak.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/keccak/keccak.zok
@@ -103,4 +103,4 @@ def main<N, W>(u64[N] input, u64 pad) -> u64[25]:
         q[i] = swap_u64(q[i])
     endfor
 
-    return q
\ No newline at end of file
+    return q
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/mimc7/mimc7.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/mimc7/mimc7.zok
index c73a2168..1e223687 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/mimc7/mimc7.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/mimc7/mimc7.zok
@@ -108,4 +108,4 @@ def main<R>(field x_in, field k) -> field:
 		t7[i] = t6[i] * t
 	endfor
 
-	return t6[R - 1] * t + k
\ No newline at end of file
+	return t6[R - 1] * t + k
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/mimcSponge/mimcFeistel.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/mimcSponge/mimcFeistel.zok
index ae01d45d..b04277ae 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/mimcSponge/mimcFeistel.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/mimcSponge/mimcFeistel.zok
@@ -246,4 +246,4 @@ def main(field xL_in, field xR_in, field k) -> field[2]:
         xR[i] = if i < R - 1 then (if i == 0 then xL_in else xL[j] fi) else xR[j] + t4[i] * t fi
     endfor
 
-    return [xL[R - 1], xR[R - 1]]
\ No newline at end of file
+    return [xL[R - 1], xR[R - 1]]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/poseidon/constants.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/poseidon/constants.zok
index c54a0685..7c417f2e 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/poseidon/constants.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/poseidon/constants.zok
@@ -2073,4 +2073,4 @@ const field[6][7][7] POSEIDON_M = [
         768425396034382182896247252731538808045254601036758108993106260984310129743
       ]
     ]
-  ]
\ No newline at end of file
+  ]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/poseidon/poseidon.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/poseidon/poseidon.zok
index d5ec0ee6..c8643d74 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/poseidon/poseidon.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/poseidon/poseidon.zok
@@ -55,4 +55,4 @@ def main<N>(field[N] inputs) -> field:
         state = mix(state, m)
     endfor
 
-    return state[0]
\ No newline at end of file
+    return state[0]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/1024bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/1024bit.zok
index ff5b298b..2ee54c5e 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/1024bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/1024bit.zok
@@ -6,4 +6,4 @@ import "./sha256" as sha256
 
 def main(u32[8] a, u32[8] b, u32[8] c, u32[8] d) -> u32[8]:
 	u32[8] res = sha256([[...a, ...b], [...c, ...d]])
-	return res
\ No newline at end of file
+	return res
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/1536bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/1536bit.zok
index 12895aad..f834134f 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/1536bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/1536bit.zok
@@ -6,4 +6,4 @@ import "./sha256" as sha256
 
 def main(u32[8] a, u32[8] b, u32[8] c, u32[8] d, u32[8] e, u32[8] f) -> u32[8]:
 	u32[8] res = sha256([[...a, ...b], [...c, ...d], [...e, ...f]])
-	return res
\ No newline at end of file
+	return res
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bit.zok
index 9cead0af..08332ba4 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bit.zok
@@ -5,4 +5,4 @@ import "./sha256" as sha256
 // Note: no padding is applied
 
 def main(u32[8] a, u32[8] b) -> u32[8]:
-    return sha256([[...a, ...b]])
\ No newline at end of file
+    return sha256([[...a, ...b]])
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bitPacked.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bitPacked.zok
index 55d5ae8f..94dae2f4 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bitPacked.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bitPacked.zok
@@ -17,4 +17,4 @@ def main(field[4] preimage) -> field[2]:
 
     u32[8] r = sha256(lhs, rhs)
 
-    return [pack128(r[0..4]), pack128(r[4..8])]
\ No newline at end of file
+    return [pack128(r[0..4]), pack128(r[4..8])]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bitPadded.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bitPadded.zok
index 6e00c191..90e23774 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bitPadded.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/512bitPadded.zok
@@ -29,4 +29,4 @@ def main(u32[8] a, u32[8] b) -> u32[8]:
         0x00000200
     ]
 
-	return sha256(a, b, dummyblock1, dummyblock2)
\ No newline at end of file
+	return sha256(a, b, dummyblock1, dummyblock2)
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/1024bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/1024bit.zok
index b332c9c2..64a55323 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/1024bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/1024bit.zok
@@ -10,4 +10,4 @@ def main(bool[256] a, bool[256] b, bool[256] c, bool[256] d) -> (bool[256]):
     bool[256] digest1 = sha256(a, b, IV)
     bool[256] digest2 = sha256(c, d, digest1)
 
-    return digest2
\ No newline at end of file
+    return digest2
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/1024bitPadded.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/1024bitPadded.zok
index 20f54590..9a05ef74 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/1024bitPadded.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/1024bitPadded.zok
@@ -13,4 +13,4 @@ def main(bool[256] a, bool[256] b, bool[256] c, bool[256] d) -> (bool[256]):
     bool[256] dummyblock2 = [...[false; 245], true, ...[false; 10]]
 
     bool[256] digest = sha256(a, b, c, d, dummyblock1, dummyblock2)
-    return digest
\ No newline at end of file
+    return digest
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/1536bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/1536bit.zok
index c7ce4a9c..40c3a007 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/1536bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/1536bit.zok
@@ -11,4 +11,4 @@ def main(bool[256] a, bool[256] b, bool[256] c, bool[256] d, bool[256] e, bool[2
     bool[256] digest2 = sha256(c, d, digest1)
     bool[256] digest3 = sha256(e, f, digest2)
 
-    return digest3
\ No newline at end of file
+    return digest3
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/256bitPadded.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/256bitPadded.zok
index 383009e9..55d0e918 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/256bitPadded.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/256bitPadded.zok
@@ -10,4 +10,4 @@ def main(bool[256] a) -> (bool[256]):
     bool[256] dummyblock1 = [true, ...[false; 246], true, ...[false; 8]]
 
     bool[256] digest = sha256(a, dummyblock1)
-    return digest
\ No newline at end of file
+    return digest
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/512bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/512bit.zok
index 75680ca8..32976f37 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/512bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/512bit.zok
@@ -7,4 +7,4 @@ import "./shaRoundNoBoolCheck" as sha256
 def main(bool[256] a, bool[256] b) -> (bool[256]):
     bool[256] IV = IVconstants()
     bool[256] digest = sha256(a, b, IV)
-    return digest
\ No newline at end of file
+    return digest
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/512bitPacked.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/512bitPacked.zok
index d518d3d5..b5846e87 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/512bitPacked.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/512bitPacked.zok
@@ -20,4 +20,4 @@ def main(field[4] preimage) -> (field[2]):
     field res0 = pack128(r[..128])
     field res1 = pack128(r[128..])
 
-    return [res0, res1]
\ No newline at end of file
+    return [res0, res1]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/512bitPadded.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/512bitPadded.zok
index b594e691..3d17a186 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/512bitPadded.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/512bitPadded.zok
@@ -13,4 +13,4 @@ def main(bool[256] a, bool[256] b) -> (bool[256]):
     bool[256] dummyblock2 = [...[false; 246], true, ...[false; 9]]
 
     bool[256] digest = sha256(a, b, dummyblock1, dummyblock2)
-    return digest
\ No newline at end of file
+    return digest
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/IVconstants.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/IVconstants.zok
index 56554cff..4162b229 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/IVconstants.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/IVconstants.zok
@@ -12,4 +12,4 @@ def main() -> (bool[256]):
 
     bool[256] IV = [...h0, ...h1, ...h2, ...h3, ...h4, ...h5, ...h6, ...h7]
 
-    return IV
\ No newline at end of file
+    return IV
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/shaRoundNoBoolCheck.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/shaRoundNoBoolCheck.zok
index 7e16650b..c1afb167 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/shaRoundNoBoolCheck.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha256/embed/shaRoundNoBoolCheck.zok
@@ -5,4 +5,4 @@ from "EMBED" import sha256round
 // the return value is checked to be 0 or 1
 // IV vector is checked to be of type bool
 def main(bool[256] a, bool[256] b, bool[256] IV) -> (bool[256]):
-	return sha256round([...a, ...b], IV)
\ No newline at end of file
+	return sha256round([...a, ...b], IV)
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/256bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/256bit.zok
index 99d213fa..afd9b34b 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/256bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/256bit.zok
@@ -1,4 +1,4 @@
 import "hashes/keccak/keccak" as keccak
 
 def main<N>(u64[N] input) -> (u64[4]):
-    return keccak::<N, 256>(input, 0x0000000000000006)[..4]
\ No newline at end of file
+    return keccak::<N, 256>(input, 0x0000000000000006)[..4]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/384bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/384bit.zok
index 1b6dfeff..0d4e5ad7 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/384bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/384bit.zok
@@ -1,4 +1,4 @@
 import "hashes/keccak/keccak" as keccak
 
 def main<N>(u64[N] input) -> (u64[6]):
-    return keccak::<N, 384>(input, 0x0000000000000006)[..6]
\ No newline at end of file
+    return keccak::<N, 384>(input, 0x0000000000000006)[..6]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/512bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/512bit.zok
index 6c37836e..52494ee2 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/512bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/sha3/512bit.zok
@@ -1,4 +1,4 @@
 import "hashes/keccak/keccak" as keccak
 
 def main<N>(u64[N] input) -> (u64[8]):
-    return keccak::<N, 512>(input, 0x0000000000000006)[..8]
\ No newline at end of file
+    return keccak::<N, 512>(input, 0x0000000000000006)[..8]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/utils/256bitsDirectionHelper.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/utils/256bitsDirectionHelper.zok
index 76d69f20..63165e04 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/utils/256bitsDirectionHelper.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/hashes/utils/256bitsDirectionHelper.zok
@@ -1,3 +1,3 @@
 // Concatenate two u32[8] arrays in an order defined by a boolean selector
 def main(bool selector, u32[8] lhs, u32[8] rhs) -> u32[16]:
-	return if selector then [...rhs, ...lhs] else [...lhs, ...rhs] fi
\ No newline at end of file
+	return if selector then [...rhs, ...lhs] else [...lhs, ...rhs] fi
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/snark/gm17.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/snark/gm17.zok
index f839f3db..ce251e59 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/snark/gm17.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/snark/gm17.zok
@@ -49,4 +49,4 @@ def main<N, Q>(Proof<N> proof, VerificationKey<Q> vk) -> bool:
         ...flat::<Q, two_Q>(vk.query)
     ]
 
-    return verify(proof.inputs, flat_proof, flat_vk)
\ No newline at end of file
+    return verify(proof.inputs, flat_proof, flat_vk)
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/1024to256array.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/1024to256array.zok
index 1aa332e4..73f314ab 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/1024to256array.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/1024to256array.zok
@@ -1,2 +1,2 @@
 def main(bool[1024] input) -> (bool[256], bool[256], bool[256], bool[256]):
-  return input[0..256], input[256..512], input[512..768], input[768..1024]
\ No newline at end of file
+  return input[0..256], input[256..512], input[512..768], input[768..1024]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/bool_128_to_u32_4.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/bool_128_to_u32_4.zok
index 75481860..6fd6d982 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/bool_128_to_u32_4.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/bool_128_to_u32_4.zok
@@ -2,4 +2,4 @@ import "./bool_array_to_u32_array" as bool_to_u32
 
 def main(bool[128] bits) -> u32[4]:
 	u32[4] res = bool_to_u32(bits)
-	return res
\ No newline at end of file
+	return res
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/bool_256_to_u32_8.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/bool_256_to_u32_8.zok
index 6bf0cef9..fafcf2f7 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/bool_256_to_u32_8.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/bool_256_to_u32_8.zok
@@ -2,4 +2,4 @@ import "./bool_array_to_u32_array" as bool_to_u32
 
 def main(bool[256] bits) -> u32[8]:
 	u32[8] res = bool_to_u32(bits)
-	return res
\ No newline at end of file
+	return res
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/bool_array_to_u32_array.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/bool_array_to_u32_array.zok
index 50983a90..dae1c19d 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/bool_array_to_u32_array.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/bool_array_to_u32_array.zok
@@ -12,4 +12,4 @@ def main<N, P>(bool[N] bits) -> u32[P]:
 		res[i] = u32_from_bits(bits[32 * i..32 * (i + 1)])
 	endfor
 
-	return res
\ No newline at end of file
+	return res
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u16.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u16.zok
index 9f39cbc1..d8c09a96 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u16.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u16.zok
@@ -2,4 +2,4 @@ from "EMBED" import unpack, u16_from_bits
 
 def main(field i) -> u16:
     bool[16] bits = unpack(i)
-    return u16_from_bits(bits)
\ No newline at end of file
+    return u16_from_bits(bits)
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u32.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u32.zok
index cf14aa90..2edd7dba 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u32.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u32.zok
@@ -2,4 +2,4 @@ from "EMBED" import unpack, u32_from_bits
 
 def main(field i) -> u32:
     bool[32] bits = unpack(i)
-    return u32_from_bits(bits)
\ No newline at end of file
+    return u32_from_bits(bits)
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u64.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u64.zok
index 8433dd63..bc17b64c 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u64.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u64.zok
@@ -2,4 +2,4 @@ from "EMBED" import unpack, u64_from_bits
 
 def main(field i) -> u64:
     bool[64] bits = unpack(i)
-    return u64_from_bits(bits)
\ No newline at end of file
+    return u64_from_bits(bits)
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u8.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u8.zok
index 3045e302..4b8457f7 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u8.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/field_to_u8.zok
@@ -2,4 +2,4 @@ from "EMBED" import unpack, u8_from_bits
 
 def main(field i) -> u8:
     bool[8] bits = unpack(i)
-    return u8_from_bits(bits)
\ No newline at end of file
+    return u8_from_bits(bits)
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/u16_to_bits.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/u16_to_bits.zok
index 33a86e63..eba0b67c 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/u16_to_bits.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/u16_to_bits.zok
@@ -1,4 +1,4 @@
 from "EMBED" import u16_to_bits
 
 def main(u16 a) -> bool[16]:
-    return u16_to_bits(a)
\ No newline at end of file
+    return u16_to_bits(a)
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/u32_to_bits.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/u32_to_bits.zok
index 6087717f..81c2d488 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/u32_to_bits.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/u32_to_bits.zok
@@ -1,4 +1,4 @@
 from "EMBED" import u32_to_bits
 
 def main(u32 a) -> bool[32]:
-    return u32_to_bits(a)
\ No newline at end of file
+    return u32_to_bits(a)
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/u64_to_bits.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/u64_to_bits.zok
index 95cca409..aefe215c 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/u64_to_bits.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/casts/u64_to_bits.zok
@@ -1,4 +1,4 @@
 from "EMBED" import u64_to_bits
 
 def main(u64 a) -> bool[64]:
-    return u64_to_bits(a)
\ No newline at end of file
+    return u64_to_bits(a)
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/multiplexer/lookup1bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/multiplexer/lookup1bit.zok
index 1deabf1c..0d1b3035 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/multiplexer/lookup1bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/multiplexer/lookup1bit.zok
@@ -3,4 +3,4 @@ def main(bool selector, field[2] target) -> field:
 
 	field out = if selector then target[1] else target[0] fi
 
-	return out
\ No newline at end of file
+	return out
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/multiplexer/lookup2bit.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/multiplexer/lookup2bit.zok
index b3e28461..f8f4bcb3 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/multiplexer/lookup2bit.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/multiplexer/lookup2bit.zok
@@ -5,4 +5,4 @@ def main(bool[2] b, field[4] c) -> field:
 	field alpha = c[1] - c[0] + if b[1] then (c[3] - c[2] - c[1] + c[0]) else 0 fi
 	field out = if b[0] then alpha else 0 fi + c[0] - (if b[1] then (0 - c[2] + c[0]) else 0 fi)
 
-	return out
\ No newline at end of file
+	return out
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/multiplexer/lookup3bitSigned.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/multiplexer/lookup3bitSigned.zok
index 19267ac6..f0ec0530 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/multiplexer/lookup3bitSigned.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/multiplexer/lookup3bitSigned.zok
@@ -7,4 +7,4 @@ def main(bool[3] b, field[4] c) -> field:
 	field alpha = lookup([b[0], b[1]], c)
 	field out = alpha - 2 * if b[2] then alpha else 0 fi
 	
-	return out
\ No newline at end of file
+	return out
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/nonStrictUnpack256.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/nonStrictUnpack256.zok
index e31dece4..5e4fa1f3 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/nonStrictUnpack256.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/nonStrictUnpack256.zok
@@ -9,4 +9,4 @@ def main(field i) -> bool[256]:
 
     bool[254] b = unpack_unchecked::<254>(i)
 
-    return [false, false, ...b]
\ No newline at end of file
+    return [false, false, ...b]
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/pack128.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/pack128.zok
index 63962151..77d942f3 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/pack128.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/pack128.zok
@@ -4,4 +4,4 @@ import "./pack" as pack
 
 // pack 128 big-endian bits into one field element
 def main(bool[128] bits) -> field:
-	return pack(bits)
\ No newline at end of file
+	return pack(bits)
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack.zok
index 8f30099d..58993258 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack.zok
@@ -9,4 +9,4 @@ def main<N>(field i) -> bool[N]:
 
     assert(if N >= FIELD_SIZE_IN_BITS then bit_array_le(res, [...[false; N - FIELD_SIZE_IN_BITS], ...unpack_unchecked::<FIELD_SIZE_IN_BITS>(-1)]) else true fi)
 
-    return res
\ No newline at end of file
+    return res
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack128.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack128.zok
index 8f0b1203..3c473613 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack128.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack128.zok
@@ -4,4 +4,4 @@ import "./unpack" as unpack
 // If the input is larger than `2**128 - 1`, the output is truncated.
 def main(field i) -> bool[128]:
 	bool[128] res = unpack::<128>(i)
-	return res
\ No newline at end of file
+	return res
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack256.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack256.zok
index 4c3e3e56..6b1af925 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack256.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack256.zok
@@ -4,4 +4,4 @@ import "./unpack" as unpack
 // If the input is larger than `2**256 - 1`, the output is truncated.
 def main(field i) -> bool[256]:
 	bool[256] res = unpack::<256>(i)
-	return res
\ No newline at end of file
+	return res
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack_unchecked.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack_unchecked.zok
index d6b15e29..ebf7255e 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack_unchecked.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/bool/unpack_unchecked.zok
@@ -6,4 +6,4 @@ def main<N>(field i) -> bool[N]:
 
     bool[N] res = unpack(i)
 
-    return res
\ No newline at end of file
+    return res
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/u32/nonStrictUnpack256.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/u32/nonStrictUnpack256.zok
index d1bca832..150cc5b0 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/u32/nonStrictUnpack256.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/u32/nonStrictUnpack256.zok
@@ -8,4 +8,4 @@ import "../../casts/bool_256_to_u32_8" as from_bits
 // For example, `0` can map to `[0, 0, ..., 0]` or to `bits(p)`
 def main(field i) -> u32[8]:
 
-	return from_bits(unpack(i))
\ No newline at end of file
+	return from_bits(unpack(i))
diff --git a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/u32/unpack128.zok b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/u32/unpack128.zok
index 24eeb83a..16378a92 100644
--- a/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/u32/unpack128.zok
+++ b/circ_blocks/third_party/ZoKrates/zokrates_stdlib/stdlib/utils/pack/u32/unpack128.zok
@@ -6,4 +6,4 @@ import "../../casts/bool_128_to_u32_4" as from_bits
 // Unpack a field element as 128 big-endian bits
 // Precondition: the input is smaller or equal to `2**128 - 1`
 def main(field i) -> u32[4]:
-	return from_bits(unpack(i))
\ No newline at end of file
+	return from_bits(unpack(i))
diff --git a/circ_blocks/writeups/block_merge_split.md b/circ_blocks/writeups/block_merge_split.md
index 7be2889c..5aa25fec 100644
--- a/circ_blocks/writeups/block_merge_split.md
+++ b/circ_blocks/writeups/block_merge_split.md
@@ -77,4 +77,4 @@ Repeat the below process until no more merge is performed:
 ## Other Notes
 During the implementation of block merge, we made the following modifications:
 1. Every loop now has an explicit head and tail, both set to be empty. These will be eliminated later.
-2. Since conditional statements imply scoping, we can no longer set every definition to be typed definition. A pass at the end of all analysis reverts all _fake_ typed definition back to assignee.
\ No newline at end of file
+2. Since conditional statements imply scoping, we can no longer set every definition to be typed definition. A pass at the end of all analysis reverts all _fake_ typed definition back to assignee.
diff --git a/circ_blocks/writeups/bound_num_proofs.md b/circ_blocks/writeups/bound_num_proofs.md
index 5ba007ed..da07bd27 100644
--- a/circ_blocks/writeups/bound_num_proofs.md
+++ b/circ_blocks/writeups/bound_num_proofs.md
@@ -51,4 +51,4 @@ To take function calls into consideration, we revise the above approach:
 * Finally, obtain total number of proofs through the entry block.
 
 ## Note:
-This still does not give us a 100% tight upperbound. The reason is that in a loop, a branch might never be taken by all iterations (e.g. condition on parity of the iteration counter).
\ No newline at end of file
+This still does not give us a 100% tight upperbound. The reason is that in a loop, a branch might never be taken by all iterations (e.g. condition on parity of the iteration counter).
diff --git a/circ_blocks/writeups/feb_23_talk_note.md b/circ_blocks/writeups/feb_23_talk_note.md
index be4cb541..4f80ac33 100644
--- a/circ_blocks/writeups/feb_23_talk_note.md
+++ b/circ_blocks/writeups/feb_23_talk_note.md
@@ -276,4 +276,4 @@ For each row
 ROOT = tau - %iBN - r * %i0 - r^2 * %i1 - r^3 * %i2 - ...
 ```
 
-#### Memory
\ No newline at end of file
+#### Memory
diff --git a/circ_blocks/writeups/memory_construct.md b/circ_blocks/writeups/memory_construct.md
index b6572ae4..d0561c27 100644
--- a/circ_blocks/writeups/memory_construct.md
+++ b/circ_blocks/writeups/memory_construct.md
@@ -105,4 +105,4 @@ Q0: The prover can just claim every phy is 0. Although this is easily fixable
 Q1: What is preventing the prover from invalidating the wrong cell?
 3. If the STORE changes the value stored in that memory cell, then the prover has no choice but to allocate the new phy address to the new value
 4. If the STORE does not change the value stored in that memory cell, then:
-Q2: The prover can pass the STORE as a LOAD and claim some other LOAD is a STORE
\ No newline at end of file
+Q2: The prover can pass the STORE as a LOAD and claim some other LOAD is a STORE
diff --git a/circ_blocks/writeups/register_allocation.md b/circ_blocks/writeups/register_allocation.md
index 80c3f290..a8e5508c 100644
--- a/circ_blocks/writeups/register_allocation.md
+++ b/circ_blocks/writeups/register_allocation.md
@@ -107,4 +107,4 @@ With the above challenges in mind, we incorporate Static Analysis into our gener
     - GEN:
       - When a variable is declared and _alive by the end of the block_, if it is a location in `spills` and any variables it shadows is not in stack and alive by the end of the block, insert PUSH statement and add the variable to stack
       - When a function is called and if it is a location in `spills`, for every variable it shadows that is _alive by the end of the function call and not spilled_, insert PUSH statement and add the variable to stack
-    - KILL: Every time a scope is exited, pop the stack and restore the variables using POP statements accordingly.
\ No newline at end of file
+    - KILL: Every time a scope is exited, pop the stack and restore the variables using POP statements accordingly.
diff --git a/circ_blocks/writeups/sequence_breaker.md b/circ_blocks/writeups/sequence_breaker.md
index af410188..dee7dde1 100644
--- a/circ_blocks/writeups/sequence_breaker.md
+++ b/circ_blocks/writeups/sequence_breaker.md
@@ -56,4 +56,4 @@ We note that the original code needs to be expressed using at least 5 blocks (2
 Currently all sequence breaking analyses are performed by hand. It is unclear whether there exist any similar implementations (due to its peculiar application) or the extent of the automation process. Existing empirical evidence suggests up to ~75% reduction in prover and verifier time for complex programs.
 
 ## Other Potential Uses of the Analysis
-Sequence breaker analyses are particularly useful for block-based SNARK systems (as far as we know, CoBBl is the only one). It might be applicable to certain SAT / SMT solving problems, although it is unclear whether the analyses would achieve any substantial speedup. Apart from the above, such analysis seems only applicable to computers where registers and memory can time travel to the past.
\ No newline at end of file
+Sequence breaker analyses are particularly useful for block-based SNARK systems (as far as we know, CoBBl is the only one). It might be applicable to certain SAT / SMT solving problems, although it is unclear whether the analyses would achieve any substantial speedup. Apart from the above, such analysis seems only applicable to computers where registers and memory can time travel to the past.
diff --git a/circ_blocks/writeups/stack_simulation.md b/circ_blocks/writeups/stack_simulation.md
index 0f3b8487..066a9ca5 100644
--- a/circ_blocks/writeups/stack_simulation.md
+++ b/circ_blocks/writeups/stack_simulation.md
@@ -234,4 +234,4 @@ We can make the following observations:
 3. `var_assg` can only grow so we wouldn't lose any information on current stack frame.
 4. Every scope must have a `POP` at the end, even if the `POP` does nothing.
 5. The only part of the program where `%BP != %SP` is after an `INIT UPDATE` or `POP` and before the next `MAYBE INIT; PUSH`. Since RAM cannot be alterred without a `PUSH`, we can conclude that every time we write `var_assg.append(offset, "X")`, it must also be the case that `MEM[%BP + <offset>] = X`. If `%BP` is correct, then `POP` is correct.
-6. `%BP` can only be updated to 2 values: the beginning address of a new stack frame or the last value of itself, both syncing with grow and shrink of the stack. This means that `%BP` always points to the beginning of the current stack frame, and the address pointed by `%BP` is always the beginning of the last stack frame.
\ No newline at end of file
+6. `%BP` can only be updated to 2 values: the beginning address of a new stack frame or the last value of itself, both syncing with grow and shrink of the stack. This means that `%BP` always points to the beginning of the current stack frame, and the address pointed by `%BP` is always the beginning of the last stack frame.
diff --git a/documentations/circ_blocks.md b/documentations/circ_blocks.md
index 9026cade..e581e607 100644
--- a/documentations/circ_blocks.md
+++ b/documentations/circ_blocks.md
@@ -79,4 +79,4 @@ Instructions:
     field %o1(BN) = %w19 != 1600 <U32> ? 5 <Field> : 6 <Field>
 Transition:
     %w19 != 1600 <U32> ? -> 5 : -> 6  <-- transition marks the label of the next block
-```
\ No newline at end of file
+```
diff --git a/documentations/spartan_parallel.md b/documentations/spartan_parallel.md
index e49c00e1..2225f442 100644
--- a/documentations/spartan_parallel.md
+++ b/documentations/spartan_parallel.md
@@ -72,4 +72,4 @@ Note that we cannot directly evaluate $\tilde{A}(r_p, y)$, etc. as that results
 Finally, prover opens $\tilde{A}(r_i', r_x, r_y)$, $\tilde{B}(r_i', r_x, r_y)$, $\tilde{C}(r_i', r_x, r_y)$, and $\tilde{z}(r_i', r_j, r_y)$ through polynomial commitment.
 
 ## Batched Commitments
-Spartan currently uses Hyrax for polynomial commitment, which is easily data-parallelizable. `spartan_parallel` commits to each circuit separately (but in batch), and commits witnesses by the type of circuit (block) they are being applied to. This allows the size and number of execution of each block to be different, but at the cost of having commitment size linear to number of circuits (blocks). Thus it is of top priority to try to reduce the number of blocks emitted.
\ No newline at end of file
+Spartan currently uses Hyrax for polynomial commitment, which is easily data-parallelizable. `spartan_parallel` commits to each circuit separately (but in batch), and commits witnesses by the type of circuit (block) they are being applied to. This allows the size and number of execution of each block to be different, but at the cost of having commitment size linear to number of circuits (blocks). Thus it is of top priority to try to reduce the number of blocks emitted.
diff --git a/documentations/zok_format.md b/documentations/zok_format.md
index a7eaecf1..2fd0456e 100644
--- a/documentations/zok_format.md
+++ b/documentations/zok_format.md
@@ -31,4 +31,4 @@ The file terminates with a single line `END`, without linebreak.
 ## `.witness` Files
 Witness files list witnesses used by the Prover, separated by space or linebreak. Whenever P encounters a `witness` statement (regardless of alive or dead), it reads in the next value in the `.witness` file. This means that to generate the `.witness`, one should know the exact execution path P takes.
 
-The file terminates with a single line `END`, without linebreak.
\ No newline at end of file
+The file terminates with a single line `END`, without linebreak.
diff --git a/spartan_parallel/CONTRIBUTING.md b/spartan_parallel/CONTRIBUTING.md
index 981b4e14..3f0fdacb 100644
--- a/spartan_parallel/CONTRIBUTING.md
+++ b/spartan_parallel/CONTRIBUTING.md
@@ -9,4 +9,4 @@ instructions provided by the bot. You will only need to do this once across all
 
 This project has adopted the [Microsoft Open Source Code of Conduct](https://opensource.microsoft.com/codeofconduct/).
 For more information see the [Code of Conduct FAQ](https://opensource.microsoft.com/codeofconduct/faq/)
-or contact [opencode@microsoft.com](mailto:opencode@microsoft.com) with any additional questions or comments.
\ No newline at end of file
+or contact [opencode@microsoft.com](mailto:opencode@microsoft.com) with any additional questions or comments.
diff --git a/spartan_parallel/NOTICE.md b/spartan_parallel/NOTICE.md
index 5fa4a719..56a68d49 100644
--- a/spartan_parallel/NOTICE.md
+++ b/spartan_parallel/NOTICE.md
@@ -70,4 +70,4 @@ Specifically, from [src/bls12_381/scalar.rs](https://github.com/zkcrypto/bls12_3
 
    The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
 
-   THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
\ No newline at end of file
+   THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
diff --git a/spartan_parallel/src/commitment/commitment_scheme.rs b/spartan_parallel/src/commitment/commitment_scheme.rs
index 3edcae49..bb524f6a 100644
--- a/spartan_parallel/src/commitment/commitment_scheme.rs
+++ b/spartan_parallel/src/commitment/commitment_scheme.rs
@@ -112,4 +112,4 @@ pub trait CommitmentScheme: Clone + Sync + Send + 'static {
     ) -> Result<(), ProofVerifyError>;
 
     fn protocol_name() -> &'static [u8];
-}
\ No newline at end of file
+}
diff --git a/spartan_parallel/writeups/backend_overview/main.tex b/spartan_parallel/writeups/backend_overview/main.tex
index a4b18dd0..b1d83dc5 100644
--- a/spartan_parallel/writeups/backend_overview/main.tex
+++ b/spartan_parallel/writeups/backend_overview/main.tex
@@ -525,4 +525,4 @@ \section{Putting It All Together}\label{sec:summary}
 
 %--
 
-\end{document}
\ No newline at end of file
+\end{document}
diff --git a/spartan_parallel/writeups/eliminate_bounds.md b/spartan_parallel/writeups/eliminate_bounds.md
index 537b8aaa..f2d2ffc2 100644
--- a/spartan_parallel/writeups/eliminate_bounds.md
+++ b/spartan_parallel/writeups/eliminate_bounds.md
@@ -1,4 +1,4 @@
 # Eliminate the Number of Bounds on Proofs and Memory Accesses
 
 ## Motivation
-Data-parallelism is extremely useful and efficient, as it allows the prover and verifier to use one copy of the instance to verify the correctness of unbounded number of witnesses, reducing time for polynomial commitment and opening in the process. However,
\ No newline at end of file
+Data-parallelism is extremely useful and efficient, as it allows the prover and verifier to use one copy of the instance to verify the correctness of unbounded number of witnesses, reducing time for polynomial commitment and opening in the process. However,
diff --git a/spartan_parallel/writeups/proofs_folding.md b/spartan_parallel/writeups/proofs_folding.md
index 986c84d5..fc81354a 100644
--- a/spartan_parallel/writeups/proofs_folding.md
+++ b/spartan_parallel/writeups/proofs_folding.md
@@ -69,4 +69,4 @@ The only thing left is to add `i` and `o` to perm_root_w2 and assert:
 3. `o = v * (v + Zo)`
 
 So, with three additional constraints, we can use perm_root_w2 to express consis_w2:
-* **perm_root_w2**: `i, o, Zo, r * i1, r^2 * i2, ..., r^n * o0, r^(n + 1) * o1, ...`, where `n` is the size of the input
\ No newline at end of file
+* **perm_root_w2**: `i, o, Zo, r * i1, r^2 * i2, ..., r^n * o0, r^(n + 1) * o1, ...`, where `n` is the size of the input
diff --git a/spartan_parallel/writeups/proofs_overview.md b/spartan_parallel/writeups/proofs_overview.md
index fb25a999..87cd9951 100644
--- a/spartan_parallel/writeups/proofs_overview.md
+++ b/spartan_parallel/writeups/proofs_overview.md
@@ -4,4 +4,4 @@
 | CONSIS_CHECK | perm_exec_w3 | perm_exec_w3_shifted |
 | PHY_MEM_COHERE | addr_phy_mems | addr_phy_mems_shifted |
 | VIR_MEM_COHERE | addr_vir_mems | addr_vir_mems_shifted | addr_ts_bits |
-| PERM_ROOT | perm_w0 | perm_root_w2 | perm_root_w3 | perm_root_shifted_w3 |
\ No newline at end of file
+| PERM_ROOT | perm_w0 | perm_root_w2 | perm_root_w3 | perm_root_shifted_w3 |
diff --git a/spartan_parallel/writeups/runtime_comparison/2pc_if_return_cc.txt b/spartan_parallel/writeups/runtime_comparison/2pc_if_return_cc.txt
index d49cb663..3297e4cc 100644
--- a/spartan_parallel/writeups/runtime_comparison/2pc_if_return_cc.txt
+++ b/spartan_parallel/writeups/runtime_comparison/2pc_if_return_cc.txt
@@ -338,4 +338,4 @@ Verifying the proof...
     * IO Proofs
     * IO Proofs 5.583375ms
   * SNARK::verify 237.901458ms
-proof verification successful!
\ No newline at end of file
+proof verification successful!
diff --git a/spartan_parallel/writeups/runtime_comparison/binary_search_sqrt.txt b/spartan_parallel/writeups/runtime_comparison/binary_search_sqrt.txt
index c74dcab6..333ad9d5 100644
--- a/spartan_parallel/writeups/runtime_comparison/binary_search_sqrt.txt
+++ b/spartan_parallel/writeups/runtime_comparison/binary_search_sqrt.txt
@@ -483,4 +483,4 @@ Verifying the proof...
     * IO Proofs
     * IO Proofs 1.726958ms
   * SNARK::verify 67.889875ms
-proof verification successful!
\ No newline at end of file
+proof verification successful!
diff --git a/spartan_parallel/writeups/runtime_comparison/bit_reverse_number.txt b/spartan_parallel/writeups/runtime_comparison/bit_reverse_number.txt
index 75789ec0..02f55ccc 100644
--- a/spartan_parallel/writeups/runtime_comparison/bit_reverse_number.txt
+++ b/spartan_parallel/writeups/runtime_comparison/bit_reverse_number.txt
@@ -484,4 +484,4 @@ Verifying the proof...
     * IO Proofs
     * IO Proofs 1.665625ms
   * SNARK::verify 63.10925ms
-proof verification successful!
\ No newline at end of file
+proof verification successful!
diff --git a/spartan_parallel/writeups/runtime_comparison/elliptic_curve.txt b/spartan_parallel/writeups/runtime_comparison/elliptic_curve.txt
index 7cd51d45..e618dc17 100644
--- a/spartan_parallel/writeups/runtime_comparison/elliptic_curve.txt
+++ b/spartan_parallel/writeups/runtime_comparison/elliptic_curve.txt
@@ -337,4 +337,4 @@ Verifying the proof...
     * IO Proofs
     * IO Proofs 12.068875ms
   * SNARK::verify 295.666541ms
-proof verification successful!
\ No newline at end of file
+proof verification successful!
diff --git a/spartan_parallel/writeups/runtime_comparison/find_min.txt b/spartan_parallel/writeups/runtime_comparison/find_min.txt
index 8d85b00c..5a0213c9 100644
--- a/spartan_parallel/writeups/runtime_comparison/find_min.txt
+++ b/spartan_parallel/writeups/runtime_comparison/find_min.txt
@@ -557,4 +557,4 @@ Verifying the proof...
     * IO Proofs
     * IO Proofs 9.890333ms
   * SNARK::verify 318.965375ms
-proof verification successful!
\ No newline at end of file
+proof verification successful!
diff --git a/spartan_parallel/writeups/runtime_comparison/mat_mult.txt b/spartan_parallel/writeups/runtime_comparison/mat_mult.txt
index fe16e108..e72fb82e 100644
--- a/spartan_parallel/writeups/runtime_comparison/mat_mult.txt
+++ b/spartan_parallel/writeups/runtime_comparison/mat_mult.txt
@@ -628,4 +628,4 @@ Verifying the proof...
     * IO Proofs
     * IO Proofs 5.943ms
   * SNARK::verify 295.267959ms
-proof verification successful!
\ No newline at end of file
+proof verification successful!
diff --git a/spartan_parallel/writeups/runtime_comparison/sum_of_powers.txt b/spartan_parallel/writeups/runtime_comparison/sum_of_powers.txt
index bde231dc..c5b83537 100644
--- a/spartan_parallel/writeups/runtime_comparison/sum_of_powers.txt
+++ b/spartan_parallel/writeups/runtime_comparison/sum_of_powers.txt
@@ -483,4 +483,4 @@ Verifying the proof...
     * IO Proofs
     * IO Proofs 7.286666ms
   * SNARK::verify 219.396458ms
-proof verification successful!
\ No newline at end of file
+proof verification successful!
diff --git a/zok_tests/benchmarks/ceno_compact/mle.input b/zok_tests/benchmarks/ceno_compact/mle.input
index 10b1f121..6a541b8c 100644
--- a/zok_tests/benchmarks/ceno_compact/mle.input
+++ b/zok_tests/benchmarks/ceno_compact/mle.input
@@ -1,3 +1,3 @@
 mle_len 16
 point_len 4
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/ceno_compact/mle.zok b/zok_tests/benchmarks/ceno_compact/mle.zok
index 4c6f7281..2e3953fe 100644
--- a/zok_tests/benchmarks/ceno_compact/mle.zok
+++ b/zok_tests/benchmarks/ceno_compact/mle.zok
@@ -69,4 +69,4 @@ def main(u32 mle_len, u32 point_len) -> field:
         point[i] = (F)i
     endfor
 
-    return mle_eval(mle, mle_len, point, point_len)
\ No newline at end of file
+    return mle_eval(mle, mle_len, point, point_len)
diff --git a/zok_tests/benchmarks/ceno_compact/sumcheck_structs.zok b/zok_tests/benchmarks/ceno_compact/sumcheck_structs.zok
index bae60401..3352d249 100644
--- a/zok_tests/benchmarks/ceno_compact/sumcheck_structs.zok
+++ b/zok_tests/benchmarks/ceno_compact/sumcheck_structs.zok
@@ -24,4 +24,4 @@ struct SumcheckIOPVerifierState {
     bool finished
     field[0][0] polynomials_received
     field[0] challenges
-}
\ No newline at end of file
+}
diff --git a/zok_tests/benchmarks/ceno_compact/sumcheck_verifier.input b/zok_tests/benchmarks/ceno_compact/sumcheck_verifier.input
index 32e0a43e..dce2c1d5 100644
--- a/zok_tests/benchmarks/ceno_compact/sumcheck_verifier.input
+++ b/zok_tests/benchmarks/ceno_compact/sumcheck_verifier.input
@@ -1 +1 @@
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/ceno_compact/sumcheck_verifier.zok b/zok_tests/benchmarks/ceno_compact/sumcheck_verifier.zok
index 5d7dbff6..417fc5db 100644
--- a/zok_tests/benchmarks/ceno_compact/sumcheck_verifier.zok
+++ b/zok_tests/benchmarks/ceno_compact/sumcheck_verifier.zok
@@ -158,4 +158,4 @@ def main() -> field:
     msg_list[0] = 1
 
     SumCheckSubClaim sc = verify_sumcheck(claimed_sum, proof, aux_info, t_list, msg_list)
-    return sc.point[0] * 1000 + sc.expected_evaluation
\ No newline at end of file
+    return sc.point[0] * 1000 + sc.expected_evaluation
diff --git a/zok_tests/benchmarks/ceno_compact/tower_struct.zok b/zok_tests/benchmarks/ceno_compact/tower_struct.zok
index 5b37c113..e72446e8 100644
--- a/zok_tests/benchmarks/ceno_compact/tower_struct.zok
+++ b/zok_tests/benchmarks/ceno_compact/tower_struct.zok
@@ -21,4 +21,4 @@ struct TowerVerifierOutput {
 struct PointAndEval {
     field[0] point
     field eval
-}
\ No newline at end of file
+}
diff --git a/zok_tests/benchmarks/ceno_compact/tower_verifier.input b/zok_tests/benchmarks/ceno_compact/tower_verifier.input
index 32e0a43e..dce2c1d5 100644
--- a/zok_tests/benchmarks/ceno_compact/tower_verifier.input
+++ b/zok_tests/benchmarks/ceno_compact/tower_verifier.input
@@ -1 +1 @@
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/ceno_compact/tower_verifier.zok b/zok_tests/benchmarks/ceno_compact/tower_verifier.zok
index a457a4c0..6fd6beca 100644
--- a/zok_tests/benchmarks/ceno_compact/tower_verifier.zok
+++ b/zok_tests/benchmarks/ceno_compact/tower_verifier.zok
@@ -219,4 +219,4 @@ def main() -> u32:
     msg_list[0] = 1
     TowerVerifierOutput output = tower_verify(initial_prod_evals, initial_logup_evals, tower_proofs, expected_max_round, t_list, msg_list)
 
-    return 1
\ No newline at end of file
+    return 1
diff --git a/zok_tests/benchmarks/ceno_compact/transcript.zok b/zok_tests/benchmarks/ceno_compact/transcript.zok
index 5b4d8bb2..22512c44 100644
--- a/zok_tests/benchmarks/ceno_compact/transcript.zok
+++ b/zok_tests/benchmarks/ceno_compact/transcript.zok
@@ -24,4 +24,4 @@ def verify_transcript(Transcript[0] t, field[0] msg) -> u32:
         assert(t[i].hash == next_hash.hash)
     endfor
 
-    return 1
\ No newline at end of file
+    return 1
diff --git a/zok_tests/benchmarks/ceno_demo/ext_field.input b/zok_tests/benchmarks/ceno_demo/ext_field.input
index 9d184539..896f4a12 100644
--- a/zok_tests/benchmarks/ceno_demo/ext_field.input
+++ b/zok_tests/benchmarks/ceno_demo/ext_field.input
@@ -1,3 +1,3 @@
 b0 17951380343780503734
 b1 12432116038131798587
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/ceno_demo/ext_field.witness b/zok_tests/benchmarks/ceno_demo/ext_field.witness
index a201820c..b6bc677c 100644
--- a/zok_tests/benchmarks/ceno_demo/ext_field.witness
+++ b/zok_tests/benchmarks/ceno_demo/ext_field.witness
@@ -1,2 +1,2 @@
 15852242568724084373 1959590944534298310
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/ceno_demo/ext_field.zok b/zok_tests/benchmarks/ceno_demo/ext_field.zok
index 2c28dcac..9512460e 100644
--- a/zok_tests/benchmarks/ceno_demo/ext_field.zok
+++ b/zok_tests/benchmarks/ceno_demo/ext_field.zok
@@ -72,4 +72,4 @@ def main(field b0, field b1) -> bool:
         b1: b1
     }
     ExtField inv = ext_invert(e)
-    return true
\ No newline at end of file
+    return true
diff --git a/zok_tests/benchmarks/ceno_demo/mle.zok b/zok_tests/benchmarks/ceno_demo/mle.zok
index a8ed097e..15a70093 100644
--- a/zok_tests/benchmarks/ceno_demo/mle.zok
+++ b/zok_tests/benchmarks/ceno_demo/mle.zok
@@ -77,4 +77,4 @@ def main() -> field:
     assert(eval[0].b1 == 7843792121955799500)
     assert(eval[1].b0 == 11939726188552112554)
     assert(eval[1].b1 == 10602951947458784821)
-    return 1
\ No newline at end of file
+    return 1
diff --git a/zok_tests/benchmarks/ceno_demo/poseidon.input b/zok_tests/benchmarks/ceno_demo/poseidon.input
index 32e0a43e..dce2c1d5 100644
--- a/zok_tests/benchmarks/ceno_demo/poseidon.input
+++ b/zok_tests/benchmarks/ceno_demo/poseidon.input
@@ -1 +1 @@
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/ceno_demo/poseidon.zok b/zok_tests/benchmarks/ceno_demo/poseidon.zok
index 10671dba..6de55b7e 100644
--- a/zok_tests/benchmarks/ceno_demo/poseidon.zok
+++ b/zok_tests/benchmarks/ceno_demo/poseidon.zok
@@ -1638,4 +1638,4 @@ def main() -> field:
     field[12] inputs = [1, 2, 3, 4, 5, 6, 7, 8, 0, 0, 0, 0]
     field[12] hashes = poseidon(inputs)
 
-    return hashes[0]
\ No newline at end of file
+    return hashes[0]
diff --git a/zok_tests/benchmarks/ceno_demo/poseidon_constants.zok b/zok_tests/benchmarks/ceno_demo/poseidon_constants.zok
index ad925894..44d0035c 100644
--- a/zok_tests/benchmarks/ceno_demo/poseidon_constants.zok
+++ b/zok_tests/benchmarks/ceno_demo/poseidon_constants.zok
@@ -114,4 +114,4 @@ const field[22] FAST_PARTIAL_ROUND_CONSTANTS = [
     (F)0xaf8c20753143a180, (F)0xb8ccfe9989a39175, (F)0x954a1729f60cc9c5, (F)0xdeb5b550c4dca53b,
     (F)0xf01bb0b00f77011e, (F)0xa1ebb404b676afd9, (F)0x860b6e1597a0173e, (F)0x308bb65a036acbce,
     (F)0x1aca78f31c97c876, 0
-]
\ No newline at end of file
+]
diff --git a/zok_tests/benchmarks/ceno_demo/poseidon_old.zok b/zok_tests/benchmarks/ceno_demo/poseidon_old.zok
index 6d27169b..184cba92 100644
--- a/zok_tests/benchmarks/ceno_demo/poseidon_old.zok
+++ b/zok_tests/benchmarks/ceno_demo/poseidon_old.zok
@@ -59,4 +59,4 @@ def main() -> field:
     field[12] inputs = [1, 2, 3, 4, 5, 6, 7, 8, 0, 0, 0, 0]
     field[12] hashes = poseidon(inputs)
 
-    return hashes[0]
\ No newline at end of file
+    return hashes[0]
diff --git a/zok_tests/benchmarks/ceno_demo/poseidon_permutation.zok b/zok_tests/benchmarks/ceno_demo/poseidon_permutation.zok
index 93a96849..e156fbc4 100644
--- a/zok_tests/benchmarks/ceno_demo/poseidon_permutation.zok
+++ b/zok_tests/benchmarks/ceno_demo/poseidon_permutation.zok
@@ -37,4 +37,4 @@ def inline permute(PoseidonPermutation self) -> PoseidonPermutation:
 /// Return a slice of `RATE` elements
 def inline squeeze(PoseidonPermutation self) -> field[8]:
     // Same pointer, no actual squeezing
-    return self.state
\ No newline at end of file
+    return self.state
diff --git a/zok_tests/benchmarks/ceno_demo/sumcheck_structs.zok b/zok_tests/benchmarks/ceno_demo/sumcheck_structs.zok
index bd57fe1d..84e59552 100644
--- a/zok_tests/benchmarks/ceno_demo/sumcheck_structs.zok
+++ b/zok_tests/benchmarks/ceno_demo/sumcheck_structs.zok
@@ -37,4 +37,4 @@ struct SumcheckIOPVerifierStateAndTranscript {
 struct SumCheckSubClaimAndTranscript {
     SumCheckSubClaim sc
     Transcript t
-}
\ No newline at end of file
+}
diff --git a/zok_tests/benchmarks/ceno_demo/sumcheck_verifier.witness b/zok_tests/benchmarks/ceno_demo/sumcheck_verifier.witness
index 52792b04..bc68a95d 100644
--- a/zok_tests/benchmarks/ceno_demo/sumcheck_verifier.witness
+++ b/zok_tests/benchmarks/ceno_demo/sumcheck_verifier.witness
@@ -28,4 +28,4 @@
 1721607568878249232 7213717789312171476
 7488845419140630853 11336966429862348531
 2208786361931418302 10197366145722811199
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/ceno_demo/sumcheck_verifier.zok b/zok_tests/benchmarks/ceno_demo/sumcheck_verifier.zok
index d2625284..9a96b45b 100644
--- a/zok_tests/benchmarks/ceno_demo/sumcheck_verifier.zok
+++ b/zok_tests/benchmarks/ceno_demo/sumcheck_verifier.zok
@@ -236,4 +236,4 @@ def test_sumcheck() -> field:
 
 def main() -> field:
     // return test_interpolate()
-    return test_sumcheck()
\ No newline at end of file
+    return test_sumcheck()
diff --git a/zok_tests/benchmarks/ceno_demo/tower_struct.zok b/zok_tests/benchmarks/ceno_demo/tower_struct.zok
index 8ba51cfa..8c8957a7 100644
--- a/zok_tests/benchmarks/ceno_demo/tower_struct.zok
+++ b/zok_tests/benchmarks/ceno_demo/tower_struct.zok
@@ -21,4 +21,4 @@ struct TowerVerifierOutput {
 struct PointAndEval {
     ExtField[0] point
     ExtField eval
-}
\ No newline at end of file
+}
diff --git a/zok_tests/benchmarks/ceno_demo/tower_verifier.input b/zok_tests/benchmarks/ceno_demo/tower_verifier.input
index f91c8570..24623abb 100644
--- a/zok_tests/benchmarks/ceno_demo/tower_verifier.input
+++ b/zok_tests/benchmarks/ceno_demo/tower_verifier.input
@@ -3,4 +3,4 @@ logup_spec_size: 1
 expected_rounds: [ 16 ]
 evals_contents: [ 0 0 0 0 3233280550650859507 4205061353145735733 9900418575311992353 18320927160582716102 5816474943946729911 99005136956044876 1847584711637191486 9605157022528892655 17203950777429209973 4406189282505172534 15366850374534085284 14488222816426058995 6684456227041687581 8889675121857730563 9737475308255490994 9356498953985445591 3616351184926916896 3817639900248647411 1929453399118341727 9987639939759960864 3088612868567884836 10237880966142575828 5240192057169712296 13740565680606175549 3939788823292696828 11056110602045634326 6969305268850088554 2671765554539278296 3548870453705149186 3044005350620265894 3821312966141096980 14492625764323252803 17417577340089411209 11369090551383434067 12246286973435924836 11036808920970477047 7490161372259181166 5816921783477788346 15297154590438427459 17433759142045184884 13252970475385717165 12782319043837795843 2498365316588582968 10957478244161400479 1712397603579571532 13158939947962262023 15758764081204930155 17161455157474994928 3816392564813273652 11331431261399055516 970971770624551349 3804512527348266306 1482072487279447285 9312630503294195332 8451221093902699364 16664076021624719328 1770902876222492812 3867582437185903048 4796488139165739126 13013417289280381128 8106714740590922375 11708865458134438225 9652935943826972216 3819167722646968026 12061940259199642663 9947709126894754987 12895331014122535410 3501121196135823092 13694011403217139795 2799047731721560169 17824105953108474876 10442485868205397384 17841850962012147976 10484430839064378498 17444064886687558997 11476091154711899634 1546715568192780656 16083732245913580237 13809947346674922715 2966649246796599123 9445764158036289809 8223598601581162371 11147100658900635436 6497954960320103101 8507871457062458086 15439900889289022969 13436748068287868392 16645621131406346664 3742621254745349285 4894306158409637702 14352913155499087681 11218769342525206329 15830870436878323178 3269148761058139146 2996456528565391798 3225090062947123050 7161632912809527028 4778840714558191064 5099982359172848286 17830229089958979300 12285840114539163398 1720327990504418422 15462381050398773583 8582866118652820046 14416129796834072007 13123184643709769286 2086964684829622821 14588273603837644199 9607143107654220717 11838087088306695750 15130912826025522464 15488987927080104658 17292072987006695105 13972170664695404540 12080958883798253045 15423982337638874768 1135736369852806817 16447846294673847031 9792992653487565498 4172978912871093566 11822909853317981138 15005325516680329369 9195264161901411276 2974523917805675782 3887209885919559221 6076598987488672060 3210315203929194416 14589948471668332360 16397282577195682744 16349950559332563869 642302848137313587 10831694596968564070 10973369477581819246 13741863296069449715 6033419552726789091 10661184489664042055 17119104402455652285 3815811386224461271 8417804310488138569 15668453296930584230 98508562521844411 11803505304520225881 925878754527010002 8185527689604741844 14517495048676459277 4271972736393353624 488365911585285152 9600373879796138033 5716029166030603489 14617374697630159964 18418500724055824208 12810277401996117893 10094766977955279601 3931093288871485248 11530268116554679324 15388629859601945920 15100388535686014691 16825187277728435640 5032739529806763465 9025005404941883405 7699537668815568808 15489896343574159519 16165256008188166161 7250250524233161415 13326857929390090418 8022570293354361870 14938889223020481216 7754618503904003341 5198183146151630114 7704284423951461144 14517932479462737304 10284959082335532683 8882486879864576541 14611403929067889794 8704055640499342886 5145151691380063450 10939588097907343413 11624793724391714138 6151579654819349438 11849078020079305666 1505428386664926521 50133414748071713 16129796401168279986 2230693769818618773 12764143626285508420 2503198112153419331 2981423202806284454 10435083918337384126 17033019611735274952 11225281489902088246 274020975520350205 17204464132429904120 1848987303292801060 1547554461858435361 10479959521598116673 2479261950507371772 18419066865091596409 13551406807226845341 11414745366536390857 3058216748593867720 16288082245491155429 221735868370595037 5904842618475339054 10241156237877041115 5526455376267639671 18023784018274447740 17496860702468342192 13423569688382648148 4854605755062261210 13935228946691570744 3892420515158195545 6677716408562919762 6595516424667142424 10037519074469115977 5980332549425768365 14197384823956583083 15196838386428926343 12566913813618622876 2768783006547294027 1311907208150918773 8250474788517870286 3392181854047320500 14635485981011869338 17575824051801549294 1411505434339086334 6038203780182537553 7014130705909410265 17167767514595603162 16354238597175982205 2466449612119516515 8689844312208548212 2691526613815611272 5464427215972540099 4928581137596002422 5949307509002379187 995175082742838005 4338360031687746411 8076955714977803208 1808415293400802934 7271563789207786649 9636520077497563302 16709982265885069960 4380780401520642648 16408870784441330253 13881042022388799074 2354032760298259763 12247528449534307146 17858880825906561497 11974493179552693723 4477545886695016216 3045168771448790560 17023466160906759071 7806400509355981651 7986631898296469641 12354604830962196458 11925364965534005149 18276784372744582543 4192101201491764443 9701914583031517134 4867113575235172308 16420523743483598451 10279375864562789533 4247891598108558263 2169073110759850730 3782650267335694024 8141694638688997807 6280355653224476467 8604341759848836906 2856190546236114599 2504463034481185232 15299316716458392601 17013954065152852622 2458879244030139200 5312810434537887579 434995685750623575 15882047036248631186 1962405818557586131 3311973972574394034 17781493809630763748 14042464921618864005 1850958920362334256 7257249487510332925 6108700871169818295 2509242827881150830 17561837508494279942 3505826601753814737 1187673292048038501 960806195088622895 6582387055979480260 17037819178362063848 5109296985935284917 9064235516220627378 10297849410366190933 5985697147782323691 12032022113396917543 7503453120783189107 8973652092680044542 12821962178708862369 2482950657958503274 12863737718148715411 11416261082853845130 8580259652110229402 738593510806771479 15175526772772748575 14525371139050213328 4805287610588472692 9427806514057890964 18339905094743650679 9824060314900000792 204930633518197129 18173998970542212344 9437648040523137078 15424290745875475423 6342921319547932592 4059769740846305175 7214330968147653687 3995020163873050551 3314854523140527030 13329964582909825162 4737388227364079701 8012865379908314365 12355309548635327798 9083485173619783470 14964598699575273061 1814674718434772178 13115062367836318761 9924524542711645591 2990020612168272866 13851077818741638413 10939971268797652010 10013613963887405262 16864287190870728306 14182845114978516468 17232051952714803215 2882866250788611611 6662569213005386045 683375824171319517 14855481529836656699 9723139091561719409 14222118078658807508 10091195554525974130 9167347793142158462 5334449031714623224 8553315432707207366 13643338548066537758 10985759692064731890 12473272780934096714 17571750398104939661 7730128899187574330 199418204813732269 6062621076534340400 5530018627991323105 2569994542759242351 4788736713490444322 16961571377158469961 11704620565356140925 5581658753222075636 12014831141191865466 4623996054572037518 18180171690046739595 8265597163832566749 9494989815563301661 1253001742468032445 17140137908878792646 12487118679062762509 2395682362709574592 1548972820962602255 3835427197555764165 4435061456218054476 9480655430013668255 7114294729916836396 6815292129278517568 1909860781705760911 15713860439052695976 14460548126519929659 6276726494354897864 7561856630209669971 1242481324107863435 7105072169680605149 8320854303447428530 8256310223365314837 8129049861483282652 18400128687119975450 12747609062804047180 10357346221323928802 15211404884517144593 11301079851975046185 16440276623144896753 6445361700894967242 5322990686798630664 15157591817945814424 5024615189360517049 16136921109760180899 11016603755919140436 16258974350496187415 653249200603961412 3689096740738755321 11814513890587050173 13411266345975385198 1191944669584088399 10951220816401506886 15342453693674787423 16580251877865869418 13807121790270016083 2171833826382215164 12712774976942236227 12016240448989752054 12987843450988593061 9562444997937310855 15257861856929814201 15530631647132573227 3091864920116516152 15031794270092839664 9765044789153916516 18441511268067399692 533069083349634904 14101621710871477847 294523421550433992 10175216924053607029 3880168613481990972 1796501406765089510 18054767679423525697 192017568344771166 894954895053170680 1208999266911851378 7294221291019765340 9866352080543248915 16596780619899804198 13427368034962549497 10015198093903605497 12973306733587451658 16768241745679565521 2664268288010415105 17430293712483764447 10492293808456757933 8882984968787139606 17140331139596054492 17604671418090703285 4091318097475512834 1701745196464202242 4614643166430056364 4400301908139203371 3738663376178848660 17963435947995437223 13124473373124986583 16182613996667524749 16746564710339074254 4437959039916886661 1145181307392685234 4825999127918652584 13054693334554864543 1882617863640829831 16087646909196466784 12745933133675698131 14145506454829462173 7107495835091221884 17780644160999985923 9820531353956930816 12952781306822307811 1688318994896329398 12604242307239125806 10474327670706348630 15641523430340479162 14120814823688780390 3192977892002269103 5054426671789545225 8831978082446945260 5438801646913819201 10850166177984092402 15693147959551758236 4329521878199153354 7603683088576534248 4274813349534045199 12583960429032077105 15730586776579951581 10600670843872372899 14399985368368904378 4638216465085519851 573809264012696946 8384223458798852039 11041953688384077713 4065169645488762106 16340547394604792585 6646880488457837527 10500119664822221608 16507263033752556329 13552394561273953026 6077873756405249888 10588065335821903835 16534992020763955529 6188325257987626624 4342670580261686440 2985966883513534539 14390365126358040844 4924241768039256428 14912247645619338346 11749187665866797709 597913727205610485 4705626516105170091 12141265580989358911 5783467002083439768 9257131559394367962 15824750897986641963 8758183286060526595 12323295324990072507 3723040530513070262 5277765867156551001 10297668309945024643 7586115825111706531 2269556876207548180 17967147998958349562 1496931113682225365 5728814013725516949 16923435657510732416 3689924175449982677 12024505716194029887 14589447585611165335 18123752678578766301 3531937316308747841 611063752265420091 12426262508808939589 12802890134967511861 7824947624145683387 7027846837597855893 9945217004150926693 16834100317740041100 3506546910843527729 14230979309521101403 13899117429128526858 2040273770031344992 5910067327055209123 890794621117219595 5802322208451527969 17121625402862715243 5993269639022296469 16430899617133378018 15571374380079724171 9246979179813858340 14364550340647609404 6265491552564516302 10192688068633683699 7540442729674389070 10489542818799863875 558281666070479237 1708892311511373026 2229857559255154888 7551422038267735731 6835191884813285686 16722774986548407969 3064271776531820841 12287793251930318682 18310392745256390947 14959693560601320995 10348182655811253182 16919283022259006616 8818035013785439898 12599026513876792910 1717236862121275298 14596763133302067251 18300639497022465030 4934037341981688080 8684303410749359946 6617047730809733621 3098131733900323713 8453137268430026489 18321133790264304575 17694972308809797419 480231880568311665 5224416109194507502 8069305846808359545 5186229314447369279 13373897896290723584 7617321444852834521 97813974328516919 6742056534152963305 8344015467070926430 4082437359943264634 12155627230368616476 3681763050005975813 3481862942102224547 7484651315497501182 18305748002656107397 5160041502875360462 1137496101332156033 3949451669518525085 15009403673647440126 3240665555973918761 6175136870505745281 10590508894657054187 8628460144039831318 5304378773921543972 14069327998288496274 8263338198025022027 16439386547141057691 2384065621004708573 9626086460677317951 8934671673540842740 3995004274442263306 2893488132427144342 18336112342858125003 7810616397139556492 7565694442153006778 13219337731931729648 10005764615324981340 18067237343603734496 10369367591548675193 10607063938168410673 7071852012000967806 9912158366814364205 16160287223216921752 7184860295758303541 418847823153117171 14998692914288493440 12974790858979608280 6562420585180600431 6777723246521703242 13869177796868289884 4027766581326039044 12312544462204741415 4372669527877793357 10776605792207494520 16494484223542614210 8388208720693146042 15670100478944074981 6167399349412600612 1951844692301715336 8336172900488208495 447979067563669241 3528795297860480514 2387957829822758801 268590074838121727 17817581423781265191 14358688701445802050 14075145023954432309 15227886432115742450 12304802008761455240 10206684571339076038 14989946312371908213 17516857194022430159 5080909716805505661 9847640954680864428 5708711293315937982 17310324742130041052 4948633140550541973 4875294746029294358 3310957537840657677 911507527133982132 14454745120134723841 8023258618472083406 793649808145653619 6014145519689457390 10774573640972852505 8594230762057912260 14540333586294068475 4829377868747894845 5764690378095198589 15183859848515884548 8439761022207627946 9609155832640630849 3841174927859198068 5769473875766178804 16737138060349036131 24104131042124933 11039954311687185836 12207790457157695829 11325848984828627277 11798867782292834073 18310136087415013696 3736166422569014348 2693121832367051423 15439285944708827810 5681147681092231143 5455321450797555031 12591881897285951116 2958084420991212487 15285617878688535324 3807675956677629512 11052787653765294968 1783354830608778626 15300834355886972572 18114503074758475238 15712417212838792289 4533175602949007071 10206069449191460510 12127281697775679013 14830351035424233745 7895600059317327460 3002367460317294305 18362839667150123345 3069977745027735777 1308606226085356439 7076811988963008598 10661617668992267541 5086722135018466662 9947644589816089775 6299640666964469123 14911242525455263703 11902864689675718350 2857366744331657256 15095317776887248315 4547856732088736574 13265858033300368169 13080366126304325804 5357826657852423050 16198313132204453366 11576799098291072322 7881312965456462707 1056509603018012926 16102586706711566801 1494456893203925407 12112273601658090547 18111444811714445321 5524301371840581518 1083916780663033220 1429966381642941298 14960381582021239124 3911735195621840101 18396609396826081547 4984118545673061426 18136710236067623377 679116721171009107 16109572435085780184 11834302122439930575 16648193210347019847 11742836213057761856 8214950646064077274 16955223343330694456 475300081531739018 11458132034728110337 647982094381771927 10167033616006664247 17404780441029367991 3774276756679816239 11478719319504468630 16365296235064710148 1170266137665519541 14149709719069911316 6100083393685595303 1750990378304522690 10666746951078184632 1304308566781941992 10020432726515678012 12697395681349020306 2093947285146524055 5492339285172499031 17756883023671624618 11689126458255407724 17411189373080992987 13657085928898908794 11769945115091397915 17666619407235391140 16909501769464112547 16368002050165211900 17239382676144175627 8920011775333887006 243077507794201610 9840884587857692359 17379529127194833643 13742637764392767729 6907232883100885196 8340958122067916156 17163682472410032214 9555487453433340009 342241945693803406 14451826382894188144 10129452043453556846 7404416500370724147 14851076701755316614 18156397664249394002 11822962132139697369 10105272223860977604 6912381567738807661 7808489396692911888 12919361122108367689 15758568477317545450 4976406240401864846 836451156434443403 7286975750334530067 16582315611389640478 4123866559232993391 14649832050236367561 4950639051482512105 1093028089720604684 1375438684240196133 13034728191076231051 4275712942612510984 15972643993475456219 7662381866885244113 15985472121006579338 6972751446230162082 12890281451381290572 9909166107293839354 9952890398486655115 7841894004329652966 11242684818214581797 6690988861789060245 13805571877302643370 6302224727640507763 13245797585724163462 11944692464347544218 907828054864771542 8555649914371238327 16747574505132414737 15498504837583824451 4326338606952035170 3640004334069930814 12176534485279096099 255046940092144242 1982936345833835475 8964879129534807931 4942232130775730241 13797356296922014842 8532733852583208429 7964659453991871902 2599607412251243535 8248433733348578104 1625724413037476053 4928309123351113889 12741154204201921081 8874627269981179845 17247675406625151848 16466829377537548702 1908247022335506755 17582319283186677705 14261320081310235404 5987719043453597468 11074502143888987252 7249371913156929299 14098795159872730698 14016660206832686836 1515795512027982723 3889885346797021800 9278345749695154087 1520680427004355690 4112180107261900273 11761815599767351655 5050831921451754936 10848239871738305102 11705443656266779642 8536745876350296924 1258645988243741052 5178670150409353365 11387855780847976696 5140360293694534451 18012919284999123056 8218931793424771245 1929781771984848334 7206333066544785049 15687531991705198372 4231491514817276339 14447248151949933825 6427907390136061822 15883743683901701478 14779208718193578598 12221083504696999850 14307359154047992864 11735604805681429274 1294208105462520611 3707644529672575017 1243498736197942051 2759027696069248190 10593643114167737127 7950485983183296142 16726134319470509123 3528998627172086025 13645467910675739804 2047622896468099340 3014580836686296800 5874816463668875948 16738786687907799427 7407742519962755440 1126087077018340558 11252394182417188997 18103482686364945656 8768287894034349430 14453443753087663487 17855523101236613950 11508549666002601702 5169199847119166113 2877729617148604729 10639762651124447207 8522546041570393257 1676814325304575335 2888490901566826508 7118515668664198557 7637696665186466004 10348869158365538973 12008747049754486055 727987416229564235 11931628182328008522 10202487237110302126 15256318052991609721 12436007827585009227 8897406712479207233 2979121028695626358 1346353266797494407 7290716903721341958 4632431016332020677 12446044392637832051 15184489574839532284 12022394234457651597 16196227704442210848 13861276743183058123 16143476127446545346 13462461637885663317 17274066072464941942 12787704966435949450 13389109863053196134 17760241503831149831 4998333531554744327 8222002862491064271 7173745435703131963 5274806766067225196 1279965533169096060 12054630472696407092 13951834746566590943 4696322726259542201 14946991753383001272 15404616416919427536 1436974936248063701 13580323509564455993 14638254711396381523 2204615344582173628 16705477632209370020 5899916270802033100 2119123974928121390 10811572128908996650 1798837619706002694 6325952615485761526 11622789940169370714 1605615017072806396 17811117710137942979 10230268468685465607 16728140854431024499 13178595903979895087 14391483264496368707 2827270694773893608 16419021488271115017 17681695027368924956 11593326152783984628 4802214703762474285 8827608247429287802 8347683125959809198 7133646034425738137 17881159436747697015 6856922682745181416 8922887480691004217 15438900444123819010 7900753198505297774 7293415780344120473 10397979355622365033 8131647160712149559 9614557238644178325 17092984145302199030 18094685887314357689 1147057500910717382 3009719750122333069 15014173830459625347 16762815805405214947 18141268911088621484 1259502622338693706 5166777394639509979 16647492164120201544 16049031148585846231 0 0 0 0 15135066540489372236 18308965017559744604 11870033935687282706 13264879661330300920 0 0 0 0 692424378941827802 15653882865877357681 8099482207964878744 1610099409289723278 0 0 0 0 9529512676963649760 16433108208458514443 14729772757183347405 2893572172757854173 0 0 0 0 8819702340929913165 150260057848165300 3023867762910550763 15371250826206687833 0 0 0 0 1699011538088130494 615088627390285991 6979268363121532078 2821603258266418308 0 0 0 0 14567138190630755159 3802211005408350615 13775214040141904643 3488219546839573152 0 0 0 0 8651326892574278976 18408908005365035472 3014165029123072349 11431601735753370649 0 0 0 0 15773910768032877057 5110510488537149094 16158093639743148021 16922490959062602430 0 0 0 0 7054564692509824251 2431901624882871809 1643151811992130620 14204878758324231825 0 0 0 0 9899889295701641049 3282358871417160534 12449986003996597966 15163393605961906373 0 0 0 0 5229972778337561791 15590116386445577059 15830894055377324311 4557552083614533877 0 0 0 0 4209748884403776907 8999227799254141200 13731157522030215335 880899563900603695 0 0 0 0 9290467505069863094 2921762101635345884 18219390183550447788 15900795410813535066 0 0 0 0 5887532861878206331 5327239299106397744 8848311384222026906 8412120284223727063 0 0 0 0 17735588868753726255 7075194100065778110 5073068764986538937 3782603281418668605 ]
 transcript_state: [ 10059088644346077911 12987151597507317006 18096472015241631865 15180256057842689038 73560124668745647 16193075131642903332 13209700139096029239 17551380776544353375 12526398937494838533 202879094626989450 10792285130421194798 13307361658390158720 ]
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/ceno_demo/tower_verifier.witness b/zok_tests/benchmarks/ceno_demo/tower_verifier.witness
index e2b26f69..cd82215c 100644
--- a/zok_tests/benchmarks/ceno_demo/tower_verifier.witness
+++ b/zok_tests/benchmarks/ceno_demo/tower_verifier.witness
@@ -478,4 +478,4 @@
 8346569998411335043 14842517450790668448
 7228411635873401048 17022061830628689712
 11615229513901739387 10788054799927781103
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/ceno_demo/tower_verifier.zok b/zok_tests/benchmarks/ceno_demo/tower_verifier.zok
index 0ae8e118..98a8a878 100644
--- a/zok_tests/benchmarks/ceno_demo/tower_verifier.zok
+++ b/zok_tests/benchmarks/ceno_demo/tower_verifier.zok
@@ -422,4 +422,4 @@ def main() -> field:
     // return tower_verify(prod_out_evals, logup_out_evals, tower_proofs, expected_rounds, t)
     TowerVerifierOutput output = tower_verify(prod_out_evals, logup_out_evals, tower_proofs, expected_rounds, t)
     return output.rt_tower[0].b0
-*/
\ No newline at end of file
+*/
diff --git a/zok_tests/benchmarks/ceno_demo/transcript.zok b/zok_tests/benchmarks/ceno_demo/transcript.zok
index 185eaffc..4a5abd7d 100644
--- a/zok_tests/benchmarks/ceno_demo/transcript.zok
+++ b/zok_tests/benchmarks/ceno_demo/transcript.zok
@@ -122,4 +122,4 @@ def main() -> field:
     transcript = t1.transcript
     Challenge r_merge = t1.challenge
     Challenge c = read_challenge(transcript)
-    return r_merge.elements.b1
\ No newline at end of file
+    return r_merge.elements.b1
diff --git a/zok_tests/benchmarks/unit_tests/2pc_array.input b/zok_tests/benchmarks/unit_tests/2pc_array.input
index c2bdfce3..22a89f3c 100644
--- a/zok_tests/benchmarks/unit_tests/2pc_array.input
+++ b/zok_tests/benchmarks/unit_tests/2pc_array.input
@@ -1,3 +1,3 @@
 a field 3
 b field 2
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/unit_tests/2pc_cond_store.input b/zok_tests/benchmarks/unit_tests/2pc_cond_store.input
index 1802632e..9bf69ebb 100644
--- a/zok_tests/benchmarks/unit_tests/2pc_cond_store.input
+++ b/zok_tests/benchmarks/unit_tests/2pc_cond_store.input
@@ -1,3 +1,3 @@
 a u32 2
 b u32 3
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/unit_tests/2pc_cond_store.zok b/zok_tests/benchmarks/unit_tests/2pc_cond_store.zok
index ca341368..ba4433ea 100644
--- a/zok_tests/benchmarks/unit_tests/2pc_cond_store.zok
+++ b/zok_tests/benchmarks/unit_tests/2pc_cond_store.zok
@@ -1,4 +1,4 @@
 def main(u32 a, u32 b) -> u32:
     u32[4] c = [a; 4]
     cond_store(c, 1, b, a < 10)
-    return c[b]
\ No newline at end of file
+    return c[b]
diff --git a/zok_tests/benchmarks/unit_tests/2pc_if_return_cc.input b/zok_tests/benchmarks/unit_tests/2pc_if_return_cc.input
index 441d5e60..50527abd 100644
--- a/zok_tests/benchmarks/unit_tests/2pc_if_return_cc.input
+++ b/zok_tests/benchmarks/unit_tests/2pc_if_return_cc.input
@@ -1,4 +1,4 @@
 a 5
 b 4
 c 3
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/unit_tests/2pc_type_change.input b/zok_tests/benchmarks/unit_tests/2pc_type_change.input
index fa1d3ea5..f50fc064 100644
--- a/zok_tests/benchmarks/unit_tests/2pc_type_change.input
+++ b/zok_tests/benchmarks/unit_tests/2pc_type_change.input
@@ -1,3 +1,3 @@
 a 5
 b 4
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/unit_tests/array_input.input b/zok_tests/benchmarks/unit_tests/array_input.input
index 41ef46af..40437e08 100644
--- a/zok_tests/benchmarks/unit_tests/array_input.input
+++ b/zok_tests/benchmarks/unit_tests/array_input.input
@@ -1,4 +1,4 @@
 MEM [ 0 1 3 1 3 5 4 2 7 3 ]
 a 0
 b [ 2 3 5 6 7 ]
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/unit_tests/array_input.zok b/zok_tests/benchmarks/unit_tests/array_input.zok
index aea5fe1b..1f333528 100644
--- a/zok_tests/benchmarks/unit_tests/array_input.zok
+++ b/zok_tests/benchmarks/unit_tests/array_input.zok
@@ -3,4 +3,4 @@ def main(field[10] MEM, field[6] a, field[5] b) -> field:
   assert(a[2] == a[4])
   b[4] = 3
   assert(b[4] == b[1])
-  return 1
\ No newline at end of file
+  return 1
diff --git a/zok_tests/benchmarks/unit_tests/dead_input.input b/zok_tests/benchmarks/unit_tests/dead_input.input
index db0d5195..85e171d9 100644
--- a/zok_tests/benchmarks/unit_tests/dead_input.input
+++ b/zok_tests/benchmarks/unit_tests/dead_input.input
@@ -1,3 +1,3 @@
 a 5
 b 3
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/unit_tests/dead_input.zok b/zok_tests/benchmarks/unit_tests/dead_input.zok
index 35afa658..ea4eb7a3 100644
--- a/zok_tests/benchmarks/unit_tests/dead_input.zok
+++ b/zok_tests/benchmarks/unit_tests/dead_input.zok
@@ -1,2 +1,2 @@
 def main(u32 a, u32 b) -> u32:
-  return b
\ No newline at end of file
+  return b
diff --git a/zok_tests/benchmarks/unit_tests/inline_func.zok b/zok_tests/benchmarks/unit_tests/inline_func.zok
index 46af0a61..21ae3bdd 100644
--- a/zok_tests/benchmarks/unit_tests/inline_func.zok
+++ b/zok_tests/benchmarks/unit_tests/inline_func.zok
@@ -5,4 +5,4 @@ def inline foo() -> u32:
   return bar()
 
 def main() -> u32:
-  return foo() + foo()
\ No newline at end of file
+  return foo() + foo()
diff --git a/zok_tests/benchmarks/unit_tests/multi_dim.zok b/zok_tests/benchmarks/unit_tests/multi_dim.zok
index 2b88fb2f..dd6f8b95 100644
--- a/zok_tests/benchmarks/unit_tests/multi_dim.zok
+++ b/zok_tests/benchmarks/unit_tests/multi_dim.zok
@@ -7,4 +7,4 @@ def main(u32 a, u32 b, u32 c, u32 d) -> field:
   // To perform multi-dimensional STORE, one need to first perform LOAD
   // load = arr[0]; load[d] = 3
   arr[0][d] = 3
-  return arr[c][d]
\ No newline at end of file
+  return arr[c][d]
diff --git a/zok_tests/benchmarks/unit_tests/read_only_array.input b/zok_tests/benchmarks/unit_tests/read_only_array.input
index 105aabd7..adffab2d 100644
--- a/zok_tests/benchmarks/unit_tests/read_only_array.input
+++ b/zok_tests/benchmarks/unit_tests/read_only_array.input
@@ -1,4 +1,4 @@
 a [ 0 ]
 b [ro 0 ]
 c 1
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/unit_tests/read_only_array.zok b/zok_tests/benchmarks/unit_tests/read_only_array.zok
index 5adcc996..f6b968ab 100644
--- a/zok_tests/benchmarks/unit_tests/read_only_array.zok
+++ b/zok_tests/benchmarks/unit_tests/read_only_array.zok
@@ -8,4 +8,4 @@ def main(field[0] a, field[ro 0] b, field c) -> field:
             x = b[0]
         endif
     endif
-    return x
\ No newline at end of file
+    return x
diff --git a/zok_tests/benchmarks/unit_tests/test.zok b/zok_tests/benchmarks/unit_tests/test.zok
index 389acb66..a3e76b5f 100644
--- a/zok_tests/benchmarks/unit_tests/test.zok
+++ b/zok_tests/benchmarks/unit_tests/test.zok
@@ -19,4 +19,4 @@ def main(u32 a, u32 b, u32 c) -> u32:
   else
     ret = foo(a + b + c)
   endif
-  return ret
\ No newline at end of file
+  return ret
diff --git a/zok_tests/benchmarks/unit_tests/test_witness.input b/zok_tests/benchmarks/unit_tests/test_witness.input
index 02be9f53..e0bd31b3 100644
--- a/zok_tests/benchmarks/unit_tests/test_witness.input
+++ b/zok_tests/benchmarks/unit_tests/test_witness.input
@@ -1,2 +1,2 @@
 n 3
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/unit_tests/test_witness.witness b/zok_tests/benchmarks/unit_tests/test_witness.witness
index 764bd638..6297d3ff 100644
--- a/zok_tests/benchmarks/unit_tests/test_witness.witness
+++ b/zok_tests/benchmarks/unit_tests/test_witness.witness
@@ -2,4 +2,4 @@
 1 1 0
 1 1 0
 1 1 0
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/unit_tests/test_witness.zok b/zok_tests/benchmarks/unit_tests/test_witness.zok
index 9481449c..4da450f3 100644
--- a/zok_tests/benchmarks/unit_tests/test_witness.zok
+++ b/zok_tests/benchmarks/unit_tests/test_witness.zok
@@ -9,4 +9,4 @@ def main(u32 n) -> u32:
         assert(b0 * 4 + b1 * 2 + b2 * 1 == 6)
     endfor
     assert(b0 * 4 + b1 * 2 + b2 * 1 == 6)
-    return 1
\ No newline at end of file
+    return 1
diff --git a/zok_tests/benchmarks/unit_tests/weird_array.input b/zok_tests/benchmarks/unit_tests/weird_array.input
index 1a738941..cd63b5b1 100644
--- a/zok_tests/benchmarks/unit_tests/weird_array.input
+++ b/zok_tests/benchmarks/unit_tests/weird_array.input
@@ -1,3 +1,3 @@
 a 5
 b 1
-END
\ No newline at end of file
+END
diff --git a/zok_tests/benchmarks/unit_tests/weird_array.zok b/zok_tests/benchmarks/unit_tests/weird_array.zok
index faab55d2..8749be6e 100644
--- a/zok_tests/benchmarks/unit_tests/weird_array.zok
+++ b/zok_tests/benchmarks/unit_tests/weird_array.zok
@@ -13,4 +13,4 @@ def main(u32 a, u32 b) -> u32:
     t = tmp[0]
   endfor
 
-  return t
\ No newline at end of file
+  return t
diff --git a/zok_tests/constraints/ceno_demo/blocks_sumcheck_verifier b/zok_tests/constraints/ceno_demo/blocks_sumcheck_verifier
index 09ec7bd9..515d58af 100644
--- a/zok_tests/constraints/ceno_demo/blocks_sumcheck_verifier
+++ b/zok_tests/constraints/ceno_demo/blocks_sumcheck_verifier
@@ -2723,4 +2723,4 @@ Instructions:
     field %o11 = %w32
     field %o12 = %w33
     field %o1(BN) = %w3(RP)
-Transition: -> %w3(RP)
\ No newline at end of file
+Transition: -> %w3(RP)
diff --git a/zok_tests/memos/Liveness_Framework.txt b/zok_tests/memos/Liveness_Framework.txt
index eb27c2f1..e3790b88 100644
--- a/zok_tests/memos/Liveness_Framework.txt
+++ b/zok_tests/memos/Liveness_Framework.txt
@@ -31,4 +31,4 @@
 //    TOP meets anything else is always the other things
 //    If two variable states have the same length, their MEET is the pairwise union of the two lists
 //    If two variable states have different length, their MEET is undefined. This should never happen because
-//    you can only enter (or exit) a block from the same scope.
\ No newline at end of file
+//    you can only enter (or exit) a block from the same scope.
diff --git a/zok_tests/memos/function_call_scoping_test.txt b/zok_tests/memos/function_call_scoping_test.txt
index 87d063a7..1355427e 100644
--- a/zok_tests/memos/function_call_scoping_test.txt
+++ b/zok_tests/memos/function_call_scoping_test.txt
@@ -184,4 +184,4 @@ def fib(u32 n) -> u32:
             CALL FIB
             u32 b = @RET
 
-        return b
\ No newline at end of file
+        return b
diff --git a/zok_tests/memos/function_call_tests.txt b/zok_tests/memos/function_call_tests.txt
index 91edb051..e6432035 100644
--- a/zok_tests/memos/function_call_tests.txt
+++ b/zok_tests/memos/function_call_tests.txt
@@ -417,4 +417,4 @@ Analysis:
 
     Additional mem ops from continuation passing:
         LOADs:   7 Virtual, 0 Physical
-        STOREs:  7 Virtual, 0 Physical
\ No newline at end of file
+        STOREs:  7 Virtual, 0 Physical
diff --git a/zok_tests/memos/scoping_problem.md b/zok_tests/memos/scoping_problem.md
index 6b713af4..4d051d40 100644
--- a/zok_tests/memos/scoping_problem.md
+++ b/zok_tests/memos/scoping_problem.md
@@ -68,4 +68,4 @@ If `<LOOP Y>` and `<LOOP Z>` are complicated enough, we literally wouldn't know
 
 ## Conclusion
 
-Index in stack might not be compile-time, or even run-time knowledge, when we combine continuation passing with write-once memory.
\ No newline at end of file
+Index in stack might not be compile-time, or even run-time knowledge, when we combine continuation passing with write-once memory.
diff --git a/zok_tests/memos/scoping_tests.txt b/zok_tests/memos/scoping_tests.txt
index 562278e1..e502ca2f 100644
--- a/zok_tests/memos/scoping_tests.txt
+++ b/zok_tests/memos/scoping_tests.txt
@@ -466,4 +466,4 @@ Step 4: Breaking into blocks
     Block 9:
         LOAD_P(i, 4)
         ret = res
-    Block Transition: -> BP (end function call)
\ No newline at end of file
+    Block Transition: -> BP (end function call)