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

4340 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Nicholas Ward
5b8740a729
Merge pull request #1026 from topos-protocol/memory-ctl-verifier-bus 
Fix the memory CTL and implement the verifier memory bus
 2023-07-28 16:01:34 -07:00
Jacqueline Nabaglo
3b21b87d0a
Merge pull request #1151 from mir-protocol/jacqui/dead-memtable-cols 
Cut 5 Columns From The Memory Table With This One Weird Trick!
 2023-07-27 15:41:58 -07:00
Hamy Ratoanina
7a882d0a64
Clippy 2023-07-27 18:27:09 -04:00
Linda Guiga
6253a68ea5
Change public values into public inputs 2023-07-27 18:27:08 -04:00
Hamy Ratoanina
59b73c84ee
Apply comments 2023-07-27 18:27:06 -04:00
Hamy Ratoanina
1590c1d0be
Fix indices in CTL functions 2023-07-27 18:27:05 -04:00
Hamy Ratoanina
f97deab8a7
Remove non-passing debug assert 2023-07-27 18:20:04 -04:00
Linda Guiga
06037f814f
Fix the memory CTL and implement the verifier memory bus 
Co-authored-by: Hamy Ratoanina <hamy.ratoanina@toposware.com>
 2023-07-27 18:20:03 -04:00
Jacqueline Nabaglo
b3f00d4ab8
Merge pull request #1146 from topos-protocol/overlap-cpu-syscalls 
Merge syscalls and exceptions constraints.
 2023-07-27 15:18:00 -07:00
Jacqueline Nabaglo
831fe862ff Cut 5 Columns From The Memory Table With This One Weird Trick! 2023-07-27 15:04:10 -07:00
Nicholas Ward
bfd6b98884
Merge pull request #1148 from topos-protocol/lookup_check 
Lookup check
 2023-07-27 12:50:14 -07: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
Nicholas Ward
bfa7ab369e
Merge pull request #1111 from topos-protocol/lookup_serial 
Lookup serialization
 2023-07-24 13:29:10 -07:00
Linda Guiga
16227f90b9
Merge syscall and exceptions constraints. 2023-07-24 15:40:48 +01:00
Nicholas Ward
0f52c8892b
Merge pull request #1145 from mir-protocol/npwardberkeley-patch-1 
Update prover.rs
 2023-07-21 19:04:07 -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
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