Alex Ozdemir 838b8a6791 Include Anna's test cases and fix (#131) ...

The first bug is a disagreement between our bellman circuit and our bellman
verify function. The circuit omit unused variables (public or private). The
verify function includes unused public variables.

Now, the circuit includes unused public variables.

The second bug is related to large BV comparisons. The fix is to emit a
bitwise comparator. We could optimize further in the future.

closes #125

2023-01-09 23:00:35 -08:00

..

aby_tests

Unsigned (#115)

2022-11-01 23:46:08 -04:00

zx_tests

improve memory consumption ; add Z# strict unary op, ternary ?:, and type aliases (#77)

2022-05-04 10:08:23 -07:00

build_aby.zsh

Function Abstraction, end-to-end testing with MPC backend (#114)

2022-10-31 15:33:36 -04:00

build_mpc_c_benchmark.zsh

Adding benchmark scripts and logging for ABY backend (#72)

2022-04-06 04:04:52 -04:00

build_mpc_c_test.zsh

Unsigned (#115)

2022-11-01 23:46:08 -04:00

build_mpc_zokrates_test.zsh

Updates to C Frontend (#67)

2022-05-20 02:20:36 -04:00

build_r1cs_c_test.zsh

Updating build system (#44)

2022-02-25 17:13:10 -05:00

clean_aby.zsh

ABY VM and Interpreter (#47)

2022-02-28 19:47:50 -05:00

dependencies_arch.sh

feature branch: zsharp (#30)

2022-02-06 22:47:30 -05:00

dependencies_macos_homebrew.sh

feature branch: zsharp (#30)

2022-02-06 22:47:30 -05:00

dependencies_ubuntu.sh

IR textual format: parser & serializer. (#48)

2022-02-15 09:49:30 -08:00

opa_bench.zsh

OPA-by-ILP benchmark example

2021-08-24 10:01:19 -07:00

profile_sha.zsh

IR-based Zokrates front-end (#33)

2022-01-01 11:44:56 -08:00

spartan_zok_test.zsh

Spartan Backend (#70)

2022-11-07 10:11:58 -08:00

test_datalog.zsh

Configuration system. Kill DFL_T (#127)

2022-12-25 20:53:27 -08:00

test_zok_to_ilp_pf.zsh

Precomputations (or, as-known-for-proofs, witness extension) (#80)

2022-05-17 08:54:04 -07:00

test_zok_to_ilp.zsh

Updating build system (#44)

2022-02-25 17:13:10 -05:00

zokrates_test.zsh

Include Anna's test cases and fix (#131)

2023-01-09 23:00:35 -08:00