John Guibas
|
800603d6f1
|
feat: serde for targets
|
2023-09-06 09:22:54 -07: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 |
|
Nicholas Ward
|
dd3b61a361
|
Merge pull request #1211 from mir-protocol/comment-fix
Fix comment in `proof.rs`
|
2023-09-05 14:24:05 -07: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 |
|
Nicholas Ward
|
760f09a8aa
|
Merge pull request #1201 from shuklaayush/fix/keccak-stark-reg-preimage
fix: constrain higher bits of reg_preimage
|
2023-08-28 12:41:10 -07:00 |
|
Ayush Shukla
|
301aedf072
|
fix: constrain higher bits of reg_preimage
|
2023-08-27 22:32:44 +02:00 |
|
Robin Salen
|
a0b2b48992
|
Merge pull request #1200 from topos-protocol/fix_empty_txn_list
Update ranges in empty_txn_list
|
2023-08-25 10:24:16 -07:00 |
|
Robin Salen
|
7196714734
|
Update range from ReceiptTrie PR
|
2023-08-25 09:58:20 -07:00 |
|
Daniel Lubarov
|
6e7fcc9e13
|
Merge pull request #1199 from jtguibas/john/make-generate-partial-witness-pub
feat: make generate_partial_witness available outside the crate
|
2023-08-24 11:14:58 -07:00 |
|
John Guibas
|
d3f33baed3
|
make generate partial_witness pub
|
2023-08-24 10:45:49 -07:00 |
|
BGluth
|
62f271a82a
|
Merge pull request #1198 from mir-protocol/public_values_serde
Made `PublicValues` serializable
|
2023-08-23 14:20:36 -06:00 |
|
BGluth
|
975fd451e8
|
Made PublicValues serializable
- Needed by the prover scheduler.
|
2023-08-23 12:36:11 -06:00 |
|
Linda Guiga
|
86fb6aa065
|
Merge pull request #1097 from topos-protocol/receipts_and_logs
Implement receipts and logs
|
2023-08-22 22:20:08 +01: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
|
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 |
|