Daniel Lubarov
e22da77b34
Include the FRI prover's PoW witness in the transcript
...
We don't think this is required for soundness, but just to remove any doubt.
Old protocol:
```
...
P sends final_poly
V samples random r
P sends pow_witness (not in transcript)
V computes pow_response = H(r, pow_witness)
V asserts pow_response has N leading 0s
...
```
New protocol:
```
...
P sends final_poly
P sends pow_witness
V samples random pow_response
V asserts pow_response has N leading 0s
...
```
2022-11-17 12:08:11 -08:00
Daniel Lubarov
d2bd64f83f
Merge pull request #814 from mir-protocol/randomize_pi_wires
...
Randomize unused wires of PublicInputGate
2022-11-17 12:07:49 -08:00
Daniel Lubarov
7eb0c74166
Randomize unused wires of PublicInputGate
2022-11-14 14:53:06 -08:00
Hamish Ivey-Law
56e291cf4e
Remove signed operation placeholders from arithmetic table. ( #812 )
2022-11-11 15:09:56 +11:00
Hamish Ivey-Law
1c87fbb712
EVM shift left/right operations ( #801 )
...
* First parts of shift implementation.
* Disable range check errors.
* Tidy up ASM.
* Update comments; fix some .sum() expressions.
* First full draft of shift left/right.
* Missed a +1.
* Clippy.
* Address Jacqui's comments.
* Add comment.
* Fix missing filter.
* Address second round of comments from Jacqui.
2022-11-09 10:47:15 +11:00
Daniel Lubarov
7126231b52
Merge pull request #811 from mir-protocol/test_reverse_index_bits
...
Test reverse_index_bits
2022-11-08 13:56:34 -08:00
Daniel Lubarov
624dabb9e3
clippy
2022-11-08 13:06:01 -08:00
Daniel Lubarov
c622e45246
Test reverse_index_bits
...
Thanks to Least Authority for this
2022-11-08 12:27:55 -08:00
Daniel Lubarov
692ad9399e
Merge pull request #810 from mir-protocol/le_sum_check
...
Check that `le_sum` won't overflow
2022-11-08 12:20:12 -08:00
Daniel Lubarov
882297877c
security notes
2022-11-08 12:03:58 -08:00
Daniel Lubarov
cab6c18ed6
Check that le_sum won't overflow
2022-11-08 11:55:02 -08:00
Jacqueline Nabaglo
626c2583de
Combine all syscalls into one flag ( #802 )
...
* Combine all syscalls into one flag
* Minor: typo
* Daniel PR comments
2022-11-07 12:29:28 -08:00
Daniel Lubarov
98b9f3a462
Merge pull request #809 from mir-protocol/update_criterion
...
Update criterion
2022-11-07 12:06:24 -08:00
Daniel Lubarov
3dcc0c257e
Update criterion
2022-11-07 11:28:24 -08:00
wborgeaud
ce21d134a5
Merge pull request #804 from mir-protocol/static_kernel_in_tests
...
Use static `KERNEL` in tests
2022-11-07 09:18:49 +01:00
wborgeaud
873f4583f9
Merge pull request #805 from mir-protocol/opcode_count_interpreter
...
Print opcode count
2022-11-07 09:17:46 +01:00
wborgeaud
4bc2e05702
Print opcode count
2022-11-04 14:38:23 +01:00
wborgeaud
47e6093e37
Use static KERNEL in tests
2022-11-04 13:55:13 +01:00
Jacqueline Nabaglo
ea7fbed33a
Constrain mem_channel.used flag to be binary ( #800 )
2022-11-02 10:14:33 -07:00
BGluth
0293a65a55
Fixed bad PR merge
2022-11-02 09:45:52 -06:00
BGluth
35e8f282e4
Merge pull request #792 from mir-protocol/eth_trie_utils_0_3_0
...
Bumped `eth_trie_utils` to `0.4.0`
2022-11-02 09:34:26 -06:00
wborgeaud
0066f079bb
Merge pull request #796 from mir-protocol/account_code_opcodes
...
Implement `EXTCODEHASH, (EXT)CODESIZE, (EXT)CODECOPY`
2022-11-02 13:53:44 +01:00
wborgeaud
68107502df
Merge branch 'main' into account_code_opcodes
...
# Conflicts:
# evm/src/cpu/kernel/aggregator.rs
# evm/src/cpu/kernel/tests/mod.rs
2022-11-02 13:46:14 +01:00
wborgeaud
313402de02
Merge pull request #797 from mir-protocol/balance
...
Implement `(SELF)BALANCE`
2022-11-02 13:44:29 +01:00
wborgeaud
8198355565
Fix + Use context=0
2022-11-02 11:06:14 +01:00
wborgeaud
70b5dda399
Merge branch 'main' into account_code_opcodes
2022-11-02 10:43:35 +01:00
wborgeaud
35c00fa6a7
Return 0 if account doesn't exist
2022-11-02 10:37:19 +01:00
wborgeaud
ff4210ea78
Return 0 if account doesn't exist
2022-11-02 10:03:40 +01:00
wborgeaud
215e9a6e04
Merge pull request #798 from mir-protocol/use_address_macro
...
Use address macro instead of opcode
2022-11-01 08:34:07 +01:00
BGluth
8736435ea9
Updated eth_trie_utils to 0.4.0
2022-10-31 15:15:20 -06:00
BGluth
2e7da17554
Bumped eth_trie_utils to 0.3.1
2022-10-31 15:03:34 -06:00
wborgeaud
f3d4e57aa6
Use address macro instead of opcode
2022-10-31 10:48:57 +01:00
wborgeaud
7647c5b51b
Use address macro instead of opcode
2022-10-31 10:15:43 +01:00
Dima V
84151f083c
Merge pull request #765 from mir-protocol/Fp12
...
Fp12 multiplication
2022-10-28 02:30:44 -07:00
Dmitry Vagner
4380a037d2
comment dead code
2022-10-28 02:23:42 -07:00
wborgeaud
6ed6574272
Balance
2022-10-28 11:15:43 +02:00
Dmitry Vagner
aebeb7ac99
fmt
2022-10-28 02:12:57 -07:00
Dmitry Vagner
ccf5cda122
spacing
2022-10-28 02:11:22 -07:00
Dmitry Vagner
f90c058a52
minor
2022-10-28 02:09:56 -07:00
Dmitry Vagner
ad067d1e52
comment about 107
2022-10-28 02:08:56 -07:00
Dmitry Vagner
7d78916a6f
merge
2022-10-28 02:03:52 -07:00
Dmitry Vagner
fa05a33040
Merge branch 'main' of github.com:mir-protocol/plonky2 into Fp12
2022-10-28 02:03:47 -07:00
Dmitry Vagner
a8ecdc0f69
improve comments
2022-10-28 02:01:04 -07:00
wborgeaud
f4941b010e
Merge pull request #782 from mir-protocol/cyclic_recursion
...
Cyclic recursion
2022-10-27 16:01:53 +02:00
wborgeaud
c47f767fc5
PR feedback
2022-10-27 15:45:14 +02:00
wborgeaud
fd96d30e24
Minor
2022-10-27 14:57:17 +02:00
wborgeaud
dc8a62fbee
Codecopy test
2022-10-27 11:06:24 +02:00
wborgeaud
6bee508f6a
Clippy
2022-10-27 09:56:52 +02:00
wborgeaud
300de9d4d6
Merge branch 'main' into account_code_opcodes
2022-10-27 09:56:04 +02:00
wborgeaud
4c0b3b6079
Working with random address and code
2022-10-27 09:55:33 +02:00
