{ "base": "56", "bitwidth": 64, "carry_chains": [ [ 0, 3 ], [ 1, 0, 2, 3 ], [ 1, 0 ] ], "coef_div_modulus": "2", "compiler": "gcc -march=native -mtune=native -std=gnu11 -O3 -flto -fomit-frame-pointer -fwrapv -Wno-attributes", "modulus": "2^224 - 2^96 + 1 ", "operations": [ "femul", "fesquare", "freeze" ], "sz": "4" }