[EPIC] AVM simulator & witgen perform all tree accesses, siloing & preimage hashing

[dbanks12]

This ticket is only for simulator & witgen tasks. There is a follow-up task for circuit/constraining: #9457

Simulator tasks

These will be changes to AvmPersistableStateManager to perform siloing, hashing, & membership checks.

[SIMULATOR] 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)

[SIMULATOR] 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 after setup phase, before app-logic phase

[SIMULATOR] 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 in AVM sim #10376
   +0
   

[SIMULATOR] 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

[SIMULATOR] Contract bytecode

Preview Give feedback

1. Contract address membership check per bytecode in AVM sim #10377
   +0
   

Hinting tasks

These will be changes to AvmPersistableStateManager & the SideEffectTrace. The state manager will pass preimages and membership witnesses to the trace which will then craft hints.

Hinting tasks

Preview Give feedback

1. Simulator sends public data tree read membership check hints to witgen
2. Simulator sends note hash read membership check hints to witgen
3. Simulator sends nullifier read membership check hints to witgen
4. Simulator sends l1 to l2 message read membership check hints to witgen
5. Simulator sends public data tree update membership check hints to witgen
6. Simulator sends note hash insertion membership check hints to witgen
7. Simulator sends nullifier insertion membership check hints to witgen

Witgen tasks

Witgen will accept hints from TS, perform siloing, hashing, membership checks.

[WITGEN] 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)

[WITGEN] 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 after setup phase, before app-logic phase

[WITGEN] 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 in AVM witgen #10378
   +0
   

[WITGEN] 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

[WITGEN] Contract bytecode

Preview Give feedback

1. Contract address membership check per bytecode in AVM witgen #10379
   +0
   

[dbanks12]

Related: #8287