isogeny-curves.md

isogeny-curves jets — isogeny (F_q) four jets for commutative group action on supersingular curves over F_q. privacy primitives. proved via Porphyry (isogeny) in zheng. jets | # | name | input → output | pure cost | jet cost | primary workload |…

isogeny PCS the F_q PCS backend for zheng. dedicated polynomial commitment over genies's isogeny field F_q where q = 4·ℓ₁·ℓ₂·...·ℓₙ - 1. privacy primitives (stealth addresses, VDF verification, blind signatures, ring signatures) prove natively in their own field — no non-native arithmetic penalty.…