Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
[package]
name = "power_house"
version = "0.2.1"
version = "0.2.2"
edition = "2021"
authors = ["MFENX LLC"]
description = "Deterministic sum-check proofs, commitment-bound sparse verification, and quorum ledger tooling."
Expand Down
7 changes: 3 additions & 4 deletions JULIAN_PROTOCOL.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
MFENX Power-House Network: The JULIAN Protocol Network
Version 0.2.1 - June 2026
Version 0.2.2 - June 2026


# JULIAN Protocol: Proof-Transparent Consensus via Folding-Derived Anchors
Expand Down Expand Up @@ -183,9 +183,8 @@ implementation with:
python3 scripts/verify_sparse_certificate.py target/power_house_sparse_record.phsp
```

The artifact specification and benchmark manifest are in `docs/sparse_record.md` and
`artifacts/sparse_record_v1.json`. The claim policy in `docs/research_claim.md` deliberately separates
this reproducible engineering result from an unsupported world-first cryptographic claim.
The artifact specification and benchmark manifest are in
`docs/sparse_record.md` and `artifacts/sparse_record_v1.json`.

The next layer is available through `cargo run --release --example committed_workload -- all`.
It creates a canonical external `PHSMv1` sparse polynomial and a separate `PHCPv1` certificate
Expand Down
13 changes: 0 additions & 13 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -30,18 +30,6 @@ The external workflow stores the polynomial and proof separately:

Verification requires both files and rejects workload substitution.

These results demonstrate verification over enormous implicit domains. They do
not establish that arbitrary sextillion-step computations can be verified, do
not replace a quantum computer, and are not currently claimed as a world first.
See [Research Claim Standard](docs/research_claim.md).

The v1 sparse workflow is specifically a deterministic conformance artifact:
the verifier reads the public sparse polynomial and recomputes the expected
transcript. Because this polynomial family also has a closed-form Boolean sum,
v1 is not a succinct delegated-computation result. The formal boundary and v2
research target are documented in [Security Model](docs/security_model.md) and
[Research Protocol](docs/research_protocol.md).

## Install

```bash
Expand Down Expand Up @@ -131,7 +119,6 @@ Operations and migration procedures are documented in
- [Committed Workload Format](docs/committed_workload.md)
- [Million-Round Sparse Certificate](docs/sparse_record.md)
- [Hyperscale Seeded-Affine Proof](docs/hyperscale_proof.md)
- [Research Claim Standard](docs/research_claim.md)
- [Prior-Art Review](docs/prior_art_review.md)
- [Sparse Certificate Security Model](docs/security_model.md)
- [Research Protocol](docs/research_protocol.md)
Expand Down
7 changes: 6 additions & 1 deletion RELEASE_NOTES.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Release Notes

## Unreleased - v0.3 research foundation
## v0.2.2 - 2026-06-05

### Added
- Canonical small `PHSPv1`/`PHSMv1`/`PHCPv1` conformance vectors and manifest.
Expand All @@ -15,6 +15,11 @@
- Added decoder limits for variables, terms, degree, seeds, and total incidences.
- Rejected oversized polynomial degrees before allocation.

### Documentation
- Streamlined the crate README and documentation index.
- Removed the obsolete research-claim policy document.
- Updated the observatory documentation link and release label.

## v0.2.1 - 2026-06-05

### Added
Expand Down
86 changes: 0 additions & 86 deletions docs/research_claim.md

This file was deleted.

2 changes: 1 addition & 1 deletion docs/verification_guide.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Verification Guide

This guide reproduces every large-domain claim in `power_house` v0.2.1.
This guide reproduces every large-domain proof mode in `power_house` v0.2.2.

## Requirements

Expand Down
4 changes: 2 additions & 2 deletions publicpower/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -79,7 +79,7 @@

<div class="rail-links">
<a href="https://github.com/JROChub/power_house/blob/main/docs/verification_guide.md">REPRODUCE</a>
<a href="https://github.com/JROChub/power_house/blob/main/docs/research_claim.md">CLAIM STANDARD</a>
<a href="https://github.com/JROChub/power_house/blob/main/docs/security_model.md">SECURITY MODEL</a>
</div>
</aside>

Expand Down Expand Up @@ -141,7 +141,7 @@ <h1>POWER HOUSE</h1>
<div><span>ROUND</span><b id="round-value">0 / 70</b></div>
<div><span>CLAIM</span><b id="claim-value">WAITING</b></div>
<div><span>DIGEST</span><b id="digest-value">PENDING</b></div>
<div><span>RELEASE</span><b>v0.2.1</b></div>
<div><span>RELEASE</span><b>v0.2.2</b></div>
<div><span>ENGINE</span><b>RUST + PYTHON</b></div>
</div>
</section>
Expand Down