circom中操作符“~”使用的困惑

[QlDoors]

测试代码如下：

pragma circom 2.1.4;

template TestReverse() {
    var a = 1;
    log("~a", (~a));
    var b = 1;
    var c = (~b);
    log("c", c);

    signal input in;
    signal output out <== in * a * b;
}

component main = TestReverse();

/*
INPUT = {
    "in": 1
}
*/

得到结果：

LOG: 
~a 7059779437489773633646340506914701874769131765994106666166191815402473914365
 c 6350874878119819312338956282401532410528162663560392320966563075034087161849
OUTPUT: 
out = 1

~a 的值我计算了一下，是 1 填满254位后，按位取反，再与 p 取模。

~a = 0x3ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe % 21888242871839275222246405745257275088548364400416034343698204186575808495617

c 的值是如何得出我是百思不得其解啊。