for (uint i = 1; i < bids.length; i++) {
ebool isHigher = Nox.gt(candidate, highest);
second = Nox.select(isHigher, highest, second);
highest = Nox.select(isHigher, candidate, highest);
}
priceToPay = second; // encrypted
infoAll comparisons run inside encrypted handles. Cap: 10 bidders.