config.json

{
    "notes" : "./estream/Grain_r02",
    "seed" : null,

    "num-of-epochs" : 300,
    "significance-level" : 1,
    "tv-size" : 16,
    "tv-count" : 1000,
    "stream-a" : {
        "type" : "block",
        "generator" : "pcg32",
        "init-frequency" : "only-once",
        "algorithm" : "AES",
        "round" : 2,
        "block-size" : 16,
        "plaintext-type" : {
            "type" : "counter"
        },
        "key-size" : 16,
        "key-type" : {
            "type" : "random"
        },
        "iv-type" : "zeros"
    },
    "stream-b" : {
        "type" : "pcg32-stream"
    },

    "backend" : {
        "type" : "circuit",
        "solver" : "global-search",

        "function-set" : [ "NOP", "CONS", "NOT",
                           "AND", "NAND", "OR", "XOR", "NOR",
                           "SHIL", "SHIR", "ROTL", "ROTR",
                           "MASK" ],
        "num-of-generations": 100,

        "initializer" : {
            "type" : "basic-initializer"
        },
        "mutator" : {
            "type" : "basic-mutator",
            "changes-of-functions" : 2,
            "changes-of-arguments" : 2,
            "changes-of-connectors" : 3
        },
        "evaluator" : {
            "type" : "categories-evaluator",
            "num-of-categories" : 8
        }
    }
 }