Christodoulos Pappas and Dimitrios Papadopoulos proposed Hobbit, a space-efficient zkSNARK, achieving optimal prover time $O(|C|)$, while maintaining transparency and post-quantum security. 港科大的Pappas和Papadopoulos在论文中提出了Hobbit,一种空间高效的zkSNARK,实现了证明者时间的最优性$O(|C|)$,同时保持透明性和后量子安全性。
Athamnah et al. proposed a linear prover IOP for Boolean circuits in their paper , achieving $O(\log^*(S))$ rounds, significantly reducing the prover's computational bottleneck. Athamnah等人在论文中提出了一种针对布尔电路的高效线性证明者IOP,仅需$O(\log^*(S))$轮,显著降低了证明者的计算瓶颈。