biturbo
biturbo copied to clipboard
Eth1 EE using Turboproofs
The existing multiproof format can rebuild a trie from leaves to root. In Eth1 the accounts (located in leaves) store a `codeHash` and a root hash of their storage tries....
If an evm contract has the opcode BLOCKHASH, the relayer should include the necessary block headers. I.e. if evm code includes `BLOCKHASH 3`, relayer includes block header for block 3...
If we define the following map: ```typescript let myMap = new Map() ``` And try to build the WebAssembly module (for example `npm run evm:build) we get the following error:...
As mentioned in the rationale part of the [EIP-1985](https://eips.ethereum.org/EIPS/eip-1985) any memory offset larger than 32bits is not feasible (it'd need a really high amount of gas to expand memory beyond...
In the current token EE prototype we first process txes and produce a set of updated accounts, and only then verify the multiproof and compute the post state root. This...
For context and previous discussion on see https://github.com/gballet/multiproof-rs/issues/28 and the corresponding PR https://github.com/gballet/multiproof-rs/pull/39 in the multiproof-rs repo.
In #43 we merged a relayer that generates a scout config file based on a simplified version of `add11` state test which doesn't use `SSTORE` and doesn't do metering. But...
Similar to how #8 extends the multiproof format to nest storage tries in the state trie, we want to nest the basic blocks of an evm bytecode (see #37, #41)...
When the relayer is executing a transaction to generate the necessary state proofs, it should also keep track which basic blocks of the code have been touched and construct a...