File Manager

003 File Manager

Current Path: /usr/src/sys/contrib/libsodium/test/default

usr / src / sys / contrib / libsodium / test / default /

📁 ..
📄 Makefile.am(13.38 KB)
📄 aead_aes256gcm.c(145.82 KB)
📄 aead_aes256gcm.exp(3 B)
📄 aead_chacha20poly1305.c(14.76 KB)
📄 aead_chacha20poly1305.exp(2.35 KB)
📄 aead_xchacha20poly1305.c(8.09 KB)
📄 aead_xchacha20poly1305.exp(1.95 KB)
📄 auth.c(2.88 KB)
📄 auth.exp(1.12 KB)
📄 auth2.c(1.08 KB)
📄 auth2.exp(164 B)
📄 auth3.c(1.25 KB)
📄 auth3.exp(2 B)
📄 auth5.c(954 B)
📄 auth6.c(449 B)
📄 auth6.exp(328 B)
📄 auth7.c(1010 B)
📄 box.c(4.42 KB)
📄 box.exp(1.47 KB)
📄 box2.c(3.31 KB)
📄 box2.exp(1.31 KB)
📄 box7.c(1.53 KB)
📄 box8.c(1.7 KB)
📄 box_easy.c(2.83 KB)
📄 box_easy.exp(908 B)
📄 box_easy2.c(5.42 KB)
📄 box_easy2.exp(15 B)
📄 box_seal.c(1.2 KB)
📄 box_seal.exp(11 B)
📄 box_seed.c(839 B)
📄 box_seed.exp(328 B)
📄 chacha20.c(7.63 KB)
📄 chacha20.exp(20.19 KB)
📄 cmptest.h(4.22 KB)
📄 codecs.c(11.08 KB)
📄 codecs.exp(367 B)
📄 core1.c(1.18 KB)
📄 core1.exp(164 B)
📄 core2.c(1.19 KB)
📄 core2.exp(164 B)
📄 core3.c(3.19 KB)
📄 core3.exp(195 B)
📄 core4.c(981 B)
📄 core4.exp(264 B)
📄 core5.c(908 B)
📄 core5.exp(164 B)
📄 core6.c(1.31 KB)
📄 core6.exp(164 B)
📄 core_ed25519.c(5.44 KB)
📄 core_ed25519.exp(3 B)
📄 ed25519_convert.c(3.4 KB)
📄 ed25519_convert.exp(167 B)
📄 generichash.c(144.45 KB)
📄 generichash.exp(4.25 KB)
📄 generichash2.c(2.41 KB)
📄 generichash2.exp(4.13 KB)
📄 generichash3.c(7.17 KB)
📄 generichash3.exp(5.51 KB)
📄 hash.c(1.47 KB)
📄 hash.exp(388 B)
📄 hash2.exp(129 B)
📄 hash3.c(335 B)
📄 hash3.exp(129 B)
📄 index.html.tpl(2.67 KB)
📄 kdf.c(2.31 KB)
📄 kdf.exp(5.97 KB)
📄 keygen.c(2.62 KB)
📄 keygen.exp(14 B)
📄 kx.c(6.21 KB)
📄 kx.exp(478 B)
📄 metamorphic.c(5.48 KB)
📄 metamorphic.exp(3 B)
📄 misuse.c(3.67 KB)
📄 nacl-test-wrapper.sh(771 B)
📄 onetimeauth.c(2.32 KB)
📄 onetimeauth.exp(164 B)
📄 onetimeauth2.c(1.38 KB)
📄 onetimeauth2.exp(2 B)
📄 onetimeauth7.c(948 B)
📄 pre.js.inc(563 B)
📄 pwhash_argon2i.c(21.74 KB)
📄 pwhash_argon2i.exp(3.03 KB)
📄 pwhash_argon2id.c(25.18 KB)
📄 pwhash_argon2id.exp(3.61 KB)
📄 pwhash_scrypt.c(18.31 KB)
📄 pwhash_scrypt.exp(4.53 KB)
📄 pwhash_scrypt_ll.c(1.68 KB)
📄 pwhash_scrypt_ll.exp(714 B)
📄 randombytes.c(4 KB)
📄 randombytes.exp(220 B)
📄 scalarmult.c(2.42 KB)
📄 scalarmult.exp(260 B)
📄 scalarmult2.c(794 B)
📄 scalarmult2.exp(164 B)
📄 scalarmult5.c(1.18 KB)
📄 scalarmult5.exp(164 B)
📄 scalarmult6.c(1.51 KB)
📄 scalarmult6.exp(164 B)
📄 scalarmult7.c(909 B)
📄 scalarmult7.exp(2 B)
📄 scalarmult_ed25519.c(3.4 KB)
📄 scalarmult_ed25519.exp(3 B)
📄 secretbox.c(3.5 KB)
📄 secretbox.exp(1.47 KB)
📄 secretbox2.c(2.37 KB)
📄 secretbox2.exp(672 B)
📄 secretbox7.c(1.05 KB)
📄 secretbox8.c(1.2 KB)
📄 secretbox_easy.c(4.44 KB)
📄 secretbox_easy.exp(4.02 KB)
📄 secretbox_easy2.c(2.54 KB)
📄 secretbox_easy2.exp(10 B)
📄 secretstream.c(11.43 KB)
📄 secretstream.exp(3 B)
📄 shorthash.c(968 B)
📄 shorthash.exp(1.06 KB)
📄 sign.c(2.65 MB)
📄 sign.exp(512 B)
📄 siphashx24.c(1.02 KB)
📄 siphashx24.exp(2.06 KB)
📄 sodium_core.c(936 B)
📄 sodium_core.exp(17 B)
📄 sodium_utils.c(6.41 KB)
📄 sodium_utils.exp(550 B)
📄 sodium_utils2.c(2.22 KB)
📄 sodium_utils2.exp(46 B)
📄 sodium_utils3.c(1.35 KB)
📄 sodium_utils3.exp(43 B)
📄 sodium_version.c(387 B)
📄 sodium_version.exp(6 B)
📄 stream.c(2.33 KB)
📄 stream.exp(8.57 KB)
📄 stream2.c(1.48 KB)
📄 stream2.exp(130 B)
📄 stream3.c(979 B)
📄 stream3.exp(164 B)
📄 stream4.c(2.02 KB)
📄 stream4.exp(672 B)
📄 verify1.c(2.05 KB)
📄 verify1.exp(6 B)
📄 wintest.bat(1.34 KB)
📄 xchacha20.c(25.49 KB)
📄 xchacha20.exp(482 B)

Editing: core_ed25519.c

#define TEST_NAME "core_ed25519"
#include "cmptest.h"

static const unsigned char non_canonical_p[32] = {
    0xf6, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
    0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x7f
};
static const unsigned char non_canonical_invalid_p[32] = {
    0xf5, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
    0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x7f
};
static const unsigned char max_canonical_p[32] = {
    0xe4, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
    0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x7f
};

static void
add_P(unsigned char * const S)
{
    static const unsigned char P[32] = {
        0xed, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
        0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
        0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
        0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x7f
    };
    unsigned char c = 0U;
    unsigned int  i;
    unsigned int  s;

for (i = 0U; i < 32U; i++) {
        s = S[i] + P[i] + c;
        S[i] = (unsigned char) s;
        c = (s >> 8) & 1;
    }
}

int
main(void)
{
    unsigned char *h;
    unsigned char *p, *p2, *p3;
    unsigned char *sc;
    int            i, j;

h = (unsigned char *) sodium_malloc(crypto_core_ed25519_UNIFORMBYTES);
    p = (unsigned char *) sodium_malloc(crypto_core_ed25519_BYTES);
    for (i = 0; i < 1000; i++) {
        randombytes_buf(h, crypto_core_ed25519_UNIFORMBYTES);
        if (crypto_core_ed25519_from_uniform(p, h) != 0) {
            printf("crypto_core_ed25519_from_uniform() failed\n");
        }
        if (crypto_core_ed25519_is_valid_point(p) == 0) {
            printf("crypto_core_ed25519_from_uniform() returned an invalid point\n");
        }
    }

p2 = (unsigned char *) sodium_malloc(crypto_core_ed25519_BYTES);
    p3 = (unsigned char *) sodium_malloc(crypto_core_ed25519_BYTES);
    randombytes_buf(h, crypto_core_ed25519_UNIFORMBYTES);
    crypto_core_ed25519_from_uniform(p2, h);

j = 1 + (int) randombytes_uniform(100);
    memcpy(p3, p, crypto_core_ed25519_BYTES);
    for (i = 0; i < j; i++) {
        crypto_core_ed25519_add(p, p, p2);
        if (crypto_core_ed25519_is_valid_point(p) != 1) {
            printf("crypto_core_add() returned an invalid point\n");
        }
    }
    if (memcmp(p, p3, crypto_core_ed25519_BYTES) == 0) {
        printf("crypto_core_add() failed\n");
    }
    for (i = 0; i < j; i++) {
        crypto_core_ed25519_sub(p, p, p2);
    }
    if (memcmp(p, p3, crypto_core_ed25519_BYTES) != 0) {
        printf("crypto_core_add() or crypto_core_sub() failed\n");
    }
    sc = (unsigned char *) sodium_malloc(crypto_scalarmult_ed25519_SCALARBYTES);
    memset(sc, 0, crypto_scalarmult_ed25519_SCALARBYTES);
    sc[0] = 8;
    memcpy(p2, p, crypto_core_ed25519_BYTES);
    memcpy(p3, p, crypto_core_ed25519_BYTES);

for (i = 0; i < 254; i++) {
        crypto_core_ed25519_add(p2, p2, p2);
    }
    for (i = 0; i < 8; i++) {
        crypto_core_ed25519_add(p2, p2, p);
    }
    if (crypto_scalarmult_ed25519(p3, sc, p) != 0) {
        printf("crypto_scalarmult_ed25519() failed\n");
    }
    if (memcmp(p2, p3, crypto_core_ed25519_BYTES) != 0) {
        printf("crypto_scalarmult_ed25519() is inconsistent with crypto_core_ed25519_add()\n");
    }

assert(crypto_core_ed25519_is_valid_point(p) == 1);

memset(p, 0, crypto_core_ed25519_BYTES);
    assert(crypto_core_ed25519_is_valid_point(p) == 0);

p[0] = 1;
    assert(crypto_core_ed25519_is_valid_point(p) == 0);

p[0] = 2;
    assert(crypto_core_ed25519_is_valid_point(p) == 0);

p[0] = 9;
    assert(crypto_core_ed25519_is_valid_point(p) == 1);

assert(crypto_core_ed25519_is_valid_point(max_canonical_p) == 1);
    assert(crypto_core_ed25519_is_valid_point(non_canonical_invalid_p) == 0);
    assert(crypto_core_ed25519_is_valid_point(non_canonical_p) == 0);

memcpy(p2, p, crypto_core_ed25519_BYTES);
    add_P(p2);
    crypto_core_ed25519_add(p3, p2, p2);
    crypto_core_ed25519_sub(p3, p3, p2);
    assert(memcmp(p2, p, crypto_core_ed25519_BYTES) != 0);
    assert(memcmp(p3, p, crypto_core_ed25519_BYTES) == 0);

p[0] = 2;
    assert(crypto_core_ed25519_add(p3, p2, p) == -1);
    assert(crypto_core_ed25519_add(p3, p2, non_canonical_p) == 0);
    assert(crypto_core_ed25519_add(p3, p2, non_canonical_invalid_p) == -1);
    assert(crypto_core_ed25519_add(p3, p, p3) == -1);
    assert(crypto_core_ed25519_add(p3, non_canonical_p, p3) == 0);
    assert(crypto_core_ed25519_add(p3, non_canonical_invalid_p, p3) == -1);

assert(crypto_core_ed25519_sub(p3, p2, p) == -1);
    assert(crypto_core_ed25519_sub(p3, p2, non_canonical_p) == 0);
    assert(crypto_core_ed25519_sub(p3, p2, non_canonical_invalid_p) == -1);
    assert(crypto_core_ed25519_sub(p3, p, p3) == -1);
    assert(crypto_core_ed25519_sub(p3, non_canonical_p, p3) == 0);
    assert(crypto_core_ed25519_sub(p3, non_canonical_invalid_p, p3) == -1);

sodium_free(sc);
    sodium_free(p3);
    sodium_free(p2);
    sodium_free(p);
    sodium_free(h);

assert(crypto_core_ed25519_BYTES == crypto_core_ed25519_bytes());
    assert(crypto_core_ed25519_UNIFORMBYTES == crypto_core_ed25519_uniformbytes());
    assert(crypto_core_ed25519_UNIFORMBYTES >= crypto_core_ed25519_BYTES);

printf("OK\n");

return 0;
}

003 File Manager

Editing: core_ed25519.c

Upload File

Create Folder