Jacqueline Nabaglo
b2626fdc71
Merge pull request #1162 from topos-protocol/cleanup_attributes
...
Remove unused attributes
2023-08-04 13:11:25 -07:00
Jacqueline Nabaglo
9eeb69f022
Merge pull request #1105 from topos-protocol/poseidon_warning
...
Silence Poseidon warnings for ARM targets
2023-08-04 13:10:41 -07:00
Nicholas Ward
bf1ed78397
Merge pull request #1161 from topos-protocol/fix_recursive_ctl
...
Fix prove_root()
2023-08-02 15:25:03 -07:00
Hamish Ivey-Law
c9bd32d5cf
Fix trait import. ( #1163 )
2023-08-02 23:24:03 +10:00
Robin Salen
9f8c152222
Remove unused attributes
2023-08-02 08:54:20 -04: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
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
Robin Salen
5316f89043
Clippy
2023-08-01 16:48:15 -04:00
Robin Salen
8365608b85
Convert to u32 instead of u64
2023-08-01 16:45:11 -04:00
Robin Salen
c93f9d5fd2
Fix endianness in benefiary limbs
2023-08-01 16:44:22 -04:00
Robin Salen
bca3e09bba
Reuse set_public_value_targets
2023-08-01 16:43:27 -04: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
