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
..
2022-10-14 18:09:43 -07:00
2023-04-27 19:21:26 +02:00
2023-04-20 11:05:34 -06:00