ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
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权重隐私的同时验证其与基础模型的兼容性。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共识算法。@ProvableHQ が Aleo ネットワークの技術仕様、具体的には Varuna 証明システム（Marlin ベース）、AleoVM 仮想マシン、および AleoBFT コンセンサスアルゴリズムについて共有しました。