02:44 Shallow193: Is that JohnDoe_71Rus some federations spy attack vector?
02:50 Shallow193: Well parallel branches are handled so, that every value is entered into the adder, while operand one removes all of them from all answer bounds, so what is generated in circuit or word overlaps to remainder cause it was the only value entered twice, so if that was four, we have a distance vector from that to it's transition value
03:20 Shallow193: transition value is fixed by the compiler, if the condition is anything above 5 included is branch 2, so the max value would be four 2s and 5 to 1024 ones
03:21 Shallow193: it's 1019+10 1029
03:28 Shallow193: so in other words when you add 1029, you get either offset 1 or offset 2
03:35 Shallow193: cause 4 was at the distance of 1018, so remainder is two in minus, five was 1 in minus similarly 1018