BGluth
5936c67f59
Now refers to sub-crates using paths (and removed patch section)
...
- Previously refered to specific `crates.io` versions.
- Motivation for this is to allow external projects to be able use
specific revisions of this repo. Without this, a `[patch]` section
is almost always required in the external project in order to force
the internal plonky2 sub-crates to the same version, an approach which
comes with its own issues.
2023-09-07 16:36:38 -06:00
Robin Salen
71b2ece148
Merge pull request #1216 from topos-protocol/checkpoint_lengths
...
Display actual trace lengths instead of number of ops
2023-09-07 16:01:07 -04:00
Robin Salen
05e9fc0bed
Apply Nick's comment
2023-09-07 15:37:53 -04:00
Robin Salen
d0379e9428
Apply Nick's comment
2023-09-07 15:35:34 -04:00
Robin Salen
258b075fd2
Remove filter column for KeccakStark
2023-09-06 20:17:07 -04:00
Robin Salen
fa9aae1fdc
Remove duplicate code
2023-09-06 15:15:33 -04:00
Linda Guiga
6207f4465a
Merge pull request #1206 from topos-protocol/missing-public-value-links
...
Add missing links between public values
2023-09-06 18:53:15 +01:00
Robin Salen
8dcb29e5ad
Display actual trace lengths instead of number of ops
2023-09-06 12:31:17 -04:00
Linda Guiga
a7096546f1
Merge pull request #1209 from topos-protocol/receipts-all-types
...
Implement receipts of types 1 and 2
2023-09-06 15:24:16 +01:00
Linda Guiga
d4b71c5686
Replace genesis state trie check with TODO
2023-09-06 15:12:00 +01:00
Linda Guiga
6bd17e29c1
Apply comments
2023-09-06 01:19:31 +01:00
Nicholas Ward
ac89c7cd40
Fix comment in proof.rs
2023-09-05 14:20:46 -07:00
Linda Guiga
bf21b278d8
Apply comments
2023-09-05 08:22:53 +01:00
Linda Guiga
9ba2b895b9
Implement receipts of types 1 and 2
2023-09-04 15:03:18 +01:00
Linda Guiga
b07644368f
Add missing links between public values
2023-08-31 13:40:13 +01:00
Ayush Shukla
301aedf072
fix: constrain higher bits of reg_preimage
2023-08-27 22:32:44 +02:00
Robin Salen
7196714734
Update range from ReceiptTrie PR
2023-08-25 09:58:20 -07:00
BGluth
975fd451e8
Made PublicValues serializable
...
- Needed by the prover scheduler.
2023-08-23 12:36:11 -06:00
Linda Guiga
6a2e24232d
Clippy
2023-08-22 20:00:49 +01:00
Linda Guiga
caae038cec
Cleanup
2023-08-22 20:00:49 +01:00
Linda Guiga
5b962f3c06
Change receipts_trie in basic_smart_contract and self_balance_gas_cost
2023-08-22 20:00:49 +01:00
Linda Guiga
ad9796cb10
Fix tests and address comments
2023-08-22 20:00:49 +01:00
Robin Salen
925cdd5351
Cleanup
2023-08-22 20:00:49 +01:00
Robin Salen
c0b4f155f4
Implement receipts and logs
...
Co-authored-by: Hamy Ratoanina <hamy.ratoanina@toposware.com>
Co-authored-by: Linda Guiga <lindaguiga3@gmail.com>
2023-08-22 20:00:49 +01:00
Linda Guiga
44115de7ae
Merge pull request #1174 from topos-protocol/merge-context-flags
...
Combine get_context and set_context into one flag
2023-08-22 19:23:22 +01:00
BGluth
18ca89f093
Patched plonky2 to use a patch for eth_trie_utils
2023-08-21 16:44:22 -06:00
Linda Guiga
4e5f6e7e63
Apply comment
2023-08-21 23:12:25 +01:00
Linda Guiga
10bbda039b
Remove unnecessary changes in the Operation enum
2023-08-21 23:12:25 +01:00
Linda Guiga
c3cb227896
Combine get_context and set_context into one flag
2023-08-21 23:12:25 +01:00
Robin Salen
74212a29ae
Merge pull request #1192 from topos-protocol/misc_constraints
2023-08-21 14:58:34 -04:00
Robin Salen
f6f9fa3197
Merge pull request #1190 from topos-protocol/mpt-remove-cow
...
Remove copy on write for mpt_insert and mpt_delete
2023-08-19 17:55:38 -04:00
Linda Guiga
06e20f87b6
Apply comment
2023-08-19 18:24:35 +01:00
Robin Salen
8476fdcd93
Refactor
2023-08-19 10:46:01 -04:00
Robin Salen
9a4500683b
Update BlockBaseFee to fit in 2 limbs
2023-08-19 10:23:24 -04:00
Robin Salen
68bb49671d
Update tests to have a blockgaslimit fitting u32s
2023-08-18 19:02:06 -04:00
Robin Salen
976d752153
Observe public values
2023-08-18 18:59:58 -04:00
Robin Salen
0b78c43fa3
Remove filtering in membus
2023-08-18 15:53:13 -04:00
Robin Salen
91e8d52d35
Reduce overconstraining in decode module
2023-08-18 15:46:23 -04:00
Robin Salen
b711e5279a
Combine a few constraints
2023-08-18 15:36:46 -04:00
Robin Salen
d96c649169
Merge pull request #1165 from topos-protocol/ci-test
...
CI Speed-up
2023-08-18 13:59:38 -04:00
Linda Guiga
d70d67fad4
Remove copy on write for mpt_insert and mpt_delete
2023-08-18 16:53:40 +01:00
Robin Salen
49d92cb8f1
Remove is_bootstrap_kernel column
2023-08-17 17:35:35 -04:00
Hamy Ratoanina
815a02ab75
Remove is_cpu_cycle
2023-08-15 15:22:41 -04:00
Robin Salen
89e62e554a
Use Keccak config in simple tests
2023-08-15 10:48:40 -04:00
Hamy Ratoanina
12f379f99b
Combine jump flags
2023-08-14 19:08:24 -04:00
Robin Salen
470788d03d
Merge pull request #1185 from topos-protocol/combine_simple_logic_flags
...
Combine EQ and ISZERO flags
2023-08-14 17:36:19 -04:00
Nicholas Ward
7cdb6baf2d
Merge pull request #1177 from topos-protocol/alloc
...
Reduce reallocations
2023-08-14 12:17:54 -07:00
Robin Salen
7829dccf83
Combine EQ and ISZERO flags
2023-08-12 11:08:01 -04:00
Robin Salen
654f7cac42
Comment
2023-08-11 16:07:02 -04:00
Robin Salen
e10eaad09b
Combine all logic flags together
2023-08-11 10:17:45 -04:00