mirror of
https://github.com/urbit/shrub.git
synced 2024-12-19 16:51:42 +03:00
48 lines
909 B
C
48 lines
909 B
C
/* 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
|
|
u3_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);
|
|
}
|
|
}
|