logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-05 07:13:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,449 Commits 4 Branches 0 Tags 17 MiB
Commit Graph

1449 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
wborgeaud
6cb4f56af5
Merge pull request #392 from mir-protocol/remove_polynomial_file 
Remove `polynomial.rs`
 2021-12-13 20:15:07 +01:00
wborgeaud
a446aa056e
Merge pull request #393 from mir-protocol/remove_bits_fn 
Replace `bits()` function with `BITS` const
 2021-12-13 20:14:50 +01:00
wborgeaud
6863eea74e New clippy lints 2021-12-13 16:51:36 +01:00
wborgeaud
920d5995c7 Replace bits() fn with BITS const 2021-12-13 16:46:49 +01:00
wborgeaud
c1698bb99d Remove polynomial.rs (+clippy lints) 2021-12-13 16:39:07 +01:00
wborgeaud
aed4de0293
Merge pull request #389 from mir-protocol/deoptimize_tests 
Compiler optimizes away some tests
 2021-12-07 09:20:59 +01:00
wborgeaud
6a50c0fc4e Clippy 2021-12-07 08:56:27 +01:00
wborgeaud
5061b2d110 Use rand_arr instead of rand_vec 2021-12-07 08:13:39 +01:00
wborgeaud
dad35ae621 Fix tests 2021-12-06 16:00:22 +01:00
Daniel Lubarov
58e1febde7
Update size-optimized recursion test (#388) 
I think it should start with `standard_recursion_config`, since the goal of the test is to start with a regular speed-optimized recursive proof and shrink it.

The final proof is a bit larger now, mainly because of the update to 100 bits, and partly (less importantly) because it starts with the now-standard arity 16. We could maybe switch from arity 16 to 8 somewhere in the chain, but I think that might require another proof layer, and didn't want to complicate it too much.
 2021-12-06 00:04:01 -08:00
Jakub Nabaglo
d6a0a2e772
Run CI on optimized build (#384) 
* Run CI on optimized build

* Enable overflow checks
 2021-12-03 13:23:43 -08:00
Jakub Nabaglo
bb029db2a7
Type tweaks for packed types (#387) 
* PackedField tweaks

* AVX2 changes

* FFT fixes

* tests

* test fixes

* Lints

* Rename things for clarity

* Minor interleave fixes

* Minor interleave fixes the sequel

* Rebase fixes

* Docs

* Daniel PR comments
 2021-12-03 13:12:19 -08:00
wborgeaud
04c1ea2531
Merge pull request #386 from mir-protocol/fix_recursive_fri_config 
Fix recursive circuit config
 2021-12-03 09:24:32 +01:00
wborgeaud
2a81ec1728 Fix recursive FRI config 2021-12-03 08:49:19 +01:00
Jakub Nabaglo
aff71943c3
Minor optimizations to AVX2 multiplication (#378) 
* Minor optimizations to AVX2 multiplication

* Typos (thx Hamish!)
 2021-12-02 18:33:43 -08:00
Jakub Nabaglo
5eaa1ad529
Require a PrimeField to be its own PrimeField (#383) 2021-12-02 16:14:47 -08:00
wborgeaud
c6ac8e1b3e
Merge pull request #380 from mir-protocol/variable_num_u32_ops 
Variable number of operations in `U32ArithmeticGate` and `U32SubtractionGate`
 2021-12-02 19:00:08 +01:00
wborgeaud
d361dffa5e
Merge pull request #381 from mir-protocol/obsolete_todos 
Remove obsolete todos
 2021-12-02 18:29:03 +01:00
wborgeaud
c2ca106a29 Rewrite add_many 2021-12-02 16:56:58 +01:00
wborgeaud
817fe1e3a3 Remove obsolete todos 2021-12-02 16:53:25 +01:00
wborgeaud
29ed0673f2 Variable number of U32 sub ops 2021-12-02 15:35:59 +01:00
wborgeaud
93d695d33e Variable number of U32 ops 2021-12-02 15:14:25 +01:00
Jakub Nabaglo
6df251e144
Remove Singleton type and make every Field a PackedField (#379) 
* Remove `Singleton` type and make every `Field` a `PackedField`

* Minor: Clippy
 2021-12-02 00:01:24 -08:00
Nicholas Ward
982f85fd1b
Merge pull request #349 from mir-protocol/secp256k1_curve 
Secp256k1 curve
 2021-12-01 09:29:12 -08:00
Nicholas Ward
12defa80f4 remove unused test 2021-12-01 09:28:47 -08:00
Nicholas Ward
9d8a5fc01e removed outdated comment 2021-12-01 09:28:31 -08:00
Nicholas Ward
5aa5cc9c65 ignore huge tests 2021-12-01 09:28:00 -08:00
Nicholas Ward
406092f358 clippy fixes 2021-11-30 15:56:12 -08:00
Nicholas Ward
f1dc1d4446 fix 2021-11-30 15:31:06 -08:00
Nicholas Ward
b9868ec782 multiplication using projective 2021-11-30 15:31:06 -08:00
Nicholas Ward
39300bcf01 fixed Secp256K1Scalar 2021-11-30 15:31:06 -08:00
Nicholas Ward
b1bbe30dac Fixed tests -- thanks William! 2021-11-30 15:31:06 -08:00
Nicholas Ward
5029f87b80 fixes 2021-11-30 15:31:06 -08:00
Nicholas Ward
a6ddc2ed5d curve_mul testing 2021-11-30 15:31:06 -08:00
Nicholas Ward
2ec3ea8634 new curve_mul 2021-11-30 15:31:06 -08:00
Nicholas Ward
284f9a412c curve multiply; test for curve add; addressed comments 2021-11-30 15:31:06 -08:00
Nicholas Ward
70abf3e9cb addressed comments 2021-11-30 15:31:06 -08:00
Nicholas Ward
0f49f6461e removed from ProjectivePoint 2021-11-30 15:31:06 -08:00
Nicholas Ward
7da99ad4d4 test fixes 2021-11-30 15:31:06 -08:00
Nicholas Ward
f6954704d9 fix 2021-11-30 15:31:06 -08:00
Nicholas Ward
c7fda246ca fixes 2021-11-30 15:31:06 -08:00
Nicholas Ward
e4b894cb12 merge 2021-11-30 15:31:06 -08:00
Nicholas Ward
d6630869e1 msm (outside circuit) 2021-11-30 15:31:06 -08:00
Nicholas Ward
051b79db2c curve_add_two_affine 2021-11-30 15:31:06 -08:00
Nicholas Ward
dfad7708af merge 2021-11-30 15:31:06 -08:00
Nicholas Ward
a4b7772c34 resolve 2021-11-30 15:31:06 -08:00
Nicholas Ward
4d4605af1f merge 2021-11-30 15:31:06 -08:00
Nicholas Ward
fa480854fe updates 2021-11-30 15:31:06 -08:00
Nicholas Ward
86573fc65c resolve 2021-11-30 15:31:06 -08:00
Nicholas Ward
0e6c5bb80c curve gadget changes 2021-11-30 15:31:06 -08:00