Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting學習筆記

1. 引言 Bootle和Groth等人2016年論文《Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting》。 在本論文中，主要爲 (只有加法門和乘法門的) arithmetic circcuit satisfiability 提供了一種零知識證明算法，具有的communica

>>阅读原文<<