INNER CODE UNIT · JavaScript

mkLibRandomBufferSystem

FStarLang/karamel · krmllib/js/loader.js:234

let mkLibRandomBufferSystem = (mem) => ({
  Lib_RandomBuffer_System_randombytes: (addr, len) => { return my_random(mem, addr, len); }
});

let mkLibMemzero = (mem) => ({
  Lib_Memzero_clear_words_u8: (nwords, addr) => {
    let m8 = new Uint8Array(mem.buffer);
    for (let i = 0; i < nwords; ++i) {
      m8[addr+i] = 0;
    }
  },
  Lib_Memzero_clear_words_u16: (nwords, addr) => {
    let m8 = new Uint8Array(mem.buffer);
    for (let i = 0; i < nwords; ++i) {
      m8[addr+2*i] = 0;
      m8[addr+2*i+1] = 0;
    }
  }

View source record →