ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Sun 星期日
07.27
2025
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection https://arxiv.org/abs/2507.05294v1
William Law proposed zkSDK in paper, a modular framework that abstracts backend complexity to simplify ZK application development. The core is Presto, a custom programming language similar to Python, used for analyzing and evaluating the computational workload intensity of programs. William Law在论文中提出了zkSDK，一个模块化框架，通过抽象后端复杂性简化ZK应用开发。核心是Presto，一种类似Python的自定义编程语言，用于分析和评估程序的计算工作量强度。
Preprocessing for Life: Dishonest-Majority MPC with a Trusted or Untrusted Dealer https://eprint.iacr.org/2025/787
Boyle et al. proposed a new practical secure multi-party computation (MPC) preprocessing model in paper, achieving efficient online secure computation through one-time setup, improving storage and offline communication requirements. Boyle等人在论文中提出了一种新的实用安全多方计算(MPC)预处理模型，通过一次性设置实现高效的在线安全计算，改进了存储和离线通信需求。