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

164 Commits

Author SHA1 Message Date
Robin Salen
571dc14f4c
Fix encoding for empty recipient 2023-10-03 20:21:21 -04:00
wborgeaud
3ac0c4ae18
Fix genesis state trie root when calling prove_root (#1271) 
* Fix genesis state trie root in some tests

* Just do it in tests calling prove_block
 2023-10-03 17:47:10 +02:00
Robin Salen
cd36e96cb8
Derive clone for txn RLP structs (#1264) 
* Derive Clone for txn rlp structs

* Put txn rlp related structs behind testing module

* Move module to end of file
 2023-10-02 09:59:45 -04:00
Robin Salen
0f19cd0dbc
Make gas fit in 2 limbs (#1261) 
* Make gas fit in 2 limbs

* Fix recursive challenger

* Fix indices

* Add clarifying comments on ranges supported

* Add mention to revert before production
 2023-09-29 14:47:23 -04:00
Alonso González
f49fbc8e9b
Transactions trie support (#1232) 
* Implement transactions.

* Fix receipts and transactions

* Add some fixes

* Update tests

* Remove changes added for debugging purposes only

* Clippy

* Remove additional debug changes

* Remove unused

* Apply comments

---------

Co-authored-by: Linda Guiga <lindaguiga3@gmail.com>
Co-authored-by: Robin Salen <salenrobin@gmail.com>
 2023-09-27 10:00:16 -04:00
Robin Salen
acc659da07
Add type 1 and 2 txn for RLP encoding support (#1255) 2023-09-26 14:56:18 -04:00
Linda Guiga
5694af79f9
Merge remote-tracking branch 'mir-plonky2/main' into constrain-genesis-state 2023-09-26 12:24:48 -04:00
Robin Salen
03a9558198
Handle additional panics (#1250) 
* Remove some panic risks

* Remove more panics

* Handle jump with empty stack

* Handle last expect

* More panics

* Handle from_big_endian

* Handle from_little_endian

* Remove remaining risky as_usize()

* Remove explicit panic

* Clippy

* Handle unwrap

* Make error messages more explicit

* Simplify u256 to usize conversion
 2023-09-26 11:13:57 -04:00
wborgeaud
8c78271f5c
Add random value to block metadata and fix sys_prevrandao (#1207) 
* Add random to block metadata and fix `sys_prevrandao`

* Minor

* Observe block_random

* Write block_random

* cargo fmt

* block_random: H256

* Move sys_prevrandao to metadata.asm and delete syscall_stubs.asm

* Set block_random in set_block_metadata_target

* Minor

* Minor
 2023-09-25 18:20:22 +02:00
Linda Guiga
9d0101d652
Merge branch 'main' into 'constrain-genesis-state' 2023-09-25 10:19:13 -04:00
Robin Salen
f3ea95cacc
Merge branch 'main' into error_vs_panic 2023-09-18 09:59:52 -04:00
Robin Salen
8903aec129
Change padding rule for CPU (#1234) 
* Change padding rule for CPU

* Disable memory channels for padding rows

* Apply some of Jacqueline's comments

* Update halt routine

* Add clarifying comment

* Redundant constraints and padding bug

* Revert "Remove is_bootstrap_kernel column"

This reverts commit 49d92cb8f1b0ae9de76872f76af4429699ff692f.

* Make halt_state implicit

* Move halting logic constraints to dedicated module

* Include new module

* Update some comments
 2023-09-15 17:46:58 -04:00
Robin Salen
5a1b05acfb
Remove risks of panic 2023-09-12 19:23:16 -04:00
Linda Guiga
4d7d9ffa3c
Constrain genesis block's state trie. 2023-09-11 19:09:12 +01:00
Linda Guiga
180c20942b
Merge pull request #1208 from topos-protocol/blockhash_opcode 
Add blockhash opcode
 2023-09-07 23:21:37 +01: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
Linda Guiga
170f7d838a
Fix Clippy 2023-09-07 12:35:36 +01:00
Linda Guiga
4e0fe74a74
Apply comments 2023-09-07 09:43:59 +01:00
Linda Guiga
42f7038031
Add blockhash sys opcode 2023-09-07 09:43:59 +01:00
Robin Salen
8dcb29e5ad
Display actual trace lengths instead of number of ops 2023-09-06 12:31:17 -04:00
Linda Guiga
b07644368f
Add missing links between public values 2023-08-31 13:40:13 +01:00
Linda Guiga
ad9796cb10
Fix tests and address comments 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
BGluth
18ca89f093 Patched plonky2 to use a patch for eth_trie_utils 2023-08-21 16:44:22 -06: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
Linda Guiga
6253a68ea5
Change public values into public inputs 2023-07-27 18:27:08 -04:00
Hamy Ratoanina
59b73c84ee
Apply comments 2023-07-27 18:27:06 -04:00
Linda Guiga
06037f814f
Fix the memory CTL and implement the verifier memory bus 
Co-authored-by: Hamy Ratoanina <hamy.ratoanina@toposware.com>
 2023-07-27 18:20:03 -04:00
Nicholas Ward
152e395903
Merge pull request #1137 from topos-protocol/fix-kernel-panic 
Change context used in `bignum_modmul`
 2023-07-17 08:41:27 -07:00
Linda Guiga
1af1afcff4
Change current context in bignum_modmul 2023-07-17 10:17:52 +01:00
Robin Salen
f116c855aa
Fix risk of division by zero 2023-07-16 15:01:36 -04:00
wborgeaud
ec07255f01
Fix halt loop (#1094) 2023-06-13 10:42:37 +02:00
wborgeaud
ba705703a5
Use current context for pairing memory (#1091) 2023-06-12 22:55:38 +02:00
BGluth
49979df919 Fixed failing test 2023-05-17 08:44:09 -06:00
BGluth
10e6c76842 TrieInputs now uses H256 for storage account addresses 
- Slightly easier for us if we use `H256` instead of `H160`.
 2023-05-16 13:51:03 -06:00
wborgeaud
b7e93511e4
New contract hook (#1002) 
* New contract hook

* Minor

* PR feedback
 2023-04-24 09:07:00 +02:00
Robin Salen
df5a90cca4
Provide methods for serializing Kernel 2023-04-15 11:01:40 -04:00
Nicholas Ward
90f7ba9a23 addressed final comments 2023-04-04 13:33:20 -07:00
Nicholas Ward
cdaabfe9f2 Merge branch 'main' into bignum-modexp 2023-03-28 16:09:02 -07:00
BGluth
b667c07497
Merge pull request #940 from mir-protocol/eth_trie_utils_bump 
Bumped `eth_trie_utils` to `0.5.0`
 2023-03-28 15:06:11 -06:00
BGluth
3c7bc8835c Removed a type alias 
- Was conflicting with the trait `PartialTrie` and also making the types
  harder to follow.
 2023-03-28 14:38:58 -06:00
Nicholas Ward
c18377d12f Merge branch 'main' into bignum-modexp 2023-03-28 11:15:27 -07:00
Nicholas Ward
91fb4fc02e fix modexp test 2023-03-28 11:15:01 -07:00
Dmitry Vagner
cf5a4edc8b prover input minor improvements 2023-03-27 18:20:22 -07:00
BGluth
60ad9e03ba Bumped eth_trie_utils to 0.5.0 2023-03-27 17:30:11 -06:00
Dmitry Vagner
1627a9a0d3 tests pass 2023-03-22 09:55:35 -07:00
Nicholas Ward
1fbe305034 Merge branch 'main' into bignum-modexp 2023-03-22 09:46:17 -07:00
Dmitry Vagner
392c29f412 compiles 2023-03-21 21:16:19 -07:00
Dmitry Vagner
9ea0ebd78f skeleton 2023-03-21 21:10:01 -07:00
Dmitry Vagner
143225f449 finish 2023-03-21 19:19:02 -07:00