Skip to content

v0.5.2 — docs currency + diagnostic completeness

Choose a tag to compare

View all tags
@defenwycke defenwycke released this 19 Jul 22:55
v0.5.2
c494dda

Hazync v0.5.2 — docs currency + diagnostic completeness

A small hygiene release so the published binaries match main. The zkVM guest is unchanged — METHOD_ID is still c029cee4be0a0478af667b03d95112304e574beb93e23ffd97afb93d66742059. Every existing proof still verifies, the version-less download URLs are unchanged, and verify-any / prove-range are byte-identical to v0.5.1. No re-prove.

Download (URLs stable across releases)

  • Verify a proof (any Linux x86-64, glibc 2.39+): releases/latest/download/hazync-host-x86_64-linux-gnu
  • Prove (NVIDIA GPU + CUDA 12.6): releases/latest/download/hazync-host-x86_64-linux-gnu-cuda

What changed, by file (all host / docs / CI — no guest change)

  • prover/host/src/main.rs (build_full) — the check-full diagnostic now sources the real previous-11-block MTP window (recent_times) from the block JSON when present, falling back to the prior placeholder for older fixtures. This lets check-full validate an isolated real time-locked block; the actual proving path (prove-range → build_block_carried) already derives this itself and is unaffected.
  • prover/fetch_block.py — walks back 11 blocks via previousblockhash to supply that MTP window.
  • prover/ci_negative_tests.sh + .github/workflows/adversarial.yml — added the SEC-2 forged-accumulator-inclusion reject test to CI (the guest already rejected it; now it's continuously enforced).
  • SECURITY.md — corrected a stale line that still called BIP68-time "the one open soundness item"; it is fixed (real coin_mtp committed, CSV gate at 419328 in verify_input.cpp). Consistent with the rest of the file now.
  • docs/HAZYNC_ARCHITECTURE.md — corrected the same stale BIP68-time "OPEN" reference; scrubbed the removed k256 ECDSA-acceleration experiment down to a past-tense record; affirmed Schnorr/taproot are fully verified via real libsecp256k1 (only their acceleration was ever open).
  • docs/ACCELERATION.md — reframed k256 / patches/0003 / bigint_accel.rs (all removed in v0.5.0) as historical; kept the bigint2 field-backend research intact.
  • .gitignore — never commit prover identity / key material.

Soundness

Unchanged and re-verified in CI: block-170 regression, the adversarial suite (every known hole REJECTs), BIP30, the COV-1/COV-2/SEC-2 negative tests, and reproducible-image-id asserting the guest builds bit-for-bit to c029cee4.

Assets 8
Loading