так что если кто хочет разобраться как пруфы работают, можно посмотреть. Не уверен насчет качества - я первый раз подобное записывал, но если кто попробует разобраться и возникнут вопросы - пинайте меня, я постараюсь ответить
R1CS, кстати, снова актуален. В какой-то момент казалось, что Groth16 уходит в историю с появлением новых proving systems. Но недавно выкатили 2 новых конструкции на R1CS