Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
before the enforcer can run an op-code on chain, every VM element needs to be initialized.
Currently the VM stack needs to be initialized as follows:
1. All stack elements are provided in initialization transaction.
2. Stack elements are hashed and combined with hashes of other VM elements.
3. If VM root hash matches with generated hash, VM has been set up correctly.
This is not efficient, as the next opcode will likely only read or write the topmost stack elements. Use unbalanced merkle-tree example here to implement compact proofs https://github.com/parsec-labs/solEVM-enforcer/pull/9 .