Module kimchi::snarky::folding

source ·

Structs

  • ForeignElement
    Represents an element of the other curve’s field. As the other field can have a higher order, it could require more than one limbs. We suppose the other field values can be encoded on two limbs.
  • FullChallenge
  • Private