hemera roadmap
hemera is specified: x⁻¹ partial S-box, 16 partial rounds, 32-byte output, ~736 constraints per permutation. these proposals are OPTIMIZATIONS on top of the current spec — reducing constraint count further and shifting hemera's role from "hash for everything" to "trust anchor."
status: implemented = shipped in code and spec
implemented (0.3)
| proposal |
what it does |
| inversion-sbox |
x⁻¹ S-box in partial rounds, 16 partial rounds, 2^1046 algebraic degree |
| compact-output |
32-byte output, single-permutation binary tree nodes |
| verified-streaming |
pre-order encode/decode with incremental hash verification |
| async-streaming |
O(log n) memory async FSM decoder, tokio-compatible |
| sparse-merkle |
256-bit key sparse Merkle tree with compressed proofs |
| batch-proofs |
deduplicated multi-leaf inclusion proofs |
| gpu-backend |
wgpu compute shaders, u64 emulation in WGSL, batch dispatch |
| zero-alloc |
no_std core, fixed-size buffers, rs-edition compliant |
optimization proposals
batched-proving and folded-sponge removed — polynomial nouns reduce hemera to ~3 calls per execution, making batch/fold optimizations unnecessary.
scope expansion proposals
| proposal |
in reference? |
breaks hash? |
target |
| erasure-coding |
no |
no |
Reed-Solomon erasure coding over Goldilocks: same field, same NTT, data availability codec |
| capacity-typing |
no |
no |
type tags in reserved capacity slot state[14]: type-integrated hashing, type confusion prevention |
| semantic-hashing |
no |
yes |
section tree identity for .cyb containers: flat hash → section tree, changes particle_id for structured files |
targets
hemera (current) + optimizations (all)
constraints/perm: ~736 ~544 (wired MDS)
FS calls (20-round): 20 × 736 = 14,720 1 × 736 + 19 × 50 = 1,686
endgame role
hemera becomes the identity layer: content identity (hash), content typing (capacity), content availability (erasure). polynomial commitments (Brakedown) handle the high-volume proof work — proof binding and state verification with ZERO hemera calls.
always hemera: H(particle) identity, H(cyberlink), Fiat-Shamir seed
type-integrated hashing (capacity slot → type IS identity)
erasure encoding (RS over Goldilocks → availability codec)
algebraic: proof challenges (algebraic FS), state verification (polynomial)
eliminated: tree hashing (Brakedown is Merkle-free), DAS proofs (Lens openings)
key composition: with ~3 hemera calls per execution, each permutation folds into the HyperNova accumulator (~30 field ops) during proof-carrying execution.
cross-repo dependencies
| zheng proposal |
hemera interaction |
| proof-carrying |
each hemera permutation (~3 per execution) = one fold step |
| brakedown-pcs |
Merkle-free Lens eliminates hemera tree overhead entirely |
| bbg proposal |
hemera interaction |
| algebraic-nmt |
polynomial state reduces hemera state calls from 144K to 0 per block |
| signal-first |
signals content-addressed via hemera; hemera identity IS signal identity |
lifecycle
| status |
meaning |
| draft |
idea captured, open for discussion |
| accepted |
approved — ready to implement |
| implemented |
done — shipped in code |
Homonyms
roadmap
in this post, i will outline a short-term roadmap with a clear purpose title:: year/54/roadmap for recovering from chernobyl: the bug introduced in the recent update as well as actions needed to address the price crisis the main goal is to deliver short, impactful changes to shift swap price…
soft3/roadmap
roadmap
soft3/zheng/roadmap
zheng roadmap open proposals not yet in canonical spec. all other proposals are now in reference/ as canonical features. proposals | proposal | status | target | |----------|--------|--------| | gpu-prover | draft | full pipeline in VRAM — 45-100x throughput on commodity GPU | | ring-aware-fhe |…
soft3/glia/roadmap
glia roadmap done format & import canonical five encodings implemented: `u32` (16.16 fixed-point), `u16` (8.8), `q8` (32-val blocks), `q4` (32-val blocks), `ternary` (2-bit) import pipeline: all weights dequant→f32→canonical at pack time; config stored as integers (eps as 1/ε, sampling per-mille)…
cyb/optica/ROADMAP
roadmap optica is a static-site publisher for markdown knowledge graphs. the rendering pipeline (markdown → HTML → templates → CSS + minimal JS) is constrained by the web platform — DOM, Canvas, CSS. that ceiling is acceptable for documents up to ~10⁴ nodes. high-performance interactive graph…
soft3/bbg/roadmap
bbg roadmap only unfinished proposals remain here. executed proposals have moved to: **reference/** — the spec (WHAT and HOW) **docs/explanation/** — the rationale (WHY) remaining proposals | proposal | in reference? | what's missing | |----------|--------------|----------------| | storage-proofs |…
warriors/trisha/roadmap
trisha roadmap trisha closes the loop: source → compile → run → prove → verify → deploy. status | layer | status | what works | gap | |-------|--------|------------|-----| | runner | done | `trisha run` executes TASM via triton-vm | cycle count always 0 | | prover | done | `trisha prove` generates…
soft3/nox/roadmap
roadmap
soft3/tru/roadmap
roadmap the build plan and open proposals for tru. the current status of each spec is in [specs/](/soft3/tru/specs); this tree holds the forward-looking work. plan [implementation](/soft3/tru/roadmap/implementation) — the milestone plan: module layout, per-spec algorithm, predicate names, and…
cyb/reference/roadmap
Roadmap: project cleanup and improvements 1. Commit and clean up current changes [ ] Commit pending uncommitted changes (error handling, analytics API update, CSS fix) [ ] Find real code duplications and extract into shared utilities [ ] Fix pre-existing TS error (`reflect-metadata` in tsconfig) 2.…
neural/trident/roadmap
Design Proposals Proposals for language and VM design changes. Not spec — these are desires documented for future consideration. Each proposal is a standalone markdown file. Status is tracked in the frontmatter. Proposals | proposal | status | what | |----------|--------|------| | noun-types |…
cybics/crystal/roadmap
short term bugfixing cyb: clear a lot of technical debt and make it more reliable and usable offchain inference: generative model built from cybergraph skill for openclaw: agents can talk using decentralized social & cybergraph universal hash: agents can mine tokens on cpu learning rewards main…
neural/eidos/roadmap
eidos v0.1.0 — first anchor release Context eidos has solid bones: Cargo workspace (`rs/` library + `cli/` binary), CIC kernel + elaborator + tactic engine, 8 spec files, 139 lib tests, and 27+ theorems verified across `nox/proofs/` and `prysm/proofs/`. Replacement-plan phases 1–5 complete: the…
soft3/foculus/roadmap
foculus roadmap open problems, one file each. not phased milestones — specific unsolved questions, each with enough context to pick up independently. every item here originates from [specs/security-at-scale.md](/soft3/foculus/specs/security-at-scale)'s adversarial review, kept as a brief pointer…
soft3/mudra/roadmap
roadmap
cyb/evy/roadmap
evy roadmap open proposals not yet executed. each is a draft → accepted → migrated-to-specs lifecycle. remaining proposals | proposal | status | what's missing | |----------|--------|----------------| | (none yet — first crates land via `bevy/roadmap/cyb-engine-shardstore` in bbg, which blocks…
neural/trident/reference/roadmap
Roadmap Trident exists to write [CORE](https://cyber.page/core-spec/) — Conserved Observable Reduction Equilibrium, a self-verifying substrate for planetary collective intelligence. 16 reduction patterns, field-first arithmetic, BBG state, focus dynamics — all written in Trident, all provable.…