Function write_fe

src/simplicity/jets-secp256k1.c:45–51

Write a secp256k1 field element value to the 'dst' frame, advancing the cursor 256 cells. * The field value 'r' is normalized as a side-effect. * * Precondition: '*dst' is a valid write frame for 256 more cells; * NULL != r; */

 *               NULL != r;
 */
static inline void write_fe(frameItem* dst, secp256k1_fe* r) {
  unsigned char buf[32];

  secp256k1_fe_normalize_var(r);
  secp256k1_fe_get_b32(buf, r);
  write8s(dst, buf, 32);
}

/* Skip 256 cells, the size of a secp256k1 field element value, in the 'dst' frame.
 *