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
a881c70e50
Merge pull request #1191 from mir-protocol/eth_trie_utils_patch
...
Patch `eth_trie_utils` to use a non crates-io version
2023-08-22 10:31:38 -06: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
a94d928204
Merge pull request #1194 from topos-protocol/block_basefee
...
Use 2 limbs for BlockBaseFee
2023-08-19 12:59:20 -04: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
c138f2d64f
Merge pull request #1193 from topos-protocol/observe_pv
...
Observe PublicValues
2023-08-19 09:27:40 -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
1997bf242b
Implement inverse from Fermat little theorem ( #1176 )
...
* Add inverse from Fermat little theorem
* Remove inlining for goldilocks try_inverse method
2023-08-19 00:50:08 +10:00
Robin Salen
eb7bb46102
Merge pull request #1189 from topos-protocol/remove_is_bootstrap_kernel_flag
...
Remove is_bootstrap_kernel column
2023-08-17 18:39:55 -04:00
Robin Salen
49d92cb8f1
Remove is_bootstrap_kernel column
2023-08-17 17:35:35 -04:00
Hamy Ratoanina
683501cc67
Merge pull request #1183 from topos-protocol/remove_is_cpu_cycle_flag
...
Remove is_cpu_cycle
2023-08-15 22:59:50 +02: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
Hamish Ivey-Law
7b07229b46
Add guidance for external contributors to README.md
2023-08-16 00:45:01 +10:00
Hamy Ratoanina
830fdf5374
Merge pull request #1184 from topos-protocol/combine_jump_flags
...
Combine jump flags
2023-08-15 01:35:56 +02: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
Jacqueline Nabaglo
dc7e0aa79b
Merge pull request #1181 from topos-protocol/combine_logic_flags
...
Combine logic flags
2023-08-11 13:33:11 -07: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
Robin Salen
437f57a862
Fix logic CTL
2023-08-11 09:23:58 -04:00
Robin Salen
5100e032d8
Revert changes in cyclic_subgroup_unknown_order
2023-08-10 15:57:31 -04:00
Robin Salen
8541a04b4c
Apply Nicholas comment
2023-08-10 15:54:03 -04:00
Robin Salen
56ebda4981
Address review
2023-08-10 10:40:47 -04:00
Robin Salen
12a687d34a
Reduce reallocations
2023-08-10 08:52:21 -04:00
Robin Salen
ee9ce4c59d
Combine AND and OR flags in CpuStark
2023-08-09 16:05:24 -04:00
Robin Salen
6f98fd7628
Merge pull request #1147 from metacraft-labs/gate_make_public_parameter
...
Make field `0` of `GateRef` is private
2023-08-09 11:24:32 -04:00
Robin Salen
5f4b15af7a
Connect SHL/SHR operations to the Arithmetic table ( #1166 )
...
* Add corresponding arithmetic operations to shift ones
* Include SHL/SHR in the arithmetic CTL
* Prevent overflow
* Expand documentation for ctl_data_ternops()
2023-08-09 23:17:06 +10:00
wborgeaud
df07ae093a
Write trie roots to memory before kernel bootstrapping ( #1172 )
...
* Write trie roots
* Remove CPU trace length
* Update hash_initial/final_tries
* Fix tests
* Minor
* PR feedback
2023-08-09 10:15:13 +02:00
wborgeaud
c9eed2bbf9
Connect public values in aggregation circuit ( #1169 )
...
* Connect public values in aggregation circuit
* Minor
2023-08-07 21:00:32 +02:00
