228 Commits

Author SHA1 Message Date
Nicholas Ward
0ecaf40839 addressed comment 2021-08-03 12:07:02 -07:00
Nicholas Ward
d19ce67c2d renamed element_to_compare --> claimed_element 2021-08-03 09:24:55 -07:00
Nicholas Ward
ed49bbc7f2 cleanup 2021-08-03 09:03:14 -07:00
Nicholas Ward
fa5a5c5ebf cargo fmt 2021-08-03 08:59:25 -07:00
Nicholas Ward
1db727d954 addressed comments 2021-08-03 08:53:20 -07:00
Nicholas Ward
acc59327e7 random access gate 2021-08-02 17:58:45 -07:00
Daniel Lubarov
5c96e7b366 Trivial fixes from "cargo fix" 2021-08-02 10:58:03 -07:00
Daniel Lubarov
d6211b8ab8
Reuse a buffer of generated values (#142)
* Reuse a buffer of generated values

To avoid allocating `GeneratedValues` all the time. Saves ~60ms or so.

* PR feedback
2021-08-02 10:55:10 -07:00
wborgeaud
730962ceac
Merge pull request #145 from mir-protocol/test_eval_fns
Test `eval_unfiltered_*` functions
2021-08-02 19:50:27 +02:00
wborgeaud
2bbcf17699 Test eval_unfiltered_* functions 2021-08-02 14:17:42 +02:00
wborgeaud
fc9d64defe Small nits for the exponentiation gate 2021-08-02 13:12:50 +02:00
Daniel Lubarov
018fb005f8
Move stuff around (#135)
No functional changes here. The biggest change was moving certain files into new directories like `plonk` and `iop` (for things like `Challenger` that could be used in STARKs or other IOPs). I also split a few files, renames, etc, but again nothing functional, so I don't think a careful review is necessary (just a sanity check).
2021-07-29 22:00:29 -07:00
Nicholas Ward
9eda81c293 minor changes 2021-07-29 15:31:04 -07:00
Nicholas Ward
cfda56e3d3 Merge branch 'main' into exp_gate_config 2021-07-29 14:19:24 -07:00
Nicholas Ward
a111fc3164 fixes 2021-07-29 14:18:18 -07:00
Nicholas Ward
95503ff7fa Merge branch 'main' into exp_gate_config 2021-07-29 14:10:35 -07:00
Nicholas Ward
e46bd08f00 exponention gate takes only bits 2021-07-29 12:59:11 -07:00
Daniel Lubarov
e382decc9f Import fixes 2021-07-29 11:45:58 -07:00
Nicholas Ward
56b62f1964 new exp gate takes in CircuitConfig and determines num_bits 2021-07-29 10:26:46 -07:00
Nicholas Ward
2fd9ce2114 fixes to exp functions 2021-07-28 13:38:41 -07:00
Nicholas Ward
6749a94c52 fix 2021-07-28 10:17:32 -07:00
Nicholas Ward
607d0a89cb fixed max_power_bits 2021-07-28 10:09:35 -07:00
Nicholas Ward
68672c0038 addressed comments 2021-07-28 09:20:20 -07:00
Nicholas Ward
a38a5e227d select_ext takes bit as extension; used in recursive eval 2021-07-27 22:51:40 -07:00
Nicholas Ward
33ba269ccb fixes 2021-07-27 15:58:19 -07:00
Nicholas Ward
3944c5e68e added eval_unfiltered_recursively 2021-07-27 13:29:57 -07:00
Nicholas Ward
044eb597c2 added eval_unfiltered_base 2021-07-27 13:18:42 -07:00
Nicholas Ward
21ec75335a fix: power bits in test now LE 2021-07-27 13:09:28 -07:00
Nicholas Ward
b5418bffb3 added output wire 2021-07-27 13:09:15 -07:00
Daniel Lubarov
54626be7ce comment 2021-07-27 12:48:52 -07:00
Daniel Lubarov
1e9845afcf nits 2021-07-27 12:47:15 -07:00
Nicholas Ward
b66ad6c96a added debug assert 2021-07-27 12:34:47 -07:00
Nicholas Ward
34d59305a1 Merge branch 'main' into exp_gate 2021-07-27 12:29:24 -07:00
Nicholas Ward
7e5e4fc682 updated num_constraints 2021-07-27 12:18:09 -07:00
Nicholas Ward
59bfc52f9c removed extraneous constraint 2021-07-27 11:55:25 -07:00
Nicholas Ward
695e5bc98c fix? 2021-07-27 11:04:16 -07:00
Nicholas Ward
0b8f5860f5 removed if statement 2021-07-27 10:46:10 -07:00
Nicholas Ward
af62688bd7 fixes 2021-07-27 10:19:46 -07:00
Daniel Lubarov
3fc02c76bc
Couple fixes to ReducingGate (#128) 2021-07-25 09:34:51 -07:00
wborgeaud
deea1c979b PR feedback 2021-07-25 18:12:26 +02:00
Nicholas Ward
d7a9274fef updated for add_gate changes 2021-07-23 20:06:00 -07:00
Nicholas Ward
da9017bcbc Merge branch 'main' into exp_gate 2021-07-23 20:01:58 -07:00
Nicholas Ward
b06d7bc8f5 cargo fmt 2021-07-23 15:56:25 -07:00
Nicholas Ward
0c4a1bc5af fixes 2021-07-23 15:56:14 -07:00
Nicholas Ward
8e2f33bd42 fix 2021-07-23 15:52:37 -07:00
Nicholas Ward
64d8a44320 cargo fmt 2021-07-23 15:47:03 -07:00
Nicholas Ward
1c8015b93d finished tests (don't pass yet) 2021-07-23 15:46:52 -07:00
Nicholas Ward
9932517e86 cargo fmt 2021-07-23 15:11:53 -07:00
Nicholas Ward
40055dc45d basic tests 2021-07-23 15:11:42 -07:00
Nicholas Ward
6d22ad6ee0 initial version of exponentiation gate 2021-07-23 15:08:54 -07:00