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
Nicholas Ward
167518ed28
Merge pull request #1143 from succinctlabs/build_issue_on_mac_M2
...
Build issues on Mac M2: add "Itertools/use_std" flag to "std"
2023-07-21 13:42:48 -07:00
Hamish Ivey-Law
6a7728798b
Fix negative quotient issue ( #1140 )
...
* First draft.
* Separate out mulmod constraint poly from the rest.
* Offset quot limbs when doing SUB* operations.
* Refactor constr_poly calculation.
* Clippy.
* Constrain the hi part of quot to be 0 or 1 for SUB* ops.
* Simplify storage and handling of negative quotient limbs.
* Remove unnecessary constant; move another to main file.
* Move constant back; cast properly.
2023-07-21 20:59:27 +10:00
Nicholas Ward
25678f464a
Merge pull request #1144 from mir-protocol/build-in-subdirectories
...
CI: build in subdirectories
2023-07-20 21:46:02 -07:00
Nicholas Ward
f3e87ec4de
CI: build in subdirectories
2023-07-20 15:45:46 -07:00
Tamir Hemo
8a86e1956e
fix: add itertools/use_std feature flag for [std]
2023-07-20 11:36:31 -07:00
Nicholas Ward
2d8c02bff2
Merge pull request #1138 from 0xmozak/bing/dep-serde-rc
...
deps(serde): use `rc` feature in `plonky2` crate
2023-07-18 23:37:04 -07:00
Robin Salen
7ba051f4c7
Fix failing byte constraint ( #1135 )
2023-07-18 02:45:07 +10:00
Nicholas Ward
152e395903
Merge pull request #1137 from topos-protocol/fix-kernel-panic
...
Change context used in `bignum_modmul`
2023-07-17 08:41:27 -07:00
bing
e28b484a2c
deps(serde): use rc
2023-07-17 21:10:06 +08:00
Linda Guiga
1af1afcff4
Change current context in bignum_modmul
2023-07-17 10:17:52 +01:00
Nicholas Ward
cf278eac73
Merge pull request #1136 from topos-protocol/div_by_zero
...
Fix risk of division by zero
2023-07-16 14:05:48 -07:00
Robin Salen
f116c855aa
Fix risk of division by zero
2023-07-16 15:01:36 -04:00
Nicholas Ward
b27389dfbb
Merge pull request #1134 from topos-protocol/avx_tests
...
Fix import in arch tests
2023-07-16 08:46:48 -07:00
Robin Salen
04657d246b
Fix import
2023-07-16 11:21:56 -04:00
Robin Salen
1d6ca5894f
Add LUT hash to remove CircuitBuilder overhead
2023-07-14 19:22:13 -04:00
Nicholas Ward
4893a86001
Merge pull request #1116 from topos-protocol/recursive_ranges
...
Remove need for matching start ranges
2023-07-14 09:32:24 -07:00
Daniel Lubarov
00579850be
Merge pull request #1132 from mir-protocol/dependabot/cargo/itertools-0.11.0
...
Update itertools requirement from 0.10.3 to 0.11.0
2023-07-13 19:52:37 -07:00
Robin Salen
8b35fefb3b
Rename cd to common_data for consistency
...
Cf review
2023-07-13 19:34:32 -04:00
Robin Salen
cbb3da15c9
Reduce number of lookup accesses
2023-07-13 19:29:33 -04:00
Robin Salen
b32345cd52
Update lookup serialization
2023-07-13 19:29:33 -04:00
Robin Salen
c80201261d
Provide methods for ProverOnlyCircuitData serialization
2023-07-13 19:29:33 -04:00
Robin Salen
544aff27b6
Also provide CommonCircuitData in serialization of gates and generators
2023-07-13 19:27:51 -04:00
Robin Salen
47781e4733
Add CommonCircuitData to gates deserialization method
2023-07-13 19:27:50 -04:00
Robin Salen
b43d6c1d67
Add CommonCircuitData to generators deserialization method
2023-07-13 19:27:50 -04:00
Robin Salen
d684ee2d8d
Switch Field type of generators to be F: RichField + Extendable<D>
2023-07-13 19:27:50 -04:00
dependabot[bot]
5d513207ef
Update itertools requirement from 0.10.3 to 0.11.0
...
Updates the requirements on [itertools](https://github.com/rust-itertools/itertools ) to permit the latest version.
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md )
- [Commits](https://github.com/rust-itertools/itertools/compare/v0.10.3...v0.11.0 )
---
updated-dependencies:
- dependency-name: itertools
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-07-13 23:00:00 +00:00
Nicholas Ward
4400757f3f
Merge pull request #1128 from mir-protocol/dependabot/cargo/hex-literal-0.4.1
...
Update hex-literal requirement from 0.3.4 to 0.4.1
2023-07-13 15:59:07 -07:00
Nicholas Ward
dc1709155a
Merge pull request #1131 from mir-protocol/dependabot/cargo/criterion-0.5.1
...
Update criterion requirement from 0.4.0 to 0.5.1
2023-07-13 15:58:18 -07:00
Nicholas Ward
c202f4bc7f
Merge pull request #1129 from mir-protocol/dependabot/cargo/ahash-0.8.3
...
Update ahash requirement from 0.7.6 to 0.8.3
2023-07-13 15:58:08 -07:00
Nicholas Ward
0f284ca6a7
Merge pull request #1130 from mir-protocol/dependabot/cargo/hashbrown-0.14.0
...
Update hashbrown requirement from 0.12.3 to 0.14.0
2023-07-13 15:57:56 -07:00
Nicholas Ward
63b8cebaac
Merge pull request #1124 from 0xmozak/matthias/remove_unused_deps
...
Remove unused dependency `blake2` from `evm` crate
2023-07-13 15:39:10 -07:00
Nicholas Ward
e3f1270985
Merge pull request #1123 from 0xmozak/matthias/fix-readme
...
Fix spaces and wording in README
2023-07-13 15:38:56 -07:00
dependabot[bot]
b0c5ddc070
Update criterion requirement from 0.4.0 to 0.5.1
...
Updates the requirements on [criterion](https://github.com/bheisler/criterion.rs ) to permit the latest version.
- [Changelog](https://github.com/bheisler/criterion.rs/blob/master/CHANGELOG.md )
- [Commits](https://github.com/bheisler/criterion.rs/compare/0.4.0...0.5.1 )
---
updated-dependencies:
- dependency-name: criterion
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-07-13 22:33:22 +00:00
dependabot[bot]
fc70f36c2e
Update hashbrown requirement from 0.12.3 to 0.14.0
...
Updates the requirements on [hashbrown](https://github.com/rust-lang/hashbrown ) to permit the latest version.
- [Changelog](https://github.com/rust-lang/hashbrown/blob/master/CHANGELOG.md )
- [Commits](https://github.com/rust-lang/hashbrown/compare/v0.12.3...v0.14.0 )
---
updated-dependencies:
- dependency-name: hashbrown
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-07-13 22:33:00 +00:00
dependabot[bot]
0d9208a644
Update ahash requirement from 0.7.6 to 0.8.3
...
Updates the requirements on [ahash](https://github.com/tkaitchuck/ahash ) to permit the latest version.
- [Release notes](https://github.com/tkaitchuck/ahash/releases )
- [Commits](https://github.com/tkaitchuck/ahash/compare/v0.7.6...v0.8.3 )
---
updated-dependencies:
- dependency-name: ahash
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-07-13 22:32:57 +00:00
dependabot[bot]
413f589e6c
Update hex-literal requirement from 0.3.4 to 0.4.1
...
Updates the requirements on [hex-literal](https://github.com/RustCrypto/utils ) to permit the latest version.
- [Commits](https://github.com/RustCrypto/utils/compare/hex-literal-v0.3.4...hex-literal-v0.4.1 )
---
updated-dependencies:
- dependency-name: hex-literal
dependency-type: direct:production
...
Signed-off-by: dependabot[bot] <support@github.com>
2023-07-13 22:32:41 +00:00
Nicholas Ward
cc45ac9aec
Merge pull request #1125 from 0xmozak/matthias/fix-resolver-warning
...
Fix resolver warning
2023-07-13 15:32:30 -07:00
Nicholas Ward
1f561771ae
Merge pull request #1126 from 0xmozak/matthias/add-dependabot
...
Enable github's Dependabot
2023-07-13 15:32:09 -07:00
Linda Guiga
7437fe2b51
Fill modulus in cpu row for Fp254 operations. ( #1122 )
2023-07-14 06:53:06 +10:00
Matthias Goergens
9e748a4745
Enable github's Dependabot
...
This PR enables automated dependency updates built into GitHub. That's
useful for keeping up-to-date on security updates for example.
2023-07-13 12:27:11 +08:00
Matthias Goergens
6c2f76d529
Fix resolver warning
...
When running eg `cargo check` or `cargo build` you got greeted with the
following warning:
```
warning: some crates are on edition 2021 which defaults to `resolver = "2"`, but virtual workspaces default to `resolver = "1"`
note: to keep the current resolver, specify `workspace.resolver = "1"` in the workspace root's manifest
note: to use the edition 2021 resolver, specify `workspace.resolver = "2"` in the workspace root's manifest
```
This PR fixes this.
2023-07-13 12:21:40 +08:00
Matthias Goergens
4b0fc861b3
Remove unused dependency blake2 from evm crate
2023-07-13 12:18:09 +08:00
Matthias Goergens
f6b2e7427e
Fix spaces and wording in README
2023-07-13 12:10:54 +08:00
Nicholas Ward
ee5d1aa6c8
Merge pull request #1033 from 0x0ece/transpose
...
Optimize transpose
2023-07-11 12:41:28 -07:00
Nicholas Ward
398f86af1e
Merge pull request #1092 from matthiasgoergens/matthias/move_to_field
...
Move operations to Field
2023-07-11 12:40:49 -07:00
Nicholas Ward
2d7a94de6a
formatting
2023-07-11 12:05:22 -07:00
Nicholas Ward
94f880b67b
Merge pull request #1104 from topos-protocol/serializer
...
Make serializer work with slices
2023-07-11 10:34:23 -07:00