swaits/iroh-gossip-rendezvous
1
0 Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
15 Commits 3 Branches 1 Tag
main
Commit Graph
4 Commits
Author SHA1 Message Date
swaits 58f50d0395 chore: repoint URLs at git.swaits.com and bump for release
CI / check (macos-latest, 1.93.0) (push) Canceled after 0s
Details
CI / check (macos-latest, stable) (push) Canceled after 0s
Details
CI / check (ubuntu-latest, 1.93.0) (push) Canceled after 0s
Details
CI / check (ubuntu-latest, stable) (push) Canceled after 0s
Details
CI / check (windows-latest, 1.93.0) (push) Canceled after 0s
Details
CI / check (windows-latest, stable) (push) Canceled after 0s
Details
CI / cargo deny (push) Canceled after 0s
Details
CI / cargo audit (push) Canceled after 0s
Details
CI / cargo semver-checks (push) Canceled after 0s
Details
CI / coverage (push) Canceled after 0s
Details
CI / examples build (push) Canceled after 0s
Details
CI / stateright BFS N=3 K=2 (push) Canceled after 0s
Details 
Rewrites remaining github.com / git.sr.ht references to git.swaits.com,
translating GitHub URL shapes to Gitea's (/blob/<ref>/ -> /src/branch/<ref>/,
/tree/<tag> -> /src/tag/<tag>, /actions/workflows/X -> /actions?workflow=X,
/edit/ -> /_edit/).

Left pointing at GitHub on purpose: pull-request links (PRs were not migrated)
and GitHub-only surfaces Gitea lacks (security advisories, discussions).
 2026-08-31 17:58:33 -06:00
swaits 2f40c81c3a release 0.2.1: fast recovery from PublishFailing 2026-05-11 16:17:47 -06:00
swaits 44b455e369 release 0.2.0: iroh 1.0-rc.0 / gossip 0.99 2026-05-11 15:23:40 -06:00
swaitsandClaude Opus 4.7 7e39781318 Initial release: v0.1.0 
Passphrase-based peer rendezvous for iroh-gossip swarms over the public
Mainline DHT. Two nodes that share a passphrase + application salt find
each other and join the same gossip topic — no bootstrap server, no
prior knowledge of peer addresses.

The algorithm is a clock-free variant of HyParView-style partition
healing on BEP 44 mutable items, with K-sharded slots, logical aging
with random-tie eviction, vouching of up to V neighbors at age 1, and
a two-layer AEAD record envelope. Full spec in PROTOCOL.md.

Ships with:

* 119 tests (unit / property / integration / doctest) all green
* 100% mutation-testing catch rate (cargo-mutants)
* cargo-fuzz harnesses for the parse surface
* Kani proofs of no-UB / no-panic on crypto::epoch_of and
  wire::decode_entries across their full symbolic input spaces
* Stateright distributed-system model: safety invariants S1 + S2
  proved exhaustively for N ≤ 6, K ≤ 3; liveness witness under weak
  fairness
* Miri green on the synchronous modules
* cargo-deny + cargo-audit clean
* criterion benches
* Full-matrix CI (Linux + macOS + Windows × stable + MSRV 1.93.0)
* Dedicated nightly lane for Miri / mutation / fuzz / Kani / Stateright

Pinned iroh 0.98.x. License MIT.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
 2026-04-22 22:52:46 -06:00