ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Sun 星期日
06.29
2025
Parasol Compiler: Pushing the Boundaries of FHE Program Efficiency https://eprint.iacr.org/2025/1144
Weber et al. proposed the Parasol compiler in paper, aiming to enable non-expert developers to efficiently utilize FHE technology, through custom ISA and low-level libraries, significantly improving runtime and program size. Weber等人在论文中提出了Parasol编译器，旨在使非专家开发者也能高效利用FHE技术，通过自定义ISA和低级库实现，显著提升运行时间和程序大小。
HELM: Navigating Homomorphic Encryption through Gates and Lookup Tables https://eprint.iacr.org/2023/1382
Gouert et al. proposed the HELM framework in paper, used to protect data processing privacy through homomorphic encryption. HELM automatically converts programs written in hardware description languages (such as Verilog) into equivalent homomorphic circuits, supporting three encryption evaluation modes, significantly improving performance. Gouert等人在论文中提出了HELM框架，用于通过同态加密保护数据处理隐私。HELM能够将硬件描述语言（如Verilog）编写的程序自动转换为等效的同态电路，支持三种加密评估模式，显著提升了性能。