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
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
aaa38b33ba
Fix fmt
2023-12-20 14:29:57 +01:00
4l0n50
08982498d6
Remove U256::as_u8 in comment
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
ed260980b2
Fix jumpdest analisys test
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
Hamy Ratoanina
7eff4e2751
Constrain first offset of a segment ( #1397 )
...
* Constrain first offset of a segment
* Apply comment, revert debugging code
* Modify specs
* Apply comments
2023-12-19 10:58:09 -05:00
4l0n50
829ae64fc4
Improve proof generation
2023-12-19 14:05:51 +01:00
David
a291d92c01
Merge pull request #1392 from 0xPolygonZero/dp-from_values-take-ref
...
`PolynomialBatch::from_values` takes refs
2023-12-19 12:14:10 +00:00
Robin Salen
7cb0488429
Minor cleanup ( #1435 )
2023-12-19 11:06:54 +01:00
Hamy Ratoanina
096c7456bb
Constrain new top to loaded value in MLOAD_GENERAL ( #1434 )
2023-12-19 09:57:20 +01:00
Linda Guiga
18e08f4f61
Filter range checks ( #1433 )
...
* Add filtering to range-checks
* Cleanup
* Fix Clippy
* Apply comment
2023-12-18 17:27:12 -05:00
Linda Guiga
f67ee258a1
Add exceptions handling to the interpreter ( #1393 )
...
* Add exceptions handling to the interpreter
* Apply comments
* Fix comments
2023-12-18 19:11:16 +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
BGluth
ee91b67c09
Merge pull request #1432 from 0xPolygonZero/discord_badge
...
Added a Discord badge to `README.md`
2023-12-17 11:15:23 -07:00
BGluth
0b56ab75d6
Added a Discord badge to README.md
2023-12-17 10:52:33 -07:00
wborgeaud
f8f6b07a39
Change context to current context for BN precompiles ( #1428 )
...
* Change context to current for BN precompiles
* Rename segments
* rustfmt
2023-12-16 17:02:56 +01:00
Hamy Ratoanina
68b9f0ad1c
Add ERC721 test ( #1425 )
...
* Add ERC721 test
* Add IS_READ column to BytePacking CTL
* Apply comment
2023-12-15 19:44:59 -05: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
5a0c1ad8b7
Fix fmt
2023-12-15 18:14:47 +01:00
4l0n50
ad8c2df84a
Remove U256::as_u8 in comment
2023-12-15 17:13:52 +01:00
4l0n50
81f13f3f8a
Eliminate nested simulations
2023-12-15 17:11:00 +01:00
Ayush Shukla
fdd7ee46fe
fix: make from_noncanonical_biguint work for zero ( #1427 )
2023-12-15 15:49:34 +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
Hamy Ratoanina
71dff6e982
Constrain MSTORE_32BYTES new offset limbs ( #1415 )
2023-12-13 18:35:17 -05:00
4l0n50
746e13448b
Fix jumpdest analisys test
2023-12-13 17:34:23 +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
Linda Guiga
bc1a3c4851
Merge push and prover_input flags ( #1417 )
...
* Merge PUSH and PROVER_INPUT flags
* Apply comment
2023-12-13 16:21:24 +01:00
