feat: Python-friendly Receipt API improvements (v0.4.0)

Major API enhancements for better Python ergonomics and security:

Receipt API improvements:
- Added journal_bytes, journal_hex, journal_text, journal_len properties
- Added ExitStatus with structured exit information (kind, user_code, ok)
- Added ExitKind enum (HALTED, PAUSED, SYSTEM_SPLIT, SESSION_LIMIT)
- Added claimed_image_id_hex/bytes properties (clearly marked as untrusted)
- Added verify_hex() and verify_bytes() methods with 0x prefix support
- Added verify_integrity() for safe failure inspection
- Added Receipt serialization with to_bytes()/from_bytes()
- Added compute_image_id_hex() module function
- Improved __repr__() with journal preview and image ID

Security improvements:
- Clear separation between claimed (from receipt) and trusted (from verifier) image IDs
- Verification methods require explicit trusted image ID
- Better error messages and validation

Removed:
- decode_journal() - not ready for RISC Zero 1.2 (requires 2.x+ APIs)

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>

Author: nyc432

Cargo.toml

@@ -2,7 +2,7 @@
 
 [package]
 name = "pyr0"
-version = "0.3.0"
+version = "0.4.0"
 edition = "2021"
 
 [lib]

README.md

@@ -1,11 +1,11 @@
 # PyR0 - Python Interface for RISC Zero zkVM
 
-[![Version](https://img.shields.io/badge/version-0.3.0-orange)](https://github.com/garyrob/PyR0/releases)
+[![Version](https://img.shields.io/badge/version-0.4.0-orange)](https://github.com/garyrob/PyR0/releases)
 **⚠️ Experimental Alpha - Apple Silicon Only**
 
 Python bindings for [RISC Zero](https://www.risczero.com/) zkVM, enabling zero-knowledge proof generation and verification from Python.
 
-> **Note**: This is an experimental alpha release (v0.3.0) currently targeting Apple Silicon (M1/M2/M3) Macs only.
+> **Note**: This is an experimental alpha release (v0.4.0) currently targeting Apple Silicon (M1/M2/M3) Macs only.
 
 ## Overview
 

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "maturin"
 
 [project]
 name = "PyR0"
-version = "0.3.0"
+version = "0.4.0"
 authors = [
     { name = "Weikeng Chen", email = "weikeng.chen@l2iterative.com" }
 ]

run_all_tests.sh

@@ -41,6 +41,10 @@ run_test "Real Verification Test" "uv run test_real_verification.py"
 run_test "Security Verification Test" "uv run test_security_verification.py"
 run_test "Verify API Test" "uv run test_verify_api.py"
 
+# API tests
+echo -e "\n=== API Tests ==="
+run_test "Receipt API Test" "uv run test_receipt_api.py"
+
 # Merkle tree tests
 echo -e "\n=== Merkle Tree Tests ==="
 run_test "Merkle ZKP Test" "uv run test/test_merkle_zkp.py"

src/lib.rs

@@ -3,7 +3,7 @@ mod receipt;
 mod session;
 
 use crate::image::Image;
-use crate::receipt::Receipt;
+use crate::receipt::{Receipt, ExitStatus, ExitKind};
 use crate::session::{ExitCode, SessionInfo};
 use pyo3::prelude::*;
 use risc0_zkvm::{default_prover, ExecutorEnv, ProverOpts};
@@ -87,6 +87,22 @@ fn prove_with_opts(_py: Python<'_>, image: &Image, input_bytes: &Bound<'_, PyAny
 // Advanced functions removed - segments are no longer exposed
 // If needed in future, these could work with Receipt types instead
 
+/// Compute the expected image ID from an ELF file as hex string
+/// 
+/// Args:
+///     elf_bytes: The ELF binary to compute ID from
+/// 
+/// Returns:
+///     64-character hex string of the image ID
+#[pyfunction]
+fn compute_image_id_hex(elf_bytes: Vec<u8>) -> PyResult<String> {
+    let image_id = risc0_binfmt::compute_image_id(&elf_bytes)
+        .map_err(|e| PyErr::new::<pyo3::exceptions::PyValueError, _>(
+            format!("Failed to compute image ID: {}", e)
+        ))?;
+    Ok(hex::encode(image_id))
+}
+
 
 
 
@@ -96,11 +112,14 @@ fn _rust(m: &Bound<'_, PyModule>) -> PyResult<()> {
     m.add_class::<ExitCode>()?;
     m.add_class::<SessionInfo>()?;
     m.add_class::<Receipt>()?;
+    m.add_class::<ExitStatus>()?;
+    m.add_class::<ExitKind>()?;
 
     // Core API functions
     m.add_function(wrap_pyfunction!(load_image, m)?)?;
     m.add_function(wrap_pyfunction!(prove, m)?)?;
     m.add_function(wrap_pyfunction!(prove_with_opts, m)?)?;
+    m.add_function(wrap_pyfunction!(compute_image_id_hex, m)?)?;
 
     // Optional debugging function
     m.add_function(wrap_pyfunction!(dry_run, m)?)?;

src/pyr0/__init__.py

@@ -6,6 +6,7 @@
     "load_image",
     "prove",
     "prove_with_opts",
+    "compute_image_id_hex",
 
     # Debugging functions
     "dry_run",
@@ -16,4 +17,6 @@
     "Receipt",
     "ExitCode",
     "SessionInfo",
+    "ExitStatus",
+    "ExitKind",
 ]