Skip to content

Commit dc756f1

Browse files
mastercybclaude
andcommitted
chore: remove all hemera-1/hemera-2/hemera-3 version labels
There is no versioned hemera. There is hemera. Comparison tables rewritten with feature labels: "before (x⁷, 64 rounds)" / "current (x⁻¹, 16 rounds)" or "64-byte output" / "32-byte output". Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
1 parent 74ac1bc commit dc756f1

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

root/cyber/research/zheng vs starks.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -441,10 +441,10 @@ the proof is the transcript: all the prover's messages concatenated. the verifie
441441
```
442442
Fiat-Shamir cost:
443443
current: ~20 hemera squeeze calls per proof = 20 × 736 = ~14,720 constraints
444-
hemera-3 algebraic FS: 1 hemera seed + 19 polynomial challenges = ~1,686 constraints
444+
with algebraic FS: 1 hemera seed + 19 polynomial challenges = ~1,686 constraints
445445
```
446446

447-
hemera-3's [[algebraic Fiat-Shamir]] derives subsequent challenges from polynomial evaluations rather than additional hash calls — 8.7× reduction in Fiat-Shamir cost.
447+
[[algebraic Fiat-Shamir]] derives subsequent challenges from polynomial evaluations rather than additional hash calls — 8.7× reduction in Fiat-Shamir cost.
448448

449449
## 9. HyperNova: Folding Instead of Verifying
450450

@@ -861,7 +861,7 @@ this is a **self-proving [[cybergraph|knowledge graph]]**: every edge carries it
861861

862862
## 13. [[Hemera]]: Trust Anchor, Not Prover
863863

864-
### 13.1 hemera-2 parameters
864+
### 13.1 hemera parameters
865865

866866
```
867867
hash: Poseidon2 over Goldilocks
@@ -884,7 +884,7 @@ role hemera calls evolution
884884
content identity 1 per particle always hemera (identity must persist)
885885
private records 1 per UTXO always hemera (privacy binding)
886886
Fiat-Shamir seed 1 per proof always hemera (transcript binding)
887-
Fiat-Shamir challenges 19 per proof hemera-3: algebraic (polynomial)
887+
Fiat-Shamir challenges 19 per proof algebraic FS: polynomial challenges
888888
NMT tree hashing 144K per block algebraic NMT: 0 (polynomial state)
889889
DAS inclusion proofs 640 per verify algebraic DAS: 0 (PCS openings)
890890
Brakedown commitment 1 per proof always hemera (binding hash)

0 commit comments

Comments
 (0)