aboutsummaryrefslogblamecommitdiffstats
path: root/main.cpp
blob: a1b0c818935461f0e778ef9236257cf5122642d7 (plain) (tree)
1
2
3
4


                   
                 






































































































































                                                                                                                                                                                                                                                      
#include <random>
#include "Common.h"
#include "RLP.h"
#include "Trie.h"
#include "VirtualMachine.h"
using namespace std;
using namespace eth;

std::string randomWord()
{
    static std::mt19937_64 s_eng(0);
    std::string ret(uniform_int_distribution<int>(4, 10)(s_eng), ' ');
    char const n[] = "qwertyuiopasdfghjklzxcvbnmQWERTYUIOPASDFGHJKLZXCVBNM1234567890";
    uniform_int_distribution<int> d(0, sizeof(n) - 2);
    for (char& c: ret)
        c = n[d(s_eng)];
    return ret;
}

int main()
{
    {
        Trie t;
        t.insert("dog", "puppy");
        assert(t.sha256() == hash256({{"dog", "puppy"}}));
        assert(t.at("dog") == "puppy");
        t.insert("doe", "reindeer");
        assert(t.sha256() == hash256({{"dog", "puppy"}, {"doe", "reindeer"}}));
        assert(t.at("doe") == "reindeer");
        assert(t.at("dog") == "puppy");
        t.insert("dogglesworth", "cat");
        assert(t.sha256() == hash256({{"doe", "reindeer"}, {"dog", "puppy"}, {"dogglesworth", "cat"}}));
        assert(t.at("doe") == "reindeer");
        assert(t.at("dog") == "puppy");
        assert(t.at("dogglesworth") == "cat");
        t.remove("dogglesworth");
        t.remove("doe");
        assert(t.at("doe").empty());
        assert(t.at("dogglesworth").empty());
        assert(t.at("dog") == "puppy");
        assert(t.sha256() == hash256({{"dog", "puppy"}}));
        t.insert("horse", "stallion");
        t.insert("do", "verb");
        t.insert("doge", "coin");
        assert(t.sha256() == hash256({{"dog", "puppy"}, {"horse", "stallion"}, {"do", "verb"}, {"doge", "coin"}}));
        assert(t.at("doge") == "coin");
        assert(t.at("do") == "verb");
        assert(t.at("horse") == "stallion");
        assert(t.at("dog") == "puppy");
        t.remove("horse");
        t.remove("do");
        t.remove("doge");
        assert(t.sha256() == hash256({{"dog", "puppy"}}));
        assert(t.at("dog") == "puppy");
        t.remove("dog");

        for (int a = 0; a < 20; ++a)
        {
            StringMap m;
            for (int i = 0; i < 20; ++i)
            {
                auto k = randomWord();
                auto v = toString(i);
                m.insert(make_pair(k, v));
                t.insert(k, v);
                assert(hash256(m) == t.sha256());
            }
            while (!m.empty())
            {
                auto k = m.begin()->first;
                t.remove(k);
                m.erase(k);
                assert(hash256(m) == t.sha256());
            }
        }
    }

    // int of value 15
    assert(RLP("\x0f") == 15);
    assert(rlp(15) == "\x0f");

    // 3-character string
    assert(RLP("\x43""dog") == "dog");
    assert(rlp("dog") == "\x43""dog");

    // 2-item list
    RLP twoItemList("\x82\x0f\x43""dog");
    assert(twoItemList.itemCount() == 2 && twoItemList[0] == 15 && twoItemList[1] == "dog");
    assert(rlpList(15, "dog") == "\x82\x0f\x43""dog");

    // 1-byte (8-bit) int
    assert(RLP("\x18\x45") == 69);
    assert(rlp(69) == "\x18\x45");

    // 2-byte (16-bit) int
    assert(RLP("\x19\x01\x01") == 257);
    assert(rlp(257) == "\x19\x01\x01");

    // 32-byte (256-bit) int
    assert(RLP("\x37\x10\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f") == bigint("0x100102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f"));
    assert(rlp(bigint("0x100102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f")) == "\x37\x10\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f");

    // 33-byte (264-bit) int
    assert(RLP("\x38\x21\x20\x10\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f") == bigint("0x20100102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D1E1F"));
    assert(rlp(bigint("0x20100102030405060708090A0B0C0D0E0F101112131415161718191A1B1C1D1E1F")) == "\x38\x21\x20\x10\x01\x02\x03\x04\x05\x06\x07\x08\x09\x0a\x0b\x0c\x0d\x0e\x0f\x10\x11\x12\x13\x14\x15\x16\x17\x18\x19\x1a\x1b\x1c\x1d\x1e\x1f");

    // 56-character string.
    assert(RLP("\x78\x38""Lorem ipsum dolor sit amet, consectetur adipisicing elit") == "Lorem ipsum dolor sit amet, consectetur adipisicing elit");
    assert(rlp("Lorem ipsum dolor sit amet, consectetur adipisicing elit") == "\x78\x38""Lorem ipsum dolor sit amet, consectetur adipisicing elit");

    /*
     * Hex-prefix Notation. First nibble has flags: oddness = 2^0 & termination = 2^1
     * [0,0,1,2,3,4,5]   0x10012345
     * [0,1,2,3,4,5]     0x00012345
     * [1,2,3,4,5]       0x112345
     * [0,0,1,2,3,4]     0x00001234
     * [0,1,2,3,4]       0x101234
     * [1,2,3,4]         0x001234
     * [0,0,1,2,3,4,5,T] 0x30012345
     * [0,0,1,2,3,4,T]   0x20001234
     * [0,1,2,3,4,5,T]   0x20012345
     * [1,2,3,4,5,T]     0x312345
     * [1,2,3,4,T]       0x201234
     */
    assert(asHex(hexPrefixEncode({0, 0, 1, 2, 3, 4, 5}, false)) == "10012345");
    assert(asHex(hexPrefixEncode({0, 1, 2, 3, 4, 5}, false)) == "00012345");
    assert(asHex(hexPrefixEncode({1, 2, 3, 4, 5}, false)) == "112345");
    assert(asHex(hexPrefixEncode({0, 0, 1, 2, 3, 4}, false)) == "00001234");
    assert(asHex(hexPrefixEncode({0, 1, 2, 3, 4}, false)) == "101234");
    assert(asHex(hexPrefixEncode({1, 2, 3, 4}, false)) == "001234");
    assert(asHex(hexPrefixEncode({0, 0, 1, 2, 3, 4, 5}, true)) == "30012345");
    assert(asHex(hexPrefixEncode({0, 0, 1, 2, 3, 4}, true)) == "20001234");
    assert(asHex(hexPrefixEncode({0, 1, 2, 3, 4, 5}, true)) == "20012345");
    assert(asHex(hexPrefixEncode({1, 2, 3, 4, 5}, true)) == "312345");
    assert(asHex(hexPrefixEncode({1, 2, 3, 4}, true)) == "201234");

    return 0;
}