Ґраткові SNARK 101. Нитка.
Вилучення свідка та доведення лінійних відношень
322