Changelog
[0.1.0] — unreleased
Initial minimal release: turn a nox execution trace into a verifiable proof.
Added
- SuperSpartan IOP over CCS (Customizable Constraint Systems) — outer + inner
sumchecks, arbitrary-degree AIR constraints
- Brakedown multilinear PCS via
lens (expander-graph codes, transparent,
post-quantum) — one commitment, one opening per proof
- sumcheck protocol — O(N) prover, log(N) rounds
- HyperNova folding — cross-term, β-challenge, per-CCS-structure accumulators
- CCS encoding of nox patterns (
ccs/patterns.rs), Poseidon2 particle
constraints (ccs/particle.rs), Fiat-Shamir transcript replay as Poseidon2
CCS instances (ccs/transcript.rs)
- five entry points:
commit, open, verify (verify_eval), fold, decide
- canonical workspace layout —
rs/ (library) + cli/ (binary zheng)
Security
- closed the Brakedown proximity Fiat-Shamir soundness gap:
transcript.squeeze()
is now proven by real Poseidon2 CCS constraints, replacing the eq(0,0) stubs
- BBG root-hash binding carries namespace + accumulator-commitment interface
fields (
H(commit ‖ A ‖ N) == bbg_root constraint pending BBG design for A)
Homonyms
bootloader/go-cyber/CHANGELOG
Change Log [Unreleased](https://github.com/cybercongress/go-cyber/tree/HEAD) [Full Changelog](https://github.com/cybercongress/go-cyber/compare/v0.1.6...HEAD) **Closed issues:** Disable karma calculations [\#552](https://github.com/cybercongress/go-cyber/issues/552) Upgrade to Launchpad…
soft3/hemera/CHANGELOG
Changelog [0.3.0] — 2026-05-12 Added Async FSM verified streaming (`stream_async`) — O(log n) decoder for pre-order interleaved format `chunk_cv` and `parent_cv` aliases for chaining value accessors Sparse Merkle tree with 256-bit keys, depth-256, compressed proofs (bitmask encoding for sentinel…
cyb/wysm/CHANGELOG
Changelog All notable changes to this project will be documented in this file. The format is loosely based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). Additionally we have an `Internal` section…
warriors/trisha/CHANGELOG
Changelog [unreleased] added `roadmap/` — individual proposal files replacing monolithic `reference/roadmap.md` `docs/explanation/` — architecture, GPU backend, proof file format, patching [0.1.0] added `trisha run` — execute Trident programs on Triton VM `trisha prove` — generate STARK proofs of…
soft3/radio/CHANGELOG
Changelog All notable changes to iroh will be documented in this file. [0.96.1](https://github.com/n0-computer/iroh/compare/v0.96.0..0.96.1) - 2026-02-06 🐛 Bug Fixes *(iroh)* Use latest portmapper to avoid duplicate dependencies ([#3903](https://github.com/n0-computer/iroh/issues/3903)) -…
bootloader/space-pussy/CHANGELOG
Change Log [Unreleased](https://github.com/cybercongress/go-cyber/tree/HEAD) [Full Changelog](https://github.com/cybercongress/go-cyber/compare/v0.1.6...HEAD) **Closed issues:** Disable karma calculations [\#552](https://github.com/cybercongress/go-cyber/issues/552) Upgrade to Launchpad…
neural/trident/CHANGELOG
Changelog Kelvin versioning: versions count down toward 0K (frozen forever). Lower is colder. Colder is more stable. 0.1.0 / 512K — Smelt (2026-02-26) First public release. Hot, experimental, not production ready. Compiler Full pipeline: source → lexer → parser → AST → typecheck → TIR → optimizer →…
neural/rune/CHANGELOG
Changelog All notable changes to rune are recorded here. Format follows [Keep a Changelog](https://keepachangelog.com); rune is pre-1.0 and tracks milestones M1–M10 toward the Kelvin freeze (see `PLAN.md`). [Unreleased] Added **Two registers, one AST (M4)** — classic (Rust-like) and pure…
bootloader/go-cyber/mcp/CHANGELOG
Changelog [0.8.3] - 2026-03-19 Changed Made `li_mine_proof` tool always available — removed `#[cfg(feature = "mining")]` conditional compilation gates Made `uhash-prover` and `uhash-core` non-optional dependencies (mining is always built-in) Removed `[features]` section from Cargo.toml Fixed…
soft3/radio/iroh-docs/CHANGELOG
Changelog All notable changes to iroh-docs will be documented in this file. [0.96.0](https://github.com/n0-computer/iroh-docs/compare/v0.95.0..0.96.0) - 2026-01-29 ⚙️ Miscellaneous Tasks Upgrade to `iroh` 0.96 -…
soft3/radio/iroh-willow/CHANGELOG
Changelog All notable changes to iroh will be documented in this file. [0.28.1](https://github.com/n0-computer/iroh/compare/v0.28.0..v0.28.1) - 2024-11-04 🐛 Bug Fixes Switch to correctly patched quic-rpc and iroh-quinn -…
soft3/radio/iroh-ffi/CHANGELOG
v0.0.6 (2023-08-28) Initial Release, mainly to test package consumption flow across different platforms. Only a subset of the [commands api](https://iroh.computer/docs/commands) is supported. Features add 'set_log_level' to control iroh logging from other languages…
soft3/radio/iroh-gossip/CHANGELOG
Changelog All notable changes to iroh-gossip will be documented in this file. [0.96.0](https://github.com/n0-computer/iroh-gossip/compare/v0.95.0..0.96.0) - 2026-01-29 ⛰️ Features Add `neighbors()` method to `GossipTopic` ([#124](https://github.com/n0-computer/iroh-gossip/issues/124)) -…
soft3/radio/iroh-blobs/CHANGELOG
Changelog All notable changes to iroh-blobs will be documented in this file. [0.35.0](https://github.com/n0-computer/iroh-blobs/compare/v0.34.1..0.35.0) - 2025-05-12 ⛰️ Features [**breaking**] Allow configuring the downloader when creating a blobs protocol handler…
cyb/evy/forks/naga/CHANGELOG
Change Log For changelogs after v0.14, see [the wgpu changelog](/cyb/evy/forks/changelog). v0.14 (2023-10-25) GENERAL Add support for const-expressions. ([#2309](https://github.com/gfx-rs/naga/pull/2309)) **@teoxoy**, **@jimblandy** Add support for the `rgb10a2uint` storage format.…
bootloader/go-cyber/ts/packages/cyber-ts/CHANGELOG
Change Log All notable changes to this project will be documented in this file. See [Conventional Commits](https://conventionalcommits.org) for commit guidelines. 0.1.3 (2024-08-22) **Note:** Version bump only for package @cybercongress/cyber-ts 0.1.2 (2024-08-22) **Note:** Version bump only for…