Hamish Ivey-Law
c9bd32d5cf
Fix trait import. ( #1163 )
2023-08-02 23:24:03 +10:00
Jacqueline Nabaglo
4a762e3336
Merge pull request #1160 from topos-protocol/keccak_general
...
Constrain keccak general
2023-08-01 15:52:45 -07:00
Robin Salen
f01098a783
Constrain keccak general
2023-08-01 11:16:45 -04:00
Hamish Ivey-Law
9e0719e6be
Better document constraints on addcy carries ( #1139 )
...
* Add missing constraints on addcy carries.
* Remove bit-checks; make documentation clearer.
2023-08-01 20:58:32 +10:00
Jacqueline Nabaglo
d8e314bc5c
Merge pull request #1155 from 0xmozak/matthias/generalise-transpose
...
Generalise transpose
2023-07-31 19:00:16 -07:00
Jacqueline Nabaglo
8c6e8d638a
Merge pull request #1158 from mir-protocol/jacqui/gas-check-spec
...
Gas handling brain dump
2023-07-31 17:20:29 -07:00
Jacqueline Nabaglo
c52ed29e08
Gas handling brain dump
2023-07-31 17:19:46 -07:00
Nicholas Ward
eebf7eb09b
Merge pull request #1157 from mir-protocol/update-versions
...
update versions for crates.io updates
2023-07-31 17:13:22 -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
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
