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
wborgeaud
0bf9cd2f86
Use current context in ecrecover ( #1456 )
2024-01-10 13:24:16 +01:00
yanziseeker
c329b3681c
chore(evm,field,plonky2):fix typos ( #1454 )
2024-01-10 10:40:39 +00:00
Robin Salen
85524cfacc
Intra doc link
2024-01-10 09:06:34 +01:00
Robin Salen
33def0841d
Merge branch 'main' into plonky2_doc
2024-01-10 09:01:30 +01:00
Linda Guiga
aedfe5dfa6
Implement CTL bundling ( #1439 )
...
* Implement CTL bundling
* Cleanup
* Clippy
* Preallocate memory
* Apply comments and remove unnecessary functions.
* Start removing clones
* Set columns and filters inside if condition.
* Remove extra CTL helper columns
* Add circuit version, with cleanup and fixes
* Remove some overhead
* Use refs
* Pacify clippy
---------
Co-authored-by: Robin Salen <salenrobin@gmail.com>
2024-01-10 08:54:13 +01:00
Robin Salen
c8430dac39
Add Boolean constraints for ArithmeticStark ( #1453 )
...
* Constrain IS_READ to be boolean
* Constrain arithmetic flags to be boolean
* Comment on memory stark
2024-01-09 17:35:31 +01:00
Robin Salen
54a1313588
Improve some calls to %mstore_rlp ( #1452 )
...
* Improve some calls to mstore_rlp
* Remove comment
2024-01-09 14:25:31 +00:00
4l0n50
1715573c22
Fix problems after address bundling
2024-01-09 14:15:16 +01:00
Alonso González
95c83add38
Merge pull request #1399 from topos-protocol/refactor_encode_funcs
...
Refactor encode funcs
2024-01-09 12:04:28 +01:00
4l0n50
5b71eb4ee0
Address review comments
2024-01-09 11:48:30 +01:00
4l0n50
3c699be781
Merge remote-tracking branch 'public/main' into refactor_encode_funcs
2024-01-09 11:45:55 +01:00
4l0n50
22e267c34c
Address bundling
2024-01-09 11:32:31 +01:00
wborgeaud
bd02117cdc
Fix after_mpt_delete_extension_branch ( #1449 )
...
* Fix after_mpt_delete_extension_branch
* Rename test
* PR feedback
2024-01-09 11:15:53 +01:00
Robin Salen
f4be34dc6d
Some more
2024-01-09 10:59:00 +01:00
vuittont60
dcbfef6df9
chore: fix typos ( #1451 )
2024-01-09 09:33:17 +00:00
Robin Salen
82804e4201
Add some more + module doc
2024-01-08 15:14:26 +01:00
4l0n50
80917cbe66
Merge remote-tracking branch 'public/main' into refactor_encode_funcs
2024-01-08 14:40:40 +01:00
4l0n50
7fc6b86d8a
Minor
2024-01-08 14:36:12 +01:00
4l0n50
77f5109508
Adress reviewer comments
2024-01-08 14:34:26 +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
4l0n50
47b428569d
Remove unused macro
2024-01-08 13:53:52 +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
Robin Salen
3e61f06a1d
Remove gas check in sys_stop ( #1448 )
2024-01-08 10:49:28 +01:00
Robin Salen
ed2e1bc780
Add comment
2024-01-08 09:38:55 +01:00
Robin Salen
3c8b150f0f
Rustdoc
2024-01-08 09:37:42 +01:00
Robin Salen
20db596e57
Add some more explicit doc on plonky2 crate
2024-01-08 09:08:45 +01:00
4l0n50
18a14bf2f2
Remove assertion
2024-01-05 18:15:57 +01:00
4l0n50
897ba5856a
Remove assertion in packed verif
2024-01-05 17:57:46 +01:00
4l0n50
1c994737ef
Address comments
2024-01-05 17:30:59 +01:00
Alonso González
f4713c44d3
Apply suggestions from code review
...
Co-authored-by: Linda Guiga <101227802+LindaGuiga@users.noreply.github.com>
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
2024-01-05 17:18:03 +01:00
4l0n50
247d655b39
Minor
2024-01-05 17:00:46 +01:00
4l0n50
8f1efa1554
Fix minor error
2024-01-05 16:15:16 +01:00
4l0n50
ab4508fc8b
Add packed verification
2024-01-05 16:07:33 +01:00
Robin Salen
f46cf4ef68
Prevent some lints from being allowed ( #1443 )
2024-01-02 12:47:09 +00:00
Linda Guiga
6cf4df7da2
Add initial constraint z polynomial ( #1440 )
2024-01-02 09:11:38 +01:00
Robin Salen
ef07eabf84
Pacify latest clippy ( #1442 )
2024-01-02 08:08:19 +00:00
4l0n50
1a95f7aa72
Clippy
2023-12-28 16:39:12 +01:00
4l0n50
9c573a07d4
Restore simple_transfer and Clippy
2023-12-28 14:10:36 +01: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
48b9769e34
Remove duplicated label
2023-12-27 12:24:12 +01:00
4l0n50
a83404966e
Rebase to main
...
Refactor encode_empty_node and encode_branch_node
Add constant and store encoded empty node in an other position
Remove child segment
Clean code
Apply suggestions from code review
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
Remive global label
Move encoded empty nodes
2023-12-27 12:04:14 +01:00
Robin Salen
ae3003a9d7
Add alternative method to prove txs without pre-loaded table circuits ( #1438 )
2023-12-22 17:23:22 +01:00
Hamy Ratoanina
c3d707c126
Constrain partial_channel ( #1436 )
2023-12-21 15:59:16 -05:00
4l0n50
dfcf276dab
Refactor encode_empty_node and encode_branch_node
...
Clean code
Not important
Restore jumpdets_analysis.asm
Refactor encode_empty_node and encode_branch_node
2023-12-21 16:15:36 +01:00
Icer
cb3f91a003
add Debug trait to PartitionWitness to enable trace information output ( #1437 )
2023-12-21 09:33:42 +01:00
4l0n50
24ae0d9de0
Clippy
2023-12-20 15:27:27 +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
