Skip to content

Releases: ProofCodec/proofcodec-verify

v0.2.0 — Multi-Domain Proof Bundles

03 Mar 14:04
@RusDyn RusDyn
v0.2.0
f333fea

Choose a tag to compare

View all tags
v0.2.0 — Multi-Domain Proof Bundles Latest
Latest

Proof Bundles — v0.2.0

First public release of independently verifiable proof bundles across 5 domains. Download any bundle and run proofcodec-verify bundle <dir> to verify all compression claims without trusting our software.

Included Domains

Bundle Domain Positions Compression Status
ip_region_proof.tar.gz IP-REGION (/24 routing tables) 16.7M 3.0x vs Huffman Lossless
rate_limit_proof.tar.gz RATE-LIMIT (API gateway tiers) 33.5M 1.5x vs Huffman Lossless
ca_reach_proof.tar.gz CA-REACH (Rule 110 reachability) 1.0M 4.1x vs Huffman Lossless
add_carry_n12_proof.tar.gz ADD-CARRY (12-bit addition) 16.7M 1.3x vs Huffman Lossless
kqvk_proof.tar.gz Chess KQvK (3-piece endgame) 368K 2,444x vs Huffman Near-lossless

Verify a Bundle

pip install proofcodec-verify
gh release download v0.2.0 -R ProofCodec/proofcodec-verify -p 'ca_reach_proof.tar.gz'
mkdir ca_reach_proof && tar xzf ca_reach_proof.tar.gz -C ca_reach_proof/
proofcodec-verify bundle ca_reach_proof/

What's in a Bundle

Each bundle contains:

  • manifest.json — SHA-256 hashes, domain definition, compression metrics
  • residual.v18 — binary correction file (corrects every tree mismatch)
  • baselines.json — Huffman and fixed-width baseline calculations
  • verification.json — exhaustive verification report

The decision tree model is not distributed (proprietary IP). Verification confirms manifest integrity and residual correctness without it.

Full Results

27 domains across 5 domain types — BENCHMARK.csv

Assets 7
Loading