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

418 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Nicholas Ward
bdb6cfe927 skeleton 2021-07-01 13:11:34 -07:00
Nicholas Ward
ce47eac72e fix 2021-06-29 11:04:05 -07:00
Nicholas Ward
d599664f22 merge 2021-06-29 10:07:05 -07:00
Nicholas Ward
d5457bf414 fixed arithmetic, and added comments 2021-06-28 23:08:24 -07:00
wborgeaud
2c5c073bb1
Merge pull request #68 from mir-protocol/permutation_argument 
`Z`s polynomials implementation
 2021-06-29 08:07:14 +02:00
wborgeaud
f8f28a167c Merge remote-tracking branch 'origin/permutation_argument' into permutation_argument 2021-06-29 08:06:20 +02:00
wborgeaud
57c86143bc Fix mistake in comment 2021-06-29 08:06:06 +02:00
Nicholas Ward
40f5346009 cargo fmt 2021-06-28 17:07:27 -07:00
Nicholas Ward
5aa0960154 minor fixes 2021-06-28 17:07:09 -07:00
Nicholas Ward
4fb78cf7b2 fix 2021-06-28 11:34:30 -07:00
Nicholas Ward
01493303f8 blinding 2021-06-28 09:45:56 -07:00
Daniel Lubarov
7734aed62c
Performance tweaks (#77) 2021-06-28 08:56:36 -07:00
wborgeaud
4649c9b72c
Merge pull request #75 from mir-protocol/merge_constant_sigma_commitments 
Merge constant and sigma commitments
 2021-06-28 09:48:02 +02:00
wborgeaud
c2b2ef921a PR feedback 2021-06-28 09:47:47 +02:00
wborgeaud
810d1869a1 Minor improvements 2021-06-25 11:49:29 +02:00
wborgeaud
625377b4c0 Merge constant and sigma polynomials 2021-06-25 11:24:26 +02:00
wborgeaud
727919b14f Comment and test for coset_ifft 2021-06-25 10:20:20 +02:00
wborgeaud
2e9d3f768e Better error message when quotient hasn't correct degree 2021-06-25 09:56:15 +02:00
Nicholas Ward
249c8a8378 calculating number of blinding gates needed 2021-06-24 22:02:20 -07:00
wborgeaud
3ce9183970 Modify new test 2021-06-24 22:57:50 +02:00
wborgeaud
54a15c012c Fixed bug and add division test in the base field. 2021-06-24 22:38:40 +02:00
wborgeaud
21e7e8fdad Merge branch 'main' into permutation_argument 
# Conflicts:
#	src/circuit_builder.rs
 2021-06-24 22:35:13 +02:00
wborgeaud
19e7cb3942 into_iter -> into_par_iter 2021-06-24 22:32:52 +02:00
Daniel Lubarov
3400caa19c
Fix recursion bench (#74) 
Nothing was routed in before
 2021-06-24 12:12:57 -07:00
wborgeaud
6605ca9d89 Add comment for coset_shift 2021-06-24 21:05:59 +02:00
wborgeaud
fb89d637e1
Merge pull request #71 from mir-protocol/gate_tree 
Add gate tree, gate prefixes and filtered methods
 2021-06-24 21:02:44 +02:00
wborgeaud
8aa9c7b816 Merge branch 'main' into gate_tree 
# Conflicts:
#	src/circuit_data.rs
#	src/witness.rs
 2021-06-24 20:58:17 +02:00
wborgeaud
2a38f8656f PR feedback 2021-06-24 20:53:15 +02:00
Daniel Lubarov
e50eeb6cf4 Delete more outdated comments 2021-06-24 10:44:46 -07:00
Daniel Lubarov
aa78d02c01 Delete outdated comment 2021-06-24 10:43:44 -07:00
wborgeaud
c7753186b8 Clippy 2021-06-24 18:11:37 +02:00
wborgeaud
54315d1735 Remove GatePrefixes to avoid using a HashMap 2021-06-24 18:08:39 +02:00
wborgeaud
b4258976b1 PR fixes 2021-06-24 17:49:30 +02:00
wborgeaud
8c008ce4fb Add comments 2021-06-24 17:43:53 +02:00
wborgeaud
24af1f8c0a New heuristic 2021-06-24 17:03:07 +02:00
wborgeaud
35f73a505f Clippy 2021-06-24 15:49:36 +02:00
wborgeaud
b0550979a6 Optimize evaluation of Z_H on coset. 2021-06-24 15:42:29 +02:00
wborgeaud
31f4eee367 Fix bug with shifted x 2021-06-24 14:11:47 +02:00
wborgeaud
f215dffa9d Compute quotient directly 2021-06-24 11:45:16 +02:00
wborgeaud
4ee70e449b Fix type errors and move copy constraints check to Witness 2021-06-24 11:00:47 +02:00
wborgeaud
ef7561fc84 Merge branch 'main' into permutation_argument 
# Conflicts:
#	src/circuit_builder.rs
#	src/circuit_data.rs
#	src/polynomial/commitment.rs
#	src/prover.rs
#	src/witness.rs
 2021-06-24 10:51:18 +02:00
Daniel Lubarov
ac1179255a
Delete coset [I]FFT methods (#72) 
I think they had a mistake, and in any case we have a similar method in `polynomial.rs` now which has tests.
 2021-06-23 15:45:48 -07:00
wborgeaud
08338b6a3e
Merge pull request #66 from mir-protocol/fix_target_partition 
Enforce copy constraints in witness generation
 2021-06-23 19:46:36 +02:00
wborgeaud
d69f11794e Revert num_routed_wires to 27 2021-06-23 19:15:52 +02:00
wborgeaud
1cfffcc919 Add comment on compute_filter 2021-06-23 16:45:30 +02:00
wborgeaud
0a75dcdb95 Remove prefix before calling eval_unfiltered_* 2021-06-23 16:06:30 +02:00
wborgeaud
c01e772fd8 Simplify filter computation 2021-06-23 15:41:39 +02:00
wborgeaud
f050c890c0 Merge branch 'main' into gate_tree 2021-06-23 15:33:18 +02:00
wborgeaud
747f1875af Add todo for public inputs 2021-06-23 14:26:05 +02:00
wborgeaud
8ae664d94f Minor 2021-06-23 14:22:42 +02:00