SpinQ

Kas yra RQmod?

RQmod (ResilQ Studio) — autorius prof. dr. Šarūnas Grigaliūnas — yra deklaratyvi .rqmod kalba, kurioje vienu skaitomu šaltinio failu aprašomi audito tikslai, sluoksniai (transit / use / rest), QARS-NI rizikos vertinimo langai (Mosca formulė), išvesties formatai ir, pasirinktinai, kvantinis bekendas (SpinQit / OpenQASM2).

Modelis kompiliuojamas į stabilų ResilQ IR (JSON), audito užduotis, QARS-NI įvesties vektorius, CBOM įrodymų inventorių ir, jei pageidaujama, į SpinQ/QASM2 eksperimentą. Tai leidžia tą patį šaltinio failą naudoti tiek saugumo audito, tiek edukacinės kvantinės demonstracijos tikslais.

audit "spinq-bell-demo" {
  targets = ["lab.spinq.lt"]

  layers {
    use { runtime, openssl }
  }

  score qars_ni {
    mosca { t_protect="24mo";
            t_data="10y";
            t_quantum="96mo" }
  }

  backend quantum {
    provider = spinqit
    emit     = qasm2
    max_width = 2
  }

  output { formats = [json, cbom, qasm] }
}