ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Sun 星期日
07.13
2025
https://eprint.iacr.org/2025/1214
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|)$，同时保持透明性和后量子安全性。
https://eprint.iacr.org/2025/1269
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))$轮，显著降低了证明者的计算瓶颈。