Homonyms
soft3/zheng/specs/decider
decider the final step of a HyperNova folding chain. takes an accumulator that has absorbed N computation steps and produces a single, immediately-verifiable zheng proof. cost: ~825 constraints — the same whether N is 1 or 1,000,000. measured: the universal step decider (0.3.1) one Layer-1…
soft3/nox/specs/jets/decider
> superseded: the legacy decider jet of the retired zheng design verifies nothing and is retired in phase 3 of soft3/proposals/proof-system-repair|the proof-system repair. decider jet — legacy, retired in phase 3 what the jet is today `rs/jets/decider.rs` recognises the decider formula by its hash…