power_house 0.2.2

Deterministic sum-check proofs, commitment-bound sparse verification, and quorum ledger tooling.
Documentation
{
  "artifact": "Power-House Public Sparse Computation Certificate v1",
  "generated_at_utc": "2026-06-05T06:02:21Z",
  "certificate_file": "power_house_sparse_record.phsp",
  "certificate_format": "PHSPv1",
  "certificate_bytes": 16000171,
  "certificate_sha256": "2b219ba189c3a38f1073c7797629e9aaf44a36820abb64c7628129480eb43f3b",
  "field_modulus": 1000000007,
  "domain_variables": 1000000,
  "domain_decimal_digits": 301030,
  "sparse_terms": 8192,
  "maximum_term_degree": 12,
  "term_incidences": 57093,
  "final_evaluation": 158541602,
  "polynomial_digest": "8ce5e85d9946cbe3434dba2b34714f84dc3315a1827a8815e40fb6a3d4b1a9b6",
  "transcript_digest": "70dcfd35bdea8ec037582f0e3b3a60a6f8df5e532ebc0821ef87f1f299bc12d5",
  "rust_prove_time_ms": 1608.060,
  "rust_verify_time_ms": 1619.247,
  "python_verify_wall_seconds": 11.77,
  "rustc": "rustc 1.93.1 (01f6ddf75 2026-02-11)",
  "target": "x86_64-unknown-linux-gnu",
  "llvm": "21.1.8",
  "operating_system": "Linux JROC 6.19.14+kali-amd64 x86_64",
  "cpu": "Intel(R) Core(TM) i5-2500S CPU @ 2.70GHz",
  "cpu_cores": 4,
  "rust_command": "cargo run --release --example sparse_record",
  "python_command": "python3 scripts/verify_sparse_certificate.py target/power_house_sparse_record.phsp"
}