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