Notes

• Private global state is infeasible, as the prover must know the state to generate proofs
• Adding pstore and pload opcodes supports private user states
• Private storage trees and invalid trees manage private data
• Need to handle metadata leaks, such as message.sender and tx.origin
• Can achieve private rollup, with users or servers generating proofs
• Future needs to consider EOA privacy and dynamic value storage race conditions

• 私有全局状态不可行，因证明者需知晓状态才能生成证明
• 添加pstore和pload操作码可支持私有用户状态
• 使用私有存储树和无效树来管理隐私数据
• 需处理元数据泄露问题，如message.sender和tx.origin
• 可实现私有rollup，用户或服务器生成证明
• 未来需考虑EOA隐私和动态值存储的竞态条件