wborgeaud
|
c9eed2bbf9
|
Connect public values in aggregation circuit (#1169)
* Connect public values in aggregation circuit
* Minor
|
2023-08-07 21:00:32 +02:00 |
|
Jacqueline Nabaglo
|
397ee26604
|
Merge pull request #1171 from topos-protocol/exception-flag
Set exception flag to 1.
|
2023-08-07 11:35:26 -07:00 |
|
Linda Guiga
|
017e621778
|
Set exception flag to 1.
|
2023-08-07 18:39:55 +01:00 |
|
Robin Salen
|
e64070899d
|
Error instead of panicking for missing preprocessed circuits (#1159)
|
2023-08-07 17:42:03 +02:00 |
|
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 |
|
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 |
|
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 |
|