ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Sun 星期日
04.06
2025
Zinnia: An Expressive and Efficient Tensor-Oriented Zero-Knowledge Programming Framework https://eprint.iacr.org/2025/572
Xue et al. proposed Zinnia in the paper, an efficient ZK programming framework for tensor-oriented applications, simplifying ZKP program development and significantly improving proof efficiency. Xue等人在论文中提出了Zinnia，一个面向张量的高效ZK编程框架，通过高级编程语言和符号执行方法简化ZKP程序编写，显著提升开发效率和证明速度。
SP1-2FA: Enhancing zkVM Security with TEEs https://blog.succinct.xyz/sp1-2fa/
@SuccinctLabs announced the release of SP1-2FA, adding a second layer of protection to the Succinct Prover Network through TEEs, further enhancing the security of zkVMs. @SuccinctLabs 宣布推出SP1-2FA，为Succinct Prover Network增加通过可信执行环境(TEEs)的第二层保护，进一步强化zkVM的安全性。