ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Wed 星期三
01.22
2025
https://github.com/bagel-org/ZKLoRA
The bagel-org team has released the ZKLoRA open-source project, which focuses on providing efficient zero-knowledge proofs for LoRA verification. This allows verifying compatibility with a base model while preserving the privacy of the LoRA weights. bagel-org团队发布了ZKLoRA开源项目，专注于为LoRA验证提供高效的零知识证明，支持在保护LoRA权重隐私的同时验证其与基础模型的兼容性。
https://provable.com/blog/aleo-specs-now-publicly-available
@ProvableHQ shared the technical specifications of the Aleo network, including the Varuna proof system (based on Marlin), the AleoVM virtual machine, and the AleoBFT consensus algorithm. @ProvableHQ 分享了Aleo网络的技术规格，包括Varuna证明系统（基于Marlin）、AleoVM虚拟机和AleoBFT共识算法。