pinkiebell
pinkiebell
As a user, I need better support for debugging and state manipulation. For `vm.runCode`, I need the ability to: - define initial stack values before the code runs - define...
Ongoing tracking task
We need to add additional verifications steps in the l1 block submission procedure. - [ ] verify special 'block hash import' transactions - [ ] verify history hashes - [...
Context: I haven't yet looked for a way to interrupt a busy thread - especially one inside the tokyo worker pool without breaking some stuff. Because the prover code will...
The Patricia validator contract only supports validating storage proofs for non-zero values (valid leaves). However, the `dropMessage` method requires to proof that a storage value is zero (not in the...
The goal of this change is that account proof and storage proofs can be separately verified. Instead of verifying account and storage of the L1 bridge on L2 for each...
Our fork of go-ethereum includes some new rpc methods like [sealing a block on request](https://github.com/ethereum/go-ethereum/compare/master...privacy-scaling-explorations:go-ethereum:master#diff-2a1ff8db1a8fc613ef800135c406bb021066d63414bcf54687d1a5dbb0caea32R164). We also need a method that allows us to import a raw (already sealed) block...