wborgeaud
1a0a63003d
EIP170 ( #1000 )
2023-04-20 17:28:33 +02:00
Robin Salen
723f197d0e
Cleanup
2023-04-20 08:36:54 +02:00
Dmitry Vagner
099c4b9702
msg
2023-04-19 23:34:50 -07:00
Dmitry Vagner
82bca7fa34
error
2023-04-19 23:09:27 -07:00
Dmitry Vagner
b661a70904
twisted check
2023-04-19 23:06:02 -07:00
Robin Salen
2a9c5cfd32
Add serialization check in square_root example
2023-04-20 07:59:37 +02:00
Robin Salen
bf02a3e87d
Make generators public
2023-04-20 07:59:37 +02:00
Robin Salen
5de5bfb5e4
Move serialization files into dedicated module
2023-04-20 07:59:37 +02:00
Robin Salen
0e465c1ccf
Customize range specification for AllRecursiveCircuits
2023-04-20 07:59:36 +02:00
Robin Salen
f71139d934
Add serialisation support for gates, generators, and various structs
...
Co-authored-by: Sebastien La Duca <sladuca777@gmail.com>
2023-04-20 07:59:36 +02:00
Robin Salen
f7f5fb4e93
Change display for GoldilocksField
2023-04-20 07:59:34 +02:00
wborgeaud
6edd589138
Gas and more for CREATE(2) ( #995 )
...
* Gas
* Codehash
* Minor
2023-04-20 07:00:15 +02:00
wborgeaud
a8e5613bc5
EOA to precompiles logic ( #993 )
...
* Start
* Progress
* Comments
* Minor
2023-04-20 06:56:47 +02:00
Nicholas Ward
df4a6f0105
fix for full modexp test
2023-04-19 15:27:49 -07:00
Nicholas Ward
6d84b988ba
fmt
2023-04-19 14:56:08 -07:00
Nicholas Ward
cb23bfcade
check for special cases and align with yellow paper
2023-04-19 14:55:19 -07:00
Dmitry Vagner
bbe64674d0
tests passing
2023-04-19 14:51:25 -07:00
Dmitry Vagner
3628021a5b
fmt
2023-04-19 14:45:11 -07:00
Dmitry Vagner
d6584dcb7c
restructure tate test
2023-04-19 14:09:05 -07:00
Nicholas Ward
3e437a0c4c
oops remove more debug stuff
2023-04-19 13:41:24 -07:00
Nicholas Ward
bf5dc25610
undo debug commenting
2023-04-19 13:40:59 -07:00
Dmitry Vagner
0df18d5ea8
tests
2023-04-19 13:30:03 -07:00
Nicholas Ward
de94ac25f1
missing file
2023-04-19 13:27:42 -07:00
Nicholas Ward
3444e810a6
even smaller bignum modexp test, and fixes
2023-04-19 13:27:05 -07:00
Dmitry Vagner
21a1a98a7d
reorg
2023-04-19 13:19:06 -07:00
Dmitry Vagner
ca3a7f8ab3
Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
2023-04-19 13:12:50 -07:00
Dmitry Vagner
9b54ee43db
refactor
2023-04-19 13:12:47 -07:00
Nicholas Ward
c0ced26f5e
Merge pull request #992 from mir-protocol/smaller-bignum-modexp-test
...
less thorough bignum modexp test
2023-04-19 10:56:26 -07:00
Dmitry Vagner
0e08243275
reorg
2023-04-19 10:40:39 -07:00
Nicholas Ward
ada250f365
Merge branch 'main' into smaller-bignum-modexp-test
2023-04-19 10:39:50 -07:00
Hamish Ivey-Law
d8fef87a87
Only print warning or errors from the log. ( #996 )
2023-04-20 03:38:00 +10:00
Hamish Ivey-Law
2e16ab0489
Replace %stack calls with equivalent opcodes. ( #994 )
2023-04-20 01:34:04 +10:00
Nicholas Ward
a704b1523d
even less thorough :P
2023-04-17 23:12:43 -07:00
Nicholas Ward
a4f60a0431
less thorough bignum modexp test
2023-04-17 22:41:26 -07:00
Daniel Lubarov
049a258b4a
Merge pull request #991 from mir-protocol/disable_couple_tests
...
Disable a couple tests
2023-04-17 18:13:58 -07:00
Daniel Lubarov
8562abe0f7
Disable a couple tests
...
They're slow on CI, and `add11_yml` seems like a better integration test.
2023-04-17 17:32:31 -07:00
Daniel Lubarov
690fd1006d
Merge pull request #990 from mir-protocol/mpt_failure_labels
...
Labels for failed MPT read/insert
2023-04-17 17:31:04 -07:00
Daniel Lubarov
67593f162a
Labels for failed MPT read/insert
2023-04-17 17:27:55 -07:00
Daniel Lubarov
e6864e9828
Merge pull request #985 from toposware/kernel_serial
...
Provide methods for serializing Kernel
2023-04-17 12:07:51 -07:00
Hamish Ivey-Law
5dfac7155f
Fix generic const expressions warning ( #984 )
...
* Fix generic const expressions warning.
* Also for `bench_recursion` example.
2023-04-17 19:05:08 +10:00
Daniel Lubarov
9037ceb0c9
Merge pull request #986 from mir-protocol/incremental_release
...
Incremental release builds
2023-04-15 11:20:01 -07:00
Daniel Lubarov
eb7468e7e8
Incremental release builds
...
Since it's a library, in practice release builds are used for slower tests, not for a binary that needs to be reproducible.
2023-04-15 10:45:40 -07:00
Robin Salen
df5a90cca4
Provide methods for serializing Kernel
2023-04-15 11:01:40 -04:00
Daniel Lubarov
6b2503f778
Merge pull request #970 from toposware/env
...
Env instructions in interpreter
2023-04-14 13:58:10 -07:00
Robin Salen
9d60191d73
Implement returndatasize/returndatacopy for interpreter
2023-04-14 13:22:27 -04:00
Robin Salen
6946eacaca
Implement codesize/codecopy for interpreter
2023-04-14 11:41:39 -04:00
Robin Salen
0f3285c33b
Implement gasprice on the interpreter
2023-04-14 11:41:39 -04:00
Robin Salen
e9cc5632eb
Impl caller/address/origin opcodes for interpreter
2023-04-14 11:41:38 -04:00
wborgeaud
b721236eb3
Precompiles interface ( #983 )
...
* Start
* Some sha256 test passing
* precompiles folder
* Files reorg
* Progress
* Minor
* Start of sha2 interface
* All call opcodes
* ecrec
* rip160
* Fix copy_returndata_to_mem
* id
* bn_add
* bn_mul
* TODOs for snarkv and blake2
* Comments
* Use charge_gas_const when possible
* Minor
* Minor
* Minor
* PR feedback
2023-04-14 12:20:28 +02:00
Daniel Lubarov
b896f9b2da
Merge pull request #974 from toposware/stack_bound
...
Set `stack_len_bounds_aux` properly
2023-04-13 14:40:30 -07:00