chriseth
e1753fd88e
Challenges and stages.
2024-03-20 12:40:51 +01:00
Georg Wiese
a04e3f1360
Merge pull request #1157 from powdr-labs/witgen-fix-latch-on-first-row
...
Fix Witgen for machines connected by permutation with latch on first row
2024-03-19 23:05:41 +00:00
Georg Wiese
be7a48cb84
Witgen: Don't derive non-unique witness when there might be overflow
2024-03-19 14:13:17 +01:00
Leo Alt
efe11f40fc
enum declarations
2024-03-18 22:09:44 +01:00
Georg Wiese
6281554a45
Fix Witgen for machines connected by permutation with latch on first row
2024-03-13 13:57:54 +01:00
Georg Wiese
d7afe3d6d8
Merge pull request #1134 from powdr-labs/memory-machine-separate-selectors
...
Memory machine: Don't use selectors to distinguish operations
2024-03-12 11:54:20 +00:00
Georg Wiese
d4477779a2
Memory machine: Don't use selectors to distinguish operations
2024-03-12 12:13:36 +01:00
chriseth
dc05b9c56e
Use only one type type.
2024-03-11 18:01:40 +01:00
chriseth
349f9aa461
Parse numbers as integers.
2024-03-08 15:48:49 +01:00
chriseth
f0c9f0c41b
Delay evaluation.
2024-03-08 10:49:05 +01:00
chriseth
4024698b2a
Use ibig crate.
2024-03-08 07:31:27 +01:00
chriseth
2015953698
Use evaluation cache for symbols.
2024-03-07 13:14:03 +01:00
chriseth
f66d7a983c
Merge pull request #1116 from powdr-labs/remove_custom
...
Remove custom type from evaluator
2024-03-05 20:05:55 +00:00
Leo
888ddc9d67
Merge pull request #1125 from powdr-labs/clear_unused_deps
...
Nightly fix: ignoring env_logger on cargo udeps.
2024-03-05 20:04:19 +00:00
chriseth
cb548153a6
Remove Custom.
2024-03-05 20:36:52 +01:00
Lucas Clemente Vella
08ace88416
Nightly fix: ignoring env_logger on cargo udeps.
...
cargo udeps doesn't undertand why env_logger is needed on development
dependencies
2024-03-05 18:54:10 +00:00
Georg Wiese
ce015328ec
Merge pull request #1121 from powdr-labs/handle-incomplete
...
Witgen Sequence Iterator: Allow for empty steps
2024-03-05 16:22:37 +00:00
chriseth
9f4f4776e8
Use powder_number::BigInt / BigUint everywhere instead of num_bigint.
2024-03-05 15:32:39 +01:00
chriseth
57df2918d0
Rename number::BigInt to LargeInt.
2024-03-05 15:11:49 +01:00
Georg Wiese
0b750da16a
Rename CacheEntry variant
2024-03-05 14:36:39 +01:00
Georg Wiese
195a8c5127
Panic if the cache already has an entry
2024-03-05 14:35:13 +01:00
Georg Wiese
f82b48cfe2
Witgen Sequence Iterator: Allow for empty steps
2024-03-05 12:51:23 +01:00
chriseth
dc96509070
Make expressions and constraints native values.
2024-03-05 11:22:12 +01:00
chriseth
97ed14c48b
Type checking.
2024-03-01 17:36:54 +01:00
Georg Wiese
4eb8644e79
Witness generation for block machines connected via permutations
2024-02-29 16:04:58 +01:00
Leandro Pacheco
28c63ed2d9
AffineExpression as enum
...
- change AffineExpression to an enum of Constant|OneVar|ManyVars
- remove "cleaning" logic and keep coefficients ordered and clean
- rewrite of ExpressionEvaluator::evaluate_binary_operation to shortcut on Err when possible
2024-02-29 08:02:16 -03:00
Leo
41d856c698
Merge pull request #1068 from powdr-labs/poseidon-latch-first-row
...
Poseidon Machines: Change latch to be on first row
2024-02-27 12:49:28 +00:00
Leandro Pacheco
9f554793c6
use Cow for returning affine coefficients
2024-02-26 09:07:09 -03:00
Georg Wiese
f2c6caa991
Poseidon Machines: Change latch to be on first row
2024-02-26 11:59:36 +01:00
Leandro Pacheco
861e576da7
inlining
2024-02-24 23:06:44 -03:00
Leandro Pacheco
87c4d10370
make PolynomialTypeTrait::ptype() an associated constant
2024-02-23 10:02:15 -03:00
chriseth
1bcdb54587
Merge pull request #1086 from powdr-labs/opt_fixes
...
Small fixes for witgen performance
2024-02-23 12:30:35 +00:00
Leandro Pacheco
d45f9c7a8d
small changes for witgen performance
2024-02-23 08:06:59 -03:00
Georg Wiese
eb67bc5a2e
Witgen: Don't log errors if they can be recovered from
2024-02-22 18:37:27 +01:00
chriseth
daffb65c0c
Add type schemes.
2024-02-22 13:39:39 +01:00
chriseth
daa4dc9e07
Merge pull request #1081 from powdr-labs/small_fixes
...
typo & minor fixes
2024-02-21 13:56:20 +00:00
Leandro Pacheco
599f1635c3
typo & minor fixes
2024-02-21 10:23:06 -03:00
Georg Wiese
fdfdc7984d
Get rid of dummy blocks in BlockMachines
2024-02-21 10:58:18 +01:00
Georg Wiese
668d881057
On (N-1, 0) row pair, only execute identities with next reference
2024-02-19 10:27:50 +01:00
Georg Wiese
4d5df90e4c
Handle publics in gen_halo2_proof()
2024-02-13 17:57:31 +01:00
Lucas Clemente Vella
07835e0fec
Updating rust version from 1.72 to 1.74.
2024-02-08 19:17:40 +00:00
Georg Wiese
78e328f605
QueryProcessor: Give access to functions
2024-02-07 18:23:54 +01:00
chriseth
31e4c1ad97
Support arrays of fixed columns.
2024-02-07 11:55:16 +01:00
chriseth
2765e59a9f
Add types.
2024-02-06 10:25:04 +01:00
Leo
94377e9664
Merge pull request #949 from powdr-labs/pipeline-clonable2
...
Make Pipeline Clonable
2024-01-30 15:12:14 +00:00
Leo Alt
3daf9d90be
add package info
2024-01-29 18:35:32 +01:00
Leo
b1850ebd4e
Merge pull request #970 from powdr-labs/fix_error_message
...
Fix error message.
2024-01-29 12:23:29 +00:00
Georg Wiese
bbab5d3057
Make Pipeline Clonable
2024-01-29 13:14:47 +01:00
Leo
9719344b9d
Merge pull request #972 from powdr-labs/block-machine-one-more-pass
...
Block Machine Default Sequence Iterator: Do one more pass
2024-01-29 11:58:14 +00:00
Georg Wiese
bd34b6e801
Block Machine Default Sequence Iterator: Do one more pass
2024-01-29 11:49:12 +01:00
