Dmitry Vagner
3d6f24781b
frob fix
2022-12-05 13:30:03 -08:00
Dmitry Vagner
3785e312f1
cord and tangent
2022-12-05 13:27:01 -08:00
Dmitry Vagner
8f15402041
Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
2022-12-05 12:16:58 -08:00
Dmitry Vagner
e9c5c67814
minor
2022-12-05 12:16:54 -08:00
Daniel Lubarov
1303a83f7f
Misc witness generation fixes
2022-12-03 21:09:57 -08:00
Daniel Lubarov
b8b2fefe52
Use Keccak sponge table for bootloading
...
And get rid of the deprecated Keccak memory table.
2022-12-03 11:21:31 -08:00
Daniel Lubarov
21719222de
fmt
2022-12-02 19:19:04 -08:00
Daniel Lubarov
b96c22a4f4
Interpreter fixes
2022-12-02 19:18:37 -08:00
Daniel Lubarov
a63b73a851
Misc fixes
2022-12-02 13:56:52 -08:00
Daniel Lubarov
05ab3d7933
Fixes
2022-12-01 16:23:39 -08:00
Daniel Lubarov
9bf47ef8ac
Fixes
2022-12-01 12:46:14 -08:00
Daniel Lubarov
d3aa33975a
generate_keccak_general, generate_byte
2022-12-01 12:06:29 -08:00
Daniel Lubarov
526dc9bb77
Flush out operation list
2022-11-30 21:00:48 -08:00
Dmitry Vagner
1b5a3d0ff0
fix
2022-11-29 22:02:24 -08:00
Dmitry Vagner
709b520ce3
miller loop
2022-11-29 20:43:49 -08:00
Dmitry Vagner
8af4cd17f0
Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
2022-11-28 14:56:41 -08:00
Dmitry Vagner
c3dcdfd540
tate
2022-11-28 14:56:36 -08:00
Dmitry Vagner
6b34f4ff0a
alphabetical
2022-11-21 14:41:21 -08:00
Dmitry Vagner
307cbbd2b6
Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
2022-11-21 14:36:14 -08:00
Daniel Lubarov
1b4acf5917
Make load_code a bit more general
...
So that it can be used to load code we're going to execute into the code segment of a certain context.
2022-11-21 13:54:39 -08:00
Daniel Lubarov
d23cecfcd8
Kernel code to do jumpdest analysis
2022-11-21 13:06:03 -08:00
wborgeaud
c31b0147f4
Implement CALLVALUE, CALLDATALOAD, CALLDATASIZE, CALLDATACOPY in interpreter ( #819 )
...
* Implement `CALLVALUE, CALLDATALOAD, CALLDATASIZE, CALLDATACOPY` in interpreter
* PR feedback
2022-11-19 18:58:55 +01:00
Dmitry Vagner
9a68574e48
frob macro
2022-11-18 16:58:39 -08:00
Dmitry Vagner
84c1954daf
tate
2022-11-18 16:48:11 -08:00
Dmitry Vagner
68cde336a3
reorg
2022-11-17 13:18:13 -08:00
Dmitry Vagner
c83dcccada
macros
2022-11-16 17:00:56 -08:00
Dmitry Vagner
8a7d6c6529
frob_fp12
2022-11-16 16:56:23 -08:00
Dmitry Vagner
ca92057b01
frob_fp6
2022-11-16 16:28:36 -08:00
Dmitry Vagner
b779b82512
mul_fp2
2022-11-16 15:12:42 -08:00
Dmitry Vagner
c1f7d1ce5a
comments
2022-11-15 13:40:14 -08:00
Dmitry Vagner
3dc66a259f
fp12 sq works
2022-11-15 13:34:47 -08:00
Dmitry Vagner
77820b0f23
fp6 sq
2022-11-15 12:17:25 -08:00
Brandon H. Gomes
812a5d468a
chore: merge branch main
...
Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>
2022-11-15 01:54:30 -05:00
Brandon H. Gomes
14c2a6dd1f
Fork Update ( #3 )
...
* Use static `KERNEL` in tests
* Print opcode count
* Update criterion
* Combine all syscalls into one flag (#802 )
* Combine all syscalls into one flag
* Minor: typo
* Daniel PR comments
* Check that `le_sum` won't overflow
* security notes
* Test reverse_index_bits
Thanks to Least Authority for this
* clippy
* 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.
* Remove signed operation placeholders from arithmetic table. (#812 )
Co-authored-by: wborgeaud <williamborgeaud@gmail.com>
Co-authored-by: Daniel Lubarov <daniel@lubarov.com>
Co-authored-by: Jacqueline Nabaglo <jakub@mirprotocol.org>
Co-authored-by: Hamish Ivey-Law <426294+unzvfu@users.noreply.github.com>
2022-11-15 01:51:29 -05:00
Dmitry Vagner
56da8c02b0
correct ops
2022-11-14 17:53:22 -08:00
Dmitry Vagner
a8a852f3ec
sparse mul works!
2022-11-14 17:51:25 -08:00
Dmitry Vagner
f6e45ea47d
fix mul_fp2_fp6_sh2
2022-11-14 17:39:33 -08:00
Dmitry Vagner
a3dfea9cf8
update fp12
2022-11-14 16:41:36 -08:00
Dmitry Vagner
69ce4f99fe
add total count
2022-11-14 16:41:02 -08:00
Dmitry Vagner
e0ee489d38
fix fp12 test
2022-11-14 15:58:37 -08:00
Dmitry Vagner
c854b2d817
Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
2022-11-14 12:51:20 -08:00
Dmitry Vagner
ad645ece17
aggregator
2022-11-10 10:51:40 -08:00
Dmitry Vagner
784a4c0869
scaling macros
2022-11-09 19:39:49 -08:00
Dmitry Vagner
5d2a9b3d53
sparse mul finished
2022-11-09 16:17:07 -08: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
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
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
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
Brandon H. Gomes
6fd0da216a
fix: remove unstable features from plonky2
...
Signed-off-by: Brandon H. Gomes <bhgomes@pm.me>
2022-11-02 17:50:31 -07:00
