-rw-r--r-- 4087 cryptattacktester-20230614/ramtest.cpp raw
#include <cassert>
#include <iostream>
#include "random.h"
#include "ram.h"
#include "ram_cost.h"
using namespace std;

int main()
{
  for (bigint addrs = 1;addrs < 20;++addrs) {
    for (bigint wordsize = 0;wordsize < 20;++wordsize) {
      cout << "ramtest read " << addrs << ' ' << wordsize << '\n' << flush;
      for (bigint ibits = 0;ibits < 10;++ibits) {
        vector<vector<bit>> x;
        for (bigint j = 0;j < addrs;++j) {
          vector<bit> xj;
          for (bigint k = 0;k < wordsize;++k)
            xj.push_back(bit(random_bool()));
          x.push_back(xj);
        }

        for (bigint I = 0;I < (1<<ibits);++I) {
          vector<bit> i;
          for (bigint j = 0;j < ibits;++j)
            i.push_back(bit(I.bit(j)));
          bigint ops = -bit::ops();
          vector<bit> xi = ram_read(x,0,addrs,i,ibits);
          assert(ops+bit::ops() == ram_read_cost(addrs,ibits,wordsize));
          assert(xi.size() == wordsize);
          if (I < addrs)
            for (bigint k = 0;k < wordsize;++k)
              assert(xi.at(k).value() == x[I].at(k).value());
        }
      }
    }
  }

  for (bigint addrs = 1;addrs < 20;++addrs) {
    for (bigint wordsize = 0;wordsize < 20;++wordsize) {
      cout << "ramtest write " << addrs << ' ' << wordsize << '\n' << flush;
      for (bigint ibits = 0;ibits < 10;++ibits) {
        vector<vector<bit>> x;
        for (bigint j = 0;j < addrs;++j) {
          vector<bit> xj;
          for (bigint k = 0;k < wordsize;++k)
            xj.push_back(bit(random_bool()));
          x.push_back(xj);
        }

        for (bigint I = 0;I < (1<<ibits);++I) {
          for (bigint top = 0;top < 2;++top) {
            vector<bit> i;
            for (bigint j = 0;j < ibits;++j)
              i.push_back(bit(I.bit(j)));
            vector<bit> d;
            for (bigint j = 0;j < wordsize;++j)
              d.push_back(bit(random_bool()));
            vector<vector<bit>> x_cmp = x;
            bigint ops = -bit::ops();
            ram_write(x,0,addrs,i,ibits,d,bit(0),top);
            assert(ops+bit::ops() == ram_write_cost(addrs,ibits,wordsize,top));
            if (I < addrs) {
              for (bigint k = 0;k < wordsize;++k)
                assert(d.at(k).value() == x[I].at(k).value());
              for (bigint j = 0;j < addrs;++j)
                if (j != I)
                  for (bigint k = 0;k < wordsize;++k)
                    assert(x[j].at(k).value() == x_cmp[j].at(k).value());
            }
          }
        }
      }
    }
  }

  for (bigint addrs = 1;addrs < 20;++addrs) {
    for (bigint wordsize = 0;wordsize < 20;++wordsize) {
      cout << "ramtest readwrite " << addrs << ' ' << wordsize << '\n' << flush;
      for (bigint ibits = 0;ibits < 10;++ibits) {
        vector<vector<bit>> x;
        for (bigint j = 0;j < addrs;++j) {
          vector<bit> xj;
          for (bigint k = 0;k < wordsize;++k)
            xj.push_back(bit(random_bool()));
          x.push_back(xj);
        }

        for (bigint I = 0;I < (1<<ibits);++I) {
          for (bigint top = 0;top < 2;++top) {
            vector<bit> i;
            for (bigint j = 0;j < ibits;++j)
              i.push_back(bit(I.bit(j)));
            vector<bit> d;
            for (bigint j = 0;j < wordsize;++j)
              d.push_back(bit(random_bool()));
            vector<vector<bit>> x_cmp = x;
            bigint ops = -bit::ops();
            auto y = ram_read_write(x,0,addrs,i,ibits,d,bit(0),top);
            assert(ops+bit::ops() == ram_read_write_cost(addrs,ibits,wordsize,top));
            if (I < addrs) {
              for (bigint k = 0;k < wordsize;++k)
                assert(y.at(k).value() == x_cmp[I].at(k).value());
              for (bigint k = 0;k < wordsize;++k)
                assert(d.at(k).value() == x[I].at(k).value());
              for (bigint j = 0;j < addrs;++j)
                if (j != I)
                  for (bigint k = 0;k < wordsize;++k)
                    assert(x[j].at(k).value() == x_cmp[j].at(k).value());
            }
          }
        }
      }
    }
  }

  return 0;
}