ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Sun星期日日曜日
06.29
2025
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和低级库实现，显著提升运行时间和程序大小。Weberらによる論文では、カスタムISAと低レベルライブラリーを通じてFHE技術を非専門家開発者が効率的に利用できるようにすることを目的としたParasolコンパイラが提案されており、実行時間とプログラムサイズの大幅な改善をもたらしています。
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）编写的程序自动转换为等效的同态电路，支持三种加密评估模式，显著提升了性能。Gouertらによる論文で提案されたHELMフレームワークは、準同型暗号（homomorphic encryption）を介してデータ処理のプライバシーを保護するために使用されます。HELMは、ハードウェア記述言語（Verilogなど）で書かれたプログラムを対応する準同型回路に自動的に変換し、3つの暗号評価モードをサポートすることで、パフォーマンスの大幅な向上を実現しています。