Основы SNARK на основе решеток 101. Тема.
Извлечение свидетеля и доказательство линейных отношений
253