Dimensions

nox/reference/props/recursive-jets
verifier jets β€” Goldilocks/WHIR recursive composition five jets that make recursive proof composition practical for nox. hemera-2 (24 rounds, 32-byte output) reduces hash cost from 300 to 200 focus and from ~1,152 to ~736 constraints per permutation. the unoptimized verifier costs…

Local Graph