refactor(PXE): sync from PXE instead of from contracts#19193

Open

mverzilli wants to merge 91 commits intonextfrom

martin/f-162-explicit-contract-sync

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