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

4487 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Robin Salen
5db6abf026
Update clippy in CI 2023-09-15 11:52:14 -04:00
Linda Guiga
d4a8026bf9
Combine mstore_general and mload_general into one flag (#1188) 
* Combine mstore_general and mload_general into one flag

* Add comments and make stack constraints cleaner.

* Fix number of native instructions

* Ordering

* Cleanup

* Update calls to stack eval from latest main

---------

Co-authored-by: Robin Salen <salenrobin@gmail.com>
 2023-09-14 19:51:02 -04:00
Hamy Ratoanina
0b5ac312c0
Merge pull request #1203 from topos-protocol/constrain_nv_stack_len 
Constrain next row's stack length
 2023-09-14 22:42:32 +02:00
Robin Salen
19220b21d7
Remove redundant Keccak sponge cols (#1233) 
* Rename columns in KeccakSponge for clarity

* Remove redundant columns

* Apply comments
 2023-09-14 15:27:38 -04:00
Robin Salen
06bc73f7ea
Combine arithmetic flags on the CPU side (#1187) 
* Combine FP254 flags

* Combine basic binary ops together and do CTL with opcode value

* Combine ternary ops together

* Combine MUL DIV and MOD

* Combine shift operations

* Combine byte with other binary ops

* Fix tests

* Clean leftover comment

* Update from latest main

* Put the 'is_simulated' flag inside the Operation enum

* Cleaner way to handle "simulated" operations SHL and SHR.

* Fix comments.

* Minor: suggestion for re-expressing `combined_ops`.

* Update comment

---------

Co-authored-by: Hamish Ivey-Law <hamish@ivey-law.name>
 2023-09-14 10:36:48 -04:00
Linda Guiga
f944a08b4d
Fix self_balance_gas_cost and basic_smart_contract. (#1227) 
* Fix self_balance_gas_cost and basic_smart_contract.

* Fix Clippy
 2023-09-13 09:12:56 -04:00
Robin Salen
7ebbb47fcd
Swap ordering in stack macro (#1230) 
* Swap ordering in stack macro

* Update comment
 2023-09-13 08:39:01 -04:00
Robin Salen
9508b49090
Move byte packing / unpacking to a distinct table (#1212) 
* Duplicate Memory trace into BytePacking one

* Add mload_32bytes instruction

* Use dedicated ops for byte packing trace

* Change witness generation to reduce memory reads for MLOAD_32BYTES

* Remove segments

* Fix stack

* Fix extra product when fixing CTL for byte_packing

* Write output value in trace

* Add constraints for BYTE_PACKING table

* Add recursive constraints for BYTE_PACKING table

* Fix constraints

* Add address in trace and constraints

* Add timestamp and batch inputs into BytePackingOp struct

* Add extra column

* Fix BytePackingStark CTL

* Tiny fix in witness generation

* Fix the Memory CTL

* Add constraints for the new columns

* Remove 1 column

* Remove limb columns

* Fix

* Fix recursive circuit of BytePackingTable

* Fix constraints

* Fix endianness

* Add MSTORE_32BYTES instruction and move decomposition to packing table

* Add missing constraint

* Add range-check for all bytes

* Add extra constraint

* Cleanup

* Remove REMAINING_LEN column

* Add corresponding implementations in interpreter

* Fix recursive version

* Remove debug assertion because of CI

* Remove FILTER column

* Update new test from rebasing

* Reorder STARK modules to match TraceCheckPoint ordering

* Address comments

* Pacify clippy

* Add documentation to the packing module

* Fix doctest
 2023-09-13 04:45:37 +10:00
Nicholas Ward
d1c395ef75
Merge pull request #1202 from mir-protocol/keccak-preimage 
Keccak STARK: constrain preimage to equal A on first round
 2023-09-11 09:05:55 -07:00
Nicholas Ward
3571f09707
Merge pull request #1224 from mir-protocol/latest-nightly 
latest nightly in CI and rust-toolchain
 2023-09-08 15:18:59 -07:00
Nicholas Ward
9a8a769dc4 more clippy suggestions 2023-09-08 10:44:45 -07:00
Nicholas Ward
55d0514755 clippy suggestions 2023-09-08 10:41:22 -07:00
Nicholas Ward
a4e6c6ae90 clippy suggestions 2023-09-08 10:41:01 -07:00
Nicholas Ward
7415810f19 clippy suggestions 2023-09-08 10:40:31 -07:00
Nicholas Ward
8af3b0feb4 clippy suggestions 2023-09-08 10:40:17 -07:00
Nicholas Ward
ed8bcf9d74 clippy suggestions 2023-09-08 10:34:37 -07:00
Nicholas Ward
1dd77d6d27 fmt 2023-09-08 10:18:39 -07:00
Nicholas Ward
e947a62483 suppress incorrect Clippy error 2023-09-08 10:17:41 -07:00
Nicholas Ward
967f7b1281 latest nightly in CI and rust-toolchain 2023-09-08 10:08:13 -07:00
BGluth
65917f5f23
Merge pull request #1222 from mir-protocol/internal_crate_path_stablization 
Now refers to sub-crates using paths (and removed `patch` section)
 2023-09-08 11:07:54 -06:00
Nicholas Ward
2f1ed95154
Merge pull request #1220 from mir-protocol/latest_nightly_fix 
Latest nightly fix
 2023-09-08 10:04:09 -07:00
Nicholas Ward
90ea0318fb
Merge pull request #1223 from succinctlabs/uma/change-witness-visibility 
Changed visibilities in `iop/generator` to allow for implementing `generate_partial_witness` outside of crate
 2023-09-08 08:35:35 -07:00
Nicholas Ward
faa70e0768
Merge pull request #1219 from succinctlabs/uma/add-mock-feature-flag 
Add `mock_build` to allow for faster circuit building and partial witness generation
 2023-09-08 08:34:59 -07:00
Uma Roy
a184f09bf1 Made visibilities outside of crate to allow for forking partial witness gen outside of crate 2023-09-07 21:29:21 -07:00
Uma Roy
1be1ca4d32 clippy 2023-09-07 17:43:37 -07:00
Uma Roy
a643307108 Fixes 2023-09-07 17:41:52 -07:00
BGluth
5936c67f59 Now refers to sub-crates using paths (and removed patch section) 
- Previously refered to specific `crates.io` versions.
- Motivation for this is to allow external projects to be able use
  specific revisions of this repo. Without this, a `[patch]` section
  is almost always required in the external project in order to force
  the internal plonky2 sub-crates to the same version, an approach which
  comes with its own issues.
 2023-09-07 16:36:38 -06: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
Robin Salen
0b7c408220
Merge pull request #1218 from topos-protocol/keccak_col 
Remove filter column for KeccakStark
 2023-09-07 16:00:04 -04:00
Robin Salen
05e9fc0bed
Apply Nick's comment 2023-09-07 15:37:53 -04:00
Robin Salen
d0379e9428
Apply Nick's comment 2023-09-07 15:35:34 -04:00
BGluth
4716fe7db4 Also included clippy fixes introduced by new nightly 2023-09-07 13:33:08 -06:00
BGluth
6d3d2cb283 Now builds on the latest nightly 2023-09-07 13:32:07 -06:00
Uma Roy
5a3c8b26d1 clippy 2023-09-07 11:30:19 -07:00
Uma Roy
0ca796e1ff Removed mock feature flag and added mock_build 2023-09-07 11:29:04 -07:00
Linda Guiga
170f7d838a
Fix Clippy 2023-09-07 12:35:36 +01:00
Linda Guiga
9a06fc9b95
Fix memop reads, from_prover_inputs and cleanup. 2023-09-07 12:15:17 +01:00
Linda Guiga
ddf2b81733
Clippy 2023-09-07 09:44:00 +01:00
Linda Guiga
1c01d682aa
Fix overflow check and test. Remove [..8] when using h256_limbs. 2023-09-07 09:44:00 +01:00
Linda Guiga
c30b18346f
Change h256_ulimbs 2023-09-07 09:44:00 +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
Uma Roy
4782519d8b remove spurious 2023-09-06 20:40:43 -07:00
Uma Roy
18d314126f Added mock feature flag and test 2023-09-06 20:37:38 -07:00
Robin Salen
258b075fd2
Remove filter column for KeccakStark 2023-09-06 20:17:07 -04:00
Nicholas Ward
e6ca460623
Merge pull request #1214 from jtguibas/jtguibas/serde-target 
feat: implement serde Serialize and Deserialize for Target
 2023-09-06 13:24:48 -07:00
Robin Salen
5690b951b7
Merge pull request #1217 from topos-protocol/cleanup_duplicates 
Remove duplicate code
 2023-09-06 15:36:16 -04:00
Robin Salen
fa9aae1fdc
Remove duplicate code 2023-09-06 15:15:33 -04:00
Linda Guiga
6207f4465a
Merge pull request #1206 from topos-protocol/missing-public-value-links 
Add missing links between public values
 2023-09-06 18:53:15 +01:00