4l0n50
ae4a720a74
Address comments
2024-01-10 17:26:34 +01:00
Alonso González
92aaa404da
Apply suggestions from code review
...
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
2024-01-10 13:55:09 +01:00
4l0n50
1715573c22
Fix problems after address bundling
2024-01-09 14:15:16 +01:00
Robin Salen
cb19f21994
Add crate-level documentation ( #1444 )
...
* Add crate-level documentation
* Revert change
* Skip
* Typo
* Apply comments
* Rephrase paragraph
* Apply comments
2024-01-08 14:08:53 +01:00
Robin Salen
2dacbfe2ff
Address bundling ( #1426 )
...
* Start
* Scale TxnFields
* Speed-up
* Misc fixes
* Other fixes
* Fix
* Fix offset
* One more fix
* And one more fix
* Fix
* Fix
* Fix init
* More interpreter fixes
* Final fixes
* Add helper methods
* Clippy
* Apply suggestions
* Comments
* Update documentation
* Regenerate pdf
* minor
* Rename some macros for consistency
* Add utility method for unscaling segments and scaled metadata
* Address comments
2024-01-08 10:46:26 +00:00
4l0n50
a85f9872f1
Fix bug in jumpdest proof generation and check that jumpdest addr < code_len
2023-12-28 14:04:23 +01:00
4l0n50
3e78865d64
Remove aborts for invalid jumps and Rebase
2023-12-20 15:02:32 +01:00
4l0n50
0ae56db0f2
Reabse to main
2023-12-20 14:44:34 +01:00
4l0n50
11d668f5e6
Remove aborts for invalid jumps
2023-12-20 14:29:57 +01:00
4l0n50
4e569484c2
Improve proof generation
2023-12-20 14:29:57 +01:00
4l0n50
c4025063de
Clippy
2023-12-20 14:29:57 +01:00
4l0n50
5acabad72d
Eliminate nested simulations
2023-12-20 14:29:54 +01:00
Alonso González
0bec627899
Apply suggestions from code review
...
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
2023-12-20 14:29:08 +01:00
4l0n50
ff3dc2e516
Refactor run_next_jumpdest_table_proof
2023-12-20 14:29:04 +01:00
4l0n50
9e39d88ab8
Rebase to main
2023-12-20 14:28:38 +01:00
4l0n50
6ababc96ec
Remove aborts for invalid jumps
2023-12-20 14:13:36 +01:00
4l0n50
829ae64fc4
Improve proof generation
2023-12-19 14:05:51 +01:00
Robin Salen
536cd1c89c
Regenerate tries upon Kernel failure during hash_final_tries ( #1424 )
...
* Generate computed tries in case of failure
* Only output debug info when hashing final tries
* Clippy
* Apply comments
2023-12-18 08:46:16 +00:00
Robin Salen
a64311cfd4
Add aborting signal ( #1429 )
...
* Add aborting signal
* Clippy
* Update to Option following comment
2023-12-15 19:35:27 +01:00
4l0n50
77f1cd3496
Clippy
2023-12-15 18:52:40 +01:00
4l0n50
81f13f3f8a
Eliminate nested simulations
2023-12-15 17:11:00 +01:00
Alonso González
2c5347c45f
Apply suggestions from code review
...
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
2023-12-15 09:49:19 +01:00
4l0n50
f76ab77741
Refactor run_next_jumpdest_table_proof
2023-12-13 17:34:23 +01:00
4l0n50
3e8ad08688
Rebase to main
2023-12-13 17:33:53 +01:00
Robin Salen
bfcfcdb498
Add Checkpoint heights ( #1418 )
2023-12-09 06:26:55 +01:00
Linda Guiga
a90aa40b7a
Implement MPT preinitialization ( #1406 )
...
* Implement MPT preinitialization
* Apply comments
* Replace GlobalMetadata reads with stores in the kernel
* Change memory specs
* Remove trie data length as a prover input
2023-12-07 12:08:47 -05:00
Robin Salen
47e24306b7
Remove GenerationOutputs ( #1408 )
2023-12-05 18:10:36 -05:00
Robin Salen
32d009671a
Fix kernel codehash discrepancy ( #1400 )
2023-12-01 14:34:19 -05:00
Robin Salen
5572da30d7
Remove intermediary block bloom filters ( #1395 )
...
* Remove intermediary block blooms
* Update specs
* Regenerate pdf
* Apply comment, remove unneeded segment
2023-11-30 13:11:38 -05:00
Hamy Ratoanina
30c944f778
Remove bootstrapping ( #1390 )
...
* Start removing bootstrapping
* Change the constraint for kernel code initializing
* Update specs
* Apply comments
* Add new global metadata to circuit methods
* Change zero-initializing constraint
* Apply comment
* Update circuit size range for recursive test
2023-11-30 10:04:08 -05:00
Robin Salen
24aa9668f2
Revert "Make gas fit in 2 limbs ( #1261 )" ( #1361 )
...
* Revert "Make gas fit in 2 limbs (#1261 )"
This reverts commit 0f19cd0dbc25f9f1aa8fc325ae4dd1b95ca933b3.
* Comment
2023-11-17 10:01:26 -05:00
Hamy Ratoanina
6d751b13c1
Remove values of last memory channel ( #1291 )
...
* Remove values of last memory channel
Co-authored-by: Linda Guiga <lindaguiga3@gmail.com>
* Fix merge
* Apply comments
* Fix ASM
* Top stack documentation (#7 )
* Add doc file
* Apply comments
* Apply comments
* Fix visibility
* Fix visibility
---------
Co-authored-by: Linda Guiga <lindaguiga3@gmail.com>
2023-11-13 11:03:50 -05:00
Robin Salen
954d1a77c6
Remove logic for multiple txns at once ( #1341 )
...
* Have prover take only a single txn at most
* Update comment
* Apply review
2023-11-09 09:34:12 -05:00
wborgeaud
fa93454c5c
Add withdrawals ( #1322 )
...
* Withdrawals
* Remove AllRecursiveCircuits in withdrawals test
* Fix ERC20 test
2023-11-07 12:20:54 +01: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
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
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
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
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
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
