NotesNotes要点

• 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隐私和动态值存储的竞态条件

• グローバルなプライベートステートは非現実的である。なぜなら、プロバーが証明を生成するためにはそのステートを知っている必要があるからだ。
• pstoreおよびploadオペコードの追加により、プライベートユーザーステートをサポートする。
• プライベートストレージツリーと無効なツリー（invalid trees）はプライベートデータを管理する。
• message.senderやtx.originなどのメタデータ漏洩への対応が必要である。
• ユーザーまたはサーバーが証明を生成することで、プライベートロールアップを実現できる。
• 今後はEOAのプライバシーと動的な値のストレージにおける競合状態（race conditions）を考慮する必要がある。