[EPIC] AVM constrains all tree accesses, siloing & preimage hashing

[dbanks12]

This ticket is only for circuit/constraining. There is a parent ticket for witgen and simulator: #9444

Circuit tasks

Constrain all of the following

Siloing & hashing

Preview Give feedback

1. Silo storage slot to public data leaf index (SLOAD & SSTORE)
2. Silo nullifiers (NULLIFIEREXISTS & EMITNULLIFIER)
3. Hash nullifier leaf preimages to leaf (NULLIFIEREXISTS & EMITNULLIFIER)
4. Derive contract address nullifier from contract instance preimage (GETCONTRACTINSTANCE)
5. Hash unencrypted log preimages (EMITUNENCRYPTEDLOG)

General tree access

Preview Give feedback

1. Support tree root updates, snapshots, rollbacks (based on current phase), & place final roots in public inputs
2. Insert all non-revertible side effects from private at public simulation startup (before setup phase)
3. Insert all revertible side effects from private at public simulation startup (after setup phase, before app-logic phase)

Read opcodes

Preview Give feedback

1. Membership check for SLOAD
2. Membership check for NOTEHASHEXISTS
3. Low-leaf membership check for NULLIFIEREXISTS
4. Membership check for L1TOL2MESSAGEEXISTS
5. Low-leaf nullifier membership check for GETCONTRACTINSTANCE

Write opcodes

Preview Give feedback

1. Membership check & update for SSTORE
2. Membership check & insertion for EMITNOTEHASH
3. Low-leaf membership check & update, insertion path empty check & insertion for EMITNULLIFIER

Contract bytecode

Preview Give feedback

1. Contract address membership check per bytecode