591 Commits

Author SHA1 Message Date
Linda Guiga
05006deb44
Pad according to RATE rather than WIDTH (#1299) 2023-10-21 07:51:26 -04:00
BGluth
a02a2ecb97 Updated mir-protocol --> 0xPolygonZero
- Recently the underlying org name on Github changed to `0xPolygonZero`.
- This was causing some issues with dependencies downstream where a
  dependency pointing to the old org name was seen as a different
  dependency that was using the new org name.
- Using a `[patch] section in `Cargo.toml` was running into issues where
  we couldn't get it to get all dependency versions using a single org
  name.
2023-10-12 11:11:17 -06:00
nicholas-mainardi
300059572b
Optimize lookup builder (#1258)
* Add tests with big LUTs

* Optimize lookup builder

* Fix comment describing optimization

* Cargo fmt

* Clone LookupTableGate instead of instantiating

* Remove needless enumerate + improving comments
2023-09-29 15:57:56 +02:00
Tamir Hemo
8839285f4d add trait bound 2023-09-19 11:45:42 -07:00
Tamir Hemo
a44379b5a1 fmt and clippy 2023-09-19 11:39:20 -07:00
Tamir Hemo
7d7f01da46 refactor prove method 2023-09-19 11:32:13 -07:00
Robin Salen
d1c00767bd
Cleanup lookup_test module and reduce module visibility 2023-09-18 09:50:31 -04:00
Nicholas Ward
3571f09707
Merge pull request #1224 from mir-protocol/latest-nightly
latest nightly in CI and rust-toolchain
2023-09-08 15:18:59 -07:00
Nicholas Ward
1dd77d6d27 fmt 2023-09-08 10:18:39 -07:00
Nicholas Ward
e947a62483 suppress incorrect Clippy error 2023-09-08 10:17:41 -07:00
BGluth
65917f5f23
Merge pull request #1222 from mir-protocol/internal_crate_path_stablization
Now refers to sub-crates using paths (and removed `patch` section)
2023-09-08 11:07:54 -06:00
Nicholas Ward
2f1ed95154
Merge pull request #1220 from mir-protocol/latest_nightly_fix
Latest nightly fix
2023-09-08 10:04:09 -07:00
Nicholas Ward
90ea0318fb
Merge pull request #1223 from succinctlabs/uma/change-witness-visibility
Changed visibilities in `iop/generator` to allow for implementing `generate_partial_witness` outside of crate
2023-09-08 08:35:35 -07:00
Nicholas Ward
faa70e0768
Merge pull request #1219 from succinctlabs/uma/add-mock-feature-flag
Add `mock_build` to allow for faster circuit building and partial witness generation
2023-09-08 08:34:59 -07:00
Uma Roy
a184f09bf1 Made visibilities outside of crate to allow for forking partial witness gen outside of crate 2023-09-07 21:29:21 -07:00
Uma Roy
1be1ca4d32 clippy 2023-09-07 17:43:37 -07:00
Uma Roy
a643307108 Fixes 2023-09-07 17:41:52 -07:00
BGluth
5936c67f59 Now refers to sub-crates using paths (and removed patch section)
- Previously refered to specific `crates.io` versions.
- Motivation for this is to allow external projects to be able use
  specific revisions of this repo. Without this, a `[patch]` section
  is almost always required in the external project in order to force
  the internal plonky2 sub-crates to the same version, an approach which
  comes with its own issues.
2023-09-07 16:36:38 -06:00
BGluth
4716fe7db4 Also included clippy fixes introduced by new nightly 2023-09-07 13:33:08 -06:00
Uma Roy
5a3c8b26d1 clippy 2023-09-07 11:30:19 -07:00
Uma Roy
0ca796e1ff Removed mock feature flag and added mock_build 2023-09-07 11:29:04 -07:00
Uma Roy
18d314126f Added mock feature flag and test 2023-09-06 20:37:38 -07:00
John Guibas
800603d6f1 feat: serde for targets 2023-09-06 09:22:54 -07:00
John Guibas
d3f33baed3 make generate partial_witness pub 2023-08-24 10:45:49 -07:00
Robin Salen
925cdd5351
Cleanup 2023-08-22 20:00:49 +01:00
Robin Salen
976d752153
Observe public values 2023-08-18 18:59:58 -04:00
Robin Salen
12a687d34a
Reduce reallocations 2023-08-10 08:52:21 -04:00
Robin Salen
6f98fd7628
Merge pull request #1147 from metacraft-labs/gate_make_public_parameter
Make field `0` of `GateRef` is private
2023-08-09 11:24:32 -04:00
Jacqueline Nabaglo
b2626fdc71
Merge pull request #1162 from topos-protocol/cleanup_attributes
Remove unused attributes
2023-08-04 13:11:25 -07:00
Robin Salen
9f8c152222
Remove unused attributes 2023-08-02 08:54:20 -04:00
Robin Salen
5b9e8d85f0
Merge branch 'main' into poseidon_warning 2023-08-01 18:49:18 -04:00
Robin Salen
bd3834c403
Silence Poseidon warnings for ARM targets 2023-08-01 18:47:08 -04:00
Jacqueline Nabaglo
d8e314bc5c
Merge pull request #1155 from 0xmozak/matthias/generalise-transpose
Generalise transpose
2023-07-31 19:00:16 -07:00
Nicholas Ward
b414b8e92b fmt 2023-07-31 16:53:56 -07:00
Nicholas Ward
f574effe17 make imports conditional on config 2023-07-31 16:37:02 -07:00
Nicholas Ward
8432195517 update versions in cross-crate references 2023-07-31 16:34:27 -07:00
Nicholas Ward
3a55602909 update versions for crates.io updates 2023-07-31 16:31:22 -07:00
Matthias Goergens
7537193d45 Generalise transpose
So that it also works with eg `u64`, not just with field elements.
2023-07-31 23:23:54 +08:00
Linda Guiga
6253a68ea5
Change public values into public inputs 2023-07-27 18:27:08 -04:00
Robin Salen
ee9cd80cb4
Change arg to non-mutable reference 2023-07-27 12:45:25 -04:00
Robin Salen
0276446e7a
Add additional lookup unit tests 2023-07-27 12:22:51 -04:00
Robin Salen
dc70902f36
Remove always true condition 2023-07-27 12:02:15 -04:00
Robin Salen
bc24678026
Fix name in ID 2023-07-27 12:02:14 -04:00
Dimo99
6ca3f1a90e Make GateRef value public 2023-07-25 11:44:27 +03:00
Nicholas Ward
bfa7ab369e
Merge pull request #1111 from topos-protocol/lookup_serial
Lookup serialization
2023-07-24 13:29:10 -07:00
Nicholas Ward
535fb7d870
Update prover.rs 2023-07-21 19:02:21 -07:00
Nicholas Ward
e047676e6e
Merge pull request #1114 from onsen-egg/onsen-egg/lookup-opt
Lookup arg optimizations
2023-07-21 18:38:51 -07:00
onsen-egg
a67cfdcb67 Precompute RE poly evals for challenges 2023-07-21 16:17:22 -05:00
onsen-egg
03d90f30c9 Faster multiplicity counting for lookup tables 2023-07-21 16:17:15 -05:00
Tamir Hemo
8a86e1956e fix: add itertools/use_std feature flag for [std] 2023-07-20 11:36:31 -07:00