logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-03 14:23:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
4,426 Commits 4 Branches 0 Tags 17 MiB
Commit Graph

1980 Commits

Author SHA1 Message Date
Nicholas Ward
ac89c7cd40
Fix comment in proof.rs 2023-09-05 14:20:46 -07: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
Robin Salen
437f57a862
Fix logic CTL 2023-08-11 09:23:58 -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
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
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
Nicholas Ward
bf1ed78397
Merge pull request #1161 from topos-protocol/fix_recursive_ctl 
Fix prove_root()
 2023-08-02 15:25:03 -07:00
Robin Salen
9f8c152222
Remove unused attributes 2023-08-02 08:54:20 -04:00