Что не так с моей программой предикатов соответствия libsnark?
#c #proof Вопрос: Это не удается на этапе проверки, когда сумма сдвига (фиктивная) равна 1. Я действительно не понимаю, почему это так. Я десятки раз читал генераторы ограничений и свидетелей,…