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

2396 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Jacqueline Nabaglo
16c2bee4b9
Increment program counter on native instructions (#641) 2022-07-28 17:30:20 -07:00
Daniel Lubarov
563de9e1c5 Small fix for type 0 txns 
Always parse "to" as a scalar. No need for a branch; it's left over from when I was trying to enforce canonical RLP (in which case "to" must be 0 or 20 bytes).

The old code would be wrong if we had multiple txns per proof, as if to=0 we wouldn't write that field to memory, so it could have an old value from a previous txn.
 2022-07-28 15:51:33 -07:00
Daniel Lubarov
55d0eddecb profiling 2022-07-28 14:46:56 -07:00
Daniel Lubarov
431bb5e66e
Merge pull request #621 from mir-protocol/cpu_shared_cols 
Shared CPU columns
 2022-07-28 14:10:34 -07:00
Daniel Lubarov
cc9e9fe753 Merge branch 'main' into cpu_shared_cols 2022-07-28 13:42:12 -07:00
Daniel Lubarov
b2f09881c0 Merge branch 'main' into cpu_shared_cols 2022-07-28 13:41:46 -07:00
Daniel Lubarov
bb45c8c850
Merge pull request #629 from proxima-one/maybe-rayon 
add rayon shim
 2022-07-28 11:38:56 -07:00
wborgeaud
87640d7e98 PR feedback 2022-07-28 10:35:53 +02:00
Sebastien La Duca
8ad0924bbb apparently i need to update rust 2022-07-28 00:24:54 -04:00
Sebastien La Duca
fd0af3fa3e allow unused mut when feature disabled 2022-07-28 00:21:21 -04:00
Sebastien La Duca
9f2fa07e12 add rest of files 2022-07-28 00:09:11 -04:00
Sebastien La Duca
b7fa5e81c4 add timing to starky, evm, and system_zero 2022-07-28 00:08:51 -04:00
Sebastien La Duca
85111b0f02 fix missing underscore 2022-07-27 23:58:16 -04:00
Sebastien La Duca
a6931d4555 fmt 2022-07-27 23:53:33 -04:00
Sebastien La Duca
585495d314 feature-gate stub TimingTree 2022-07-27 23:53:26 -04:00
Sebastien La Duca
16ddfcb94c make env_logger dev-dependency 2022-07-27 23:35:15 -04:00
Jacqueline Nabaglo
c160c4032d
Inter-row program counter constraints (#639) 
* Beginning of control flow support

* Fixes to halt spin loop
 2022-07-27 11:36:33 -07:00
wborgeaud
bb2ee9d543 Implement sqrt 2022-07-27 17:06:16 +02:00
wborgeaud
8053215841 Inverse for other fields 2022-07-27 16:49:26 +02:00
Daniel Lubarov
c028afa1f8 Update paper 2022-07-27 07:37:38 -07:00
wborgeaud
ce23d4377a Minor 2022-07-27 11:27:04 +02:00
wborgeaud
bb773e42b3 Merge branch 'main' into nondeterministic_ec_ops 
# Conflicts:
#	evm/src/cpu/kernel/interpreter.rs
 2022-07-27 11:24:22 +02:00
wborgeaud
670bed946a
Merge pull request #638 from mir-protocol/interpreter_context_segments 
Contexts and segments in interpreter memory
 2022-07-27 10:34:41 +02:00
wborgeaud
ac68ce62c2 Merge conflicts 2022-07-27 10:16:04 +02:00
wborgeaud
fbfe0ad62a Merge branch 'main' into interpreter_context_segments 2022-07-27 10:12:59 +02:00
wborgeaud
e8ab92b115 PR feedback 2022-07-27 10:05:31 +02:00
Daniel Lubarov
a1635514b5
Merge pull request #627 from mir-protocol/rlp_3 
Transaction (RLP) parsing
 2022-07-26 16:25:30 -07:00
Daniel Lubarov
3d8ac2a391 style 2022-07-26 16:25:01 -07:00
Daniel Lubarov
d1cb854cf2 terminology 2022-07-26 16:12:21 -07:00
Daniel Lubarov
6df1a669e1
Merge pull request #636 from mir-protocol/challenger_fixed_buffer 
Use a fixed input buffer size in `Challenger`.
 2022-07-26 16:09:19 -07:00
Daniel Lubarov
0ba6078984 Merge branch 'main' into rlp_3 2022-07-25 19:47:43 -07:00
Daniel Lubarov
05c7dfa115 Feedback 2022-07-25 16:32:59 -07:00
wborgeaud
a0295f0079 Minor 2022-07-25 11:09:41 +02:00
wborgeaud
304299a007 Add assert to range check memory values 2022-07-25 10:39:51 +02:00
wborgeaud
715c350ee8 Implement mload/store_general 2022-07-25 10:34:18 +02:00
wborgeaud
e09e6c3ebb
Merge pull request #634 from mir-protocol/fix_fixed_base_constant 
Fix bug where `constant_affine_point` is called on zero
 2022-07-25 10:33:34 +02:00
Sebastien La Duca
e48bfa837f fmt 2022-07-24 18:06:03 -04:00
Sebastien La Duca
c9d610ec10 use maybe_rayon in starky and evm 2022-07-24 17:47:14 -04:00
Daniel Lubarov
2aad4658d2
Merge pull request #637 from mir-protocol/move_storage 
Move storage asm
 2022-07-24 14:03:01 -07:00
Daniel Lubarov
1db5b7374d Move storage asm 2022-07-24 08:42:06 -07:00
Daniel Lubarov
cddc749a7e Fix comparison 2022-07-24 08:06:02 -07:00
Daniel Lubarov
0e5dd59d35 Use a fixed input buffer size in Challenger. 
Alternate implementation of #633, using `SPONGE_RATE` as the buffer size.
 2022-07-23 22:29:45 -07:00
Daniel Lubarov
544c84b420 Transaction (RLP) parsing 
Will add tests once we have the interpreter support for other segmnets.
 2022-07-23 21:39:01 -07:00
wborgeaud
ee979428f4 Start implementing context and segments in interpreter 2022-07-23 15:35:48 +02:00
wborgeaud
927cad3acd Collect prover inputs 2022-07-23 13:03:43 +02:00
wborgeaud
1e02fd0236 Oh Clippy... 2022-07-23 12:58:29 +02:00
wborgeaud
9dacbe0ff6 Comments 2022-07-23 12:52:45 +02:00
wborgeaud
cafae8b818 Add run_with_kernel fn 2022-07-23 12:36:03 +02:00
wborgeaud
19e6725cfa Working 2022-07-23 11:56:52 +02:00
wborgeaud
0c539795fa Implement prover input fns 2022-07-23 11:47:10 +02:00