/* gen164/5/ed_veri.c
**
** This file is in the public domain.
*/
#include "all.h"


#include <ed25519.h>

/* functions
*/
  static u3_noun
  _cqee_veri(u3_noun s, u3_noun m, u3_noun pk)
  {
    c3_y  sig_y[64];
    c3_y  pub_y[32];
    c3_w  ret;
    c3_y* mes_y;

    c3_w mesm_w = u3_cr_met(3, m);

    memset(sig_y, 0, 64);
    memset(pub_y, 0, 32);

    mes_y = c3_malloc(mesm_w);

    u3_cr_bytes(0, 64, sig_y, s);
    u3_cr_bytes(0, 32, pub_y, pk);
    u3_cr_bytes(0, mesm_w, mes_y, m);

    ret = ed25519_verify(sig_y, mes_y, mesm_w, pub_y) == 1 ? u3_yes : u3_no;
    free(mes_y);
    return ret;
  }

  u3_noun
  cwee_veri(u3_noun cor)
  {
    u3_noun a, b, c;
    if ( u3_no == u3_cr_mean(cor,
                          u3_cv_sam_2, &a, u3_cv_sam_6, &b,
                          u3_cv_sam_7, &c, 0) ) {
      return u3_cm_bail(c3__fail);
    } else {
      return _cqee_veri(a, b, c);
    }
  }