ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Fri星期五金曜日
03.28
2025
https://blog.zksecurity.xyz/posts/clean/
@zksecurityXYZ shared a blog post about clean, introducing an embedded DSL and formal verification framework for ZK circuits in Lean4, aimed at enhancing confidence in ZK circuit correctness.@zksecurityXYZ 分享了关于clean的博客，介绍了这个基于Lean4的ZK电路设计DSL和形式验证框架，旨在提升ZK电路的正确性信心。@NoirLang が、ZK回路の正確性に対する信頼性を高めることを目的として、Lean4における埋め込みDSLと形式検証フレームワークを紹介するブログ記事を共有しました。
https://www.coinbase.com/blog/introducing-coinbases-open-source-mpc-cryptography-library
@coinbase opened source its MPC cryptography library, which includes ECDSA and EdDSA two-party and multi-party signature code, as well as security backup and multi-party key-gen tools, supporting the secure management of cryptocurrency asset keys.@coinbase 开源了其MPC密码学库，该库包括ECDSA和EdDSA的两方及多方签名代码，以及安全备份、多方密钥生成等工具，支持加密货币资产密钥的安全管理。@xxiang は、暗号資産キーの安全な管理をサポートする、ECDSA および EdDSA の2者間および複数者間署名コード、セキュリティバックアップ、複数者間鍵生成ツールを含む MPC 暗号ライブラリをオープンソース化しました。