Notes Notes 要点

• All input data is untrusted and must be validated in the guest program.
• Only guest code execution is proven, host code behavior is not guaranteed by encryption.
• SP1 uses 32-bit RISC-V, attention needed for integer overflow and pointer arithmetic.
• Third-party dependencies may introduce OS calls or 64-bit assumptions, requiring review and adaptation.
• Security audits should focus on input validation and logic separation to prevent malicious inputs.
• Uses standard Rust toolchain, but attention needed for zkVM environment constraints.

• 所有输入数据均不可信，必须在客机程序中验证
• 仅客机代码执行被证明，主机代码行为不受加密保证
• SP1使用32位RISC-V，需注意整数溢出和指针算术问题
• 第三方依赖可能引入OS调用或64位假设，需审查和适配
• 安全审计应聚焦输入验证和逻辑分离，防止恶意输入
• 使用标准Rust工具链，但需注意zkVM环境限制

• すべての入力データは信頼できないため、ゲストプログラム内で検証する必要があります。
• 証明されるのはゲストコードの実行のみであり、ホストコードの動作は暗号化によって保証されません。
• SP1 は 32-bit RISC-V を使用しており、整数オーバーフローとポインタ演算に注意が必要です。
• サードパーティの依存関係が OS コールや64ビットの仮定を導入する可能性があり、レビューと適応が必要です。
• セキュリティ監査は、悪意のある入力を防ぐための入力検証とロジック分離に焦点を当てるべきです。
• 標準の Rust ツールチェーンを使用していますが、zkVM 環境の制約に注意が必要です。