Folder
Homonyms
soft3/zheng/specs/recursion
recursion Incrementally verifiable computation over the nox machine (`rs/src/recursion/`). The step relation of step `i` proves its nox segment *and* that the verifier of step `i β 1` accepted: the verifier runs inside the step's trace as the recursion circuit. A proof of any number of steps is theβ¦
soft3/zheng/docs/explanation/recursion
accumulation, IVC and wrap how zheng turns a nox run of any length into one proof whose size does not depend on the length. three layers, each built and measured on the current code; the contracts are zheng/specs/accumulation|accumulation, zheng/specs/machine|machine andβ¦
soft3/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β¦