recursion.md

π 0.01%

Dimensions

nox/specs/jets/recursion
recursion jets — F_p genesis jets four genesis jets for nox. committed in genesis BBG state. make recursive proof composition and general-purpose polynomial computation practical. hash is a separate genesis jet — see hash. jets | # | name | signature | exec cost | constraints | pure…
zheng/docs/explanation/recursion
recursive proof composition the most powerful property of zheng is that its verifier is a nox program. a nox program can be proved by zheng. therefore: prove the act of verification, and the result is a new proof — one that attests to the correctness of another proof. this is recursion. it is the…
zheng/specs/recursion
recursion the recursive composition protocol for zheng. HyperNova folding over CCS. per-step folding cost: ~30 field ops + 1 hemera hash. the decider runs once at the end. decider cost: ~825 constraints (CCS jet + batch + algebraic FS). folding for N independent proofs: epoch composition…

Linked References

Local Graph