refactor: crash tolerant PXE #19293

Open

mverzilli wants to merge 153 commits intonextfrom

martin/pxe-db-integrity

Commits on Dec 16, 2025

extract getContractInstance from PXEOracleInterface
mverzilli
committed
Merge branch 'next' into martin/refactor-pxe-oracle-interface-away
mverzilli
committed
extract getFunctionArtifact from PXEOracleInterface
mverzilli
committed
extract getDebugFunctionName from PXEOracleInterface
mverzilli
committed

Commits on Dec 17, 2025

extract getNotes from PXEOracleInterface
mverzilli
committed
merge
mverzilli
committed
extract getKeyValidationRequest from PXEOracleInterface
mverzilli
committed
extract getCompleteAddress from PXEOracleInterface
mverzilli
committed
calculateDirectionalAppTaggingSecret
mverzilli
committed
getSharedSecret
mverzilli
committed
getL1ToL2MembershipWitness
mverzilli
committed
fix regression
mverzilli
committed
getMembershipWitness
mverzilli
committed
getLowNullifierMembershipWitness
mverzilli
committed
fix some regressions
mverzilli
committed
fix regression
mverzilli
committed
getBlock
mverzilli
committed
getNulliferMembershipWitness and getNullifierMembershipWitnessAtLatestBlock
mverzilli
committed
getPublicDataWitness
mverzilli
committed
getPublicStorageAt
mverzilli
committed

Commits on Dec 18, 2025

fix regressions
mverzilli
committed
assertCompatibleOracleVersion
mverzilli
committed
remove getSenders
mverzilli
committed
storeCapsule
mverzilli
committed
rest of capsule delegates
mverzilli
committed
getStats
mverzilli
committed
almost the rest of the frigging owl
mverzilli
committed
getNullifierIndex
mverzilli
committed
remove aztec node getter from PXEOracleInterface
mverzilli
committed
note and event validation
mverzilli
committed
good bye PXEOracleInterface
mverzilli
committed
move getContractInstance to utility execution oracle
mverzilli
committed
move getNotes to UtilityExecutionOracle
mverzilli
committed
bring some more stuff inside oracles
mverzilli
committed
getMembershipWitness
mverzilli
committed
more
mverzilli
committed
common => utility_execution_oracle 1/
mverzilli
committed
common => utility_execution_oracle 2/
mverzilli
committed
common => utility_execution_oracle 3/
mverzilli
committed
common => utility_execution_oracle 4/
mverzilli
committed
common => utility_execution_oracle 5/
mverzilli
committed
common => utility_execution_oracle 6/
mverzilli
committed
common => utility_execution_oracle 7/
mverzilli
committed
common => utility_execution_oracle 8/
mverzilli
committed
common => utility_execution_oracle 9/
mverzilli
committed

Commits on Dec 19, 2025

common => utility_execution_oracle 10/
mverzilli
committed
introduce NoteSynchronizer
mverzilli
committed
deliverNote
mverzilli
committed
rename NoteSynchronizer => NoteService
mverzilli
committed
EventService
mverzilli
committed
refactor validateEnqueuedNotesAndEvents
mverzilli
committed
getFunctionArtifactWithDebugMetadata
mverzilli
committed
good bye common
mverzilli
committed
simplify readCurrentClassId
mverzilli
committed
help shaking trees
mverzilli
committed
fix weird lint issue
mverzilli
committed
LogService
mverzilli
committed
bulkRetrieveLogs
mverzilli
committed
MembershipWitnessService
mverzilli
committed
more MembershipWitnessService
mverzilli
committed
getBlock
mverzilli
committed
getNotes
mverzilli
committed
TreeMembershipService
mverzilli
committed
PublicStorageService
mverzilli
committed
port docs
mverzilli
committed
good bye ExecutionDataProvider
mverzilli
committed
wanted
mverzilli
committed
merge
mverzilli
committed
reduce barrel imports
mverzilli
committed

Commits on Dec 22, 2025

POC: optimize playground build
mverzilli
committed
remove report
mverzilli
committed
Revert "remove report"
mverzilli
committed
Revert "POC: optimize playground build"
mverzilli
committed
hunt down barrel imports
mverzilli
committed
went too far in the shaking
mverzilli
committed
sync from PXE instead of from contracts
mverzilli
committed
make it bootstrap
mverzilli
committed
Merge branch 'next' into martin/f-162-explicit-contract-sync
mverzilli
committed

Commits on Dec 23, 2025

guard against external sync_private_state invocations
mverzilli
committed
more guards
mverzilli
committed
decomplect sync in txe
mverzilli
committed
refactor to unify where sync happens
mverzilli
committed
wip
mverzilli
committed
fix getPrivateEvents
mverzilli
committed

Commits on Jan 2, 2026

Sync private state before simulating utility in TXE
mverzilli
committed
Merge branch 'next' into martin/f-162-explicit-contract-sync
mverzilli
committed
Fix PXE unit test
mverzilli
committed
Call syncPrivateState on txePrivateCallNewFlow
mverzilli
committed
Sync notes when entering private state in TXE
mverzilli
committed
fix circuit recorder tests
mverzilli
committed
fix multiple blobs test
mverzilli
committed
first part of PXE db integrity through staged writes
mverzilli
committed
adapt providers to use staging phase
mverzilli
committed
integrate with PXE main code
mverzilli
committed
final pieces of integration
mverzilli
committed
remove context from block synchronizer
mverzilli
committed
fix lint issues
mverzilli
committed
fix for IndexedDB serialization
mverzilli
committed

Commits on Jan 5, 2026

tidy up
mverzilli
committed
fix dep cycle
mverzilli
committed
Merge branch 'martin/f-162-explicit-contract-sync' into martin/pxe-db-integrity
mverzilli
committed
rename
mverzilli
committed
handle store transaction at commitJob level
mverzilli
committed
less granularity on commit blast
mverzilli
committed
rename provider => store
mverzilli
committed
refactor PrivateEventDataProvider to use in-memory data
mverzilli
committed
make e2e changes more minimal
mverzilli
committed
remove outdated comment
mverzilli
committed
tweak e2e test
mverzilli
committed
Merge branch 'next' into martin/f-162-explicit-contract-sync
mverzilli
committed
Merge branch 'martin/f-162-explicit-contract-sync' into martin/pxe-db-integrity
mverzilli
committed
fix RecipientTaggingDataProvider
mverzilli
committed

Commits on Jan 6, 2026

merge
mverzilli
committed
more renames
mverzilli
committed
make anchor block store work in memory
mverzilli
committed
rename commitStaged => commit
mverzilli
committed
make sender tagging store committable
mverzilli
committed
another pass at note store
mverzilli
committed
polish job_coordinator
mverzilli
committed
little refactors to JobCoordinator
mverzilli
committed
make getNotes support staged writes
mverzilli
committed
remove recover feature
mverzilli
committed

Commits on Jan 7, 2026

use contexts for capsule store operations
mverzilli
committed
simplify jobcontext objects
mverzilli
committed
do not rely on prefixes for staging operations
mverzilli
committed
remove JobContext, use simple jobId strings
mverzilli
committed
make sure note store uses staged writes
mverzilli
committed
thread jobIds through event store calls
mverzilli
committed
make sure we use jobIds with tagging store ops
mverzilli
committed
make jobid mandatory
mverzilli
committed
make job_id mandatory for oracles
mverzilli
committed
remove comment
mverzilli
committed
polish job coordinator
mverzilli
committed
use constant
mverzilli
committed
better comments for anchor_block_store
mverzilli
committed
reduce verbosity
mverzilli
committed
significantly refactor capsule_store_test
mverzilli
committed
fix potential deadlock on capsule store commit
mverzilli
committed
significant refactor of getNotes
mverzilli
committed
significant refactor of note store
mverzilli
committed
leverage promise.all where low-hanging
mverzilli
committed
remove spurious comment
mverzilli
committed
remove redundant comments
mverzilli
committed
remove unnecessary comments
mverzilli
committed
update comments
mverzilli
committed
update comments
mverzilli
committed
remove old comment
mverzilli
committed
fix bug in nullifier found during e2e testing
mverzilli
committed

Commits on Jan 8, 2026

rollback bad fix
mverzilli
committed
basic logging for debugging
mverzilli
committed
Merge branch 'next' into martin/pxe-db-integrity
mverzilli
committed
more touches to private_event_store tests
mverzilli
committed
fix nullifier commit bugs and sync tagging race
mverzilli
committed