Homonyms
soft3/zheng/specs/decider
decider > superseded: this page describes the decider of the legacy fold (feature `legacy`, unsound, removed in phase 5); the decider of the shipped design is one WHIR opening of the accumulator β see accumulation (envelope profile 4; under IVC, profiles 5 and 6) and soundness. what replaces it theβ¦
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β¦