Выходной сигнал на основе двух других наших сигналов

Question

Я пытаюсь написать схему, чтобы доказать, что число находится в указанном диапазоне. Я использую библиотеку circomlib: файл https://github.com/iden3/circomlib/tree/master/circuits comparators.circuit. Мой код до сих пор таков:

          template RangeProof(n) {
        assert(n <= 252);
        signal input in; // number to be proved 
        signal input range[2]; //  [lower bound, upper bound]
        signal output out;

    component low = LessEqThan(n);
    component high = GreaterEqThan(n);
    low.in[0] <== in;
    low.in[1] <== range[0];
    low.out === 1;
    high.in[0] <== in;
    high.in[1]<==range[1];
    high.out === 1;
    out <== (low.out + high.out) == 2 ? 1: 0; //this is the line in question
}

Поэтому я хочу вернуть 1, если правда, и 0, если ложь. Но это будет зависеть от того, будут ли два других исходящих сигнала. Любая идея, как я могу это сделать? Любая помощь приветствуется.

Answer 1

В вашем коде вы можете просто сделать out <== low.out * high.out.

Он достигает именно того, что вы хотите:

      low.out 0 * high.out 0 = out 0
low.out 1 * high.out 0 = out 0
low.out 0 * high.out 1 = out 0
low.out 1 * high.out 1 = out 1

---

В общем, если вы хотите назначить сигнал на основе «оператора if», который разветвляется на 2 ветви, вам нужно использовать мультиплексор. Видеть Mux1шаблон из circomlib https://github.com/iden3/circomlib/blob/master/circuits/mux1.circom#L33