urbit/jets/e/shax.c

251 lines
4.6 KiB
C
Raw Normal View History

2013-09-29 00:21:18 +04:00
/* j/5/shax.c
**
*/
#include "all.h"
2014-09-04 07:10:43 +04:00
2013-09-29 00:21:18 +04:00
#if defined(U3_OS_osx)
#include <CommonCrypto/CommonDigest.h>
#else
2013-09-29 00:21:18 +04:00
#include <openssl/sha.h>
#endif
2013-09-29 00:21:18 +04:00
/* functions
*/
2015-02-25 05:08:20 +03:00
2014-09-06 00:13:24 +04:00
u3_noun
2015-02-25 05:08:20 +03:00
u3qe_shay(u3_atom a,
2015-08-28 17:14:14 +03:00
u3_atom b)
2015-02-25 05:08:20 +03:00
{
c3_assert(_(u3a_is_cat(a)));
2018-11-04 20:44:53 +03:00
c3_y* fat_y = u3a_malloc(a + 1);
2015-02-25 05:08:20 +03:00
u3r_bytes(0, a, fat_y, b);
{
c3_y dig_y[32];
#if defined(U3_OS_osx)
CC_SHA256_CTX ctx_h;
CC_SHA256_Init(&ctx_h);
CC_SHA256_Update(&ctx_h, fat_y, a);
CC_SHA256_Final(dig_y, &ctx_h);
#else
SHA256_CTX ctx_h;
SHA256_Init(&ctx_h);
SHA256_Update(&ctx_h, fat_y, a);
SHA256_Final(dig_y, &ctx_h);
#endif
2018-11-04 20:44:53 +03:00
u3a_free(fat_y);
2015-02-25 05:08:20 +03:00
return u3i_bytes(32, dig_y);
}
}
// u3_noun
// u3qe_shax(
// u3_atom a)
// {
// c3_w met_w = u3r_met(3, a);
// return u3qe_shay(met_w, a);
// }
// XX preformance
u3_noun
2015-08-28 17:14:14 +03:00
u3qe_shax(u3_atom a)
2013-09-29 00:21:18 +04:00
{
2014-11-06 03:20:01 +03:00
c3_w met_w = u3r_met(3, a);
2018-11-04 20:44:53 +03:00
c3_y* fat_y = u3a_malloc(met_w + 1);
2013-09-29 00:21:18 +04:00
2014-11-06 03:20:01 +03:00
u3r_bytes(0, met_w, fat_y, a);
2013-09-29 00:21:18 +04:00
{
c3_y dig_y[32];
#if defined(U3_OS_osx)
CC_SHA256_CTX ctx_h;
CC_SHA256_Init(&ctx_h);
CC_SHA256_Update(&ctx_h, fat_y, met_w);
CC_SHA256_Final(dig_y, &ctx_h);
#else
2013-09-29 00:21:18 +04:00
SHA256_CTX ctx_h;
SHA256_Init(&ctx_h);
SHA256_Update(&ctx_h, fat_y, met_w);
SHA256_Final(dig_y, &ctx_h);
#endif
2018-11-04 20:44:53 +03:00
u3a_free(fat_y);
2014-11-06 03:20:01 +03:00
return u3i_bytes(32, dig_y);
2013-09-29 00:21:18 +04:00
}
}
2015-02-25 05:08:20 +03:00
// XX end preformance
2014-09-06 00:13:24 +04:00
u3_noun
2014-11-06 22:13:57 +03:00
u3qe_shal(u3_atom a,
2015-08-28 17:14:14 +03:00
u3_atom b)
2014-01-21 06:10:40 +04:00
{
2014-11-06 03:20:01 +03:00
c3_assert(_(u3a_is_cat(a)));
2018-11-04 20:44:53 +03:00
c3_y* fat_y = u3a_malloc(a + 1);
2014-01-21 06:10:40 +04:00
2014-11-06 03:20:01 +03:00
u3r_bytes(0, a, fat_y, b);
2014-01-21 06:10:40 +04:00
{
c3_y dig_y[64];
#if defined(U3_OS_osx)
CC_SHA512_CTX ctx_h;
CC_SHA512_Init(&ctx_h);
CC_SHA512_Update(&ctx_h, fat_y, a);
CC_SHA512_Final(dig_y, &ctx_h);
#else
2014-01-21 06:10:40 +04:00
SHA512_CTX ctx_h;
SHA512_Init(&ctx_h);
SHA512_Update(&ctx_h, fat_y, a);
2014-01-21 06:10:40 +04:00
SHA512_Final(dig_y, &ctx_h);
#endif
2018-11-04 20:44:53 +03:00
u3a_free(fat_y);
2014-11-06 03:20:01 +03:00
return u3i_bytes(64, dig_y);
2014-01-21 06:10:40 +04:00
}
}
2014-09-06 00:13:24 +04:00
u3_noun
2015-08-28 17:14:14 +03:00
u3qe_shas(u3_atom sal,
u3_atom ruz)
2013-09-29 00:21:18 +04:00
{
2014-11-06 22:13:57 +03:00
u3_noun one = u3qe_shax(ruz);
u3_noun two = u3qc_mix(sal, one);
u3_noun tri = u3qe_shax(two);
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(one); u3z(two); return tri;
2013-09-29 00:21:18 +04:00
}
2014-09-06 00:13:24 +04:00
u3_noun
2015-08-28 17:14:14 +03:00
u3we_shax(u3_noun cor)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun a;
2013-09-29 00:21:18 +04:00
2014-11-18 00:56:51 +03:00
if ( (u3_none == (a = u3r_at(u3x_sam, cor))) ||
2014-11-05 04:18:47 +03:00
(c3n == u3ud(a)) )
2013-09-29 00:21:18 +04:00
{
2014-11-06 03:20:01 +03:00
return u3m_bail(c3__exit);
2013-09-29 00:21:18 +04:00
} else {
2014-11-06 22:13:57 +03:00
return u3qe_shax(a);
2013-09-29 00:21:18 +04:00
}
}
2015-02-25 05:08:20 +03:00
u3_noun
u3we_shay(u3_noun cor)
{
u3_noun a, b;
// static int few = 0;
// if(few == 0) printf("foo\r\n");
// few++; few %= 1000;
if ( (u3_none == (a = u3r_at(u3x_sam_2, cor))) ||
(u3_none == (b = u3r_at(u3x_sam_3, cor))) ||
(c3n == u3ud(a)) ||
(c3n == u3a_is_cat(a)) ||
(c3n == u3ud(b)) )
{
return u3m_bail(c3__exit);
} else {
return u3qe_shay(a, b);
}
}
2014-09-06 00:13:24 +04:00
u3_noun
2014-11-06 22:13:57 +03:00
u3we_shal(u3_noun cor)
2014-01-21 06:10:40 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun a, b;
2014-01-21 06:10:40 +04:00
2014-11-18 00:56:51 +03:00
if ( (u3_none == (a = u3r_at(u3x_sam_2, cor))) ||
(u3_none == (b = u3r_at(u3x_sam_3, cor))) ||
2014-11-05 04:18:47 +03:00
(c3n == u3ud(a)) ||
2014-11-06 03:20:01 +03:00
(c3n == u3a_is_cat(a)) ||
2014-11-05 04:18:47 +03:00
(c3n == u3ud(b)) )
2014-01-21 06:10:40 +04:00
{
2014-11-06 03:20:01 +03:00
return u3m_bail(c3__exit);
2014-01-21 06:10:40 +04:00
} else {
2014-11-06 22:13:57 +03:00
return u3qe_shal(a, b);
2014-01-21 06:10:40 +04:00
}
}
2014-09-06 00:13:24 +04:00
u3_noun
2014-11-06 22:13:57 +03:00
u3we_shas(u3_noun cor)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun sal, ruz;
2013-09-29 00:21:18 +04:00
2014-11-18 00:56:51 +03:00
if ( (u3_none == (sal = u3r_at(u3x_sam_2, cor))) ||
(u3_none == (ruz = u3r_at(u3x_sam_3, cor))) ||
2014-11-05 04:18:47 +03:00
(c3n == u3ud(sal)) ||
(c3n == u3ud(ruz)) )
2013-09-29 00:21:18 +04:00
{
2014-11-06 03:20:01 +03:00
return u3m_bail(c3__exit);
2013-09-29 00:21:18 +04:00
} else {
2014-11-06 22:13:57 +03:00
return u3qe_shas(sal, ruz);
2013-09-29 00:21:18 +04:00
}
}
2014-09-06 00:13:24 +04:00
static u3_noun
2015-08-28 17:14:14 +03:00
_og_list(u3_noun a,
2014-09-06 00:13:24 +04:00
u3_noun b,
u3_noun c)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun l = u3_nul;
2013-09-29 00:21:18 +04:00
2014-11-06 03:20:01 +03:00
if ( !_(u3a_is_cat(b)) ) {
return u3m_bail(c3__fail);
2013-09-29 00:21:18 +04:00
}
while ( 0 != b ) {
2014-11-06 22:13:57 +03:00
u3_noun x = u3qc_mix(a, c);
u3_noun y = u3qc_mix(b, x);
u3_noun d = u3qe_shas(c3_s4('o','g','-','b'), y);
2014-09-06 00:13:24 +04:00
u3_noun m;
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(x); u3z(y);
2013-09-29 00:21:18 +04:00
if ( b < 256 ) {
2014-11-06 22:13:57 +03:00
u3_noun e = u3qc_end(0, b, d);
2014-01-21 06:10:40 +04:00
2014-09-06 00:13:24 +04:00
u3z(d);
m = u3nc(b, e);
2013-09-29 00:21:18 +04:00
b = 0;
} else {
2014-09-06 00:13:24 +04:00
m = u3nc(256, d);
2013-09-29 00:21:18 +04:00
c = d;
b -= 256;
}
2014-09-06 00:13:24 +04:00
l = u3nc(m, l);
2013-09-29 00:21:18 +04:00
}
2014-11-06 22:13:57 +03:00
return u3kb_flop(l);
2013-09-29 00:21:18 +04:00
}
2014-01-21 06:10:40 +04:00
2014-09-06 00:13:24 +04:00
u3_noun
2015-08-28 17:14:14 +03:00
u3qeo_raw(u3_atom a,
u3_atom b)
2013-09-29 00:21:18 +04:00
{
2014-11-06 22:13:57 +03:00
u3_noun x = u3qc_mix(b, a);
u3_noun c = u3qe_shas(c3_s4('o','g','-','a'), x);
2014-09-06 00:13:24 +04:00
u3_noun l = _og_list(a, b, c);
2014-11-06 22:13:57 +03:00
u3_noun r = u3qc_can(0, l);
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(l);
u3z(c);
u3z(x);
2013-09-29 00:21:18 +04:00
return r;
}
2014-09-06 00:13:24 +04:00
u3_noun
2014-11-06 22:13:57 +03:00
u3weo_raw(u3_noun cor)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun a, b;
2013-09-29 00:21:18 +04:00
2014-11-18 00:56:51 +03:00
if ( c3n == u3r_mean(cor, u3x_sam, &b, u3x_con_sam, &a, 0) ) {
2014-11-06 03:20:01 +03:00
return u3m_bail(c3__exit);
2013-09-29 00:21:18 +04:00
} else {
2014-11-06 22:13:57 +03:00
return u3qeo_raw(a, b);
2013-09-29 00:21:18 +04:00
}
}