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: in reference = proposal is now the canonical spec

core (implemented in reference)

proposal in reference? what it did
inversion-sbox yes → reference/permutation.md x⁻¹ S-box, 16 partial rounds, 2^1046 algebraic degree
compact-output yes → reference/sponge.md, reference/tree.md, reference/api.md 32-byte output, 1-perm binary nodes

optimization proposals

proposal in reference? target
partial-round-collapse no precompute linear evolution: 4× prover wall-clock
constraint-free-mds no absorb MDS into CCS wiring: 26% fewer constraints (~544)
algebraic-fiat-shamir no algebraic challenge derivation: 8.7× fewer hemera calls

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? target
erasure-coding no Reed-Solomon erasure coding over Goldilocks: same field, same NTT, data availability codec
capacity-typing no type tags in reserved capacity slot state[14]: type-integrated hashing, type confusion prevention

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 — migrated to relevant spec file

Dimensions

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…
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 |…
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 |…
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 |…
year/54/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…
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.…

Pages in this namespace

Local Graph