1059 Commits

Author SHA1 Message Date
Jakub Nabaglo
2f8286ff98
Fix a few warnings (#259) 2021-09-21 13:12:46 -07:00
Daniel Lubarov
43cbb84cc9
Have verify_merkle_proof call permute_swapped (#257)
Rather than adding the gate "manually".
2021-09-21 12:29:37 -07:00
wborgeaud
a407ed5b7e
Merge pull request #256 from mir-protocol/fix_reduce
Small fixes in the `le_sum` and `reduce` gadgets
2021-09-21 18:55:54 +02:00
wborgeaud
5f3a5e6bad Add num_bits==1,2 cases in le_sum 2021-09-21 18:27:49 +02:00
wborgeaud
4305a95cdb Small fixes to the le_sum and reduce gadgets 2021-09-21 12:52:28 +02:00
wborgeaud
5d8241760f
Merge pull request #255 from mir-protocol/better_compressed_merkle_paths
Simpler Merkle paths compression
2021-09-21 08:56:34 +02:00
wborgeaud
391759479e PR feedback 2021-09-21 08:37:23 +02:00
Jakub Nabaglo
1369dd7c76
Many small optimizations to scalar Poseidon (#253)
* Many small optimizations

* Lints

* Hamish comments

* Inlining
2021-09-20 10:52:12 -07:00
wborgeaud
1f42916bfc Comments 2021-09-20 17:58:25 +02:00
wborgeaud
36e4d3608d Working (de)compression for FRI proofs 2021-09-20 17:34:52 +02:00
Daniel Lubarov
471ace6d85
Remove loop unrolling in a few more places where it doesn't seem important (#254)
LLVM will do some unrolling/inlining, but I think we should only force it in places we know it's really justified.
2021-09-20 07:50:00 -07:00
wborgeaud
422e72954c Working path (de)compression 2021-09-20 14:37:28 +02:00
Jakub Nabaglo
5e748ed76b
#[inline] add_assign in CrandallField (#252) 2021-09-19 10:03:57 -07:00
wborgeaud
92f5d39671
Merge pull request #250 from mir-protocol/poseidon_gate
Poseidon gate and global move to Poseidon
2021-09-18 18:33:37 +02:00
wborgeaud
0be8650bca PR feedback 2021-09-18 09:23:39 +02:00
wborgeaud
b8f6b3a778 Merge branch 'main' into poseidon_gate 2021-09-18 08:55:54 +02:00
wborgeaud
a105cae7fc
Merge pull request #251 from mir-protocol/jakub/fix-alignment
Fix alignment assumptions in AVX2 Poseidon
2021-09-18 08:55:13 +02:00
Jakub Nabaglo
d3de2b5518 Fix alignment assumptions in AVX2 Poseidon 2021-09-17 10:04:05 -07:00
wborgeaud
14bbf5ae11 Fix AVX2 conflict 2021-09-17 17:50:43 +02:00
wborgeaud
675f32835b Minor 2021-09-17 13:50:42 +02:00
wborgeaud
f83c587cc5 Comments 2021-09-17 13:47:08 +02:00
wborgeaud
e418997d6f Cleanup 2021-09-17 13:29:59 +02:00
wborgeaud
5488be2acd Add HashGate constant type 2021-09-17 13:15:22 +02: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