基於格的 SNARKs 101。 一個主題。
提取見證並證明線性關係
343