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
BGluth
22d3454fb5
Merge pull request #778 from mir-protocol/eth_trie_utils_0_2_0
...
Updated `eth_trie_utils` to `0.2.1`
2022-10-11 22:42:37 -06:00
BGluth
06475c2b61
Bumped patch version
2022-10-11 22:07:32 -06:00
BGluth
cb2e69a2c9
Updated eth_trie_utils to 0.2.0
2022-10-11 20:57:46 -06:00
Daniel Lubarov
581fcce0b0
Merge pull request #777 from mir-protocol/mpt_insert_7
...
Fix branch hashing bug
2022-10-11 16:10:44 -07:00
Daniel Lubarov
299aabf860
Fix branch hashing bug
2022-10-11 15:56:23 -07:00
Daniel Lubarov
0b2661f845
Merge pull request #774 from mir-protocol/debug_offsets
...
Interpreter feature to configure debug offsets
2022-10-11 08:55:39 -07:00
Daniel Lubarov
f4c0337af7
Interpreter feature to configure debug offsets
2022-10-11 08:47:06 -07:00
Hamish Ivey-Law
68a5428500
Represent input columns as ranges rather than arrays ( #776 )
...
* Use std::ops::Range of columns rather than arrays of column indices.
* Refactor reading from the local values table.
* The inevitable post-push fmt/clippy commit.
2022-10-12 02:39:13 +11:00
wborgeaud
e17823e777
Disallow zk for dummy proof
2022-10-11 11:47:37 +02:00
wborgeaud
0013bd4347
Minor
2022-10-11 11:41:19 +02:00
wborgeaud
3cd337ab15
Comments
2022-10-11 11:10:58 +02:00
wborgeaud
816e7db345
Working
2022-10-11 11:02:03 +02:00
Hamish Ivey-Law
0d0067554e
Refactor and tidy up mul.rs ( #764 )
...
* Refactor and tidy up `mul.rs`.
* Jacqui PR comments.
2022-10-11 18:59:02 +11:00
Daniel Lubarov
a468e4660f
Merge pull request #773 from mir-protocol/mpt_insert_6
...
MPT logic for inserts into extension nodes
2022-10-10 19:18:46 -07:00
