1138 Commits

Author SHA1 Message Date
Nicholas Ward
14fd1dfa6b fmt 2021-09-16 21:06:54 -07:00
Nicholas Ward
a00f2536ff initial memory sorting gadget 2021-09-16 20:44:17 -07:00
wborgeaud
3534018fec Remove hardcoded GMiMC 2021-09-16 22:19:54 +02:00
wborgeaud
b63d83aacf Add Poseidon gadget 2021-09-16 21:18:08 +02:00
Nicholas Ward
7be26a708b
Merge pull request #240 from mir-protocol/comparison_gate
Comparison gate
2021-09-16 11:36:28 -07:00
Nicholas Ward
8681cdec54 intermediate wires 2021-09-16 11:16:32 -07:00
wborgeaud
5d7f4de2a6 Working recursively 2021-09-16 19:17:37 +02:00
wborgeaud
c508fe4362 Minor 2021-09-16 18:16:19 +02:00
wborgeaud
49ba7ccb52 Working 2021-09-16 18:16:05 +02:00
Nicholas Ward
7abf48cd07 addressed comments (apart from intermediate wires) 2021-09-16 08:51:44 -07:00
wborgeaud
b11e54d6ed Semi-working 2021-09-16 17:51:07 +02:00
Daniel Lubarov
e1812dd797 Slighly more user friendly Sage snippet 2021-09-15 21:13:57 -07:00
Daniel Lubarov
151d1f1d84
Constants for Goldilocks & binary to generate them (#247)
* Constants for Goldilocks etc

* Fix typo
2021-09-15 19:48:30 -07:00
Nicholas Ward
0acff53e1a fixes 2021-09-15 17:55:15 -07:00
Nicholas Ward
7a7bf371eb fmt 2021-09-15 17:55:15 -07:00
Nicholas Ward
c207a02852 changes and fixes (z --> most_significant_diff) 2021-09-15 17:55:15 -07:00
Nicholas Ward
44dc1cd4ed removed z 2021-09-15 17:55:15 -07:00
Nicholas Ward
677165fda7 range check of chunks 2021-09-15 17:55:15 -07:00
Nicholas Ward
a68094d378 eval_unfiltered_recusively 2021-09-15 17:55:15 -07:00
Nicholas Ward
806f4af92c eval_unfiltered_base 2021-09-15 17:55:15 -07:00
Nicholas Ward
8a4259cc28 addressed comments 2021-09-15 17:55:15 -07:00
Nicholas Ward
1a1358c081 cleanup (using reduce_with_powers) 2021-09-15 17:55:15 -07:00
Nicholas Ward
9fe6dab045 cleanup 2021-09-15 17:55:15 -07:00
Nicholas Ward
2f0ba9f98f cleanup (references) 2021-09-15 17:55:15 -07:00
Nicholas Ward
8efa5a54b1 fixed test (first is actually smaller than second :P) 2021-09-15 17:55:15 -07:00
Nicholas Ward
26c3edf465 removed copies 2021-09-15 17:55:15 -07:00
Nicholas Ward
8a726d5a86 fmt 2021-09-15 17:55:15 -07:00
Nicholas Ward
4eda0e9e9b fix (z calculated incorrectly) 2021-09-15 17:55:15 -07:00
Nicholas Ward
63246bc2f7 fix (wires were out of order) 2021-09-15 17:55:15 -07:00
Nicholas Ward
75ff36decb fmt 2021-09-15 17:55:15 -07:00
Nicholas Ward
6807c14c41 fix 2021-09-15 17:55:15 -07:00
Nicholas Ward
4484a42d93 test_gate_constraints 2021-09-15 17:55:15 -07:00
Nicholas Ward
18738e5984 fixes 2021-09-15 17:55:15 -07:00
Nicholas Ward
8731f8136f some tests 2021-09-15 17:55:15 -07:00
Nicholas Ward
542bc6283c added num_bits 2021-09-15 17:55:15 -07:00
Nicholas Ward
ada79f7072 cleanup 2021-09-15 17:55:15 -07:00
Nicholas Ward
93e6bc626d fixed errors 2021-09-15 17:55:15 -07:00
Nicholas Ward
9fa0500390 comparison gate 2021-09-15 17:55:15 -07:00
wborgeaud
b5d35b3582
Merge pull request #246 from mir-protocol/goldilocks_ext
Goldilocks extension fields
2021-09-15 18:32:15 +02:00
wborgeaud
c14673863a Add submodule for field extension tests 2021-09-15 18:22:26 +02:00
wborgeaud
5048a3f31d Minor 2021-09-15 10:05:41 +02:00
wborgeaud
c9d884f740 Change tests for quartic extension 2021-09-15 09:55:38 +02:00
wborgeaud
1ca197840f Add a test_field_extension macro 2021-09-15 09:52:49 +02:00
wborgeaud
d9978b5897 Remove unused 2021-09-15 09:38:25 +02:00
wborgeaud
80af66c87b Test quadratic extensions of Crandall and Goldilocks 2021-09-15 09:36:56 +02:00
wborgeaud
dc4062cde7 Add quadratic and quartic extensions to Goldilocks 2021-09-15 09:10:18 +02:00
Jakub Nabaglo
a7cd1ef40b
Vectorize Poseidon constant layer with NEON (#245)
* Start work on Crandall arithmetic in NEON

* Poseidon constant layer in NEON

* its alive

Co-authored-by: Jakub Nabaglo <jakub@mirprotocol.org>
2021-09-14 21:37:07 -07:00
Jakub Nabaglo
b411a275f9
AVX2 vectorization of Poseidon S-box (#244)
* AVX2 vectorization of Poseidon S-box

* Minor doc

* Microoptimization
2021-09-14 19:26:31 -07:00
Jakub Nabaglo
2ae9e34993
AVX2 vectorization of Poseidon constant layer (#243)
* AVX2 vectorization of Poseidon constant layer

* Silence unused import warning + minor style

* Daniel comment
2021-09-13 21:18:18 -07:00
Jakub Nabaglo
b0f244f1ee
Vectorize Goldilocks with AVX2 (#241)
* Start work on vectorized Goldilocks

* Vectorized Goldilocks

* Unused import warning
2021-09-13 17:42:25 -07:00