Dmitry Vagner
ae4b509139
neutral name
2023-04-27 16:24:36 -07:00
Dmitry Vagner
503cb8a99f
random inp
2023-04-27 16:20:55 -07:00
wborgeaud
4ad8520e34
SNARKV precompile ( #1010 )
...
* Serialize impls, and use in Fibonacci example
* seralizing
* cleanup
* don't serialize challenges
* deterministic build function
* cleanup
* cleanup
* cleanup
* fix
* cleanup
* fmt
* rename
* Unpacking and storing inputs
* Finish snarkv interface
* Failing test
* move serialization to separate example
* Imaginary part in front of real
* serialize ProofChallenges
* remove build_without_randomizing (no longer needed)
* fix
* Fix kernel peak
* Fix stack comments
* Minor
* SSTORE gas (#1007 )
* Update storage access list and sload
* Add noop for sys_sstore
* Comments
* Fix access list test
* PR feedback
---------
Co-authored-by: Nicholas Ward <npward@berkeley.edu>
2023-04-27 19:21:26 +02:00
Dmitry Vagner
b28e3e0db7
minor
2023-04-27 07:45:35 -07:00
wborgeaud
ab721fa340
SSTORE gas ( #1007 )
...
* Update storage access list and sload
* Add noop for sys_sstore
* Comments
* Fix access list test
2023-04-27 15:42:09 +02:00
Nicholas Ward
efd5a81bb7
Merge pull request #980 from mir-protocol/serialize_common_circuit_data
...
Serialize common circuit data
2023-04-26 18:36:33 -07:00
Dmitry Vagner
13c653bc53
mul works
2023-04-26 18:10:40 -07:00
Dmitry Vagner
6599c90a6e
abstraction
2023-04-26 17:21:52 -07:00
Nicholas Ward
78a368cf7e
fix
2023-04-26 16:06:35 -07:00
Nicholas Ward
8df0c74344
remove build_without_randomizing (no longer needed)
2023-04-26 16:05:01 -07:00
Nicholas Ward
b640bf6381
serialize ProofChallenges
2023-04-26 16:03:43 -07:00
Dmitry Vagner
537debdc2e
return bool
2023-04-26 15:35:19 -07:00
Dmitry Vagner
89122a3d73
it works
2023-04-26 15:29:53 -07:00
Dmitry Vagner
479e919c04
fmt
2023-04-26 14:16:35 -07:00
Dmitry Vagner
6dc094a894
test
2023-04-26 14:16:23 -07:00
Dmitry Vagner
4c235e5a4b
Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
2023-04-26 14:16:08 -07:00
Nicholas Ward
b4e06271df
fix
2023-04-26 11:14:29 -07:00
Dmitry Vagner
d31c60a045
clean up
2023-04-26 09:57:36 -07:00
Dmitry Vagner
d928a70b6f
clean
2023-04-26 09:54:46 -07:00
Nicholas Ward
1e9db2924f
fixes
2023-04-26 09:46:29 -07:00
wborgeaud
67a3edb2f1
Precompiles exist ( #1008 )
...
* Precompiles exist
* Fix
2023-04-26 06:26:41 +02:00
Nicholas Ward
0d98e4b8ee
formatting
2023-04-25 17:47:19 -07:00
Nicholas Ward
e642b82410
move serialization to separate example
2023-04-25 17:26:37 -07:00
Nicholas Ward
dc91554da2
expmod precompile
2023-04-25 17:19:44 -07:00
Nicholas Ward
3b7ad771e0
cleanup
2023-04-25 15:00:17 -07:00
Nicholas Ward
46d9cee09d
charge gas!
2023-04-25 14:58:43 -07:00
Nicholas Ward
9460acc196
rename blake2b
2023-04-25 14:55:44 -07:00
Nicholas Ward
ce033410c3
fix
2023-04-25 14:52:55 -07:00
Nicholas Ward
6a239c4f68
fix
2023-04-25 14:41:03 -07:00
Nicholas Ward
a41cf018ef
fixed blake tests
2023-04-25 14:16:54 -07:00
Nicholas Ward
11a03c5ebc
Merge pull request #1005 from mir-protocol/precompile-fixes
...
Minor optimizations to precompile call code
2023-04-24 22:21:09 -07:00
Nicholas Ward
621c63de21
clippy fix
2023-04-24 17:14:17 -07:00
Nicholas Ward
c083cc6385
fix
2023-04-24 17:12:52 -07:00
Nicholas Ward
29a8367b8c
fmt
2023-04-24 17:11:35 -07:00
Nicholas Ward
2d98dd3cac
commented out unused functions
2023-04-24 17:09:18 -07:00
Nicholas Ward
5dc4491681
Merge branch 'main' into blake_precompile
2023-04-24 16:59:17 -07:00
Nicholas Ward
454e0add24
fixed blake2_f, and testing
2023-04-24 16:58:57 -07:00
Nicholas Ward
137a9966e0
Merge pull request #998 from mir-protocol/even-smaller-bignum-modexp-test
...
even smaller bignum modexp test, and fixes
2023-04-24 15:48:30 -07:00
Dmitry Vagner
f225ea495d
add comment
2023-04-24 13:44:31 -07:00
Nicholas Ward
9339847243
Merge branch 'precompile-fixes' into blake_precompile
2023-04-24 11:51:11 -07:00
Nicholas Ward
1eba893e61
mload_packing macro
2023-04-24 11:25:38 -07:00
Nicholas Ward
ffc5d6d6c2
Merge branch 'main' into precompile-fixes
2023-04-24 11:24:39 -07:00
Dmitry Vagner
43f4d2b80c
clean more
2023-04-24 09:37:42 -07:00
Dmitry Vagner
14ee46c850
cleanup
2023-04-24 09:33:05 -07:00
Dmitry Vagner
0f662ed043
fixes
2023-04-24 08:08:26 -07:00
wborgeaud
b7e93511e4
New contract hook ( #1002 )
...
* New contract hook
* Minor
* PR feedback
2023-04-24 09:07:00 +02:00
wborgeaud
a4b714e64d
EIP-3541: Reject new contract code starting with the 0xEF byte ( #1003 )
...
* EIP-3541: Reject new contract code starting with the 0xEF byte
* Panic instead
* PR feedback
2023-04-24 07:55:04 +02:00
wborgeaud
472face2a5
EIP-3860: Limit and meter initcode ( #999 )
...
* EIP3860
* Contract creation tx
* Minor
2023-04-24 07:17:47 +02:00
Nicholas Ward
f3f3641fb5
rename
2023-04-22 17:52:32 -07:00
Nicholas Ward
975a35c3e0
fmt
2023-04-22 17:52:32 -07:00