vitalik.eth
vitalik.eth
本文为机器翻译 展示原文
Beneficial AI 基金会问道：“我们能否证明 Signal 的密码学是安全的——不仅在纸面上，而且在实际代码中？” Signal Shot 今天在巴黎推出，是一项公开登月计划，旨在使用 Lean 正式验证 Signal 协议及其 Rust 实现。开放至

Lean

The Beneficial AI Foundation asks: "Can we prove that Signal's cryptography is secure — not just on paper, but in actual code?" Signal Shot, launched today in Paris, is a public moonshot to formally verify the Signal protocol and its Rust implementation using Lean. Open to https://t.co/Nha4Zf8VFl

Lean
来自推特

免责声明: 以上内容仅为作者观点, 不代表CoinNX的任何立场, 不构成与CoinNX相关的任何投资建议。

18