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

3087 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Dmitry Vagner
0847d9885d alphabetical 2022-10-18 10:42:11 -04:00
Dmitry Vagner
9222dafe6e clippy 2022-10-18 10:37:40 -04:00
Dmitry Vagner
75cabedc38 better abstraction 2022-10-18 10:34:41 -04:00
Daniel Lubarov
574a57444c
Merge pull request #788 from mir-protocol/storage_fixes 
Small storage fixes
 2022-10-17 23:50:10 -07:00
Daniel Lubarov
a2edff4670 Small storage fixes 2022-10-17 23:35:34 -07:00
Daniel Lubarov
076fe521b3
Merge pull request #787 from mir-protocol/mpt_storage 
MPT storage logic
 2022-10-17 22:46:58 -07:00
Daniel Lubarov
9639ff22dc MPT storage logic 2022-10-17 22:46:48 -07:00
Dmitry Vagner
c9bbd2dfa0 naming 2022-10-18 01:31:28 -04:00
Dmitry Vagner
6a6fbec9f5 remove fp6 test 2022-10-18 01:19:24 -04:00
Dmitry Vagner
ccbf85d569 remove fp6 test since it's redundant 2022-10-18 00:22:51 -04:00
Dmitry Vagner
b9a1b4413d move fp6mul and add more comments 2022-10-18 00:21:12 -04:00
Dmitry Vagner
cc9559d954 Merge branch 'main' of github.com:mir-protocol/plonky2 into Fp12 2022-10-18 00:08:03 -04:00
Dmitry Vagner
8a85cd3070 fp12 is running 2022-10-18 00:07:57 -04:00
Dmitry Vagner
d475ab9368 fp6 passes randomized tests 2022-10-17 23:19:14 -04:00
Dmitry Vagner
b534b221a0 fix fp6 subtraction---fp12 tests running! 2022-10-17 15:58:56 -04:00
Dmitry Vagner
a0f7e6619d fix fp6, better test function 2022-10-17 14:57:32 -04:00
Daniel Lubarov
8f9c5a7869
Merge pull request #786 from mir-protocol/mpt_dirs 
More directories for MPT logic
 2022-10-17 11:31:13 -07:00
Dmitry Vagner
3cff0928c4 better test API 2022-10-17 11:02:24 -04:00
wborgeaud
c3e9827b5e Minor 2022-10-17 14:59:51 +02:00
wborgeaud
09cee22d1f Better test 2022-10-17 14:56:16 +02:00
wborgeaud
366567935c Fix conflict 2022-10-17 10:34:08 +02:00
wborgeaud
aea721e70d Merge branch 'main' into cyclic_recursion 
# Conflicts:
#	plonky2/src/recursion/conditional_recursive_verifier.rs
 2022-10-17 10:25:55 +02:00
wborgeaud
598b91c3d6
Merge pull request #775 from mir-protocol/generate_dummy_proof 
Generate dummy proof with a given shape
 2022-10-17 10:23:31 +02:00
wborgeaud
fb94ace3db Fix conflict 2022-10-17 10:02:36 +02:00
wborgeaud
1ae922dd4d Merge branch 'main' into generate_dummy_proof 2022-10-17 10:01:32 +02:00
wborgeaud
972d83687e PR feedback 2022-10-17 09:54:00 +02:00
Daniel Lubarov
f125786d9b More directories for MPT logic 2022-10-16 22:55:09 -07:00
Daniel Lubarov
e0fe4bcbe4
Merge pull request #785 from mir-protocol/storage_trie_inside_state_trie 
Treat storage tries as sub-tries of the state trie
 2022-10-16 20:48:49 -07:00
Daniel Lubarov
7f366cdace Treat storage tries as sub-tries of the state trie 
I.e. have leaves in the state trie point to the root of a storage trie
 2022-10-16 20:26:37 -07:00
Daniel Lubarov
34865026df
Merge pull request #784 from mir-protocol/avoid_current_memory 
Switch a few uses of current-context memory to kernel memory
 2022-10-15 10:07:02 -07:00
Daniel Lubarov
a8e30b0ca0 Switch a few uses of current-context memory to kernel memory 
E.g. make sure the RLP segment is only used with the kernel context. Using current-context memory would also work, we just need to be consistent.

For transaction parsing etc, the context should be 0 anyway, but explicitly referring to kernel memory feels more idiomatic to me.
 2022-10-15 08:45:01 -07:00
wborgeaud
3296f27800
Merge pull request #781 from mir-protocol/redundant_degree_bits 
Redundant `degree_bits`
 2022-10-15 12:49:59 +02:00
Daniel Lubarov
2aeb8c92c7
Merge pull request #783 from mir-protocol/mpt_tweaks 
MPT format tweaks
 2022-10-14 19:57:51 -07:00
Daniel Lubarov
ecce5be9e3 MPT format tweaks 
Don't need value lengths in memory. Branches with null values recognized as value_ptr = null.
 2022-10-14 18:09:43 -07:00
wborgeaud
35b173ed34 Comments 2022-10-14 16:26:05 +02:00
wborgeaud
51cea8d98b base_case is decreasing 2022-10-14 15:34:08 +02:00
wborgeaud
fce7a4797a Working 2022-10-14 14:59:59 +02:00
wborgeaud
861b66a34a Test passes for base proof 2022-10-14 10:32:40 +02:00
Dmitry Vagner
adc8c33b0d Fp12 2022-10-13 20:06:19 -04:00
Dmitry Vagner
fc2ea6281d Fp6 mul test passes 2022-10-13 18:09:27 -04:00
Dmitry Vagner
d3e2b982ee new op codes 2022-10-13 17:28:17 -04:00
Dmitry Vagner
e01c91bdf0 Merge branch 'main' of github.com:mir-protocol/plonky2 into Fp12 2022-10-13 17:08:44 -04:00
Jacqueline Nabaglo
ec3391f9c4
Add Fp254 ops to the CPU table (#779) 
* Add Fp254 ops to the CPU table

* Add forgotten file
 2022-10-13 14:02:19 -07:00
wborgeaud
69bdbf6bf6 Redundant degree_bits 2022-10-13 18:19:05 +02:00
wborgeaud
f194553345 Test not working 2022-10-13 18:13:57 +02:00
wborgeaud
29e0aef376 New recursion folder 2022-10-13 14:39:08 +02:00
wborgeaud
66a0e77251 Working in test 2022-10-13 14:28:08 +02:00
wborgeaud
f497fc652c Merge branch 'generate_dummy_proof' into cyclic_recursion 
# Conflicts:
#	plonky2/src/fri/mod.rs
#	plonky2/src/plonk/circuit_data.rs
 2022-10-12 17:45:07 +02:00
wborgeaud
325bab113a test 2022-10-12 17:43:50 +02:00
Dmitry Vagner
d1bad81985 stuff 2022-10-12 10:06:34 -04:00